Curry’s Paradox and ω -Inconsistency

Studia Logica 101 (1):1-9 (2013)
Download Edit this record How to cite View on PhilPapers
Abstract
In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but not jointly, lack the problematic feature.
PhilPapers/Archive ID
BACCPA-3
Revision history
Archival date: 2011-05-11
View upload history
References found in this work BETA
The Liar Paradox and Fuzzy Logic.Hájek, Petr; Paris, Jeff & Shepherdson, John
Routes to Triviality.Rogerson, Susan & Restall, Greg

View all 8 references / Add more references

Citations of this work BETA
Fusion and Confusion.Priest, Graham
Paths to Triviality.Øgaard, Tore Fjetland
Non-Deterministic Conditionals and Transparent Truth.Pailos, Federico & Rosenblatt, Lucas

Add more citations

Added to PP index
2011-05-11

Total views
514 ( #5,172 of 40,685 )

Recent downloads (6 months)
28 ( #20,231 of 40,685 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.