On Weakening the Law of Excluded Middle

Abstract

Let us use ‘false’ and ‘not true’ (and cognates) in such a way that the latter expression covers the broader territory of the two; in other words, a statement's falsity implies its non-truth but not vice versa. For example, ‘John is ill’ cannot be false without being nontrue; but it can be non-true without being false, since it may not be true when ‘John is not ill’ is also not true, a situation we could describe by saying ‘It is neither the case that John is ill nor the case that John is not ill.’