An Introduction to Formal Logic: Second Edition

Richard L Epstein

• Editorial: Advanced Reasoning Forum
• Año: 2020
• ISBN:
  9781938421532
• Edición: 2
• Categoría: Philosophie
• Categoría: Logique en philosophie

• Intended for a course for students in philosophy, mathematics, linguistics, or computer science, and excellent for self-study. • Motivation is given for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Summaries are given at important junctures in the bookto keep students aware of what they are doing and where they are going.• Criteria of formalization are developed and applied to formalizing ordinary language reasoning in an example-analysis format.• More than 300 worked examples.• More than 500 exercises with answers available on the web.

Índice

• Table of Contents
• Preface to the Instructor
• 1 The Basics of Logic
• 2 Compound Propositions
• 3 Classical Propositional Logic: Form
• 4 Classical Propositional Logic: Meaning
• 5 Using Classical Propositional Logic
• 6 Proving
• Summary of Chapters 1 to 6
• 7 Reasoning about Things
• 8 The Grammar of Things
• 9 A Formal Language for Predicate Logic
• 10 A Predicate Applies to an Object or Objects
• 11 Models for Classical Predicate Logic
• 12 Distribution of Quantifiers and Substitution of Variables
• 13 An Axiom System for Classical Predicate Logic
• Summary of Chapters 7–13
• 14 Formalizing in Classical Predicate Logic
• 15 Identity
• 16 Formalizing with the Equality Predicate
• 17 Possibilities
• Appendix 1 Proof by Induction
• Appendix 2 Set-Theory Notation
• Appendix 3 Naming, Pointing, and What There Is
• Appendix 4 Completeness Proofs
• Appendix 5 Other Interpretations of the Quantifiers
• Appendix 6 Mathematical Semantics
• Appendix 7 Aristotelian Logic
• Index of Symbols
• Index of Examples
• Index