, Volume 101, Issue 1, pp 1-9
Date: 07 Jul 2012

Curry’s Paradox and ω -Inconsistency

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes1. 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 ω-inconsistency in Łukasiewicz’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 ukasiewicz logic which individually, but not jointly, lack the problematic feature.

Presented by Jacek Malinowski
1 See, for example, [ 1,2,5].