The Sources of Unknowability and Self-refutation in Epistemic and Dynamic Epistemic Logic

In this paper, we define a formula $\phi$ to be unbelievable if $\square \phi$ is unsatisfiable, and unknowable if $\square \phi \wedge \phi$ is unsatisfiable. We then analyze the sources of unknowability and unbelievability in different classes of frames K, KD, KD45, and S5. We first show that any unbelievable formula is a fixed point of the Moore function defined by $f(\phi )=\phi \wedge \neg \square \phi .$ Our main result shows that in S5, the static notions of unknowability and unbelievability in epistemic logic, and the dynamic notions of always informativeness and eventual self-refutation in dynamic epistemic logic are all equivalent to "Moorean phenomena." We also generalize the result to the multi-agent case, showing that although all unknowable formulas still manifest Moorean phenomena, new mechanisms arise due to their interactive nature. Finally, we briefly analyze whether the Brandenburger-Keisler paradox in epistemic game theory can be considered Moorean.