A genuinely untyped solution to the knower paradoxes
From MaRDI portal
Publication:6433746
arXiv2304.10285MaRDI QIDQ6433746FDOQ6433746
Authors: Paul K. Gorbow 
Publication date: 20 April 2023
Abstract: 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 self-referential formulas. I offer a consistent first-order theory solving these knower paradoxes, with the following main features: - It solves the knower paradoxes by providing a faithful formalization of the principle of veracity (that knowledge requires truth), using both a knowledge and a truth predicate. - It is genuinely untyped. I.e. it is untyped not only in the sense that it uses a single knowledge predicate applying to all sentences in the language (including sentences in which this predicate occurs), but in the sense that its axioms quantify over all sentences in the language, thus supporting comprehensive reasoning with untyped knowledge ascriptions. - Common knowledge predicates can be defined in the system using self-reference. This fact, together with the genuinely untyped nature of the system and a technique based on L"ob's theorem, enables it to support comprehensive reasoning with untyped common knowledge ascriptions (without having any axiom directly addressing common knowledge).
This page was built for publication: A genuinely untyped solution to the knower paradoxes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6433746)
