中图分类号:B516.5293 文献标识码:A 通常认为,维特根斯坦在《逻辑哲学论》中给出了一种关于真的符合论。这种符合论与逻辑图像论联系在一起,例如2.222节这样说,“图像的真或假在于它的涵义与实在是否一致”①。但这就立即面临弗雷格在《思想》这篇著名文章中对于符合论的批评,按照这个批评,不仅符合论是不可能的,而且真这个概念本身就是不可定义的。这就自然产生一个问题:维特根斯坦关于真的符合论,是否因为这个批评就垮掉了呢?本文就以这个问题为起点,整理维特根斯坦在《逻辑哲学论》中给出的真理概念。 弗雷格的批评大意是这样的:如果用与事实符合来定义某个命题是真的,那么要使用这个定义来判定命题p是否真,就要先考虑p是否符合事实,也就是说,先考虑“p符合事实”是否为真,而这就预设了真,从而使对这个定义进入了无穷后退;同样的思路适用于所有关于真的定义,因此真是不可定义的。② 沃克尔③认为这个批评适合于融贯论,但不适合于符合论。他区分了关于真的理论和关于事实的理论。如果符合论是一种关于真的理论而不是关于事实的理论,那么它就可以避开弗雷格的批评。为看到这一点,考虑“p符合事实”这个命题,要使其为真,所要求就是“p符合事实”这个命题符合事实。如果视事实这个概念为初始概念,那么由p符合事实,就可以得到“p符合事实”这个命题符合事实,这一点就相当于说由p得到p为真,由p为真得到“p为真”为真,这个过程可以无穷继续下去,但不是恶性循环。 但是,沃克尔的策略不适合于维特根斯坦。这个策略仅仅考虑了真,而没有涉及语义。维特根斯坦似乎持一种真值条件语义学,他说:“要理解一个命题,就是要知道如果它是真的话,情况是怎样的”(4.024节)。如果可以通过真值条件来确定语义,那么即使事先不知道命题的语义,只要知道与之对应的真值条件,我们也可以确定命题的语义。沃克尔策略的核心在于,承认有一个独立于真的事实概念。但是,如果事实独立于真,那么与一个命题相符合的是什么事实,就并不取决于这里的命题是什么。联系到真值条件语义学,这就相当于说这里有真值条件,但不知道是哪个命题的真值条件,从而也就不知道要为哪个命题确定语义。真值条件语义学意味着事实能够成为命题的个体化条件,但对于独立给定的事实来说,符合关系并不足以挑出任何命题,从而不能得到个体化的命题。 沃克尔策略必须承认,事实概念是一种外延化的概念。按照这种事实概念,金星升起来了,即使这个事实与启明星升起来了这个事实是用不同命题表述的,它们仍然是同一个事实,这个事实的同一性不依赖于表述它的命题。显然,这样的事实不足以确定它是“金星升起来了”这个命题还是“启明星升起来了”这个命题的真值条件,而这是两个不同的命题。真值条件语义学要求给出足以区分这两个命题的事实,而这意味着作为真值条件的是内涵性的事实概念,按这种事实概念,金星升起来了与启明星升起来了,是两个不同的事实。 弗雷格批评的关键在于,如果真是以命题为主目的谓词,那么关于它的任何定义都必定采取了如下形式: D)对任一命题p,T(p),当且仅当,F(p)。 其中“T”表示谓词真,T(p)即命题p为真,而“F”则表示用来定义真的任何性质。这种定义形式本身就预设了真这个概念,因为双条件句所使用的连接词(“当且仅当”)意味着两边的子句真值相同。为了避免这个批评,可以采取的对策有两个。其一,把“当且仅当”这个连接词看作是一个过渡,它仅仅表示两边同时为真这一事实,关键是得到定义项,即双条件句的右边为真的情况。此时只需表明可以不用真这个谓词来实现这种情况就行了。沃克尔的策略就是如此。其二,则是表明这里的双条件句不是用来定义真的命题,真这个概念已经先于这个定义而被把握了,类似于D)的命题仅仅是对我们已经把握到的真这个概念的一种阐明,这个命题本身并不表明我们理解真这个概念的基础。如果情况是这样,要断定命题p真所需要的“F(p)”为真,就不是恶性的无穷后退。我将表明,维特根斯坦在《逻辑哲学论》中引入的真,就以第二种方式避免了弗雷格的批评。当然,如果情况是这样,那么维特根斯坦就没有一种真正的符合论,也不会遇到弗雷格的批评。 《逻辑哲学论》集中讨论真的段落是在4.06节至4.0641节。4.06节说,“只有作为实在的图像,命题才能是真的或假的”。这是在说真这个概念的适用范围。考虑到真这个概念在什么情况下有效,这种情况中就包含着对于这个概念来说具有本质性的东西,这一节的说明就是极为重要的。按照文本的编号排序原则④,4.06节覆盖了整个关于真的讨论,这就很说明问题。显然,一个命题如果不作为实在的图像,我们就说这里有记号串而没有命题。当记号串被用来表征实在时,它就是命题,由此直接就可以看出,只有在记号串的表征性使用中,我们才会触及真这个概念。这一点在哲学上的后果一时还不明显,需要继续分析。 4.061 节通过讨论命题的涵义(Sinn/sense)来讨论真: 如果没有看到命题具有一个独立于事实的涵义,就会很容易以为真和假是记号和记号表示的事物间具有同等权利的关系。 人们就会说,例如“p”以真的方式表示“┐p”以假的方式表示的东西,等等。 命题涵义与事实间的关系是通过真建立起来的。按照4.024节的提示,如果知道命题为真时事实是怎样的,也就知道了命题的涵义。由这个提示很容易这样推论,命题的涵义是什么,这一点依赖于命题为真时,事实是怎样的。进一步的推论是,命题的涵义是什么,同时也依赖于当命题为假时,事实不是怎样的,因此,只需要把不是这样的事实反过来理解,就得到了事实是怎样的。这一点就体现为,“p”以真的方式表示“┐p”以假的方式表示的东西。但是,上述引文表明的恰恰是,这个推论是不可接受的。