Naive \textit{modus ponens}

DOI10.1007/s10992-012-9239-1zbMath1315.03012OpenAlexW2019724282MaRDI QIDQ373022

Elia Zardini

Publication date: 21 October 2013

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-012-9239-1

zbMATH Keywords

contractionlogical consequenceentailmenttransparent truthCurry's paradox\textit{modus ponens}

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (19)

A family of strict/tolerant logics ⋮ Restriction by noncontraction ⋮ NAIVE TRUTH AND NAIVE LOGICAL PROPERTIES ⋮ Instability and contraction. \textit{Méditations hégéliennes}. I ⋮ Deep \textsf{ST} ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ Paradox and logical revision. A short introduction ⋮ The opacity of truth ⋮ Naive structure, contraction and paradox ⋮ Paradoxes of logical equivalence and identity ⋮ $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$ ⋮ What is a Paraconsistent Logic? ⋮ ST, LP and Tolerant Metainferences ⋮ A family of metainferential logics ⋮ Principles for object-linguistic consequence: from logical to irreflexive ⋮ A hierarchy of classical and paraconsistent logics ⋮ Faithfulness for naive validity ⋮ A Note on Gödel, Priest and Naïve Proof ⋮ Naive modus ponens and failure of transitivity

Cites Work

• Unnamed Item
• Unnamed Item
• Tolerant, classical, strict
• Linear logic
• A model of tolerance
• Sense, entailment and modus ponens
• The logic of paradox
• Subintuitionistic logics
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• TRUTH WITHOUT CONTRA(DI)CTION
• The inconsistency of certain formal logics

This page was built for publication: Naive \textit{modus ponens}