Naive modus ponens and failure of transitivity

DOI10.1007/S10992-015-9351-0MaRDI QIDQ263086zbMATH OpenOpenAlexFDO

Authors Andreas Fjellstad

Publication date 4 April 2016

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

Full work available at URL https://doi.org/10.1007/s10992-015-9351-0

zbMATH Keywords

conditionalssemantic paradoxesmodus ponensnon-classical logicsnon-transitive entailment

Mathematics Subject Classification ID

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

Recommendations

• Modal Logic and Negation as Failure
• Naive \textit{modus ponens}
• Naive truth and naive logical properties
• scientific article; zbMATH DE number 589685
• On a supposed criticism of counterexample to modus ponens
• Modal objection to naive Leibnizian identity
• Some failures of interpolation in modal logic
• scientific article; zbMATH DE number 63607
• Modal provability foundations for negation by failure
• scientific article; zbMATH DE number 4197966

Cites work

• A model of tolerance
• Conservatively extending classical logic with transparent truth
• Naive \textit{modus ponens}
• Relative necessity
• The logic of paradox
• There is no paradox of logical validity
• Tolerant, classical, strict

Cited in

(8)

• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• Faithfulness for naive validity
• Metasequents and tetravaluations
• Naive \textit{modus ponens}
• Deep \textsf{ST}
• A family of metainferential logics
• ST, LP and tolerant metainferences
• A fully classical truth theory characterized by substructural means

This page was built for publication: Naive modus ponens and failure of transitivity

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