Curry's paradox and omega inconsistency

Studia Logica 101 (1):1-9 (2013)
Download Edit this record How to cite View on PhilPapers
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
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

View all 9 references / Add more references

Citations of this work BETA
Fusion and Confusion.Priest, Graham
Non-Deterministic Conditionals and Transparent Truth.Pailos, Federico & Rosenblatt, Lucas

Add more citations

Added to PP index

Total downloads
472 ( #4,662 of 37,122 )

Recent downloads (6 months)
20 ( #16,916 of 37,122 )

How can I increase my downloads?

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