Description

The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of logic is presented so extensively. The volumes are numerous and large. Authors have been given considerable latitude to produce chapters of a length, and a level of detail, that would lay fair claim on the ambitions of the project to be a definitive research work. Authors have been carefully selected with this aim in mind. They and the Editors join in the conviction that a knowledge of the history of logic is nothing but beneficial to the subject's present-day research programmes. One of the attractions of the Handbook's several volumes is the emphasis they give to the enduring relevance of developments in logic throughout the ages, including some of the earliest manifestations of the subject.

Key Features

  • Covers in depth the notion of logical consequence
  • Discusses the central concept in logic of modality
  • Includes the use of diagrams in logical reasoning

Readership

Researchers, and graduate and senior undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive psychology and neuroscience, linguistics, forensics, philosophy and the philosophy and the history of philosophy, and the history of ideas

Table of Contents

Dedication

Preface

List of Authors

A History of The Consequence Relations

1 Introduction

2 Aristotle [384 BCE-322 BCE]

3 Stoics [300 BCE–200 CE]

4 Medievals [476 CE–1453 CE]

5 Leibniz [1646–1716]

6 Kant [1724–1804]

7 Bolzano [1781–1848]

8 Boole [1815–1864]

9 Frege [1848–1925]

10 Russell [1872–1970]

11 Carnap [1891–1970]

12 Gentzen [1909–1945]

13 Tarski [1902–1983]

14 Gödel [1906–1978]

15 Modal Logics

16 Nonmonotonic Options

17 The Substructural Landscape

18 Monism or Pluralism

Bibliography

A History of Quantification

1 Aristotle’s Quantification Theory

2 Quantifiers In Medieval Logic

3 The Textbook Theories of Quantification

4 The Rise Of Modern Logic

5 Contemporary Quantification Theory

Bibliography

History of Negation

Introduction: Grice as a Catalyst

Acknowledgments

Bibliography

A History of The Connectives

1 Aristotelian Foundations

2 Stoic Logic

3 Hypothetical Syllogisms

4 Early Medieval Theories

5 Later Medieval Theories

6 Leibniz’s Logic

7 Standard Modern-Era Logic

8 Bolzano

9 Boole

10 Frege

11 Peirce and Peano

12 On to The Twentieth Century

Bibliography

A History of Truth-Values

1 An Emblematic Concept of Modern Logic

2 From Tarski To Suszko

3 The Initial Bouillon: Three Wise Men

4 Developing Stage

5 Many Truth-Values

6 Structures, Models, Worlds

7 Non Truth-Functional Truth-Values

Bibliography

A History of Modal Traditions

1 Extensional Modal Conceptions in Ancient and Medieval Philosophy

2 Modality as A

Details

No. of pages:
708
Language:
English
Copyright:
© 2012
Published:
Imprint:
North Holland
Electronic ISBN:
9780080931708
Print ISBN:
9780444529374

About the editors

Dov M. Gabbay

Dov M. Gabbay is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. He has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international Journals, and many reference works and Handbooks of Logic.