Abstract

Theorem 1 of Ketland 1999 is not quite correct as stated. The theorem would imply that the disquotational T-scheme – suitably restricted to avoid the liar paradox – is conservative over pure logic. But it has been pointed out (e.g. Halbach 2001, “How Innocent is Deflationism?”, Synthese 126, pp. 179-181) that this is not the case, for one can prove ∃x∃y(x ≠ y) from the T-scheme (lemma 2 below).