Table of Contents

How to Read This Book xi
I Propositional Logic
1 Introduction 3
2 Connectives: and & if 19
3 More Connectives: not & or 35
4 Facts about Proofs & Provability 49
5 Models & Counterexamples 75
6 Soundness & Completeness 91
II Modal Logic
7 Necessity & Possibility 117
8 Actuality & 2D Logic 153
9 Modal Natural Deduction 167
III Predicate Logic
10 Proofs for Predicate Logic 189
11 Models for Predicate Logic 217
12 Coda 245
Glossary 255
References 261
Symbol Index 267
Subject Index 269

About the Author

Greg Restall is Shelby Cullom Davis Professor of Philosophy at the University of St Andrews. He is the author of Logic- An Introduction and coauthor of Logical Pluralism. Shawn Standefer is Assistant Professor of Philosophy at National Taiwan University.