책 이미지
책 정보
· 분류 : 외국도서 > 인문/사회 > 철학 > 형이상학
· ISBN : 9780631206934
· 쪽수 : 528쪽
· 출판일 : 2001-08-17
목차
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. Negation: Heinrich Wansing (Dresden University of Technology).
19. Quantifiers: Dag Westerståhl (Göteborg University).
20. Logic and Natural Language: Alice ter Meulen (University of Groningen).
Index.
