Abstract (Goodsell, Journal of Philosophical Logic, 51 (1), 127-150 2022) establishes the
noncontingency of sentences of first-order arithmetic, in a plausible higher-order modal …

In an anonymous referee report written in 1945, Church suggested a sweeping argument
against verificiationism, the thesis that every truth is knowable. The argument, which was …