Naive \textit{modus ponens}

DOI10.1007/S10992-012-9239-1MaRDI QIDQ373022zbMATH OpenOpenAlexFDO

Authors 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

contractiontransparent truthCurry's paradox\textit{modus ponens}entailmentlogical consequence

Mathematics Subject Classification ID

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

Recommendations

• Reinflating logical consequence
• A note on contraction-free logic for validity
• Fifty (more or less) shades of logical consequence
• Naive modus ponens and failure of transitivity
• Naïve comprehension and contracting implications

Cites work

• scientific article; zbMATH DE number 2150328 (Why is no real title available?)
• A model of tolerance
• Conservatively extending classical logic with transparent truth
• Linear logic
• Saving truth from paradox
• Sense, entailment and modus ponens
• Subintuitionistic logics
• The inconsistency of certain formal logics
• The logic of paradox
• Tolerant, classical, strict
• Truth without contra(di)ction

Cited in

(23)

• Paradox and logical revision. A short introduction
• Naive modus ponens and failure of transitivity
• A family of metainferential logics
• A family of strict/tolerant logics
• Restriction by noncontraction
• $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$
• Principles for object-linguistic consequence: from logical to irreflexive
• Shallow analysis and the slingshot argument
• What is a paraconsistent logic?
• ST, LP and tolerant metainferences
• On a supposed criticism of counterexample to modus ponens
• Naive truth and naive logical properties
• A hierarchy of classical and paraconsistent logics
• Reinflating logical consequence
• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• Deep \textsf{ST}
• Naive structure, contraction and paradox
• Faithfulness for naive validity
• Paradoxes of logical equivalence and identity
• Chancy Modus Ponens
• The opacity of truth
• Instability and contraction. \textit{Méditations hégéliennes}. I
• A note on Gödel, Priest and naïve proof

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

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