赵震
(安徽大学哲学系,安徽合肥230039)
说谎者悖论如何成为一个问题
赵震
(安徽大学哲学系,安徽合肥230039)
悖论是从看似为真的前提经过看似不可反驳的推理得出形如P∧¬P或P↔¬P的公式。这个公式只是一个语形上的矛盾形式,它本身并不就是一个问题。这种语形上的矛盾形式还需要进一步被上升为语义上的真矛盾,但是真矛盾只对于承认(不)矛盾律的人来说才是问题,对于不承认矛盾律的人来说依旧不是问题。悖论之成为一个问题最终是因为矛盾可能导致不足道性。说谎者悖论作为悖论的一种,其成为一个问题也是如此。说谎者悖论与其他悖论的区别是构造矛盾形式的方式不同。说谎者悖论矛盾形式的构造需要特殊的句子、(T)模式以及相关的逻辑推理规则。由此出发,解决说谎者悖论的途径也可以从这三个方面来考虑:避免真的矛盾导致不足道性,限制矛盾形式成为真的矛盾,限制矛盾形式的产生。限制矛盾形式的产生又包括:限制特殊句子的产生,修改或限制(T)模式,修改相应的推理规则。
矛盾形式;矛盾;悖论;说谎者悖论
通常当我们提到悖论的时候会直接把它等同于一个问题,当我们说从某个前提可以推出悖论来的时候,第一反应就是这里有问题,必须把它找出来,解决掉。但问题是:悖论是一个问题吗?如果是,它是一个什么问题呢?为什么是一个问题?如何成为一个问题?本文试图说明悖论并不直接等同于一个问题,它只是约等于一个问题,悖论需要一个“过程”才能成为一个问题,本文的目标就是把这个过程“描述”出来。……