Knower paradox


The knower paradox is a paradox belonging to the family of the paradoxes of self-reference. Informally, it consists in considering a sentence saying of itself that it is not known, and apparently deriving the contradiction that such sentence is both not known and known.

History

A version of the paradox occurs already in chapter 9 of Thomas Bradwardine’s Insolubilia. In the wake of the modern discussion of the paradoxes of self-reference, the paradox has been rediscovered by the US logicians and philosophers David Kaplan and Richard Montague, and is now considered an important paradox in the area. The paradox bears connections with other epistemic paradoxes such as the hangman paradox and the paradox of knowability.

Formulation

The notion of knowledge seems to be governed by the principle that knowledge is factive:
. It also seems to be governed by the principle that proof yields knowledge:
Consider however the sentence:
Assume for reductio ad absurdum that is known. Then, by, is not known, and so, by reductio ad absurdum, is not known. Now, this conclusion, which is the sentence itself, depends on no undischarged assumptions, and so has just been proved. Therefore, by, we can further conclude that is known. Putting the two conclusions together, we have the contradiction that is both not known and known.

Solutions

Since, given the diagonal lemma, every sufficiently strong theory will have to accept something like, absurdity can only be avoided either by rejecting one of the two principles of knowledge and or by rejecting classical logic and. The first kind of strategy subdivides in several alternatives. One approach takes its inspiration from the hierarchy of truth predicates familiar from Alfred Tarski's work on the Liar paradox and constructs a similar hierarchy of knowledge predicates. Another approach upholds a single knowledge predicate but takes the paradox to call into doubt either the unrestricted validity of or at least knowledge of. The second kind of strategy also subdivides in several alternatives. One approach rejects the law of excluded middle and consequently reductio ad absurdum. Another approach upholds reductio ad absurdum and thus accepts the conclusion that is both not known and known, thereby rejecting the law of non-contradiction.