Description
Book SynopsisThe Logic Manual is a clear and concise introduction to logic for beginning philosophy students. It offers a complete introductory course, guiding the reader carefully through the topics in logic that are most important for the study of philosophy. It covers propositional and predicate logic with and without identity. It includes an account of the semantics of these languages including definitions of truth and satisfaction. Natural deduction is used as a proof system. Volker Halbach introduces the essential concepts through examples and informal explanations as well as through abstract definitions. The Logic Manual provides the best entry to the general abstract way of thinking about language, logic, and semantics which is characteristic of contemporary philosophy. Exercises, examples, and sample examination papers are provided on an accompanying website.
Table of Contents1. Sets, Relations, and Arguments ; 2. Syntax and Semantics of Propositional Logic ; 3. Formalisation in Propositional Logic ; 4. The Syntax of Predicate Logic ; 5. The Semantics of Predicate Logic ; 6. Natural Deduction ; 7. Formalisation in Predicate Logic ; 8. Identity and Definite Descriptions ; Natural Deduction Rules
