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