Curry’s Paradox and ω -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
Upload history
Archival date: 2011-05-11
View other versions
Added to PP index

Total views
721 ( #6,172 of 56,922 )

Recent downloads (6 months)
77 ( #8,678 of 56,922 )

How can I increase my downloads?

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