评阿姆斯特朗的使真者理论

阿姆斯特朗既是还原物理主义的代表人物,又是使真者理论的主要倡导者。他的使真者理论试图把真理奠定在事实的基础上,表现出某种扩展真理论和符合真理论的倾向。但在另一方面,他通过对随附性概念给以一种特别的解释,而得出真理的可还原理论,即真理可以还原为它的本体论基础——事实,从而使其真理论带有浓厚的收缩真理论的色彩。笔者建议把使真者理论与系统本体论结合起来,使之成为一种新的扩展真理论;而且通过区分“符合使真者”和“混合使真者”,重拾一对一的符合关系,在一定程度上保留了传统的符合真理论,并对所谓“无关使真者难题”给以一揽子解决。

使真者理论的衍推原则及其困境

使真者理论的主要任务是为真命题寻找使真者,衍推原则为此提供了方法论指引,然而,在经典解释下,衍推原则会产生与直觉相悖的“不相关使真者”。为了避免不相关使真者这一困境,学界提出了三种解决方案,但它们都是值得商榷的,由此,迫切需要提出一种更为有效的方案,以避免所有类型的不相关使真者,否则,要么放弃衍推原则,要么只能在相当弱的意义上使用它。基于衍推原则,可以进一步思考使真者理论所面临的问题,它们与符合真理论中的事实问题密切相关,解决这些问题是用使真者理论为符合真理论辩护的前提。

基于事态的符合论辩护

传统符合论预设“符合关系”是一个得到清晰解释的概念,没有对之作出较为彻底的阐释。对此的反思,促使阿姆斯特朗等人尝试将符合关系建基于事态的“使真关系”之上,随之产生的“使真者理论”坚持命题凭借其实体基础为真。针对解释事实实体的“无穷倒退”“不相关使真者”等问题,阿姆斯特朗等人提出“整体主义”“最小使真者”等概念。使真者理论是分析形而上学回应真理问题的创见,它保有符合论“真理依赖于实在”的传统,着力于解释“命题以何为真”的本体论基础,对传统符合论做出了丰富和拓展。

否定真理与不可满足性——解决莫尔纳问题的新尝试

莫尔纳问题使得否定真理以及相关主题再次成为了学界的争议焦点。从哲学史的角度来看,它并非一个全新的问题,罗素在逻辑原子主义时期就思考过类似的问题。尽管哲学家对莫尔纳问题从各个角度做出了回应,但是这些回应都有一些不足之处。从逻辑形式来看,否定真理主要可分为两类,一类是断言虚构或者主观创造的对象不存在的命题,另一类是断言某个实存对象不具有某种属性或者两个实存对象不具有某种关系的命题。前者断定了现实世界中的任何对象对于某个谓词合取表达式的不可满足性,后者断定了某些对象对于某个具体谓词表达式的不可满足性。客观存在的不可满足性可构成莫尔纳问题的一种新解答。

使真解释:联通语言到世界

语言是如何与世界发生联系的,使得语言表达的真理获得了实在世界的某种保证?最近发展起来的使真者理论,直接关注的就是世界中的存在物如何使语句为真这个主题。对于使真者的语义学来说,基于某种直观理解的简单二元关系图像只是帮助设计一种语义模型的思路,或者考虑语句与模型之间抽象关系的一个视角,本身并不产生哲学上的麻烦。但是,对于使真者的形而上学来说,基于类似图像的理论思考,则会导致对使真概念及使真者理论在哲学上的误解。对使真概念的新理解基于如下主张:不存在真语句到它的形而上学使真者现成的或先于使真解释的直接对应关系。进入使真解释的语义学项和形而上学项,都是在解释过程中构建起来的,并通过解释过程被关联。因此,“使真”(就其形而上学方面来说)并不是传统意义上的一个现成的简单二元关系,而是由多种解释性行为(包括运用使真者语义学的语义解释)嵌入多重关系而成就的一项“事业”。