Curry's paradox and \(\omega \)-inconsistency

DOI10.1007/s11225-012-9373-3zbMath1316.03003OpenAlexW2001595614MaRDI QIDQ361866

Andrew Bacon

Publication date: 19 August 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9373-3

zbMATH Keywords

Łukasiewicz logicCurry's paradoxnaïve truth theory\(\omega\)-inconsistencycontractionless logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Many-valued logic (03B50)

Related Items (13)

Paths to triviality ⋮ A pragmatic dissolution of Curry's paradox ⋮ Contraction, infinitary quantifiers, and omega paradoxes ⋮ BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH ⋮ A new conditional for naive truth theory ⋮ ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS ⋮ Fusion and confusion ⋮ Naive structure, contraction and paradox ⋮ Truth without standard models: some conceptual problems reloaded ⋮ Paraconsistent or Paracomplete? ⋮ \(\mathrm{IKT}^\omega\) and Łukasiewicz-models ⋮ Sorites, Curry and Suitable Models ⋮ Non-deterministic conditionals and transparent truth

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• How to be really contraction free
• Naïve comprehension and contracting implications
• Routes to triviality
• Formal systems of fuzzy logic and their fragments
• The liar paradox and fuzzy logic
• Logical paradoxes for many-valued systems

This page was built for publication: Curry's paradox and \(\omega \)-inconsistency