An Introduction to Formal Logic with Philosophical Applications

Contents
Preface
Chapter 1 Introducing Logic
	1.1: Defining ‘Logic’
	1.2: Logic and Languages
	1.3: A Short History of Logic
	1.4: Separating Premises from Conclusions
	1.5: Validity and Soundness
	Key Terms
Chapter 2 Propositional Logic
	2.1: Logical Operators and Translation
	2.2: Syntax of PL: Wffs and Main Operators
	2.3: Semantics of PL: Truth Functions
	2.4: Truth Tables
	2.5: Classifying Propositions
	2.6: Valid and Invalid Arguments
	2.7: Indirect Truth Tables
	Key Terms
Chapter 3 Inference in Propositional Logic
	3.1: Rules of Inference 1
	3.2: Rules of Inference 2
	3.3: Rules of Equivalence 1
	3.4: Rules of Equivalence 2
	3.5: Practice with Derivations
	3.6: The Biconditional
	3.7: Conditional Proof
	3.8: Logical Truths
	3.9: Indirect Proof
	3.10: Chapter Review
	Key Terms
Chapter 4 Monadic Predicate Logic
	4.1: Introducing Predicate Logic
	4.2: Translation Using M
	4.3: Syntax for M
	4.4: Derivations in M
	4.5: Quantifier Exchange
	4.6: Conditional and Indirect Proof in M
	4.7: Semantics for M
	4.8: Invalidity in M
	Key Terms
Chapter 5 Full First-Order Logic
	5.1: Translation Using Relational Predicates
	5.2: Syntax, Semantics, and Invalidity in F
	5.3: Derivations in F
	5.4: The Identity Predicate: Translation
	5.5: The Identity Predicate: Derivations
	5.6: Translation with Functions
	5.7: Derivations with Functions
	Key Terms
Chapter 6 Beyond Basic Logic
	6.1: Notes on Translation with PL
	6.2: Conditionals
	6.3: Three-Valued Logics
	6.4: Metalogic
	6.5: Modal Logics
	6.6: Notes on Translation with M
Chapter 7 Logic and Philosophy
	7.1: Deduction and Induction
	7.2: Fallacies and Argumentation
	7.3: Logic and Philosophy of Mind:  Syntax, Semantics, and the Chinese Room
	7.4: Logic and the Philosophy of Religion
	7.5: Truth and Liars
	7.6: Names, Definite Descriptions, and Logical Form
	7.7: Logicism
Appendix on the Logical Equivalence of the Rules  of Equivalence
Terms
Solutions to Selected Exercises
Index