This volume presents a definitive introduction to twenty core areas of philosophical logic including classical logic, modal logic, alternative logics and close examinations of key logical concepts.
List of Contributors vii
Preface ix
Introduction 1
Lou Goble
1 Classical Logic I First-Order Logic 9
Wilfrid Hodges
2 Classical Logic II Higher-Order Logic 33
Stewart Shapiro
3 Set Theory 55
John P. Burgess
4 G?dels Incompleteness Theorems 72
Raymond Smullyan
5 Truth 90
Anil Gupta
6 Logical Consequence 115
Patricia A. Blanchette
7 Modal Logic 136
M. J. Cresswell
8 Deontic Logic 159
Risto Hilpinen
9 Epistemic Logic 183
J.-J. Ch. Meyer
10 Temporal Logic 203
Yde Venema
11 Intuitionistic Logic 224
Dirk van Dalen
12 Free Logics 258
Karel Lambert
13 Relevant Logics 280
Edwin D. Mares and Robert K. Meyer
14 Many-Valued Logics 309
Grzegorz Malinowski
15 Nonmonotonic Logic 336
John F. Horty