This collection assembles Church's referee reports, Fitch's 1963 paper, and nineteen new papers on the knowability paradox.

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.

It is controversial how best to classify conditionals. According to some theorists, the forward‐looking indicatives (those with a ‘will’ in the main clause) belong with the subjunctives (those with a ‘would’ in the main clause), and not with the other indicatives. The easy transition from typical ‘wills’ to ‘woulds’ is indeed a datum to be explained. Still, straightforward statements about the past, present or future, to which a conditional clause is attached—the traditional class of indicative conditionals—do (in my view) constitute (...) a single semantic kind. The theories I discuss do not fare better or worse when restricted to a particular subspecies. (shrink)

Review of Graham Oppy *Ontological Arguments and Belief in God* (CUP).

This chapter explores the different grounds for accepting the claim that all truths are knowable, the assumption central to the derivation of Fitch’s result. It argues that although there is no compelling argument for holding that all truths are knowable, there are various positions in which this feature of semantic anti-realism fits naturally; rejecting this puts serious tension into a broad range of philosophical outlooks, including theism and physicalism. In the end, the paradox should be felt by everyone, even those (...) who do not accept the knowability claim, because the heart of the paradox is not simply in what is implied by the knowability claim, but in a lost logical distinction between what is actual and what is possible. (shrink)

Church and Fitch have argued that from the verificationationist thesis “for every proposition, if this proposition is true, then it is possible to know it” we can derive that for every truth there is someone who knows that truth. Moreover, Humberstone has shown that from the latter proposition we can derive that someone knows every truth, hence that there is an omniscient being. In his article “Omnificence”, John Bigelow adapted these arguments in order to argue that from the assumption "every (...) contingent proposition is such that if it is true something brought it about that it is true" we can derive that there is an omnificent being: a being that brings it about that every true contingent proposition is true. In my reply to his article, I show that Bigelow’s argument is flawed because there is some formal property that the knowledge operator has but that the bringing about operator lacks. This is the property of distributing over conjunctions. I explain why what brings it about that some conjunctive proposition is true need not bring it about that its conjuncts are true. (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)

In his last book, David Armstrong sets out his metaphysical system in a set of concise and lively chapters each dealing with one aspect of the world. He begins with the assumption that all that exists is the physical world of space-time. On this foundation he constructs a coherent metaphysical scheme that gives plausible answers to many of the great problems of metaphysics. He gives accounts of properties, relations, and particulars; laws of nature; modality; abstract objects such as numbers; and (...) time and mind. (shrink)

The intuitionistic conception of truth defended by Dummett, Martin Löf and Prawitz, according to which the notion of proof is conceptually prior1 to the notion of truth, is a particular version of the epistemic conception of truth. The paradox of knowability (first published by Frederic Fitch in 1963) has been described by many authors2 as an argument which threatens the epistemic, and the intuitionistic, conception of truth. In order to establish whether this is really so, one has to understand what (...) the epistemic conception of truth really is. So I shall start inpart I with a description of the matter at issue between theepistemic conception of truth and the opposite position, therealistic conception of truth. Inpart II I shall very briefly describe the paradox. Inpart III I shall try to answer the question which appears in the title of this paper: What can we learn from the paradox of knowability?. My conclusion will be that the paradox of knowability is not a refutation of the epistemic conception of truth, but helps us to better formulate (and understand) such a view. (shrink)