A genuinely untyped solution to the knower paradoxes

Paul Gorbow

Kaplan and Montague have showed that certain intuitive axioms for a first-order theory of knowledge, formalized as a predicate, are jointly inconsistent. Their arguments rely on se…