Faithfulness for naive validity

DOI10.1007/S11229-018-1687-XMaRDI QIDQ2052637zbMATH OpenOpenAlexFDO

Authors Ulf Hlobil

Publication date 26 November 2021

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-018-1687-x

zbMATH Keywords

V-Curry paradoxnaive validitynontransitive logicsubstructural approaches to paradox

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Disarming a paradox of validity
• A note on contraction-free logic for validity
• External curries
• Naive modus ponens and failure of transitivity
• There is no paradox of logical validity

Cites work

• Anything goes
• Conservatively extending classical logic with transparent truth
• Cut Elimination in the Presence of Axioms
• Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
• Disarming a paradox of validity
• External curries
• Naive \textit{modus ponens}
• Self-reference and the Languages of Arithmetic
• There is no paradox of logical validity
• Tolerant, classical, strict
• Validity as a primitive

Cited in

(14)

• A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP
• Sequent calculi for first-order ST
• A hybrid calculus for the validities and invalidities of classical propositional logic
• Degrees of validity and the logical paradoxes
• On the metainferential solution to the semantic paradoxes
• Validity, dialetheism and self-reference
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• Validity as a primitive
• Validity in a dialetheist framework
• Editorial introduction: substructural logics and metainferences
• There is no paradox of logical validity
• The final cut
• Towards a non-classical meta-theory for substructural approaches to paradox
• Expressing validity: towards a self-sufficient inferentialism

This page was built for publication: Faithfulness for naive validity

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