Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover image
Title page
Copyright
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
← Prev
Back
Next →
← Prev
Back
Next →