Jc Beall

Curry's paradox, so named for its discoverer, namely Haskell B. Curry, is a paradox within the family of so-called paradoxes of self-reference (or paradoxes of circularity). Like the liar paradox (e.g., ‘this sentence is false’) and Russell's paradox, Curry's paradox challenges familiar naive theories, including naive truth theory (unrestricted T-schema) and naive set theory (unrestricted axiom of abstraction), respectively. If one accepts naive truth theory (or naive set theory), then Curry's paradox becomes a direct challenge to one's theory of logical implication or entailment. Unlike the liar and Russell paradoxes Curry's paradox is negation-free; it may be generated irrespective of one's theory of negation. An intuitive version of the paradox runs as follows.

Minimalists, following Horwich, claim that all that can be said about truth is comprised by all and only the nonparadoxical instances of (E) p is true iff p. It is, accordingly, standard in the literature on truth and paradox to ask how the minimalist will restrict (E) so as to rule out paradox-inducing sentences (alternatively: propositions). In this paper, we consider a prior question: On what grounds does the minimalist restrict (E) so as to rule out paradox-inducing sentences and, thereby, avoid contradictions? We argue that there is no good reason for thinking that the minimalist can furnish such grounds. Accordingly, while we are tempted to conclude from this that the minimalist should acknowledge the contradictoriness of truth, instead, we end with a challenge: Provide grounds, compatible with minimalism, for banning the paradoxical instances of (E), or embrace dialetheism.

In his ‘On t and u and what they can do’, Greg Restall presents an apparent problem for a handful of well-known non-classical solutions to paradoxes like the liar. In this article, we argue that there is a problem only if classical logic – or classical-enough logic – is presupposed. 1. Background Many have thought that invoking non-classical logic – in particular, a paracomplete or paraconsistent logic – is the correct response to the liar and related paradoxes. At the most basic level, the target non-classical idea is that some expressions, like ‘all and only the true propositions’, do not behave as we would expect from classical logic. Non-classical theorists argue that the class of all and only the truths is either incomplete or inconsistent: when you truly speak of all and only truths, you're either leaving some truths out, or you're letting some untruths in. Truth, in a slogan, is either gappy or glutty. Non-classicality is not a glib or easy-way-out response to the paradoxes. Innocuous-seeming notions can turn out to be philosophically substantial. Moreover, apparently correct forms of reasoning can turn out to be incorrect. To take a example, a glut theorist must hold that the following argument form is not in general valid. Either p is true or q is true. But p is untrue. So q is true. This argument form may strike our ears as acceptable. But if p is a truth value glut, then the inference fails to preserve truth. According to glut theorists, the inference breaks down in inconsistent contexts: if the subject matter involves gluts, then the inference is to be rejected. And the liar paradox, according to such theorists, shows that truth is exactly the kind of subject matter that yields inconsistency. In the …