Truth without contra(di)ction

DOI10.1017/S1755020311000177MaRDI QIDQ3224045zbMATH OpenFDO

Authors 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)

Recommendations

• A propositional theory of truth
• Dissolving the paradoxicality paradox
• A new unified account of truth and paradox
• Saving the truth schema from paradox
• Logical consequence and the paradoxes

Cites work

• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• Multiset theory
• Outline of a Theory of Truth
• Saving truth from paradox
• The inconsistency of certain formal logics
• Truthmakers, knowledge and paradox
• Untersuchungen über das logische Schliessen. I

Cited in

(62)

• A cartography of LFIs and truth
• Non-contractability and revenge
• The innocence of truth in semantic paradox
• Deep fried logic
• Classical logic and the liar
• Semantic paradox and alethic undecidability
• Guest editors' introduction
• ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS
• A note on Gödel, Priest and naïve proof
• A new unified account of truth and paradox
• Conceptual engineering for truth: aletheic properties and new aletheic concepts
• A UNIFIED THEORY OF TRUTH AND PARADOX
• Saving the truth schema from paradox
• Conservatively extending classical logic with transparent truth
• A note on the cut-elimination proof in ``Truth without contra(di)ction
• Noncontractive classical logic
• Restriction by noncontraction
• Truth without satisfaction
• Contractions of noncontractive consequence relations
• Naive structure, contraction and paradox
• (I can't get no) antisatisfaction
• On the metainferential solution to the semantic paradoxes
• Logical consequence and the paradoxes
• Denial and disagreement
• Naive truth and naive logical properties
• Truth by default
• Ultimate truth vis-à-vis stable truth
• Absolute contradiction, dialetheism, and revenge
• Systems for non-reflexive consequence
• Paraconsistent metatheory: new proofs with old tools
• On structural contraction and why it fails
• Structural weakening and paradoxes
• On the metatheory for paraconsistent truth
• Dissolving the paradoxicality paradox
• Truth, predication and a family of contingent paradoxes
• Non-reflexivity and revenge
• The logics of strict-tolerant logic
• The opacity of truth
• Supervaluation-style truth without supervaluations
• Paths to triviality
• A propositional theory of truth
• Paradox and logical revision. A short introduction
• Truth in a logic of formal inconsistency: how classical can it get?
• Editorial introduction: substructural logics and metainferences
• Principles for object-linguistic consequence: from logical to irreflexive
• Norms of truth and logical revision
• $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$
• Naive \textit{modus ponens}
• Instability and contraction. \textit{Méditations hégéliennes}. I
• Context and consequence. an intercontextual substructural logic
• The final cut
• Towards a non-classical meta-theory for substructural approaches to paradox
• A family of metainferential logics
• Conditionals in theories of truth
• A fully classical truth theory characterized by substructural means
• Nothing but the truth
• Contraction, infinitary quantifiers, and omega paradoxes
• \(\mathrm{IKT}^\omega\) and Łukasiewicz-models
• Further reflections on sentences saying of themselves strange things
• A plea for KR
• Cut elimination for systems of transparent truth with restricted initial sequents
• The original sin of proof-theoretic semantics

This page was built for publication: Truth without contra(di)ction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3224045)