Priest, the Liar, and Gödel (Q795813)

The reviewer [ibid. 8, 219-241 (1979; Zbl 0402.03012)] has proposed that paradoxical sentences, such as ''This sentence is false'', are both true and false. One argument used in support of this was based on Gödel's Incompleteness Theorem. This paper criticises this argument. A number of criticisms are made. The central points of the discussion include the formalisability and soundness of informal mathematics. The reviewer replies in the paper reviewed below.