Handbook of Philosophical Logic

1. Front Matter

   Pages i-xi

   PDF

2. Basic Modal Logic

   • Robert Bull, Krister Segerberg

   Pages 1-88

3. Basic Tense Logic

   • John P. Burgess

   Pages 89-133

4. Combinations of Tense and Modality

   • Richmond H. Thomason

   Pages 135-165

5. Correspondence Theory

   • Johan Van Benthem

   Pages 167-247

6. Quantification in Modal Logic

   • James W. Garson

   Pages 249-307

7. Philosophical Perspectives on Quantification in Tense and Modal Logic

   • Nino B. Cocchiarella

   Pages 309-353

8. General Intensional Logic

   • C. Anthony Anderson

   Pages 355-385

9. Conditional Logic

   • Donald Nute

   Pages 387-439

10. Modal Logic and Self-Reference

    • Craig Smoryński

    Pages 441-495

11. Dynamic Logic

    • David Harel

    Pages 497-604

12. Deontic Logic

    • Lennart Åqvist

    Pages 605-714

13. The Logic of Questions

    • David Harrah

    Pages 715-764

14. Back Matter

    Pages 765-779

    PDF

The chapters in the present volume go beyond 'classical' extensional logic with respect to one important factor: they all include among the semantic constituents representations of so-called 'possible worlds'. The inclusion of such 'indices' has turned out to be the semantic mainstay in dealing with a number of issues having to do with intensional features of natural and artificial languages. It is, of course, an open question whether 'possible world' semantics is in the final analysis the proper solution to the many problems and puzzles intensional constructions raise for the logical analysis of the many varieties of discourse. At present, there seem to be about as many opponents as proponents with regard to the usefulness of having the semantics of intensional languages based on possible world constructs. Some attempts to come to grips with intensional phenomena which are not couched in the possible world framework are discussed in Volume IV of the Handbook. Chapter 1 is an extensive survey of the main systems of (propositional) modal logic including the most important meta-mathematical results and the techniques used in establishing these. It introduces the basic terminology and semantic machinery applied in one way or another in many of the subsequent chapters. Chapter 2 discusses the most significant developments in (propositional) tense logic which can of course be regarded as a special kind of modal logic, where the possible world indices are simply (ordered) moments of time.

• logic
• philosophical logic

• Department of Mathematics and Computer Science, Bar-Ilan University, Israel

  D. Gabbay

• Neuphilologische Fakultaet, University of Tuebingen, West Germany

  F. Guenthner

Policies and ethics