澳洲计划下的否定性真理

The Negative Truth under the Australia Plan

当代最主流的真理理论是使真者理论。此理论认为真理的形而上学基础是事实:一个命题之所以为真,是因为存在相应的事实使它为真。此观念面临的一个棘手难题是,如何借助事实的概念对否定性真理的形而上学基础给出融洽说明。诉诸否定事实的罗素方案和诉诸不相容性概念的迪莫斯方案,这两种传统应对方案均存在可疑之处:前者引入了否定事实这一可疑的神秘实体,而后者似乎是概念循环的——不相容概念本身也是一种否定概念。在当代关于此问题的争论中,既有学者严肃论证否定事实的形而上学合法性,也有人试图以作为整体的世界本身或世界的总体性事实来为否定真理的实质给出说明。但是目前可见的否定真理解释方案几乎都预设了一个基本前提,即(现实世界的)否定真理的使真者必定是现实世界的东西。本文抛弃这一预设,尝试论证一种在基本观念上有别于上述诸理论的新方案——模态方案,它的核心洞见建立于当代哲学逻辑中“关于否定的澳洲计划”之上。参照澳洲计划,我们将否定概念技术化地处理为一个模态概念:否定语句的真值取决于可能世界间的不相容关系及可能世界中被否定语句的真假。根据此方案,否定真理的使真者并不是存在于现实世界之中的任何实体,而是存在于可能世界之中的可能事实。模态方案具有两大理论优势:在此方案下,对否定真理的恰当理解不需要诉诸罗素式的否定事实;某种类似于迪莫斯方案所面临的概念循环难题在此方案下可以被有效化解。这一对模态方案的勾勒与辩护不仅将成为一种新的否定真理观的首次完整表述,而且将有望实质性地拓展当代真理论研究的核心框架及理论深度。