Intuitionism and truth value gaps

I spent some time last year reading through Dummett on non-classical logics. One aim was to figure out what sorts of arguements there might be against combining a truth-value gap view with intuitionistic logic. The question is whether in an intuitionist setting it might be ok to endorse ~T(A)&~T(~A) (The characteristic intuitionistic feature, hereabouts, is a refusal to assert T(A)vT(~A)—which is certainly weaker than asserting its negation. Indeed, when it comes to the law of excluded middle, the intuitionist refuses to assert Av~A in general, but ~(Av~A) is an intuitionistic inconsistency).

On the motivational side: it is striking that in Kripke tree semantics for intuitionistic logic, there are sentences such that neither they nor their negation are “forced”. And if we think of forcing in a Kripke tree as an analogue of truth, that looks like we’re modelling truth value gaps.

A familiar objection to the very idea of truth-value gaps (which appears early on in Dummett—though I can’t find the reference right now) is that asserting the existence of truth value gaps (i.e. endorsing ~T(A)&~T(~A)) is inconsistent with the T-scheme. For if we have “T(A) iff A”, then contraposing and applying modus ponens, we derive from the above ~A and ~~A—contradiction. However, this does require the T-scheme, and you might let the reductio fall on that rather than the denial of bivalence. (Interestingly, Dummett in his discussion of many-valued logics talks about them in terms of truth value gaps without appealing to the above sort of argument—so I’m not sure he’d rest all that much on it).

Another idea I’ve come across is that an intuitionistic (Heyting-style) reading of what “~T(A)” says will allow us to infer from it that ~A (this is based around the thought that intuitionistic negation says “any proof of A can be transformed into a proof of absurdity”). That suffices to reduce a denial of bivalence to absurdity. There are a few places to resist this argument too (and it’s not quite clear to me how to set it up rigorously in the first place) but I won’t go into it here.

Here’s one line of thought I was having. Suppose that we could argue that Av~A entailed the corresponding instance of bivalence: T(A)vT(~A). It’s clear that the latter entails ~(~T(A)&~T(~A))—i.e. given the claim above, the law of excluded middle for A will entail that A is not gappy.

So now suppose we assert that it is gappy. For reductio, suppose Av~A. By the above, this entails that A is not gappy. Contradiction. Hence ~(Av~A). But we know that this is itself an intuitionistic inconsistency. Hence we have derived absurdity from the premise that A is gappy.

So it seems that to argue against gaps, we just need the minimal claim that LEM entails bivalence. Now, it’s a decent question what grounds we might give for this entailment claim; but it strikes me as sufficiently “conceptually central” to the intuitionistic idea about what’s going on that it’s illuminating to have this argument around.

I guess the last thing to point out is that the T-scheme argument may be a lot more impressive in an intuitionistic context in any case. A standard maneuver when denying the T-scheme is to keep the T-rules: to say that A entails T(A), for example (this is consistent with rejecting the T-scheme if you drop conditional proof, as supervaluational and many-valued logicians often do). But in an intuitionistic context, the T-rule contraposes (again, a metarule that’s not good in supervaluational and many-valued settings) to give an entailment from ~T(A) to ~A, which is sufficient to reduce the denial of bivalence to absurdity. This perhaps explains why Dummett is prepared to deny bivalence in non-classical settings in general, but seems wary of this in an intuitionistic setting.

The two cleanest starting points for arguing against gaps for the intuitionist, it seems to me, are either to start with the T-rule, “A entails T(A)” or with the claim “Av~A entails T(A)vT(~A)”. Clearly the first allows you to derive the second. I can’t see at the moment an argument that the second entails the first (if someone can point to one, I’d be very interested), so perhaps basing the argument against gaps on the second is the optimal strategy. (It does leave me with a puzzle—what is “forcing” in a Kripke tree supposed to model, since that notion seems clearly gappy?)