© 1983

Handbook of Philosophical Logic

Volume I: Elements of Classical Logic

  • D. Gabbay
  • F. Guenthner

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

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Wilfrid Hodges
    Pages 1-131
  3. Göran Sundholm
    Pages 133-188
  4. Hugues Leblanc
    Pages 189-274
  5. Johan Van Benthem, Kees Doets
    Pages 275-329
  6. Allen Hazen
    Pages 331-407
  7. Back Matter
    Pages 479-497

About this book


The aim of the first volume of the present Handbook of Philosophical Logic is essentially two-fold: First of all, the chapters in this volume should provide a concise overview of the main parts of classical logic. Second, these chapters are intended to present all the relevant background material necessary for the understanding of the contributions which are to follow in the next three volumes. We have thought it to be of importance that the connections between classical logic and its 'extensions' (covered in Volume 11) as well as its most important 'alternatives' (covered in Volume Ill) be brought out clearly from the start. The first chapter presents a clear and detailed picture of the range of what is generally taken to be the standard logical framework, namely, predicate (or first-order quantificational) logic. On the one hand, this chapter surveys both propositionai logic and first-order predicate logic and, on the other hand, presents the main metalogical results obtained for them. Chapter 1. 1 also contains a discussion of the limits of first-order logic, i. e. it presents an answer to the question: Why has predicate logic played such a formidable role in the formalization of mathematics and in the many areas of philo­ sophical and linguistic applications? Chapter 1. 1 is prerequisite for just about all the other chapters in the entire Handbook, while the other chapters in Volume I provide more detailed discussions of material developed or hinted at in the first chapter.


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

  • Book Title Handbook of Philosophical Logic
  • Book Subtitle Volume I: Elements of Classical Logic
  • Editors Dov M. Gabbay
    Franz Guenthner
  • Series Title Synthese Library
  • DOI
  • Copyright Information Springer Science+Business Media B.V. 1983
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Hardcover ISBN 978-90-277-1542-5
  • Softcover ISBN 978-94-009-7068-7
  • eBook ISBN 978-94-009-7066-3
  • Edition Number 1
  • Number of Pages XIII, 497
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Logic
    Mathematical Logic and Foundations
    Computational Linguistics
  • Buy this book on publisher's site