No certain conclusion or contradiction will be reached when we try to judge whether a self-reference proposition with unclear content is true or false.
No certain conclusion or contradiction will be reached when we try to judge whether a self-reference proposition with unclear content is true or false.
摘要应把“自指代命题”从“自指命题”中区分出来，前者违反同一律，作代换还可能违反矛盾律，因此禁止使用自指代命题。