This paper addresses three problems: the problem of formulating a coherent relativism, the Sorites paradox and a seldom noticed difficulty in the best intuitionistic case for the revision of classical logic. A response to the latter is proposed which, generalised, contributes towards the solution of the other two. The key to this response is a generalised conception of indeterminacy as a specific kind of intellectual bafflement-Quandary. Intuitionistic revisions of classical logic are merited wherever a subject matter is conceived both as (...) liable to generate Quandary and as subject to a broad form of evidential constraint. So motivated, the distinctions enshrined in intuitionistic logic provide both for a satisfying resolution of the Sorites paradox and a coherent outlet for relativistic views about, e.g., matters of taste and morals. An important corollary of the discussion is that an epistemic conception of vagueness can be prised apart from the strong metaphysical realism with which its principal supporters have associated it, and acknowledged to harbour an independent insight. (shrink)

Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds and his theory of laws of nature.

Michael Dummett’s realism debate is a semantic dispute about the kind of truth conditions had by a given class of sentences. According to his semantic realist, the truth conditions are potentially verification-transcendent in that they may obtain (or not) despite the fact that we may be forever unable to recognize whether they obtain. According to Dummett’s semantic anti-realist, the truth conditions are of a different sort. Essentially, for the anti-realist, that the truth conditions obtain (whenever they do) is a matter (...) that is always recognizable by us in principle. On this view, truth cannot outrun all possible human knowledge. Unsurprisingly, the outcome of the debate is sometimes said to hinge on whether all truths are knowable.1 More carefully the point of contention is the following.. (shrink)

This paper defends the conclusion that every epistemic truth equivalence entails "near theism"--the view that (i) there exists a necessarily existent rational community and (ii) necessarily, there exists an omnisicent community.

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.

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)

I have argued that without an adequate solution to the knower paradox Fitch's Proof is- or at least ought to be-ineffective against verificationism. Of course, in order to follow my suggestion verificationists must maintain that there is currently no adequate solution to the knower paradox, and that the paradox continues to provide prima facie evidence of inconsistent knowledge. By my lights, any glimpse at the literature on paradoxes offers strong support for the first thesis, and any honest, non-dogmatic reflection on (...) the knower paradox provides strong support for the second. Whether verificationists want to go the route I've suggested is not for me todecide. As in the previous section my aim has been that of defending the mere viability of verificationism in the face of what many, many philosophers have taken to be its death-knell, namely Fitch's Proof. But, as the final objection makes clear, showing that verificationism can live in the face of Fitch's Proof is one thing; showing that it should live is another project. If nothing else, I hope that this papershows that verificationists still have a project to pursue; Fitch's Proof, contrary to popular opinion, need not bury verificationism.13. (shrink)