Logic: A History of its Central Concepts

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 Alternativeness

Primary Literature

Secondary Literature

A History of Natural Deduction

1 Introduction

2 Object Language Natural Deduction

3 The Metatheory of Natural Deduction

4 Problems And Projects

Bibliography

A History Of Connexivity

1 Two Thousand Three Hundred Years Of Connexive Implication

2 Connexive Conditionals: An Empirical Approach

3 Paradoxes of Implication

4 The Avoidance of Paradox

5 A Consistent System of Connexive Logic

6 Connexive Logic In Subproof Form

7 Connexive Logic and The Syllogism

8 Connexive Class Logic

9 First-Degree Connexive Formulae

10 Causal Implication

11 Contemporary Work On Connexive Implication: Meyer, Routley, Mortensen, Priest, Lowe, Pizzi, Wansing, Rahman and Rückert.

Bibliography

A History of Types

1 Introduction

2 Prehistory of Types

3 Type Theory in Principia Mathematica

4 History of the Deramification

5 The Simple Theory of Types

6 Conclusion

Bibliography

A History of the Fallacies in Western Logic

1 Introductory Remarks

2 Aristotle (384–322 Bc)

3 The Hellenistic and Mediaeval Periods

4 Francis Bacon (1561–1626)

5 Antoine Arnauld (1612–1694) and Pierre Nicole (1625–1695)

6 Isaac Watts: an Interlude

7 John Locke

8 Richard Whately (1787–1863)

9 John Stuart Mill (1806–1873)

10 Augustus Demorgan (1806–1871)

11 The Great Depression: 1848–1970

12 Now

Bibliography

A History of Logic Diagrams

1 Introduction

2 The Golden Age of Logic Diagrams

3 Representing Information with Diagrams

4 Manipulating Information with Diagrams

5 The Frege-Peirce Affair

6 Revival in A New Age

Bibliography

Index