ABOUT THIS BOOK

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.

AUTHOR BIOGRAPHY

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

REVIEWS

"The purchase of this book is strongly suggested to every reader in search of an introduction, not only for substantive . . . but also for stylistic reasons. [Hoyningen-Huene] writes extremely well and at times even quite wittily, which is all too rare in (German) introductory textbooks."
—Information Philosophie

TABLE OF CONTENTS

<Hoyningen-Huene>
<Contents>
<p.v, no folio>
<p.vi, cont'd or blank>
Contents
 Translator's Preface		0
Preface		0
Chapter 1. Introduction	00
1. An Example	00
2. Preliminary Remarks on the Notion of Logical Form	00
3. Validity and Soundness	00
4. Statements, Primitive Statements, and Compound Statements	00
5. Review	000
Chapter 2. Statement Logic	000
1. The Symbol System of Statement Logic	000
2. The Metalogic of Statement Logic	000
3. Review and Overview	000
Chapter 3. Predicate Logic	000
	1. The Symbol System of Predicate Logic	000
	2. The Metalogic of Predicate Logic	000
	3. Review and Overview	000
Chapter 4. The Mathematical Approach to Statement Logic	000
	1. On Mathematical Approaches in General	000
	2. The Syntax of Statement Logic	000
	3. Semantics: Model Theory	000
	4. Proof Theory	000
	5. Review	000
	6. Prospects for Predicate Logic	000
Appendix 1. An Additional Proof	000
Appendix 2. Solutions to the Exercises	000
	By Christopher von Bülow and Alex Levine
Appendix 3. Suggestions for Further Reading	000
Notes	000




Library of Congress Subject Headings for this publication: Logic, Symbolic and mathematical Textbooks

REQUEST ACCESSIBLE FILE

If you are a student who cannot use this book in printed form, BiblioVault may be able to supply you with an electronic file for alternative access.

Please have the accessibility coordinator at your school fill out this form.

It can take 2-3 weeks for requests to be filled.