Tr(A) iff ‡K(A) To remedy the error, Dummett’s proposes the following inductive characterization of truth: (i) Tr(A) iff ‡K(A), if A is a basic statement; (ii) Tr(A and B) iff Tr(A) & Tr(B); (iii) Tr(A or B) iff Tr(A) v Tr(B); (iv) Tr(if A, then B) iff (Tr(A) Æ Tr(B)); (v) Tr(it is not the case that A) iff ¬Tr(A), where the logical constant on the right-hand side of each biconditional clause is understood as subject to the laws of intuitionistic logic.2 The only other principle in play in Dummet…
Read moreTr(A) iff ‡K(A) To remedy the error, Dummett’s proposes the following inductive characterization of truth: (i) Tr(A) iff ‡K(A), if A is a basic statement; (ii) Tr(A and B) iff Tr(A) & Tr(B); (iii) Tr(A or B) iff Tr(A) v Tr(B); (iv) Tr(if A, then B) iff (Tr(A) Æ Tr(B)); (v) Tr(it is not the case that A) iff ¬Tr(A), where the logical constant on the right-hand side of each biconditional clause is understood as subject to the laws of intuitionistic logic.2 The only other principle in play in Dummett’s discussion is (+) A iff Tr(A), which, as he notes, the anti-realist is likely to accept.
