Using a quantified propositional logic involving the operators it is known that and it is possible to know that, we formalize various interesting philosophical claims involved in the realism debate. We set out inferential rules for the epistemic modalities, ranging from ones that are obviously analytic, to ones that are epistemologically more substantive or even controversial. Then we investigate various aporias for the realism debate. These are constructively inconsistent triads of claims from our list: a claim expressing some sort of (...) common ground in the debate; a characteristically anti-realist thesis about truth and knowability; and a characteristically realist thesis about determinacy of truth value. Various patterns of reductio proof for these inconsistent triads are generated, so as to display their variety. The reductio proofs use only the inferential rules set out earlier. The philosophical utility of each aporia for the anti-realist is then assessed. This involves consideration of the acceptability of the premiss expressing common ground; the strength and plausibility of the anti-realist premiss; the strength of the realist premiss that is the ultimate target of the reductio; and the analytic status of the inferential rules applied within the proof. (shrink)

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 Dummett’s discussion is (+) A iff Tr(A), which, as he notes, the anti-realist is likely to accept. (shrink)

Such a conception, says Dummett, will form "a base camp for an assault on the metaphysical peaks: I have no greater ambition in this book than to set up a base ...

The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from the philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.

Does a factive conception of knowability figure in ordinary use? There is some reason to think so. ‘Knowable’ and related terms such as ‘discoverable’, ‘observable’, and ‘verifiable’ all seem to operate factively in ordinary discourse. Consider the following example, a dialog between colleagues A and B: A: We could be discovered. B: Discovered doing what? A: Someone might discover that we're having an affair. B: But we are not having an affair! A: I didn’t say that we were. A’s remarks (...) sound contradictory. In this context the factivity of ‘someone might discover that’ explains this fact. So there is some reason to believe that knowability and related modalities are factive in ordinary use. For factive treatments of knowability in the context of epistemic theories of truth, compare Tennant (2000: 829) and Wright (2001: 59-60, n. 17). (shrink)