Faithfulness for naive validity

DOI10.1007/S11229-018-1687-XzbMath1474.03024OpenAlexW2791658217MaRDI QIDQ2052637

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)

Related Items (6)

Editorial introduction: substructural logics and metainferences ⋮ Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates ⋮ The final cut ⋮ A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP ⋮ On the metainferential solution to the semantic paradoxes ⋮ Towards a non-classical meta-theory for substructural approaches to paradox

Cites Work

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

This page was built for publication: Faithfulness for naive validity