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.
ISBN(s)
PhilPapers/Archive ID
BACCPA-3
Upload history
Archival date: 2011-05-11
View other versions
Added to PP index
2011-05-11

Total views
666 ( #6,113 of 53,519 )

Recent downloads (6 months)
73 ( #7,703 of 53,519 )

How can I increase my downloads?

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