Chapters in this book

1. Front Matter i
2. Contents vii
3. Acknowledgements xiii
4. Introduction 1
5. Prepositional Logic
6. Propositions and arguments 9
7. Connectives and argument forms 20
8. Truth tables 36
9. Trees 55
10. Vagueness and bivalence 77
11. Conditionally 88
12. Natural deduction 102
13. Predicate Logic
14. Predicates, names and quantifiers 113
15. Models for predicate logic 128
16. Trees for predicate logic 149
17. Identity and functions 168
18. Definite descriptions 183
19. Some things do not exist 192
20. What is a predicate? 205
21. What is logic? 212
22. Bibliography 218
23. Index 221