说谎者悖论与“我在说谎”
说谎者悖论的典型形式是“这句话是假的”。若它为真,则它所说的内容成立,因此它为假;若它为假,则“这句话是假的”不成立,因此它似乎又为真。悖论来自语句对自身真值的指涉,而不只是日常意义上的撒谎。
“我在说谎”是否构成同一悖论,要看时态、语境和指涉范围。说话者可以正在说一句假话,也可以诚实报告自己平常会撒谎;如果该句只指自身,则接近经典说谎者句。它不能被简单判定为“唯一必然说真话的句子”,因为这种判定会立即重新引出真假循环。
现代处理方案并不唯一。塔尔斯基通过区分对象语言与元语言来阻断同一层级的真谓词自用;克里普克允许某些语句没有确定真值;另一些理论采用多值逻辑、次协调逻辑或修正循环。说谎者悖论因而不是一个已有单一公认答案的文字游戏,而是关于真理、自指和语义封闭性的核心难题。
来源
- The Liar Paradox(英文;《斯坦福哲学百科》)
- Self-Reference(英文;《斯坦福哲学百科》)