Naive structure, contraction and paradox

DOI10.1007/s11245-014-9235-xzbMath1382.03043OpenAlexW2036693267MaRDI QIDQ1708466

Lionel Shapiro

Publication date: 23 March 2018

Published in: Topoi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11245-014-9235-x

zbMATH Keywords

liar paradoxsubstructural logicsCurry's paradoxnoncontractive logicsstructural and logical rules

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (7)

Contraction, infinitary quantifiers, and omega paradoxes ⋮ Instability and contraction. \textit{Méditations hégéliennes}. I ⋮ On structural contraction and why it fails ⋮ Structural weakening and paradoxes ⋮ Towards a non-classical meta-theory for substructural approaches to paradox ⋮ A family of metainferential logics ⋮ Noncontractive classical logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Curry's paradox and \(\omega \)-inconsistency
• Naive \textit{modus ponens}
• Logical consequence and the paradoxes
• Linear logic
• Logical constants as punctuation marks
• Restricted arrow
• Sense, entailment and modus ponens
• Subintuitionistic logics
• Substructural logics: a primer
• Untersuchungen über das logische Schliessen. I
• There is no paradox of logical validity
• Logic and the modalities in the twentieth century
• Schlussweisen-Kalküle der Prädikatenlogik
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• Free of Detachment: Logic, Rationality, and Gluts
• TRUTH WITHOUT CONTRA(DI)CTION
• Solution to the P − W problem
• Basic logic: reflection, symmetry, visibility
• Diagonalization and truth functional operators
• Dialetheism, logical consequence and hierarchy
• Validity as a primitive
• The liar paradox and fuzzy logic

This page was built for publication: Naive structure, contraction and paradox