| |
| |
| Acknowledgements of First Edition | |
| |
| |
| Preface of First Edition | |
| |
| |
| Preface of Second Edition | |
| |
| |
| Introduction | |
| |
| |
| |
| Dialetheism | |
| |
| |
| |
| The Logical Paradoxes | |
| |
| |
| |
| Semantic Paradoxes | |
| |
| |
| |
| Logical Paradoxes | |
| |
| |
| |
| Semantical Paradoxes: The Tarski Conditions | |
| |
| |
| |
| Truth Value Gaps | |
| |
| |
| |
| In Defence of the T-scheme | |
| |
| |
| |
| The Demise of a Hierarchy | |
| |
| |
| |
| ...or Two | |
| |
| |
| |
| Extended Semantic Paradoxes and Semantic Ascent | |
| |
| |
| |
| Appendix: Berry's Paradox | |
| |
| |
| |
| Set Theoretic Paradoxes | |
| |
| |
| |
| Set Theoretic Paradoxes | |
| |
| |
| |
| The Cumulative Hierarchy: Its Lack of Rationale | |
| |
| |
| |
| ...and its Inadequacy in Category Theory | |
| |
| |
| |
| ...and Logic | |
| |
| |
| |
| Semantics and Set Theory | |
| |
| |
| |
| Godel's Theorem | |
| |
| |
| |
| Godel's Theorem | |
| |
| |
| |
| Naive Proof | |
| |
| |
| |
| ...and Dialetheism | |
| |
| |
| |
| Inconsistency v. Incompleteness | |
| |
| |
| |
| Appendix: Proof of Godel's Theorem | |
| |
| |
| |
| Dialetheic Logical Theory | |
| |
| |
| |
| Truth and Falsity | |
| |
| |
| |
| Preliminary Issues | |
| |
| |
| |
| The T-scheme | |
| |
| |
| |
| ...and Meaning | |
| |
| |
| |
| But Truth is More than This | |
| |
| |
| |
| The Teleological Account of Truth | |
| |
| |
| |
| Assertion | |
| |
| |
| |
| Truth or Falsity: Truth Value Gaps | |
| |
| |
| |
| Truth and Falsity: Dialetheism | |
| |
| |
| |
| Untruth | |
| |
| |
| |
| Dialetheic Semantics for Extensional Connectives | |
| |
| |
| |
| Formal Languages: Abstraction | |
| |
| |
| |
| Extensional Sentential Connectives | |
| |
| |
| |
| Quantifiers and Identity | |
| |
| |
| |
| The Truth Predicate | |
| |
| |
| |
| Appendix: Proofs of Theorems | |
| |
| |
| |
| Entailment | |
| |
| |
| |
| Preliminary Issues | |
| |
| |
| |
| Curry Paradoxes | |
| |
| |
| |
| Entailment | |
| |
| |
| |
| The Omniscience of G | |
| |
| |
| |
| Non-Contraposible Implications | |
| |
| |
| |
| Relevant Logic | |
| |
| |
| |
| Quantification and Identity | |
| |
| |
| |
| Pragmatics | |
| |
| |
| |
| Pragmatics | |
| |
| |
| |
| Assertion: Content | |
| |
| |
| |
| Belief: Acceptance and Rejection | |
| |
| |
| |
| Rational Belief | |
| |
| |
| |
| Rational Change of Belief | |
| |
| |
| |
| Appendix: Probability Theory | |
| |
| |
| |
| The Disjunctive Syllogism and Quasi-Validity | |
| |
| |
| |
| The Disjunctive Syllogism | |
| |
| |
| |
| What it is Not | |
| |
| |
| |
| ...and What it is | |
| |
| |
| |
| The Improbability of Inconsistency | |
| |
| |
| |
| The Classical Recapture | |
| |
| |
| |
| Appendix: Consequence | |
| |
| |
| |
| Applications | |
| |
| |
| |
| Semantic Closure and the Philosophy of Language | |
| |
| |
| |
| Applications of Dialetheism | |
| |
| |
| |
| A Semantically Closed Theory | |
| |
| |
| |
| Comments on the Construction | |
| |
| |
| |
| Truth and Meaning | |
| |
| |
| |
| Appendix: Proofs of Theorems | |
| |
| |
| |
| Set Theory and the Philosophy of Mathematics | |
| |
| |
| |
| Naive Set Theory | |
| |
| |
| |
| Substitutional Semantics | |
| |
| |
| |
| Analyticity and Paradoxicality | |
| |
| |
| |
| Mathematical Realism | |
| |
| |
| |
| ...and Anti-Realism | |
| |
| |
| |
| Cardinality and Syntax | |
| |
| |
| |
| The Metaphysics of Change I: The Instant of Change | |
| |
| |
| |
| Contradictions in the World | |
| |
| |
| |
| The Instant of Change | |
| |
| |
| |
| Dialectical Tense Logic | |
| |
| |
| |
| The Leibniz Continuity Condition | |
| |
| |
| |
| The LCC and Contradiction | |
| |
| |
| |
| The Metaphysics of Change II: Motion | |
| |
| |
| |
| Change and Motion | |
| |
| |
| |
| The Orthodox Account of Motion | |
| |
| |
| |
| The Hegelean Account of Motion | |
| |
| |
| |
| ...and its Consequences | |
| |
| |
| |
| Norms and the Philosophy of Law | |
| |
| |
| |
| Inconsistent Obligations | |
| |
| |
| |
| Legal Dialetheias | |
| |
| |
| |
| Deontic Semantics | |
| |
| |
| |
| Some Semantic Invalidities | |
| |
| |
| |
| Other Norms, Rules and Games | |
| |
| |
| |
| The Resolution of Dialetheias | |
| |
| |
| |
| Language Games | |
| |
| |
| Conclusion | |
| |
| |
| |
| The Transconsistent | |
| |
| |
| |
| Material New to the Second Edition | |
| |
| |
| |
| The Metaphysics of Change III: Time | |
| |
| |
| |
| The Spread Hypothesis and the Hegelean Definition of Change | |
| |
| |
| |
| The Flow of Time | |
| |
| |
| |
| The Direction and Duration of Time | |
| |
| |
| |
| Some Variations and Extensions | |
| |
| |
| |
| Minimally Inconsistent LP | |
| |
| |
| |
| The Classical Recapture | |
| |
| |
| |
| Limiting the Models | |
| |
| |
| |
| Semantics for LP | |
| |
| |
| |
| Semantics for LPm | |
| |
| |
| |
| Properties of LPm | |
| |
| |
| |
| Reassurance: the Propositional Case | |
| |
| |
| |
| Reassurance: the First Order Case | |
| |
| |
| |
| Appendix Proofs of Lemmas | |
| |
| |
| |
| Inconsistent Arithmetic | |
| |
| |
| |
| Some History | |
| |
| |
| |
| Collapsed Models of Arithmetic | |
| |
| |
| |
| Consistent v. Inconsistent Arithmetics | |
| |
| |
| |
| Godel's Theorems | |
| |
| |
| |
| The Naive Notion of Proof | |
| |
| |
| |
| Shapiro's Criticisms | |
| |
| |
| |
| The Inconsistency of Peano Arithmetic | |
| |
| |
| |
| The Incredulous Stare | |
| |
| |
| |
| Appendix: The Structure of Inconsistent Models of Arithmetic | |
| |
| |
| |
| Paraconsistent Set Theory | |
| |
| |
| |
| Paraconsistent Set Theory: Background | |
| |
| |
| |
| The Material Strategy | |
| |
| |
| |
| The Relevant Strategy | |
| |
| |
| |
| The Model-Theoretic Strategy | |
| |
| |
| |
| Metatheory of Paraconsistent Logic | |
| |
| |
| |
| Technical Appendix | |
| |
| |
| |
| Autocommentary on the First Edition | |
| |
| |
| |
| Twenty Years On | |
| |
| |
| |
| Chapter 0 | |
| |
| |
| |
| Chapter 1 | |
| |
| |
| |
| Chapter 2 | |
| |
| |
| |
| Chapter 3 | |
| |
| |
| |
| Chapter 4 | |
| |
| |
| |
| Chapter 5 | |
| |
| |
| |
| Chapter 6 | |
| |
| |
| |
| Chapter 7 | |
| |
| |
| |
| Chapter 8 | |
| |
| |
| |
| Chapter 9 | |
| |
| |
| |
| Chapter 10 | |
| |
| |
| |
| Chapter 11 | |
| |
| |
| |
| Chapter 12 | |
| |
| |
| |
| Chapter 13 | |
| |
| |
| |
| Chapter 14 | |
| |
| |
| |
| Comments on Some Critics | |
| |
| |
| |
| The Empire Strikes Back | |
| |
| |
| |
| Dialetheic Logic | |
| |
| |
| |
| The Extended Liar Paradox | |
| |
| |
| |
| Expressability | |
| |
| |
| |
| Motion | |
| |
| |
| |
| Contradictions in the World | |
| |
| |
| Bibliography | |
| |
| |
| Index | |