Formal Logic : A Philosophical Approach.

Intro -- Contents -- Translator's Preface -- Preface -- Chapter 1. Introduction -- 1. An Example -- 2. Preliminary Remarks on the Notion of Logical Form -- 3. Validity and Soundness -- 4. Statements, Primitive Statements, and Compound Statements -- 5. Review -- Chapter 2. Statement Logic -- 1. The Symbol System of Statement Logic -- 2. The Metalogic of Statement Logic -- 3. Review and Overview -- Chapter 3. Predicate Logic -- 1. The Symbol System of Predicate Logic -- 2. The Metalogic of Predicate Logic -- 3. Review and Overview -- Chapter 4. The Mathematical Approach to Statement Logic -- 1. On Mathematical Approaches in General -- 2. The Syntax of Statement Logic -- 3. Semantics: Model Theory -- 4. Proof Theory -- 5. Review -- 6. Prospects for Predicate Logic -- Appendix 1. An Additional Proof -- Appendix 2. Solutions to the Exercises -- Appendix 3. Suggestions for Further Reading.

Uniting the mathematical with the philosophical approaches to formal logic, this book is filled with examples, exercises, and straightforward assessments of some of the most common problems in teaching the subject.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2024. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.