下载后可任意编辑弗完备解悖方案draft12024 年 4 月 19 日下载后可任意编辑弗完备解悖方案评估王文方教授阳明大学心智哲学讨论所:112 台北市北投区立农街二段 155 号最近几年间,国际哲学界里有两种与语意悖论有关的、非「正统途径」(orthodox approach)的重要解悖方案;它们分别是以 G. Priest(1987, )与 Jc Beall ( ) 为 代 表 的 弗 一 致 途 径 ( paraconsistent approach ) 、 以 及 以 S. Kripke ( 1975 ) 与 H. Field ( , ) 为 代 表 的 弗 完 备 途 径 ( paracomplete approach)。逻辑上,前者提倡某种弗一致逻辑〈paraconsistent logic〉作为解决语意悖论的主要方法,后者主张放弃古典逻辑中的排中律( Law of Excluded Middle, LEM)来作为避开悖论产生的手段。哲学上,前者主张将悖论型语句归类为既真且假的语句,并因而主张有些矛盾为真,后者则主张所有悖论型的语句与没有根据的语句都是缺乏真假的语句,并因而主张真值鸿沟(truth-value gap)。基22024 年 4 月 19 日下载后可任意编辑于篇幅的考虑,本论文只讨论弗完备途径的理论;在以下的说明中,我将先简单解释「正统途径」的解悖方案及其问题,然后举两个例子说明弗完备途径的解悖方案以及我所看到的、有关于该途径的困难之处。1. 正统的解悖理论所谓「正统的」解悖理论,我指得是那些区分真述词阶层与/或语言阶层的理论。有关于语意悖论的正统解悖途径始自 A. Tarski。Tarski(1933, 1944)认为,一个可被接受的、有关于某个对象语言 L 的真理理论,不但应该在实质上是恰当的(materially adequate),而且应该在形式上是正确的(formally correct)。所谓「实质上恰当的」,塔斯基指的是,这样的理论应该在逻辑上蕴涵所有具有下列形式的 T-双条件句:11 Tarski(1933)对于实质恰当性的要求其实有两项,另一项要求该理论必须在逻辑上蕴含这样的结果:所有能够说得上为真的事物都是语句。由于这个额外的要求对于以下的讨论并非必要,因此我在这里略去它不予考虑。32024 年 4 月 19 日下载后可任意编辑(T) X 在 L 中为真,若且唯若 p。其中,X 是 L 中语句 p 的名称。2一些具有这种形式的 T-双条件的例子如(假设 L 是中文):「『雪是白的』在中文中为真,若且唯若雪是白的。」以及「『「雪是白的」在中文中为真』在中文中为真,若且唯若『雪是白的』在中...