Table of Contents

1: 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

About the Author

Volker Halbach is Reader and CUF Lecturer in Philosophy at the University of Oxford