A Kripkean approach to unknowability and truth (Q5937827)

The author introduces and carefully discusses four inductive hierarchy rules for defining the extension and anti-extension of both the truth predicate and the predicate `is knowable in principle by a fixed epistemic subject'. The preferred rule \(R_3\) has the wanted property that at the least fixed point, the absolute Gödel sentence, which says of itself that it is unknowable, comes out true, and the absolute knower sentence, which says of its own negation that it is knowable, comes out false. A suitable interaction between truth and unknowability is required and argued for.