Handbook of Philosophical Logic

Volume II: Extensions of Classical Logic

  • D. Gabbay
  • F. Guenthner

Part of the Synthese Library book series (SYLI, volume 165)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Robert Bull, Krister Segerberg
    Pages 1-88
  3. John P. Burgess
    Pages 89-133
  4. Richmond H. Thomason
    Pages 135-165
  5. Johan Van Benthem
    Pages 167-247
  6. James W. Garson
    Pages 249-307
  7. C. Anthony Anderson
    Pages 355-385
  8. Donald Nute
    Pages 387-439
  9. Craig Smoryński
    Pages 441-495
  10. David Harel
    Pages 497-604
  11. Lennart Åqvist
    Pages 605-714
  12. David Harrah
    Pages 715-764
  13. Back Matter
    Pages 765-779

About this book

Introduction

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.

Keywords

logic philosophical logic

Editors and affiliations

  • D. Gabbay
    • 1
  • F. Guenthner
    • 2
  1. 1.Department of Mathematics and Computer ScienceBar-Ilan UniversityIsrael
  2. 2.Neuphilologische FakultaetUniversity of TuebingenWest Germany

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-009-6259-0
  • Copyright Information Springer Science+Business Media B.V. 1984
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-94-009-6261-3
  • Online ISBN 978-94-009-6259-0
  • About this book