Formal Logic : A Philosophical Approach.
Hoyningen-Huene, Paul.
Formal Logic : A Philosophical Approach. - 1st ed. - 1 online resource (269 pages)
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.
9780822972594
Electronic books.
BC135
160
Formal Logic : A Philosophical Approach. - 1st ed. - 1 online resource (269 pages)
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.
9780822972594
Electronic books.
BC135
160