Formal Logic: A Philosophical Approach

Formal Logic: A Philosophical Approach


Usually ships within 1 week


Many texts on logic are written with a mathematical emphasis, and focus primarily on the development of a formal apparatus and associated techniques. In other, more philosophical texts, the topic is often presented as an indulgent collection of musings on issues for which technical solutions have long since been devised.

What has been missing until now is an attempt to unite the motives underlying both approaches. Paul Hoyningen-Huene’s Formal Logic seeks to find a balance between the necessity of formal considerations and the importance of full reflection and explanation about the seemingly arbitrary steps that occasionally confound even the most serious student of logic. Alex Levine’s artful translation conveys both the content and style of the German edition. Filled with examples, exercises, and a straightforward look at some of the most common problems in teaching the subject, this work is eminently suitable for the classroom.

Product Details

ISBN-13: 9780822958475
Publisher: University of Pittsburgh Press
Publication date: 08/01/2004
Edition description: 1
Pages: 254
Product dimensions: 6.00(w) x 9.00(h) x 0.60(d)

About the Author

Paul Hoyningen-Huene is director of the Center for Philosophy and Ethics of Science at the University of Hannover, Germany.

Table of Contents

Translator's Prefacevii
Chapter 1.Introduction1
1.An Example1
2.Preliminary Remarks on the Notion of Logical Form9
3.Validity and Soundness13
4.Statements, Primitive Statements, and Compound Statements15
Chapter 2.Statement Logic26
1.The Symbol System of Statement Logic26
2.The Metalogic of Statement Logic53
3.Review and Overview115
Chapter 3.Predicate Logic124
1.The Symbol System of Predicate Logic126
2.The Metalogic of Predicate Logic168
3.Review and Overview180
Chapter 4.The Mathematical Approach to Statement Logic181
1.On Mathematical Approaches in General182
2.The Syntax of Statement Logic185
3.Semantics: Model Theory191
4.Proof Theory195
6.Prospects for Predicate Logic206
Appendix 1.An Additional Proof209
Appendix 2.Solutions to the Exercises212
Appendix 3.Suggestions for Further Reading253

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews