说谎者悖论的排除和哥德尔定理的质疑

说谎者悖论是一个佯悖。它之所以被称为悖论，是因为推理者混淆了思维的层次，构造了自指代命题并进行代换才导致矛盾。把“自指代命题”从“自指命题”中区分出来，指出前者违反同一律，作代换还可能违反矛盾律，主张禁止使用自指代命题。还指出哥德尔所构造的自指代命题存在矛盾的双重标准，它的证法采用了双重标准，是错误的。哥德尔定理的结论中的“不可判定”命题，现在有3种不同的错误解释：是非不可分辨的命题（三值）、是非可分辨（二值）但不确定的命题、是非都不可证的任意命题，它们都不是哥德尔的证法所支持的结论。还指出它不会导致“真理丧失说”和“数学丧失了确定性”，但还应充分肯定哥德尔的历史功绩。