The Fitch-Church Paradox and First Order Modal Logic
Reformulation strategies for solving Fitch’s paradox of knowability date back to Edgington. Their core assumption is that the formula \ , from which the paradox originates, does not correctly express the intended meaning of the verification thesis , which should concern possible knowledge of actual truths, and therefore the contradiction does not represent a logical refutation of verificationism.
