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.
Preface.
Introduction: Lou Goble (Willamette University).
1. Classical Logic I - First-Order Logic: Wilfrid Hodges (Queen Mary and Westfield College, University of London).
2. Classical Logic II - Higher-Order Logic: Stewart Shapiro (The Ohio State University at Newark; University of St.Andrews).
3. Set Theory: John P. Burgess (Princeton University).
4. Godel's Incompleteness Theorems: Raymond Smullyan (Indiana University).
5. Truth: Anil Gupta (Indiana University).
6. Logical Consequence: Patricia A. Blanchette (University of Notre Dame).
7. Modal Logic: M. J. Cresswell (Victoria University of Wellington).
8. Deontic Logic: Risto Hilpinen (University of Miami, Coral Gables).
9. Epistemic Logic: J.-J. Ch. Meyer (Utrecht University).
10. Temporal Logic: Yde Venema (University of Amsterdam).
11. Intuitionistic Logic: Dirk van Dalen (Utrecht University).
12. Free Logics: Karel Lambert (University of California at Irvine and the University of Salzburg).
13. Relevant Logics: Edwin D. Mares (Victoria University of Wellington) and Robert K. Meyer (Australian National University).
14. Many-Valued Logics: Grzegorz Malinowski (University of Ódê).
15. Nonmonotonic Logic: John F. Horty (University of Maryland).
16. Probability, Logic, and Probability Logic: Alan Hájek (California Institute of Technology).
17. Conditionals: Dorothy Edgington (University of Oxford).
18. Negatló‡