TRUTH WITHOUT CONTRA(DI)CTION

DOI10.1017/S1755020311000177zbMath1252.03018MaRDI QIDQ3224045

Elia Zardini

Publication date: 29 March 2012

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

consistencysemantic paradoxestheory of truthprincipled revision of classical logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

Related Items (44)

Restriction by noncontraction ⋮ A propositional theory of truth ⋮ Paraconsistent metatheory: new proofs with old tools ⋮ CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS ⋮ Further Reflections on Sentences Saying of Themselves Strange Things ⋮ Contraction, infinitary quantifiers, and omega paradoxes ⋮ Naive \textit{modus ponens} ⋮ ABSOLUTE CONTRADICTION, DIALETHEISM, AND REVENGE ⋮ NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES ⋮ Conditionals in theories of truth ⋮ Systems for non-reflexive consequence ⋮ Instability and contraction. \textit{Méditations hégéliennes}. I ⋮ Editorial introduction: substructural logics and metainferences ⋮ The final cut ⋮ (I can't get no) antisatisfaction ⋮ On the metainferential solution to the semantic paradoxes ⋮ ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS ⋮ The original sin of proof-theoretic semantics ⋮ On structural contraction and why it fails ⋮ A plea for KR ⋮ Paradox and logical revision. A short introduction ⋮ The opacity of truth ⋮ Naive structure, contraction and paradox ⋮ Denial and disagreement ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ Logical consequence and the paradoxes ⋮ $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$ ⋮ \(\mathrm{IKT}^\omega\) and Łukasiewicz-models ⋮ Structural weakening and paradoxes ⋮ Towards a non-classical meta-theory for substructural approaches to paradox ⋮ Guest editors' introduction ⋮ A family of metainferential logics ⋮ Context and consequence. an intercontextual substructural logic ⋮ Principles for object-linguistic consequence: from logical to irreflexive ⋮ A cartography of LFIs and truth ⋮ Noncontractive classical logic ⋮ Deep fried logic ⋮ Non-contractability and revenge ⋮ A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION” ⋮ Cut elimination for systems of transparent truth with restricted initial sequents ⋮ Non-reflexivity and revenge ⋮ A Note on Gödel, Priest and Naïve Proof ⋮ The logics of strict-tolerant logic ⋮ Saving the truth schema from paradox

Cites Work

• Multiset theory
• Untersuchungen über das logische Schliessen. I
• Outline of a Theory of Truth
• Truthmakers, knowledge and paradox
• The inconsistency of certain formal logics
• Unnamed Item
• Unnamed Item

This page was built for publication: TRUTH WITHOUT CONTRA(DI)CTION