没有“事实”概念的新符合论下

摘要：使用“事实”概念的传统符合论遇到了很多严重的困难，主要是难以说清楚“事实”概念以及命题如何与事实“符合”。这不意味着要完全放弃传统符合论，转而求助某种其他形式的真理论。为了确保真理的客观性，符合论的如下核心洞见是任何合理的真理论都必须坚守的：不是我们语言中的东西，也不是我们心智中的东西，而是外部世界中的东西，使得我们描述这个世界状况的命题为真或为假。完全有可能塑述一种不使用“事实”概念又坚持传统符合论核心洞见的新符合论，新符合论有自己的形而上学假定、认识论假定和语言哲学假定。由于语言具有生成性，在定义“真”概念时，新符合论必须诉诸塔斯基所使用的递归程序，先给出命题组成成分的语义值，再定义出最简单的命题即原子命题的真，然后逐步定义出越来越复杂的命题的真。融贯是真理的内在要素。“真”概念绝不是平庸的和不足道的，相反，它是非常重要的和实质性的。追求真理是我们的使命。

关键词：命题;“事实”;符合;真;融贯;新符合论

中图分类号：B81;B811.21    文献标志码：A    文章编号：1001-862X（2019）06-0120-007

四、新符合论的认识论假定

在认识论方面，符合论可以持有两个不同的假定：强假定和弱假定。

强假定断言，命题的真假与人是否认识到这种真假无关，甚至与人是否能够认识到这种真假也无关，而是纯粹由外部世界的状况决定的。考虑这样几个命题：“宇宙中还有类似地球的适合人居住的其他星球。”“生物体内含有比DNA更重要的遗传密码。”“海洋里今后将没有鱼类。”“地球最终将会毁灭。”这些命题都是述说外部世界的状况，或者对其未来的状况做了某种预言，外部世界到时候会自行决定这些命题的真或假。由此导致的后果是，强假定必须承诺“二值原则”：任一描述性命题或者为真或者为假，二者必居其一，且只居其一。

强假定的背后隐藏着一双“上帝之眼”，它洞察一切、烛照一切，自行给命题分派真值：真或假。并且，这种真假还是确定不移的：一旦为真就永远为真，一旦为假就永远为假。这种真假观完全排除了人的视角和人的参与，确实是合理的吗？与我们的认知实践特别是科学实践相吻合吗？对此，笔者持严重且深刻的怀疑态度。科学理论不是由这样的真命题组成的集合，目前达成的共识是：科学不是绝对真理，而是某种形式的假说，任何科学理论都可能被证伪，只是暂时未被推翻而已。

弱假定断言，命题的真假既与外部世界的状况有关，也与人的认知能力有关。只有已经被我们认识到其真假的命题，至少是在原则上有可能被我们认识到其真假的命题，才能确定地说它们是真的或假的。既然在逻辑和数学中存在不可判定真假的命题（这一点由哥德尔不完全性定理保证），我们就不能说这些命题必定或真或假，因为在这样说的时候没有合理的理据，就像非说“上帝存在”又给不出任何可能的确证途径一样。这样的断言只是教条或独断，类似某种顽固的信仰，超越理性证成的范围之外。假如命題的真假部分地与人的认知有关，而人的认知有可能出错，也就是说，我们先前当作真的东西后来有可能发现是假的，原来以为假的东西后来有可能发现是真的，原来以为绝对真的东西有可能只是部分真，原来以为绝对假的东西有可能只是部分假，这就为我们的认知改善留下了空间，也为科学理论的进步留下了空间。并且，由于人的认知能力暂时无法确定一些命题的真假，因此最合理的办法不是说它们或真或假，而是说它们暂时处于真值缺失状态。这就意味着二值原则并不总是成立。

新符合论究竟该采取哪一种认识论假定，是强假定还是弱假定？强假定在真理问题上预设了一双“上帝之眼”，摒弃了人的视角和人的参与，带有严重的独断论色彩，但或许能保证真理的客观性。弱假定在真理问题上容纳了人的视角，考虑到人的认知能力，似乎与科学实践比较吻合，但它是否会削弱真理的客观性而导致某种程度的主观性？这些问题需要严肃认真的思考，特别是深入系统的思考。到目前为止，笔者更同情或更偏向认识论的弱假定。

五、新符合论的语言哲学假定

在语言哲学中，新符合论主张：语言是连接认知和外部世界的媒介，我们用语言表达式去指称或谓述外部世界中的对象，由此获得关于那些对象的或真或假的认知。

1.个体词指称个体

个体词包括专名（个体常项）、个体变项、摹状词、索引词等。

“专名”就是通常所说的名字，指称外部世界中的个体。例如，国家名如“中国”“美国”“俄罗斯”，分别指称某个特定的国家;地名如“纽约”“香港”“成都”，分别指称某个特别的城市;机构名如“北京大学”“牛津大学”“哈佛大学”，分别指称某个著名的教育机构;建筑名如“长城”“埃菲尔铁塔”“美国自由女神像”，分别指称某个著名的历史文化建筑;事件名如“十月革命”“美国南北战争”“西安事变”，分别指称历史上的某个重要事件;人名如“孔子”“曹雪芹”“毛泽东”，分别指称某个特定的人物;书名如《红楼梦》《三国演义》《西游记》，分别指称三部中国古典文学名著。

在新符合论的实在论假定中，承认如数和集合这样的抽象实体，也承认作为文化构造物的观念实体，如各种理论、学说，以及虚构实体，如神话人物、文学人物、科幻作品中的角色。因此，就有指称这类对象的相应专名，如空集、大全集、实用主义、相对论、女娲、维纳斯、哈姆雷特、孙悟空，等等。它们并不如通常所说的那样是空专名，而是各有特定的所指对象，只是所属领域不同而已，但这些领域都在现实世界之中。

“个体变项”指逻辑、数学及其他科学理论中表示某个特定范围内不确定个体的符号，如x、y、z等。那个特定的范围叫做论域或个体域。通常取全域即一个理论所承认的所有对象的集合为论域，有时候为了满足特别的需要，也取某个更小范围的个体集合为论域。如果把个体域定为全域，那么x、y、z等就表示全域内某个不确定的对象;如果把个体域定为自然数集合，那么x、y、z等就表示某个不确定的自然数;如果把个体域定为北京大学学生的集合，那么x、y、z等就表示某个不确定的北京大学学生。要把变项的值确定下来，需要给变项指派确定的值：令x代表自然数5，y代表9……

推荐访问:事实 符合 概念