Advertisement

Handbook of Philosophical Logic

  • D. M. Gabbay
  • F. Guenthner

Part of the Handbook of Philosophical Logic book series (HALO, volume 4)

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Donald Nute, Charles B. Cross
    Pages 1-98
  3. David Harel, Dexter Kozen, Jerzy Tiuryn
    Pages 99-217
  4. Henry Prakken, Gerard Vreeswijk
    Pages 219-318
  5. Sven Ove Hansson
    Pages 319-393
  6. Eric M. Hammer
    Pages 395-422
  7. Back Matter
    Pages 423-431

About this book

Introduction

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu­ nity. It followed the North Holland one volume Handbook 0/ Mathematical Logic, published in 1977, edited by the late Jon Barwise. The four volume Handbook 0/ Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence cireles. These areas were under increasing commercial press ure to provide devices which help andjor replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa­ tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.

Keywords

argumentation conditional edition logic philosophical logic

Editors and affiliations

  • D. M. Gabbay
    • 1
  • F. Guenthner
    • 2
  1. 1.King’s CollegeLondonUK
  2. 2.Centrum für Informations- und SprachverarbeitungLudwig-Maximilians-Universität MünchenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-017-0456-4
  • Copyright Information Springer Science+Business Media B.V. 2002
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-5877-5
  • Online ISBN 978-94-017-0456-4
  • Buy this book on publisher's site