摘要: List of Contributors. Preface. Introduction: Lou Goble (Willamette University). 1. Classical Logic I - First-Order Logic: Wilfrid Hodges (Queen Mary and Westfield College, University London). 2. II Higher-Order Stewart Shapiro (The Ohio State at Newark St.Andrews). 3. Set Theory: John P. Burgess (Princeton 4. Godel's Incompleteness Theorems: Raymond Smullyan (Indiana 5. Truth: Anil Gupta 6. Logical Consequence: Patricia A. Blanchette (University Notre Dame). 7. Modal M. J. Cresswell (Victoria Wellington). 8. Deontic Risto Hilpinen Miami, Coral Gables). 9. Epistemic J.-J. Ch. Meyer (Utrecht University) . 10. Temporal Yde Venema Amsterdam). 11. Intuitionistic Dirk van Dalen 12. Free Logics: Karel Lambert California Irvine the Salzburg). 13. Relevant Edwin D. Mares Wellington) Robert K. (Australian National 14. Many-Valued Grzegorz Malinowski Ode). 15. Nonmonotonic F. Horty Maryland). 16. Probability, Logic, Probability Alan Hajek (California Institute Technology). 17. Conditionals: Dorothy Edgington Oxford). 18. Negation: Heinrich Wansing (Dresden 19. Quantifiers: Dag Westerstahl (Goteborg 20. Natural Language: Alice ter Meulen Groningen). Index.