Truth without contra(di)ction

DOI10.1017/S1755020311000177zbMATH Open1252.03018MaRDI QIDQ3224045FDOQ3224045

Authors: Elia Zardini 

Publication date: 29 March 2012

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

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

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)

Cites Work

• Untersuchungen über das logische Schliessen. I
• Saving truth from paradox
• Outline of a Theory of Truth
• Title not available (Why is that?)
• The inconsistency of certain formal logics
• Multiset theory
• Truthmakers, knowledge and paradox

Cited In (62)

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

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)