CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
From MaRDI portal
Publication:2890700
DOI10.1017/S1755020312000056zbMath1248.03012OpenAlexW2133089137MaRDI QIDQ2890700
Publication date: 11 June 2012
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020312000056
Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Many-valued logic (03B50)
Related Items (60)
De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics ⋮ Inferences and metainferences in \(\mathsf{ST}\) ⋮ Restriction by noncontraction ⋮ On all strong Kleene generalizations of classical logic ⋮ What is a relevant connective? ⋮ HOW A SEMANTICS FOR TONK SHOULD BE ⋮ CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS ⋮ NAIVE SET THEORY AND NONTRANSITIVE LOGIC ⋮ Naive \textit{modus ponens} ⋮ NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES ⋮ Foreword: Three-valued logics and their applications ⋮ The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ Systems for non-reflexive consequence ⋮ Editorial introduction: substructural logics and metainferences ⋮ One step is enough ⋮ Deep \textsf{ST} ⋮ Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates ⋮ Metainferential reasoning on strong Kleene models ⋮ Empty logics ⋮ Metasequents and tetravaluations ⋮ Derivability and metainferential validity ⋮ The final cut ⋮ Substructural logics, pluralism and collapse ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ Herzberger's limit rule with labelled sequent calculus ⋮ Truth meets vagueness. Unifying the semantic and the soritical paradoxes ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ Inferential constants ⋮ On the metainferential solution to the semantic paradoxes ⋮ Anti-exceptionalism, truth and the BA-plan ⋮ On structural contraction and why it fails ⋮ Neutral free logic: motivation, proof theory and models ⋮ Paradox and logical revision. A short introduction ⋮ A note on contraction-free logic for validity ⋮ Naive structure, contraction and paradox ⋮ Nonmonotonicity and Knowability: As Knowable as Possible ⋮ What is a Paraconsistent Logic? ⋮ Structural weakening and paradoxes ⋮ Towards a non-classical meta-theory for substructural approaches to paradox ⋮ Classical logic and the strict tolerant hierarchy ⋮ Non-classical elegance for sequent calculus enthusiasts ⋮ ON PATHOLOGICAL TRUTHS ⋮ A family of metainferential logics ⋮ Principles for object-linguistic consequence: from logical to irreflexive ⋮ Noncontractive classical logic ⋮ A hierarchy of classical and paraconsistent logics ⋮ Faithfulness for naive validity ⋮ Validity, dialetheism and self-reference ⋮ A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES ⋮ Meaningless divisions ⋮ Cut elimination for systems of transparent truth with restricted initial sequents ⋮ Metainferential duality ⋮ Validities, antivalidities and contingencies: a multi-standard approach ⋮ Non-reflexivity and revenge ⋮ Structural proof theory for first-order weak Kleene logics ⋮ Disjoint Logics ⋮ Priest’s Motorbike and Tolerant Identity ⋮ The logics of strict-tolerant logic ⋮ Sequent-calculi for metainferential logics ⋮ Naive modus ponens and failure of transitivity
Cites Work
This page was built for publication: CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
