时间：2023-11-11 01:34:52
【关键词】维特根斯坦/《逻辑哲学论》/真/涵义/使用
中图分类号：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”以假的方式表示的东西。但是，上述引文表明的恰恰是，这个推论是不可接受的。
接下来的4.062节对何以如此做出了解释：
我们能否就像理解真命题那样理解假命题，只要知道它是假的就行了？不行！因为如果我们用命题来断定的是确实如此的情况，那么它就是真的；如果我们用“p”来说p，而情况确实是我们所说的，那么在新概念中“p”是真的而不是假的。
这一节的意思并不如文字表明得那么平易。在把握维特根斯坦的想法前，对照一下研究者的理解是有益的。戴尔蒙德⑤按照吉奇⑥的提示假想了一种与英语有完全相同的词汇及语法的语言“Unglish”，它与英语的唯一区别在于，Unglish的一个句子与英语中的同形句子涵义正好相反，例如其中的句子“Roverisspotted.”与英语中的“Roverisnotspotted.”具有同样的涵义。有趣的地方在于，这种假想的语言与英语都可以按4.062节的说明，与关于真的符合论表述相容，但就每个句子而言，它与英语句子的真值恰好相反。造成这个区别的，是句子与真值条件的对应关系。我们可以通过改变这种对应关系来改变句子的涵义，而这一点是使用句子的行为所决定的。因此戴尔蒙德说：“……命题的表达能力本质上涉及方向性，通过某种使用，某种按规则的约束与实在相对照的方式，这种方向性本身属于命题，并且是可以颠倒的”。⑦引文中提到的前一个“方向性(directionality)”显然是指具有方向这一事实，后一个“方向性”则是指具有某一特定方向。
在戴尔蒙德看来，这说明了命题与名称间有范畴区别，前者具有方向性，而后者没有，前者的颠倒构成了另一个命题，后者如果能颠倒的话，颠倒以后仍然是同一个名称（Unglish与英语有完全一样的名称）。这种范畴区别在维特根斯坦那里就表述为，命题是事实，而名称则不是，进而，名称可以代表关系项，而命题不能。在这种意义上，说真表明了命题与实在间的关系，是一种自我消解的表述。戴尔蒙德进而把这种自我消解的特征当成整个维特根斯坦哲学的基本特征。
对戴尔蒙德关于维特根斯坦的整体解读方案这里不予置评，我同意她关于命题涵义具有方向性的理解，但关于这种方向性在维特根斯坦的论证思路中起什么作用，她的理解在我看来是错的。
戴尔蒙德正确地看到，关于真的概念允许对涵义进行颠倒，这种可颠倒性使得记号“p”与“p”能够说同样的东西。确实，4.0621节直接表述了这一点。戴尔蒙德的思路接着这一点继续下去。在她看来，这就使得吉奇所假想的Unglish成为可能。它与英语的区别是，句子与实在间的对照关系以不同的方式建立起来，正是在这一点上使用插了进来，说的是英语还是Unglish，这一点取决于使用。使用的作用仅仅在于，在命题涵义的两个方向中任意选择一个。不过，无论选择哪个方向，命题涵义都是可以颠倒的。这种方向性本质上就属于命题涵义，命题的真假二值性表明了这种可颠倒的涵义具有方向。关于方向性和可颠倒性的这种理解被戴尔蒙德认为是关于真的早期(inchoate)理解的一种发展形式，它试图从分析真入手来表明命题在何种程度上有所说(informative)。
回到《逻辑哲学论》的文本，就可以看到维特根斯坦的思路与戴尔蒙德的理解间存在错位。4.061节确实提到了类似于Unglish的语言。在Unglish中的句子“Roverisnotspotted.”是句子“Roverisspotted.”的否定，在说英语的人看来，这正是用“p”以假的方式说“p”以真的方式说的东西。但是，这种可能性正是4.061节所要否定的。戴尔蒙德提到的方向性出现于4.0621，这里维特根斯坦似乎赞同涵义具有方向性。但她没有注意到这一节是4.062节的一个转折性的继续。4.062节对涵义的可颠倒性给与了否定的回答。
细读之下就会看到，4.0621节对于4.062节来说是一种发展：在命题记号与真的联系已经建立起来的前提下，我们才可以谈论涵义的这种颠倒。而在4.061节中这种颠倒不被允许，这应当是由于，涵义是通过命题记号与真的联系确定的，在这样确定涵义时，涵义的颠倒意味着涵义是不确定的。4.061节正是在这种意义上否定Unglsh的可能性，在涵义没有确定之前，存在Unglish这种可能性意味着我们甚至不会有英语；戴尔蒙德之所以能够设想这种语言，这仅仅是由于我们已经有确定的英语，我们把Unglish当成另一种语言，以此来保证这种确定性。
之所以说戴尔蒙德的理解错位，是因为在她看来维特根斯坦试图揭示的语言的内在逻辑只进入了涵义的层次，关于真的二值性理解表明了涵义的方向性，但维特根斯坦实际进入的层次则是涵义如何建立起来的层次，在这个层次上，我们使用真这个概念的方式通过涵义的方向性表现出来。
找到了切入点，就可以入手分析维特根斯坦是如何处理真这个概念的。
4.061节包含一个论证，它的目的是表明，我们必须认为命题的涵义独立于事实，否则就得不到确定的涵义。如果认为涵义依赖于事实，那么对于命题p，我们可以说与之对应有一个事实，这个事实赋予命题以涵义。这就是说，在事先不知道命题涵义的情况下，只要确定了与之对应的事实，就能够确定命题的涵义。但是，在不知道命题所说的是什么的情况下，同样是这个事实，既可能使命题为真也可能使其为假，因此我们必须认为，无论事实使命题为真还是为假，都将赋予命题以涵义。这就是说，真和假是记号和记号表示的事物间具有同等权利的关系。正是基于这种真与假的平权性的理解，4.061节第二段说，“人们就会说，例如‘p’以真的方式表示‘p’以假的方式表示的东西，等等”。这种情况可以看作是一个关于平权理解的辩护。既然同一个事实可以使一个它将要赋予其涵义的命题为真，也可以使其为假，那么我们就可以把这两种情况分别以“p”和“p”的形式标出来，分别确定涵义以后把任意一个赋予原来的那个命题就行了。维特根斯坦在紧接下来的4.062节直接否定了这一点，而没有给出任何明确的理由。这里可以给出理由：如果不预设命题涵义已经以某种方式确定了，我们无法确定“p”和“p”标出的情况是什么。这就好像我们说，左和右这两个方向是相对的，因此我们可以随意规定左右。但是能够说左和右相对，这就已经预设了左作为左和右作为右是确定的，这两个确定的方向本身不是通过两者的相对关系规定出来的。
这样，在接下来的4.062节否定以知其假的方式，理解假命题的可能性就顺理成章了。这里的关键不是对假命题的理解和对真命题的理解互为前提，而是缺乏真假之别。前一种情况不是循环，而是真命题与假命题是一同被理解的。如果情况是这样，那么真命题与假命题中理解任何一个就理解了另外一个，因而以知其假的方式理解假命题就没有问题，为此只需理解了真命题就行了。这里的问题显然是，就我们能够通过知道命题的真值条件来理解命题而言，命题本身应当已经以某种方式提供了真假之别，进而使涵义得以确定。
建立真假之别的方式，就是戴尔蒙德认为需要在涵义的两个相反的方向中任意选择一个的方式，也就是说，使用。4.062节接着说：“如果我们用命题来断定的是确实如此的情况，那么它就是真的；如果我们用‘p’来说p，而情况确实是我们所说的，那么在新概念中‘p’是真的而不是假的。”这里把“p”换成任何其他东西并不构成影响，也就是说，命题记号的涵义究竟是什么，这是不起作用的。这是在确定涵义之前确定什么是真。这里的要点是，用“p”来说时情况确实是我们所说的则“p”为真，这并不要求事先确定一个事实（否则我们需要先确定涵义），然后来判定“p”是否确实为真，而是一个关于“p”这个命题记号与真这个概念的用法的说明。这里，是使用的活动本身建立了真的概念，而不是通过使用在已经给定的涵义的可颠倒的方向中选择一个。因此，是命题的二值性决定了涵义的方向性，而不是涵义原来已经有某种方向性，真这个概念的使用确定了某个方向。免费
二值性属于使用，并通过使用被赋予命题。这一点体现在4.0621节所说的否定记号不代表任何东西中。如果涵义已经有方向性，只不过在使用真这个概念前没有得到明确，那么不管怎样，使用否定记号就意味着我们从一个方向转向另一个方向。如果不明确涵义具有方向这一事实本身依赖于使用，那么按照理解涵义就知道其所说的事实这一基本原则就可以认为，涵义在方向上的区别对应于一种事实上的区别，因而否定记号最终就有所代表了。戴尔蒙德把方向性归于命题或者说命题的涵义，仍然无法解释何以否定并不代表什么。
真与涵义间的这种关系在4.063节得到进一步肯定，在这一节维特根斯坦批评了弗雷格的判断理论。我们且不管他是否错误地理解或表述了弗雷格的理论，而只关心维特根斯坦在这种批评中透露的正面的观点。在他看来，弗雷格把真和假看做是思想（弗雷格意义上的涵义）的谓词，在确定真值之前，命题涵义已经确定了，判断(judgment)就是断定这个涵义是真的。在维特根斯坦看来，这一理论的关键在于认定，我们可以有一个与真理理论分开的意义理论，因而给出涵义就相当于在平面上标出一个点，确定其真值就相当于在这个点上涂黑色或白色，我们可以在不知道什么是黑与白的情况下标出一个点。但在维特根斯坦看来，“要能够说‘p’是真的（或假的），我必须断定在何种情况下称‘p’为真，从而确定命题的涵义”（4.063节），而这就相当于说，如果不知道何时称“p”为真，就不知道“p”是什么命题。这样一来，要能够把真归于命题，真就必须已经以某种方式被归于命题了。这时真通过确定命题真值条件，而不是作为真值起作用，我们可以说这就是真这一概念。在真这一概念下看待命题，命题才能具有真值。命题的真值条件依赖于真这个概念，并赋予命题以涵义，进而使命题得到个体化。正是在这种意义上维特根斯坦在4.063节中说：“命题的动词并不是像弗雷格所想的那样‘是真的’或‘是假的’，而是，‘是真的’东西已经包含了动词”。包含了动词表达式的是命题而不是名称。
至此，维特根斯坦在涵义与真之间建立了这样一种顺序：真先于涵义。这个顺序正是4.0621节断定否定不代表实在中的任何东西的前提。如上所述，如果真后于涵义，那么否定就构成了涵义上的区别，进而对应于实在中的区别。
但是，先于涵义的真不是赋予命题的特定真值，要赋予真值，就必须已经确定了涵义；先于涵义的真包含于这样一个事实中：我们使用命题来描述实在，就是把命题当成图像，来从中看到实在。真这个概念就包含在使用命题的方式中，如果命题是真的，那么实在就被命题所描述，从而达到了使用的目的。维特根斯坦关于真的理解在图像论的框架中进行，这就是4.06节所提示的：“只有作为实在的图像，命题才能是真的或假的”。
按照这个框架，当我们通过一个事实确定命题涵义后，能够脱离这个事实设想命题取其他真值的情况，正是在这个意义上，命题具有独立于事实的涵义。事实上，客体的独立性就是以类似的方式建立的。事态被分解为客体，因而客体具有构成事态的可能性，但是，即使客体在本质上就要与其他客体结合构成事态，就它们能在一切可能的结合中出现而言，仍然是独立的。同样，按照我在别处给出的解读《逻辑哲学论》的分解—合并法这一统一的方法论原则，我们把某个命题描述了实在这一事实分解，就能够得到某个命题，并且该命题能够描述实在（具有构成该事实的可能性，就像客体具有构成事态的可能性一样），这一点我们表述为，该命题具有它自己的涵义。这个命题可以在其他的描述活动中使用，就这一点而言，其涵义或者说用于描述的可能性，是独立的。正是在这种意义上，命题具有独立于事实的涵义。
同样可以清楚地看到，命题具有二值性。使用一个命题，要么成功地描述了世界，要么没有，这一点对使用命题的人来说就是，命题要么是真的，要么是假的。这种二值性并没有被归于涵义，因而没有被理解为实在中的区别；相反，它被归于使用命题的行为。因此，否定就属于使用，而不属于使用命题所描述的东西。“p”和“p”之间的区别在于，如果其中一个描述了实在，另一个就未能描述。对于使用者来说，否定就意味着命题具有两个可能性，即正确地或错误地描述的可能性，进而表现为涵义上的方向性。
不过仍然会有一个问题：以这种分解命题被使用这一事实的方式不能确定命题的涵义是什么，因为这就要求事先确定命题所描述的事实是什么，而既然事实是内涵性的，那么要确定事实，就等于说要先确定命题的涵义，以便挑出被描述的事实，这样就进入了一个循环。这个问题只对使用行为的旁观者来说才存在，对他来说，命题涵义与事实是分别给与的；对于使用命题的人来说没有这个问题，对他来说命题涵义与事实一同确定下来。这正是命题作为图像的题中之义。一个东西是图像，仅当从它就能看到它所描绘的东西，无论它是以何种方式描绘的。一个图像描绘了事实，如果这本身就是一个事实，那么图像实际描绘的东西，即图像的涵义，和被图像描绘的事实，这两者是一同给出的。图像使用者处于这样一个角度上，从这个角度出发，就从图像中看到其所描述的东西；相反，旁观的角度则能把图像看做是其他东西，例如一块布，或者一串墨迹。对于命题的使用者来说，正如命题显示其涵义，它所显示的就是，如果它是真的话，事实是怎样的（4.022节）——他不会面对这样一个问题：在不知道命题涵义的情况下，你用这个命题描述的是什么。
最后，我们来看按这种方式理解的真这一概念如何应对弗雷格的批评。
真这个概念就内在于使用命题来描述实在的行为中，如果一个命题描述了实在，它就是真的。真内在于使用，这等于说，只有在使用者角度上我们才能说，描述了实在的命题是真命题，从而才会有符合论表述。如果撇开这个角度，符合论与真值条件语义学是不相容的。只要承认能够通过真值条件来确定命题的涵义，那么在这样做的时候就相当于说要先确定使命题为真的事实是什么，而这又反过来要求命题涵义已经确定，从而进入循环。但我们不能舍弃真值条件语义学。即使我们不准备把它作为一种探究语义的系统方法，用命题来描述实在这一使用命题的目的，也要求能够按真值条件语义学的方式处理命题的涵义，因为，既然使用命题的目的是要正确地刻画事实，而我们依据命题的涵义做到这一点，那么命题具有何种涵义，必须依赖于它能够刻画什么事实。
真内在于使用，此时重要的是以何种方式理解真这个概念，而不是真本身是什么。这本身就在排斥任何对真的定义。在这种意义上，维特根斯坦的符合论表述，不过是对作为命题使用者的我们是如何使用真这个概念的一种描述，这种描述表明了，作为使用者，我们如何理解这个概念，从而按相应方式约束我们使用命题的行为。
注释：
①参见维特根斯坦(Wittgenstein,1955)，本注及以下凡引自《逻辑哲学论》处，均只注明文内编号。译文参照德文略有改动。
②G.Frege,CollectedPapersonMathematics,Logic,andPhilosophy,BrianMcGuinnessed.,Blackwell.1984,p.353.
③R.C.S.Walker,"TheoriesofTruth"(inACompaniontothePhilosophyofLanguage,BobHale&C.Wrighted.,Blackwell,1997,pp.309-330),pp.318-319.
④L.Wittgenstein,TractatusLogico-Philosophicus,Trans.C.K.Ogden,withanintro.byBertrandRussell,Routledge&KeganPaulLtd,1955,p.31注。
⑤CoraDiamond,"TruthbeforeTarski:AfterSluga,afterRicketts,afterGeach,afterGoldfarb,Hylton,Floyd,andVanHeijenoort",FromFregetoWittgenstein:PerspectivesonEarlyAnalyticPhilosophy,editedbyErichH.Reck,Oxford,2002,pp.252-282,p.263.
⑥P.Geach,"TruthandGod",ProceedingsoftheAristotelianSociety,suppl,vol.56:83-97,1982,p.90.
关键词：康德；先验综合命题；分析命题；综合命题
中图分类号：B141
文献标识码：A 文章编号：1672-1101（2016）03-0012-07
Abstract： From Kant onwards， disputes about the classification of propositions have been going on， and relationships between various propositions are still in confusion. An underlying reason for these confusions is that people confuse the two meanings of “transcendental”， for which Kant was partly responsible. Confusions began when Kant put priori synthetic proposition， analytic proposition and synthetic proposition together as three paralleled propositions. In fact， a priori synthetic proposition should be understood as a kind of proposition that is defined from the light of the action that leads to the formation of a proposition， and should not be understood as a kind of proposition parallel with analytic proposition and synthetic proposition. In the light of the action that leads to a proposition， all propositions are a priori synthetic proposition. From the angle of validation， these propositions can be divided into analytic proposition， synthetic proposition and metaphysical proposition. Kant’s triad also led to other confusions of proposition classification. To modify Kant’s thought of proposition classification will make proposition classification more reasonable.
Key words：Kant； a priori synthetic proposition； analytic proposition； synthetic proposition
关于知识及其表述形式（命题或判断）①
的分类的思想源远流长，在哲学的知识论转向之后，笛卡尔、莱布尼茨、洛克和休谟等人对此都有论述，但引起广泛争论的起点应该从康德对判断的分类算起。康德首先明确地区分了分析判断与综合判断，并由此引申出一种不同于二者的先验综合判断。逻辑经验主义者对康德区分分析判断与综合判断的方法做了改进，从判断的真值评判方法上将一切知识命题区分为分析命题和综合命题，取消了康德的先验综合判断[1]。蒯因更为激进，认为分析命题和综合命题的区分只不过是逻辑经验主义的教条，其间的界线根本划不出来[2]。克里普克在分析先验和后验、必然和偶然、分析和综合等概念基础上，又提出了两类新的命题形式：先验偶然命题和后验必然命题[3]。学界对这些思想与争论，尤其是关于蒯因和克里普克的观点给予了深入的研究。这些研究在澄清命题分类上有所贡献。但先验综合命题、分析命题和综合命题、以及先验偶然命题和后验必然命题之间的关系仍十分混乱。要彻底地清除这些混乱首先要清楚地认识引起该混乱的深层原因，并予以更正。笔者认为混乱正好始于康德的命题分类思想。让我们从澄清引起混乱的“先验”概念开始。
一、“先验”概念的两种意义
“先验”康德哲学中的transzendental、transzendent、a priori，英文分别译为 transcendental、transcendent、a priori，中文译名有多种。在各种译法中，笔者认同陈晓平先生的译法，把“transcendental”、“a priori”和“transcendent”分别译为“先验论的”、“先验的”和“超验的”。相应地，中文文献中通常所说的“先天综合判断”和“先天范畴”应为“先验综合判断”和“先验范畴”。具体理由参见陈晓平《可知与不可知之间》《现代哲学》2009（5）：81）。对于本文所引译本，出于尊重原文考虑，保留其“先天的”译法，但将被理解成“先验的”，以利于全文概念的统一。由于康德本人对术语界定和使用并不十分严格，需要另外澄清和解释之处，将另行说明。即先于经验之意。在康德哲学里，先验之“先于经验”，并不是时间上、事实上先于经验存在；而是逻辑上、形式上先于经验。“按照时间，我们没有任何知识先行于经验的，一切知识都是从经验开始的。”[4]1什么是逻辑上、形式上先于经验呢？回答这个问题需要结合康德批判哲学的核心概念“先验综合判断”来理解。在回答“知识如何可能”这个问题时，康德认为是先验综合判断使知识成为可能。先验综合判断形成于先验统觉通过先验范畴对直观（形式或材料）的综合。没有先验认识形式（范畴和直观形式）就不可能有这种综合，从这个角度而言，先验认识形式是先于经验的。但是先验认识形式并不能在事实上独立于经验存在，它们只能在经验范围内使用，离开了经验材料，越出经验范围，它们的使用就是超越的使用[5]172。由此康德指出先验在事实上和时间上总是与经验密切联系的。康德谈道：“即便是空间和时间，无论这些概念多么纯粹得没有任何经验性的东西，无论它们多么确定，以至于它们完全先天地在心灵中被表象，如果它们不被指明在经验对象上的应用，它们就毕竟没有客观有效性，没有意义和含义……一切概念都没有区别地是这种情况。”[6]158概念（范畴）“永远不能仅仅从这样的概念出发就本身来说而成立，而是在任何时候都唯有作为一般经验的形式的和客观的条件才成立。”[6]189“因此，经验的可能性就是赋予我们一切先天知识（先验认识形式和原则，引者注）以客观实在性的东西。”一切先验认识形式和原则虽然在逻辑上是先于经验的，但在实际应用中却并非与经验无关，恰恰相反，它们必须通过经验显现。“虽然我们在哲学里能孤立纯粹概念而且‘在其纯洁上’设想到它们，但是它们在我们寻常的全部经验里都是以我们不断关于经验性的对象所作出的判断那种形式表现出来的。”[7]202
籍此，我们可以进一步表明经验与先验的关系：先验并不是与经验对立的概念；在知识命题中，它们是紧密结合的；没有独立于经验而存在的先验，也没有独立于先验而存在的经验。必须注意的是，这里所说的联系，是指知识的形成过程必然由两个方面的因素相互作用，而并不是说所有知识的内容都是经验性的。正是在知识命题如何形成的意义上，康德甚至将没有经验内容的几何和算术命题都看成是先验综合命题，因为它们也是先验范畴作用于感性直观形式（时空）――虽然不是感性直观的内容――得来的。康德在另一方面又强调有一种“先天的知识”。这种知识因为“完全没有掺杂任何经验性的东西”而被称为“纯粹的”，康德将它命名为“先天的知识”（即先验知识）[4]2。数学（算术和几何）知识属于这类知识。另外，康德还从先验知识的必然性上加以界定。他认为，先验知识是严格意义上普遍必然的[6]31。由于这种先验知识由先验命题表述，因此，先验命题也是严格的普遍必然的[5]21。如此，数学知识既是先验综合命题，又是先验知识（命题），这种观点在康德的命题分类系统中会导致矛盾。这种矛盾在后文进一步澄清几种命题概念之后，会明显起来。相对“先验”概念，康德还使用了“后验”（a posteriori）概念与其对照。这个概念用来指知识中的经验来源。它与先验形式共同建构经验知识，因此它不与先验对立。
如果先验概念始终维持“逻辑上、形式上先于经验”的意义，在命题分类领域就不会出现后来的混乱局面。但是，事与愿违。康德将先验综合判断与分析判断、综合判断并列为第三种判断后，混乱开始了。将先验综合判断与分析判断和综合判断并列的举动无意中为 “先验”一词引入了另一种意义：在时间上先于或独立于经验。这就为后来克里普克提出新的命题类型提供了空间。与在逻辑上先于经验的“先验”概念不同，克里普克使用的“先验”恰恰是指在时间上先于或独立于经验检验。克里普克如此理解的“先验”和“后验”是对立的概念。我们从克里普克列举的先验偶然命题和后验必然命题的例子可以看出这一点。
为什么康德对此负有责任呢？我们知道，康德将先验综合判断与分析判断、综合判断并列为第三种判断后，分析判断由于其必然性以及这种必然性来自于矛盾律，就被看成是先验必然命题；综合判断则由于其偶然性以及这种偶然性来自经验，就被视为后验偶然命题。如此，分析判断、综合判断和先验综合判断的区分就变成了先验必然命题、后验偶然命题和先验综合命题的区分。由于分析判断（先验必然命题）的赋值（判定真假）仅需矛盾律而无需经验检验，其中的“先验”一词就被赋予了“在时间上先于或独立于经验”的意思；相应地，综合判断（后验偶然命题）的赋值不仅需矛盾律而且还需经验检验，其中的“后验”就被赋予了“在时间上后于或不独立于经验”的意思。原本在康德的观念中，先验性和必然性是统一于分析性中的。但对命题做出三分之后，三者就有分离可能，从而为克里普克的发挥提供空间。虽然在康德命题体系中，先验偶然命题和后验必然命题是不可能的。但在克里普克对先验和后验、必然和偶然、分析和综合做出自己的理解后，先验偶然命题和后验必然命题就顺理成章了。此时的“先验”完全改变了先验综合判断中“先验”的意思。然而，先验综合判断根本就不应于分析判断和综合判断并列为第三种不同的判断。康德的这一做法导致了一系列混乱，详见下节。
二、康德对命题的分类及其问题
康德论述其命题分类思想的起点是区分分析命题和综合命题。康德认为，一切命题，从其中主词对谓词的关系来考虑，有两种不同的类型，即分析命题和综合命题。分析与综合的区别正是由命题的主词和谓词的包含关系界定的：如果一个判断的主词以包含的关系与谓词关联，那么这个判断就是分析判断；如果一个判断的主词不是以包含的关系与谓词关联（谓词外在于主词），那么这个判断就是综合判断。分析判断具有按照矛盾律即可判断真假的必然性，这种必然性不能从经验的来源获得。综合判断则只能有来自经验的偶然性。另外，康德还认为分析判断是解释判断，不能通过谓词给主词增添任何东西；综合判断则给主词增添了新内容，是扩展判断[6]35。康德正是依据这个理解试图阐发出一种既具有分析判断的必然性，又具有综合判断的扩展性的先验综合判断。根据康德对先验综合判断性质的界定，其中的先验性就是指判断的必然性，其中的综合性是指内容的增长性。因此，在康德的理解中先验性与必然性是一体两面的，这就是他将分析判断说成是“先天知识”的理由[5]19。
那么先验综合命题包括哪些命题呢？康德在阐述先验综合命题的必然性和扩展性时，以因果关系命题为例加以说明。由此我们知道，康德的先验综合命题中至少包含“一切发生的事物都有其原因”之类的命题。据康德认为，由于这类命题中，原因概念完全外在于发生的事物的概念，它表示某种与发生的事物不同的东西，因此是综合的；同时这类命题又具有不依靠经验的必然性――“因为上述因果原理不仅仅是以更大的普遍性、而且也以表达出来的必然性，因而完全是先天地并从单纯的概念出发，把后面这些表象加到前面那个表象上。” [4]10-11除此以外，从康德将回答“纯粹数学如何可能”、“纯粹自然科学如何可能”和“形而上学如何可能”等问题都归结为回答“先验综合判断如何可能”这个总问题上看，康德一定认为数学知识、自然科学知识和形而上学知识都是先验综合命题表述的知识。由此，我们不难推断，康德认为数学（算术和几何）命题、自然科学命题和形而上学命题都是先验综合命题。
从这里开始，康德命题分类思想的问题初露端倪。如果康德将分析命题、综合命题和先验综合命题并列的观点，以及先验综合命题包含数学命题、自然科学命题和形而上学命题的观点是正确的，那么分析命题和综合命题包含哪些知识命题呢？康德除了在提出分析命题和综合命题区分时，列举了“一切物体都有广延”、“黄金是一种黄色的金属”等分析命题和“一切物体都是有重量的”这一综合命题外，再没有给出这两类命题的具体内容。而除了数学知识、自然科学知识和形而上学知识以外，康德并没有讨论其它的知识类型。由此推断，分析命题和综合命题几乎没有什么可以归属其下的知识，因而成为空洞的命题类型。事实上，康德所认为的“一切物体都有广延”、“一切物体都是有重量的”这些命题都是自然科学知识，而自然科学知识是用先验综合命题表述的。如此一来，分析命题、综合命题和先验综合命题三种平行的命题种类就包含了相互重叠的内容。这表明这种分类是有问题的。
康德将分析命题、综合命题和先验综合命题并列导致的问题不止于此。根据康德关于分析命题和综合命题赋值方法的不同的观点，人们不禁要问，我们应该根据什么一以贯之的方法判定先验综合判断的真值呢？对此，康德没有给出答案。事实上他不可能给出这种方法。因为先验综合判断既包括数学判断又包括自然科学判断，判定这两类判断的真值的方法如此不同，在其中似乎找不到共同点。导致这种困难的原因正是康德错误地将先验综合判断与分析判断和综合判断并列起来。另外，康德既试图从主词与谓词的包含关系上将判断分为“分析的”和“综合的”，又试图从命题的赋值方式上界定两类命题，也是导致上述问题的根源。康德将那种包含关系称为“同一性”关系。这种“同一性”关系十分模糊。经过逻辑经验主义的改造，主谓词之间是否符合同一性标准被是否符合同义性标准代替，成为界定分析命题和综合命题界线。由于同义性概念的引入，分析命题与综合命题的划界标准变得更为清晰：一切通过对命题中概念的意义分析，仅使用矛盾律就能判定真假的命题是分析命题，这种命题的真值具有逻辑规律赋予的必然性；综合命题要通过经验检验才能判定其真值，其真值是偶然的。正是从验证命题真假这个清晰的划分标准看，逻辑经验主义反对康德的先验综合判断，认为这是一种不存在的命题形式。在笔者看来，逻辑经验主义划定分析命题和综合命题的标准要比康德的标准合理。这也是现在人们一般沿用逻辑经验主义意义上的分析命题和综合命题的原因。但是，逻辑经验主义否认存在先验综合命题是不对的。因为先验综合命题根本不是与分析命题和综合命题并列的命题类型。
康德将数学命题、自然科学命题划归到先验综合命题之下还会导致另一个问题。就数学命题和自然科学命题而言，我们知道它们的普遍必然性是十分不同的。一般而言，数学命题的必然性要高于自然科学命题的必然性。数学命题（尤其是算术命题）的真值被认为是无需经验检验的，它的必然性具有类似于逻辑命题的必然性；而自然科学命题的真值则依靠经验检验确定，其必然性跟逻辑的必然性相去甚远。两种如此不同的必然性如何用先验综合命题中的先验性予以解释呢？尤其是与经验密切相关的自然科学命题中的必然性如何用先验性解释？康德在这个问题上遇到了麻烦。康德将必然性（知识的客观性或普遍必然性）区分为严格的普遍必然性和非严格的普遍必然性。前者是先验性，后者是主体间性。康德通过先验论证从知识的普遍表述形式（命题形式）中发现了理性的先验认识形式。这些形式是使知识成为可能的先验条件。由于这些条件具有先验性，知识才具有我们普遍必然性。但是经验知识的主体间性并不能用认识形式的先验性完全解释。康德也始终没有解释非严格的普遍必然性是如何可能的，即他没有解释自然科学命题的主体间性[8]。既然自然科学命题的必然性是主体间性，而且康德不能用先验性解释它，那么自然科学命题的必然性就与先验综合命题的必然性不相符。又由于自然科学命题中的主体间性恰好来自经验，而且经验包含偶然性，如此康德所言的先验必然的自然科学命题就成为后验偶然命题（综合命题），而不是先验综合命题。这是出乎康德意料的！此外，自然科学命题与数学命题的重要区别也在于主体间性：数学命题具有严格的普遍必然性，不具有主体间性；自然科学命题则既包含先验形式的严格的普遍必然性又包含主体间性。这种明显的区别向康德提出问题：为什么具有如此不同必然性的命题都属于先验综合判断呢？康德没有意识到这个问题，也没有对问题的解决给出有益提示。要解决这个问题，必须对命题分类作必要调整。
除上述提及的从命题包含的知识内容上区分的数学命题、自然科学命题和形而上学命题外，康德还提出了一种表述“先验知识”的“先验论命题”。这种命题的提出进一步增加了康德命题分类思想的混乱。“先验论命题”在康德的命题分类体系中应归属于哪一类呢？在回答这个之前，必须就“先验知识”概念的使用做一番解释。康德本人对“先验”和“先天”在知识种类上做了区别。在康德看来“先天知识”包括“先验知识”，“先天知识”比“先验知识”外延更广。属于“先天知识”的数学知识不是“先验知识”。康德把“先验知识”界定为“一切不研究对象、而是一般地研究我们关于对象的认识方式……的知识称为先验的。”[6]45“并非任何一种先天知识，而是惟有使我们认识到某些表象（直观或概念）仅仅先天地被应用或者仅仅先天地可能以及何以如此的知识，才必须称之为先验的……”[6]78总之，在康德看来，“先验知识”就是关于先验认识形式的知识。由于我将“先验”和“先天”看作同义词，而康德的“先验”（transcendental）对应于我理解的“先验论的”，因此康德的“先验知识”就是我的“先验论的知识”。如此在本文中，康德的“先天知识”和“先验知识”，就分别等同于“先验知识”和“先验论的知识”，先验知识包含先验论的知识此后出现的未加引号的先验知识和先验论知识都指矫正后的先验知识和先验论知识。康德意义上的先验知识和先天知识会用引号标明。先验原则就是先验论知识和先验论命题的具体内容。。康德将先验论的知识又称为“纯粹的先天知识”。先验知识和先验论的知识都具严格的普遍必然性，它们分别由先验命题和先验论的命题表述。先验论的命题是先验命题的子类，它们都具有严格的普遍必然性。
康德还认为一切分析命题都是“先天知识”，即先验知识[5]19。又由于康德将“先天知识”界定为没有经验内容的必然知识，数学知识就成了“先天知识”的子类。如此，数学命题和分析命题都是表述“先天知识”的“先天命题”。但在康德的理论中，数学命题属于先验综合命题，与分析命题截然有别，它们怎么可能是同一类命题呢？再者，分析命题虽然是必然的，但它并不是没有经验内容的。比如，“黄金是黄色的金属”这个命题虽然是分析命题，但其中包含经验内容。因此，说分析命题都表述“先天知识”并不妥当。如果康德对“先天命题”的界定是合理的，那么它在整个命题分类系统中应该处于什么位置？从它不具有经验内容来看，它不应该是综合命题，也不能完全归入先验综合命题――因为先验综合命题不包含分析命题。如此看来，它要么属于分析命题，要么独立于上述三种命题，成为第四种命题。如果我们出于同情的理解，尽量使康德命题分类成为一个体系，将其归入分析命题可能更合适。但是如此一来，数学命题就成了分析命题，而不是先验综合命题了。总之，康德命题分类思想的混乱和矛盾由此可见一斑。
为看清这些矛盾的地方，我们将上文讨论的各种命题的关系，根据康德在《纯粹理性批判》和《未来形而上学导论》中的表述，做一个清理。按照康德的观点，这些命题的关系可用图1表示出来。
将前文所述内容与上图结合起来，我们可以得到如下矛盾和混乱：
（1A）既然数学命题即是必然真理，又无经验内容，无需经验检验，那它就是先验命题，因此它是分析命题。
（1B）数学命题是先验综合命题。
（2A）自然科学命题是先验综合命题。
（2B）自然科学命题是综合命题。
（3A）“红旗是红色的”是分析命题。
（3B）“红旗是红色的”是先验综合命题，因为它是先验认识形式综合感觉材料得到的。
（4A）既然一切命题都是先验认识形式综合感性直观（形式或质料）得来的，那么一切命题都是先验综合命题。
（4B）如上图所示，并非一切命题都是先验综合命题。
这些矛盾和混乱表明，如果我们想继承和发展康德先验认识论中的合理成分，尤其是继承和发展他的先验综合命题对解决“知识如何可能”问题的贡献，以及它反驳怀疑论的功用，那么我们有必要对他的命题分类作必要改进。
三、对康德命题分类思想的改进
康德对命题的理解和划分所出问题的关键之处在于：第一，混淆了先验综合命题的性质，错误的将其看成是与分析命题和综合命题并列的命题。第二，对分析命题和综合命题的界定不合理，不应该用主词与谓词的关系来界定它们，而应该仅从它们的成真条件上区分。基于这两条基本认识，对康德划分命题的方法作如下改进：
1.从命题形成的活动方面看，所有命题都是先验综合命题，先验综合是形成命题的唯一活动。除了这种产生命题的活动外，没有其它活动产生命题。关于先验综合是形成命题的唯一活动，可以在康德自己的论述中找到根据。第一个最明显的根据就是康德用先验综合判断解释知识何以可能的论述。康德从这个问题出发，用先验论证的方式，发现了先验直观形式和先验范畴；然后引出先验统觉，它的先验综合功能形成了数学、科学等知识。第二个根据是康德对综合先于分析的论述。康德认为所有知识的可能性最后都必须以先验统觉的综合统一性为条件。他说，先验统觉的综合统一“这种行动原初必须是唯一的，并且适用于一切联结，而分解，亦即分析，看起来是它的对立面，毕竟在任何时候都以它为前提条件；在知性事先没有把任何东西结合起来的地方，它也就不能分解任何东西，因为这东西唯有通过知性才能作为结合起来的东西被给予表象力。”[6]107“因此，只有通过我能够把被给予的表象的杂多在一个意识中联结起来，我才能表象这些表象本身中的意识的同一性，也就是说，统觉的分析的统一性惟有以某种综合的统一性为前提条件才是可能的。”[6]108“在对我们的表象作出任何分析之前，这些表象必须事先已经被给予了，而且任何概念就内容而言都不能以分析的方式产生。”[6]91总之，先验综合乃是分析的条件。“离开了综合，我们所有的就会是一些单纯互无联系的成分；我们就不会有任何东西是能描述为需要加以分析的确定性的内容了。没有某确定性的内容在心的面前被抓在一起，那就不能有知识的任何可能性；而就知识是依靠心的活动的这点来说，知识的第一性起源应该在综合里而不应在分析里去寻找。”[7]247如此，先验综合是形成命题的唯一活动。
2.先验综合活动形成的命题，从它们的成真条件来划分，可分为分析命题、综合命题和形而上学命题。分析命题在语义规则和意义公设的基础上，通过语义分析、用矛盾律就能判定真假；综合命题用经验检验判定真假；形而上学命题（本体论命题）由于“形而上学”概念的含义较为模糊，在不同哲学分科中有不同理解，本文的形而上学命题单指康德所谓先验认识形式超越的（对理念对象的）使用而形成的本体论（关于上帝、物自体和先验自我的）命题，比如“世界的本原是X”这一类命题。没有真假可言，正如康德所言，科学的形而上学是不可能的。由于知识命题是有真假的，形而上学命题没有真假，因此，形而上学命题不是知识命题。由此，我们可以将所有通过先验综合活动形成的命题分为知识命题和形而上学命题。分析命题是必然的；综合命题是偶然的。逻辑实证主义者纠正了康德将先验综合命题与分析命题、综合命题相提并论的错误，但又矫枉过正，过犹不及地丢掉了先验综合命题。笔者在此兼顾了康德和逻辑经验主义各自的优点而摒弃了它们的缺点。
3.逻辑命题、数学命题、经验科学命题和先验论命题是从内容方面对命题的划分。其中，逻辑命题、数学命题和先验论命题是分析命题。经验科学命题中既有分析命题又有综合命题，这取决于检验命题真假的方法。
4.为避免概念混淆，并维护“先验”之“逻辑上、形式上先于经验”的意义，在命题分类中不再使用其“在时间上先于或独立于经验”的意义。因此，我主张取消后验综合命题和先验分析命题这样的划分，并进一步取消克里普克提出的先验偶然命题和后验必然命题的划分。因为，克里普克的“先验”正是“事实上和时间上先于经验”。他对“巴黎米尺”定义的先验偶然性的讨论中所使用的“先验”，是指定义活动先于对定义的检验的意思。如此理解的先验正是康德意义上的经验，他所谓的先验偶然命题，本质上不过是一个真值随经验变化的综合命题。而他的后验必然命题本质上也是一个被经验证实的综合命题。克里普克基于他独特的命名理论对先验偶然命题和后验必然命题的划分，已有学者提出致命地反对意见[9]51-58，36-48；[10]59-65。
5.分析命题可进一步分为非纯粹必然命题（有经验内容的必然命题）和纯粹必然命题（无经验内容的必然命题，即康德意义上的先天命题）。前者包括诸如“红旗是红色的”、“绿叶是绿色的”、“黄金是黄色的”等这类无聊命题和“单身汉是未婚男子”这类包含经验的约定命题，以及其他包含经验内容、基于约定命题之上的分析命题，比如，“没有一个单身汉是已婚的”虽然数学和逻辑中也会出现类似的同语反复命题，但是逻辑用这种命题表示同一律，而数学用此表示等量关系，因此它们有不可取代的作用，不能称之为无聊的。唯有此类经验命题，除了有限的修辞作用外，实属无聊，因为讨论知识命题与修辞无关。另外，约定命题本质上是定义，之所以将定义看成是必然真的分析命题，是因为，定义一般而言就是一个语言系统的语义规则和意义公设，是普遍接受的基础。虽然有旧定义被新定义替换的情况，但是这不能说旧定义为假，新定义为真。因为，一个被替换的定义已经不是定义了，因此没有定义为假的情况。定义只有实用不实用的情况。；后者也称之为先验命题，它包括逻辑命题、数学命题和先验论的命题，即表述先验论知识的命题。它是通过先验论证得到的关于人类先验认识形式和原则的知识。
在此有必要指出，先验论命题只在有限的范围内存在。由于先验论命题是通过先验论证，对人类知识的一般形式的分析发现的，因此它们是无经验内容的、纯粹的；又由于它们是人类知识的最终规则，除此之外，再无其它工具能够对它们的真假进行检验，因此它们是必然的，就像人类不得不接受的意义公设一样。基于此它们理所当然属于先验命题和分析命题。正是因为先验论命题具有分析性，康德所举的两个例子――“一切物体都有广延”是分析命题，“一切物体都是有重量的”是综合命题――才好理解。事实上“物体”和“广延”、“重量”并不是康德所说的包含或不包含的关系。纯粹的语义分析不可能从“物体”概念分析出“广延”概念。在这个意义上两个命题没有区别。“一切物体都有广延”之所以是分析命题，仅仅在于它与这样一个先验论命题同义：“一切物体都以空间的形式呈现”，而空间性就是广延性。与此不同，“一切物体都是有重量的”是综合命题，原因在于这个命题只不过是牛顿力学体系的逻辑后承。牛顿力学是受经验检验的自然科学，它的所有逻辑后承理所当然是综合命题。当然有必要指出，先验论命题与一般的分析命题之间有微妙区别――先验论命题的真必然性来源于非如此不可的不可想象性（即不可能想象有另外一种先验认识原则），而一般分析命题的真的必然性来自于矛盾律。但是从它们都无需经验检验，而且是必然真这个角度而言，将它们称为分析命题仍是合适的。
综上，在澄清各种命题的关系后，各种命题的关系形成了一个清晰有序的体系，如图2所示。
参考文献：
[1] A・J・艾耶尔.语言、真理与逻辑[M].尹大怡，译.上海：上海译文出版社，1981.
[2] 蒯因.从逻辑的观点看 [M]//涂家亮，陈波.蒯因著作集：第4卷.江天骥，译.北京：中国人民大学出版社，2007.
[3] Saul A. Kripke. Naming and Necessity[M]. Harvard University press， Cambridge， Massachusetts. 1972.
[4] 康德.纯粹理性批判[M].邓晓芒，译.杨祖陶，校.北京：人民出版社，2004.
[5] 康德.未来形而上学导论[M].庞景仁，译.北京：商务印书馆，1978.
[6] 康德.纯粹理性批判[M].李秋零，译注.北京：中国人民大学出版社，2011.
[7] H・J・裴顿.康德的经验形而上学[M].韦卓明，译.武汉：华中师范大学出版社，2009.
[8] 尹维坤.康德解释了自然科学的客观性吗？[J].科学技术哲学研究，2013（1）：44-47.
[9] 陈波.存在“先验偶然命题”和“后验必然命题”吗（上）――对克里普克知识论的批评[J].学术月刊，2010（8）：51-58.
[10] 陈波.存在“先验偶然命题”和“后验必然命题”吗（下）――对克里普克知识论的批评[J].学术月刊，2010（9）：36-48.
关键词: 博弈论;语义学;逻辑哲学
贾可·辛提卡是当代著名的逻辑学家,他将博弈论与语义学直接结合起来,创建了博弈论语义学。辛提卡用博弈论的方法来处理命题,就是要确定命题的值,即命题的真或假。同经典逻辑一致,辛提卡预设了命题是二值的。辛提卡首先给出一个定义域d,任何名称都可以在这个集合中找到所指。博弈论语义学的核心是将量词短语看成专名,将句子看成语句函项,然后在给定的定义域d中选择相应的个体将句子中的量词短语替换,从而达到消除量词,找到原子句的目的。在方法上,辛提卡选择了博弈论,他将人们对句子的理解过程比喻为一个两人博弈,两个参与人分别为“我”和“ 自然 ”,每个回合必定要分出胜负,不容平局,那么对于一个句子s,根据规则,博弈双方轮流将s约化为s’、s’’,等等,直至最后使得约化的句子不再包含变量和连接词,即原子句,此时双方就可一决输赢。如果这个原子句为真,则我取胜,自然失败; 如果这个原子句为假,则自然取胜,我失败。运用博弈论语义学,我们能够从大量的语言信息中得到最基本、最简化的语句,从而能够轻松地判定这些语言信息的真假。理解这一理论的关键是理解定义域d、原子句、博弈等概念。辛提卡的博弈论语义学可以说是维特根斯坦前后期哲学的综合:“语言博弈”概念源于维特根斯坦后期哲学中的语言游戏说,而它的理论核心则是维特根斯坦前期哲学——图象论。
一 “图象论”与命题真值
维特根斯坦是学界倍受关注的大师,其前后期思想的迥异恰当地诠释了他的哲学主题:“哲学不是一种学说,而是一种活动。”①有趣的是,辛提卡博弈论语义学所强调的也是动态的理解命题,这与维特根斯坦哲学在本质上殊途同归。
维特根斯坦哲学的主要贡献之一就在于提出了著名的“图象论”。维特根斯坦前期哲学和后期哲学的目的都在于通过研究语言的结构和界限来理解思想的结构和界限。维特根斯坦工作的基点,就是回到逻辑的出发点,即考虑命题的性质。这样,真的界限就构成了语言的界限,维特根斯坦所考虑的就是关于事实的话语。“人给自己造出事实的图象”②。维特根斯坦指出: 命题是实在的图象,“图象是实在的一幅模型”③。“图象是一种事实”④。“图象所表现者即是其意义”⑤。“图象的真假在于其意义与实在的符合与否”⑥。维特根斯坦认为,图象与它所图示的事实之间的关系包括两个方面:一是这种关系“由图象元素与物项的配合而成”⑦ ,这种关系本身也是一种图象;二是“凡图象,不论只有什么型式但要能表象实在———对或错———所必须与实在共有的东西,即是逻辑型式,亦即实在的型式。”⑧所以,“每个图象亦是一逻辑图象”⑨。“对象是简单的”⑩。“对象构成世界的本体。因此不能是复合的。”
一切复合物必然可分解到不可再分的部分,这就是绝对简单的对象,那么,这种绝对简单的对象是什么? 很显然,维特根斯坦这一思想的形成深受罗素和弗雷格的影响。罗素对客体进行了区分,一类是亲知的客体,一类是描述的客体,通过“亲知还原”,描述的客体可以转化为亲知的客体,维特根斯坦对罗素的客体进行了扩展,认为属性和关系也是一种客体。语言中的一个名称来表示一个简单的客体,通过这些客体的结合方式,指称客体的名称可以相互组合成句子。对于简单的客体,我们无法定义它们是什么,我们仅仅能够指示它们,这样,我们也就无法言说这些客体是存在的,因为定义一个客体就是意谓着被定义项的存在。维特根斯坦的绝对简单的对象实质上是罗素亲知客体的变体,是经验的客体。图象论的主旨是说明图象如何具有命题的内容,图象可以看成一个句子,一个句子也可以看成图象,这对于解释最简单句子的合理性是显而易见的,那么如何处理复杂的句子呢?
维特根斯坦最开始的设想是用合取和析取处理一切复杂句子,这也是辛提卡采取斯科伦前束式处理量词句的直接思想来源,但是维特根斯坦后来采取了另一个思路,代之以集成的图象法,“凡对于复合体的陈述,都可解析成对于其成分的陈述,解析成一些把复合体完全摹状了的命题。”即一个复杂的表达式的真值取决于组成它的表达式的真值,即命题就是基本命题的真值涵项,这样,维特根斯坦就完成了语言的运作方式。维特根斯坦的这一思想源于罗素和弗雷格的启发,罗素和弗雷格两人都认为命题才是最基本的意义单位,主张将命题形式化,即用数学中的函数表示命题。维特根斯坦对这一思想的运用是水到渠成的。维特根斯坦认为,“命题是原初命题的真值函量”。“原初命题是命题的真值函目”。换句话说,“一切命题都是对原初命题做真值运算的结果”。“命题就是从一切原初命题的总和(自然也从其确是一切原初命题的总和)而得出的一切。所以,从某种意义可以说,一切命题都是原初命题的总括。”
命题与世界的图象论包含了两层含义: 一是图象的元素与事物之间具有对应关系;二是图象与事实之间具有相同的逻辑形式。由此,在维特根斯坦看来,“图象是实在的一幅模型”,“图象是一事实”,“图象所表现者即是其意义”。
正是因为命题具有相同的结构,才使得我们可以将其形式化,并且可以进行变项替换。那么,图象如何与世界相联系? 在维特根斯坦早期哲学中,这种关系由名称—客体的关系来决定,但是名称如何与客体相联系? 与其说维特根斯坦后期哲学是对前期哲学的反叛,不如说是进一步的深入,在维特根斯坦的语言游戏说中,名称与客体的关系被受一定规则支配的人类活动所确定。在完成这个思想转变之后,维特根斯坦不需要图象论了,取而代之的是语言这种被规则所支配的特征。
辛提卡的博弈论语义学是将博弈的方法引入命题分析,他的研究涉及两个问题,第一个问题就是命题的构成和命题的真假,第二个问题就是如何确定命题的真假。第二个是维特根斯坦后期哲学讨论的一个主要问题,其前期哲学为解决辛提卡的第一个问题提供了思想元素。命题是由概念构成的,而博弈语义学中的概念则直接对应维特根斯坦意义上的存在。值得注意的是,维特根斯坦的存在是与事实相对应的存在,是以现实世界为界限的,所以辛提卡用他的可能世界改造了维特根斯坦的客体。在辛提卡看来,很多情况下,人们的语言交流所涉及的客体多是描述的客体,这些描述的客体有些能转换为亲知客体,有些不能,如“结构为h3o的水”,但是人们在日常的交流中又会涉及这些概念,自然在定义域d中也就应该包含这些元素,可以看出,辛提卡的客体是对维特根斯坦客体的扩展。辛提卡的客体分为存在的和可能存在的两类,即在现实世界中存在和在可能世界中存在。而且很明显的是,辛提卡的存在概念不是语义学层面上的,而是语用学层面上的语义,这在博弈论语义学的操作性中得以体现。在辛提卡的博弈论语义学中,定义域d中的个体必须能与可能世界中的对象一一对应,脱离了这种对应关系,我们就不可能知道自己在言说何物, 更不用说判定言说语句的真假。正如dana scott所指出的那样,语义确定一个实现不是必需的,它应该为证实一个实现是正确的提供标准。
在确定了命题的构成之后,需要解决的问题是命题真假的标准是什么。辛提卡认为,命题是有意义的,命题的意义就是命题的真假值。博弈论语义学的处理方法是找到一个体用概念的名称代入量词所约束的变元,即参与人“我”在定义域d中找到相关的个体以证实语句,而参与人“自然”则企图找到范例来证伪语句。那么,如何才是找到相关的个体呢? 或者说,怎样才知道代入个体后的语句为真? 如前所述,辛提卡在扩展了维特根斯坦概念的基础上明确了命题的构成问题,相应的,辛提卡的命题范围较之维特根斯坦就宽泛的很多。辛提卡将博弈论语义学称为“寻找并找到的”逻辑,寻找并找到了什么? 就是找到一个适当个体代入后的原子句所反映出来的图象与现实世界相符合。这不仅直观,而且符合人们的日常交流。可见,在确定命题真假的标准上,辛提卡与维特根斯坦是一致的,就是采用图象论的符合标准。辛提卡自己也曾明确指出,“博弈语义学不排斥图示的(同形的)关系理论,图示的(同形的) 关系理论在原子句和现实之间建立了联系。”从这句话我们可以看出,要确定命题的真值,只要将命题与图象做个比较就可以了。用辛提卡的话说就是,“名称-客体关系曾经被建立,仅仅需要一件事,这件事就是将原子句和现实相比较。”
辛提卡指出:“维特根斯坦的图像理论和逻辑语义学之间的相似性和非相似性更有趣。最重要的大范围相似性之一,就是在两个理论中,语言的基本元素和现实的特定方面之间的代表关系,用任何的方式都不能进一步的分析。”罗素指出,事实是意指那种使一个命题真或假的事物。而一个命题的本质就在于:它可以两种方式,即以人们所谓的真的方式或假的方式对应于一个事实。最基本的事实是原子事实,与原子事实相对应的是原子命题,它肯定某物具有某种性质或某些事物具有某种关系。原子命题的真假取决于它是否与原子事实相符合。在原子命题的基础上,借助逻辑联结词就构成了分子命题。分子命题的真假取决于组成它的原子命题的真假,是原子命题的真值函项。在分子命题的基础上,借助逻辑量词可以构成更高一级的概括命题。其真假最终也取决于原子命题的真假。维特根斯坦继承了这一思想,认为任何复杂命题经过分析都可以还原为最基本的原子命题。辛提卡由此得出结论:“一个指示性句子的表达在通常的本质上不是这些语言博弈的一个回合,在这些语言博弈中,给出了几个构成成分的词语,并且因此给出了整个句子的内涵。”在辛提卡的博弈论语义学中,我们根据可能世界理论可以确定定义域d,根据维特根斯坦的图象论可以处理命题,并且将命题的具体处理方法转化为真值函项的求解,那么,接下来要考虑的是,我们究竟应该如何为真值函项求解,并且这个方法是否可以形式化。遵循维特根斯坦的 哲学 思路,辛提卡找到了博弈论。
二 “语言游戏说”与语义博弈
维特根斯坦的“语言游戏”说中的所谓“语言游戏”,实际上是把游戏当成是运用语言的比喻,即强调语言的使用,他指出:“我将把由语言和行动(指与语言交织在一起的那些行动)所组成的整体叫做‘语言游戏’”。维特根斯坦认为,语词的意义在于使用,运用语言是一种活动,我们使用的语词在不同的场合会有不同的意义,必须根据具体的使用环境才能确定语词的意义,试图通过孤立的逻辑分析来揭示语词的意义,结果只能误入歧途。维特根斯坦对语言的这种处理方法,实质上是从具体的语境动态地观察语词的用法,我们不能孤立地去问“什么是意义”这一类的问题,而应该说“什么是意义的解释”。弄清一个语词代表什么之前,必须首先掌握包括这个语词在内的那种语言游戏,一个词语的意义也就是它在语言游戏中的实际用法。维特根斯坦对于语言及其意义问题的思考,得益于一场足球比赛的启发,同时,相较于足球比赛,语言游戏也存在规则,在维特根斯坦看来,遵守规则是语言游戏的灵魂,也是一切人类行为的必要条件。维特根斯坦用了很多篇幅讨论规范和遵守规则。“遵守规则,做报告,下命令,下棋都是习惯(习俗,制度) 。
“遵循规则类似于服从命令。人们是被训练这样做的;人们是以特定的方式对命令做出反应的。人类共同的行为方式乃是我们据以解释陌生语言的 参考 系。”可见,规则和遵循规则是人们在实践和交往中形成的相对稳定的行为准则和行为模式。这种语言游戏所遵循的规则究竟是什么? 是否就是逻辑必然性? “维特根斯坦最终在他的认识论斗争中失败了”。
其实[论/文/网 lunwennet/com]只要留意维特根斯坦前期哲学,我们不难发现维特根斯坦在处理这个问题上的缺陷,维特根斯坦指出:“我的根本思想是‘逻辑常量’不代表任何东西。事实的逻辑不可能为任何东西所代表。”“没有‘逻辑的对象’、‘逻辑常量’(照弗雷格与罗素的意义) ,于此便显然可见。”虽然维特根斯坦不承认逻辑常项的存在,但是认为客体具有逻辑形式,这种形式使得客体能够聚拢。
辛提卡认为维特根斯坦的语言游戏受到博弈论的影响。“游戏概念的主要用法如此多地分享了像冯·诺意曼( vonneumann)和约翰·纳什( john nash)那些数学家构建一个详细的游戏的一般理论的结构,那个理论旨在帮助 科学 家与哲学家理解有趣的问题的范围。它们甚至包括了真理与意义的问题(以及其他的语言—世界关系)以供讨论,维特根斯坦从中提出了他的语言游戏观念。”
与维特根斯坦相同,辛提卡在确立了命题和世界的图示关系之后,需要研究的就是这种关系是如何建立的,“处于这些描述关系之间的关系是什么?”在辛提卡看来,单纯的图像论已经不能解释这个问题了,图像论的任务是描述关系,那么对关系的关系的刻画,则需要另一个理论。辛提卡指出:比起那些为解释语言与现实结合所需要的思想,维特根斯坦经常包含更多的语言博弈思想。“为了理解(一个给定的一阶逻辑语句) f,我们显然没有足够的时间和记忆空间,事实上,我们对一阶语句的理解必须建立在对语句和世界的有限的逐步比较之上,而不是(潜在的) f的图像本质。”“有时语言博弈能够明显的被发现用于提供词语和它所刻画之间的关联”。
这里我想指出的是,或许我们用图像论处理语句理解的时候已经不足道了,但更为恰当。辛提卡认为自己受到“维特根斯坦有关思想的启发,强调受规则支配的人类活动, 亦即寻求和发现语言游戏的重要性。”但是,辛提卡“比维特根斯坦走得远得多,因为后者的思想是轮廓性的且不系统。”“在我没有有效的方式找到我的下一步该如何行动时,我怎么可能在实践中采取一个策略?”
这里有几种选择。也许有人会像在非确定性证据系统内所做的那样提出某种思路,但是辛提卡建议把我的策略限制在递归中。这种限制的方法是非常精致的,它注意到了维特根斯坦对语言游戏中实际可游戏性的思考。辛提卡坚持认为语言目标导向语言本质,这可以帮助我们重新认识处于维特根斯坦形式化时期的游戏概念的意义。当时,维特根斯坦使用“游戏”来指称目标导向的活动,诸如证实或者证伪的活动。辛提卡延用了这一思想,他说:维特根斯坦的“用法”概念强调的是一种活动,是一种构成一个词的 自然 环境并使该语词从中获得其意义的活动。
因此,在他的博弈论语义学框架下所研究的语义博弈,可以被看作是“维特根斯坦意义上的一类语言游戏”。维特根斯坦认为逻辑常项不存在,在这点上,辛提卡与维特根斯坦所持的观点不同,辛提卡认为逻辑常项是存在的,并且将逻辑常项与博弈规则做了比较,认为逻辑常项等同于博弈规则。与经典逻辑一致,辛提卡认为逻辑常项与自然语言中的连接词是一致的。这样,辛提卡就为博弈论语义学找到了至关重要的一环———规则的确定。辛提卡将维特根斯坦的语言游戏说与博弈的数学理论概念直接结合,“其结果就是那个既适用于自然语言又适用于形式语言的最现成的语义理论”。辛提卡认为,与一个语词相关的语言博弈就是围绕该词发生的使该词活动意义的活动,语词的意义同样需要在相应的使用中才能确定。我们所言说的语句是可以分解简化的,而行之有效的方法就是用博弈论,通过将句子简化为原子句,再依据名称与所指的对应关系,我们就可以确定句子的真假。
关于命题，初中的定义是：判断一件事情的语句叫命题；高中的定义是可以判断真假的语句叫命题．这两个定义都不严格．两个定义中使用的“判断”一词，与语文中通常的意义不尽相同．在逻辑学上，它的意义是：判断是对客观事物有所肯定或否定的思维形式，判断有真有假．所以，初中和高中的两个定义在意义上是完全相同的：命题是这样一个语句，这个语句能够判断真假．例如语句“4的平方根是2”，作为一个判断，它是错误的，所以它是命题，是假命题．
2 关于“或”、“且”的含义
复合命题“p或q”与“p且q”是用逻辑联结词“或”与“且”联结两个命题p与q，既不能用“或”与“且”去联结两个命题的条件，也不能用它们去联结两个命题的结论．
例1 （1）已知p：方程（x-1）（x-2）=0的根是x=1；
q：方程（x-1）（x-2）=0的根是x=2，
写出“p或q”．
（2）p：四条边相等的四边形是正方形；
q：四个角相等的四边形是正方形，
写出“p且q”．
错解：（1）p或q：方程（x-1）（x-2）=0的根是x=1或x=2；（2）p且q：四条边相等且四个角相等的四边形是正方形．
分析：（1）（2）两题中的p、q都是假命题，所以“p或q”、“p且q”也都是假命题，而上述解答中写出的两个命题却都是真命题．错误的原因是：（1）联结了两命题的结论；（2）联结了两命题的条件．
正确的答案是：
（1）p或q：方程（x-1）（x-2）=0的根是x=1或方程（x-1）（x-2）=0的根是x=2．
（2）p且q：四条边相等的四边形是正方形且四个角相等的四边形是正方形．
这两个命题都是假命题．
但是，在不影响命题真值的情况下，又可省略第二个命题的主语，这是符合语言习惯的．
例2已知p：菱形的对角线互相平分；
q：菱形的对角线互相垂直，
写出“p且q”．
解：p且q：菱形的对角线互相平分且（菱形的对角线互相）垂直．
这个命题中括号内的部分可以省略．
文［1］中“4的平方根是2，或4的平方根是-2”，就不能简写成“4的平方根是2或-2”．
3 关于“非”的含义
“非”的含义有下列四条：
3．1 “非p”只否定p的结论
“非”就是否定，所以“非p”也叫做命题p的否定，但“非p”之“非”只否定命题的结论，不能否定命题的条件，也不能将条件和结论都否定，这也是“非p”与否命题的区别．所以欲写“非p”应先搞清p的条件与结论．
例3 p：有些质数是奇数．写出“非p”．
错解：有些质数不是奇数．
分析：因为p是真命题，所以“非p”应为假命题，上述命题不假，故答案错．错误的原因是对p的条件与结论没有搞清楚．这个命题的条件是“质数”，结论是“有些是奇数”，正确的解法：先将p写成等价形式，质数有些是奇数，“非p”：质数无奇数．
不是用“不”否定“是”，而是用“无”否定“有些是”．
例4 p：方程x2－5x＋6＝0有两个相等的实根．写出“非p”
错解：方程x2－5x＋6＝0有两个不相等的实根．
分析：命题p的条件是“方程x2－5x＋6＝0”，结论是“有两个相等的实根”，所以“非p”应否定“有”，而不能否定“相等”，所以“非p”应为：方程x2－5x＋6＝0没有两个相等的实根．
3．2 p与“非p”真假必须相反
例5 写出例1（2）中命题p的否定“非p”．
错解：非p：四条边都相等的四边形不是正方形．
因为p是假命题，“非p”必须是真命题，而上述命题也是假命题，所以上述命题不是“非p”．
正确答案为
“非p”：四条边都相等的四边形不都是正方形．
“是”的否定有时为“不是”，有时为“不都是”，要视“是”的含义而定，此例的“是”，其含义是“都是”，故其否定为“不都是”．
3．3 “非p”必须包含p的所有对立面
逻辑联结词“非”相当于集合在全集中的补集．假定p与“非p”的结论所确立的集合分别是a、b，则a、b必须满足a∪b=u（全集），a∩b=ф．“非p”的结论必须包含p的结论的所有对立面．这一点如果不注意，使用反证法证题时就可能发生错误．因为反证法的理论依据是欲证p为真，可证“非p”为假，如果“非p”不包括p的所有对立面，反证法就站不住脚了．
例6 p：方程x2－5x＋6＝0有两个相等的实根．写出“非p”．（与例4相同）
正像写一个集合的补集必须先搞清全集一样，这个题目也面临类似的问题．因为实系数一元二次方程的解的情况有三种，任何一种的否定都应该包含另外的两种，所以p的对立面是“方程x2－5x＋6＝0有两个不相等的实根或无实根”．但“非p”不能这样写，而写成等价形式：方程x2－5x＋6＝0没有两个相等的实根．
3．4 “非p”必须使用否定词语
写“非p”时还要注意，必须使用否定词语对正面叙述的词语进行否定．
例7 p：方程x2－5x＋6＝0有实根．写出“非p”．
错解：方程x2－5x＋6＝0有虚根．
尽管“虚”是对“实”的否定，但“虚”不是否定词，“方程x2－5x＋6＝0有虚根”仍是简单命题，正确答案为：方程x2－5x＋6＝0无实根．
4 给定一个复合命题，写出构成它的简单命题时应注意的问题
例8 指出构成下列复合命题的简单命题：
（1）实数的平方是正数或0；
（2）4的平方根是2或-2；
（3）方程（x－1）（x－2）＝0的根为1或2；
（4）四边相等且四个角相等的四边形是正方形.
解：（1）p：实数的平方可能是正数；
q：实数的平方可能是0．
注：因为实数的平方只有正数或0两种情况，所以由p、q构成的“p或q”中，“可能”一词就可省略而成为“实数的平方是正数或0”，文［1］中认为它是简单命题，这种认识是错误的．同样，后三个小题的答案为：
（2）p：4的平方根可能是2；
q：4的平方根可能是-2
（3）p：方程（x-1）（x-2）=0的一个根是1；
q：方程（x-1）（x-2）=0的一个根是2．
（4）p：四边相等的四边形可能是正方形；
q：四个角相等的四边形可能是正方形．
在由p、q写“p或q”、“p且q”时，有些词语可以省略，反过来由“p或q”、“p且q”写p、q时，省略的词语必须补上．而由“非p”写p时，必须先搞清“非p”的条件和结论．
结束语：命题的结构问题是很复杂的，中学只研究结构简单的命题，本文的一些观点只是笔者的一点教学体会，不当之处，欢迎同行专家指正．
参考文献
1 关于命题的困惑，中学数学教学参考，2002，1～2合期
关键词:博弈论;语义学;逻辑哲学
贾可·辛提卡是当代著名的逻辑学家,他将博弈论与语义学直接结合起来,创建了博弈论语义学。辛提卡用博弈论的方法来处理命题,就是要确定命题的值,即命题的真或假。同经典逻辑一致,辛提卡预设了命题是二值的。辛提卡首先给出一个定义域D,任何名称都可以在这个集合中找到所指。博弈论语义学的核心是将量词短语看成专名,将句子看成语句函项,然后在给定的定义域D中选择相应的个体将句子中的量词短语替换,从而达到消除量词,找到原子句的目的。在方法上,辛提卡选择了博弈论,他将人们对句子的理解过程比喻为一个两人博弈,两个参与人分别为“我”和“自然”,每个回合必定要分出胜负,不容平局,那么对于一个句子S,根据规则,博弈双方轮流将S约化为S’、S’’,等等,直至最后使得约化的句子不再包含变量和连接词,即原子句,此时双方就可一决输赢。如果这个原子句为真,则我取胜,自然失败;如果这个原子句为假,则自然取胜,我失败。运用博弈论语义学,我们能够从大量的语言信息中得到最基本、最简化的语句,从而能够轻松地判定这些语言信息的真假。理解这一理论的关键是理解定义域D、原子句、博弈等概念。辛提卡的博弈论语义学可以说是维特根斯坦前后期哲学的综合:“语言博弈”概念源于维特根斯坦后期哲学中的语言游戏说,而它的理论核心则是维特根斯坦前期哲学——图象论。[论-文-网LunWenNet-Com]
一“图象论”与命题真值
维特根斯坦是学界倍受关注的大师,其前后期思想的迥异恰当地诠释了他的哲学主题:“哲学不是一种学说,而是一种活动。”①有趣的是,辛提卡博弈论语义学所强调的也是动态的理解命题,这与维特根斯坦哲学在本质上殊途同归。
维特根斯坦哲学的主要贡献之一就在于提出了著名的“图象论”。维特根斯坦前期哲学和后期哲学的目的都在于通过研究语言的结构和界限来理解思想的结构和界限。维特根斯坦工作的基点,就是回到逻辑的出发点,即考虑命题的性质。这样,真的界限就构成了语言的界限,维特根斯坦所考虑的就是关于事实的话语。“人给自己造出事实的图象”②。维特根斯坦指出:命题是实在的图象,“图象是实在的一幅模型”③。“图象是一种事实”④。“图象所表现者即是其意义”⑤。“图象的真假在于其意义与实在的符合与否”⑥。维特根斯坦认为,图象与它所图示的事实之间的关系包括两个方面:一是这种关系“由图象元素与物项的配合而成”⑦,这种关系本身也是一种图象;二是“凡图象,不论只有什么型式但要能表象实在———对或错———所必须与实在共有的东西,即是逻辑型式,亦即实在的型式。”⑧所以,“每个图象亦是一逻辑图象”⑨。“对象是简单的”⑩。“对象构成世界的本体。因此不能是复合的。”
一切复合物必然可分解到不可再分的部分,这就是绝对简单的对象,那么,这种绝对简单的对象是什么?很显然,维特根斯坦这一思想的形成深受罗素和弗雷格的影响。罗素对客体进行了区分,一类是亲知的客体,一类是描述的客体,通过“亲知还原”,描述的客体可以转化为亲知的客体,维特根斯坦对罗素的客体进行了扩展,认为属性和关系也是一种客体。语言中的一个名称来表示一个简单的客体,通过这些客体的结合方式,指称客体的名称可以相互组合成句子。对于简单的客体,我们无法定义它们是什么,我们仅仅能够指示它们,这样,我们也就无法言说这些客体是存在的,因为定义一个客体就是意谓着被定义项的存在。维特根斯坦的绝对简单的对象实质上是罗素亲知客体的变体,是经验的客体。图象论的主旨是说明图象如何具有命题的内容,图象可以看成一个句子,一个句子也可以看成图象,这对于解释最简单句子的合理性是显而易见的,那么如何处理复杂的句子呢?
维特根斯坦最开始的设想是用合取和析取处理一切复杂句子,这也是辛提卡采取斯科伦前束式处理量词句的直接思想来源,但是维特根斯坦后来采取了另一个思路,代之以集成的图象法,“凡对于复合体的陈述,都可解析成对于其成分的陈述,解析成一些把复合体完全摹状了的命题。”即一个复杂的表达式的真值取决于组成它的表达式的真值,即命题就是基本命题的真值涵项,这样,维特根斯坦就完成了语言的运作方式。维特根斯坦的这一思想源于罗素和弗雷格的启发,罗素和弗雷格两人都认为命题才是最基本的意义单位,主张将命题形式化,即用数学中的函数表示命题。维特根斯坦对这一思想的运用是水到渠成的。维特根斯坦认为,“命题是原初命题的真值函量”。“原初命题是命题的真值函目”。换句话说,“一切命题都是对原初命题做真值运算的结果”。“命题就是从一切原初命题的总和(自然也从其确是一切原初命题的总和)而得出的一切。所以,从某种意义可以说,一切命题都是原初命题的总括。”
命题与世界的图象论包含了两层含义:一是图象的元素与事物之间具有对应关系;二是图象与事实之间具有相同的逻辑形式。由此,在维特根斯坦看来,“图象是实在的一幅模型”,“图象是一事实”,“图象所表现者即是其意义”。
正是因为命题具有相同的结构,才使得我们可以将其形式化,并且可以进行变项替换。那么,图象如何与世界相联系?在维特根斯坦早期哲学中,这种关系由名称—客体的关系来决定,但是名称如何与客体相联系?与其说维特根斯坦后期哲学是对前期哲学的反叛,不如说是进一步的深入,在维特根斯坦的语言游戏说中,名称与客体的关系被受一定规则支配的人类活动所确定。在完成这个思想转变之后,维特根斯坦不需要图象论了,取而代之的是语言这种被规则所支配的特征。
辛提卡的博弈论语义学是将博弈的方法引入命题分析,他的研究涉及两个问题,第一个问题就是命题的构成和命题的真假,第二个问题就是如何确定命题的真假。第二个是维特根斯坦后期哲学讨论的一个主要问题,其前期哲学为解决辛提卡的第一个问题提供了思想元素。命题是由概念构成的,而博弈语义学中的概念则直接对应维特根斯坦意义上的存在。值得注意的是,维特根斯坦的存在是与事实相对应的存在,是以现实世界为界限的,所以辛提卡用他的可能世界改造了维特根斯坦的客体。在辛提卡看来,很多情况下,人们的语言交流所涉及的客体多是描述的客体,这些描述的客体有些能转换为亲知客体,有些不能,如“结构为H3O的水”,但是人们在日常的交流中又会涉及这些概念,自然在定义域D中也就应该包含这些元素,可以看出,辛提卡的客体是对维特根斯坦客体的扩展。辛提卡的客体分为存在的和可能存在的两类,即在现实世界中存在和在可能世界中存在。而且很明显的是,辛提卡的存在概念不是语义学层面上的,而是语用学层面上的语义,这在博弈论语义学的操作性中得以体现。在辛提卡的博弈论语义学中,定义域D中的个体必须能与可能世界中的对象一一对应,脱离了这种对应关系,我们就不可能知道自己在言说何物,更不用说判定言说语句的真假。正如DanaScott所指出的那样,语义确定一个实现不是必需的,它应该为证实一个实现是正确的提供标准。
在确定了命题的构成之后,需要解决的问题是命题真假的标准是什么。辛提卡认为,命题是有意义的,命题的意义就是命题的真假值。博弈论语义学的处理方法是找到一个体用概念的名称代入量词所约束的变元,即参与人“我”在定义域D中找到相关的个体以证实语句,而参与人“自然”则企图找到范例来证伪语句。那么,如何才是找到相关的个体呢?或者说,怎样才知道代入个体后的语句为真?如前所述,辛提卡在扩展了维特根斯坦概念的基础上明确了命题的构成问题,相应的,辛提卡的命题范围较之维特根斯坦就宽泛的很多。辛提卡将博弈论语义学称为“寻找并找到的”逻辑,寻找并找到了什么?就是找到一个适当个体代入后的原子句所反映出来的图象与现实世界相符合。这不仅直观,而且符合人们的日常交流。可见,在确定命题真假的标准上,辛提卡与维特根斯坦是一致的,就是采用图象论的符合标准。辛提卡自己也曾明确指出,“博弈语义学不排斥图示的(同形的)关系理论,图示的(同形的)关系理论在原子句和现实之间建立了联系。”从这句话我们可以看出,要确定命题的真值,只要将命题与图象做个比较就可以了。用辛提卡的话说就是,“名称-客体关系曾经被建立,仅仅需要一件事,这件事就是将原子句和现实相比较。”
辛提卡指出:“维特根斯坦的图像理论和逻辑语义学之间的相似性和非相似性更有趣。最重要的大范围相似性之一,就是在两个理论中,语言的基本元素和现实的特定方面之间的代表关系,用任何的方式都不能进一步的分析。”罗素指出,事实是意指那种使一个命题真或假的事物。而一个命题的本质就在于:它可以两种方式,即以人们所谓的真的方式或假的方式对应于一个事实。最基本的事实是原子事实,与原子事实相对应的是原子命题,它肯定某物具有某种性质或某些事物具有某种关系。原子命题的真假取决于它是否与原子事实相符合。在原子命题的基础上,借助逻辑联结词就构成了分子命题。分子命题的真假取决于组成它的原子命题的真假,是原子命题的真值函项。在分子命题的基础上,借助逻辑量词可以构成更高一级的概括命题。其真假最终也取决于原子命题的真假。维特根斯坦继承了这一思想,认为任何复杂命题经过分析都可以还原为最基本的原子命题。辛提卡由此得出结论:“一个指示性句子的表达在通常的本质上不是这些语言博弈的一个回合,在这些语言博弈中,给出了几个构成成分的词语,并且因此给出了整个句子的内涵。”在辛提卡的博弈论语义学中,我们根据可能世界理论可以确定定义域D,根据维特根斯坦的图象论可以处理命题,并且将命题的具体处理方法转化为真值函项的求解,那么,接下来要考虑的是,我们究竟应该如何为真值函项求解,并且这个方法是否可以形式化。遵循维特根斯坦的哲学思路,辛提卡找到了博弈论。[
二“语言游戏说”与语义博弈
维特根斯坦的“语言游戏”说中的所谓“语言游戏”,实际上是把游戏当成是运用语言的比喻,即强调语言的使用,他指出:“我将把由语言和行动(指与语言交织在一起的那些行动)所组成的整体叫做‘语言游戏’”。维特根斯坦认为,语词的意义在于使用,运用语言是一种活动,我们使用的语词在不同的场合会有不同的意义,必须根据具体的使用环境才能确定语词的意义,试图通过孤立的逻辑分析来揭示语词的意义,结果只能误入歧途。维特根斯坦对语言的这种处理方法,实质上是从具体的语境动态地观察语词的用法,我们不能孤立地去问“什么是意义”这一类的问题,而应该说“什么是意义的解释”。弄清一个语词代表什么之前,必须首先掌握包括这个语词在内的那种语言游戏,一个词语的意义也就是它在语言游戏中的实际用法。维特根斯坦对于语言及其意义问题的思考,得益于一场足球比赛的启发,同时,相较于足球比赛,语言游戏也存在规则,在维特根斯坦看来,遵守规则是语言游戏的灵魂,也是一切人类行为的必要条件。维特根斯坦用了很多篇幅讨论规范和遵守规则。“遵守规则,做报告,下命令,下棋都是习惯(习俗,制度)。
“遵循规则类似于服从命令。人们是被训练这样做的;人们是以特定的方式对命令做出反应的。人类共同的行为方式乃是我们据以解释陌生语言的参考系。”可见,规则和遵循规则是人们在实践和交往中形成的相对稳定的行为准则和行为模式。这种语言游戏所遵循的规则究竟是什么?是否就是逻辑必然性?“维特根斯坦最终在他的认识论斗争中失败了”。
其实[论/文/网LunWenNet/Com]只要留意维特根斯坦前期哲学,我们不难发现维特根斯坦在处理这个问题上的缺陷,维特根斯坦指出:“我的根本思想是‘逻辑常量’不代表任何东西。事实的逻辑不可能为任何东西所代表。”“没有‘逻辑的对象’、‘逻辑常量’(照弗雷格与罗素的意义),于此便显然可见。”虽然维特根斯坦不承认逻辑常项的存在,但是认为客体具有逻辑形式,这种形式使得客体能够聚拢。
辛提卡认为维特根斯坦的语言游戏受到博弈论的影响。“游戏概念的主要用法如此多地分享了像冯·诺意曼(vonNeumann)和约翰·纳什(JohnNash)那些数学家构建一个详细的游戏的一般理论的结构,那个理论旨在帮助科学家与哲学家理解有趣的问题的范围。它们甚至包括了真理与意义的问题(以及其他的语言—世界关系)以供讨论,维特根斯坦从中提出了他的语言游戏观念。”
与维特根斯坦相同,辛提卡在确立了命题和世界的图示关系之后,需要研究的就是这种关系是如何建立的,“处于这些描述关系之间的关系是什么?”在辛提卡看来,单纯的图像论已经不能解释这个问题了,图像论的任务是描述关系,那么对关系的关系的刻画,则需要另一个理论。辛提卡指出:比起那些为解释语言与现实结合所需要的思想,维特根斯坦经常包含更多的语言博弈思想。“为了理解(一个给定的一阶逻辑语句)F,我们显然没有足够的时间和记忆空间,事实上,我们对一阶语句的理解必须建立在对语句和世界的有限的逐步比较之上,而不是(潜在的)F的图像本质。”“有时语言博弈能够明显的被发现用于提供词语和它所刻画之间的关联”。
这里我想指出的是,或许我们用图像论处理语句理解的时候已经不足道了,但更为恰当。辛提卡认为自己受到“维特根斯坦有关思想的启发,强调受规则支配的人类活动,亦即寻求和发现语言游戏的重要性。”但是,辛提卡“比维特根斯坦走得远得多,因为后者的思想是轮廓性的且不系统。”“在我没有有效的方式找到我的下一步该如何行动时,我怎么可能在实践中采取一个策略?”
这里有几种选择。也许有人会像在非确定性证据系统内所做的那样提出某种思路,但是辛提卡建议把我的策略限制在递归中。这种限制的方法是非常精致的,它注意到了维特根斯坦对语言游戏中实际可游戏性的思考。辛提卡坚持认为语言目标导向语言本质,这可以帮助我们重新认识处于维特根斯坦形式化时期的游戏概念的意义。当时,维特根斯坦使用“游戏”来指称目标导向的活动,诸如证实或者证伪的活动。辛提卡延用了这一思想,他说:维特根斯坦的“用法”概念强调的是一种活动,是一种构成一个词的自然环境并使该语词从中获得其意义的活动。
因此,在他的博弈论语义学框架下所研究的语义博弈,可以被看作是“维特根斯坦意义上的一类语言游戏”。维特根斯坦认为逻辑常项不存在,在这点上,辛提卡与维特根斯坦所持的观点不同,辛提卡认为逻辑常项是存在的,并且将逻辑常项与博弈规则做了比较,认为逻辑常项等同于博弈规则。与经典逻辑一致,辛提卡认为逻辑常项与自然语言中的连接词是一致的。这样,辛提卡就为博弈论语义学找到了至关重要的一环———规则的确定。辛提卡将维特根斯坦的语言游戏说与博弈的数学理论概念直接结合,“其结果就是那个既适用于自然语言又适用于形式语言的最现成的语义理论”。辛提卡认为,与一个语词相关的语言博弈就是围绕该词发生的使该词活动意义的活动,语词的意义同样需要在相应的使用中才能确定。我们所言说的语句是可以分解简化的,而行之有效的方法就是用博弈论,通过将句子简化为原子句,再依据名称与所指的对应关系,我们就可以确定句子的真假。
关键词：分析哲学 拒斥形而上学 无意义性 评价
现代分析主义或分析哲学，是对兴起并盛行于二十世纪上半叶，由几种哲学流派和哲学理论所共同构成的一种哲学思潮的称呼。这些思想流派和理论的共同之点就在于，都非常重视对语言的逻辑分析，语言分析不仅是进行哲学 研究 所必须的 方法 ，而且也是哲学活动的全部内容和目的本身。另一方面，对传统形而上学的批判与拒斥，也是贯穿在整个分析主义运动中的一个根本的主题和宗旨，分析主义思潮从兴起到 发展 都同这个主题或宗旨有着密切的关系。本文将围绕着分析哲学把形而上学看成是“无意义的虚假陈述”这一基本观点，着重探讨维特根斯坦前期哲学、维也纳学派以及蒯因哲学的反形而上学思想，旨在清理线索、考察实质，并力求从哲学自身反思的高度上对其局限和意义有所把握。
1．哲学的问题和命题都是无意义的
维特根斯坦是现代分析哲学最重要的创始人之一，也是分析主义反形而上学传统的第一位肇始者。其前期的哲学代表作《逻辑哲学论》对作为逻辑实证主义[1]中坚力量的维也纳学派曾产生过巨大的影响，以至于这个学派中的许多人在很长一段时期里都把维特根斯坦视为他们的同路人，并把《逻辑哲学论》一书奉为逻辑实证主义的宣言书和“圣经”。在这部著作中，维特根斯坦首次表达了他的反形而上学思想，认为形而上学的根本错误在于企图“说不可说的东西”，其结果却是提出了一些“毫无意义的问题和命题”。维特根斯坦对传统形而上学的这一批判，又是建立在他的语言图像理论的基础上的，在这个理论中，他首次提出了语言的界限问题并由此而表明传统哲学的错误之所在，因此，“语言图像论”就是维氏批判传统形而上学的起点和依据。
语言图像论的核心观点是：每一个基本命题，都是一个基本事实的图像。由此又可以引伸出，由所有的命题构成的整个语言系统就是由所有的事实构成的整个现实世界的图像，简言之，语言是现实世界的图像。把语言看作是现实世界的图像，这是维特根斯坦在语言、思想与实在的关系问题上的一个最基本的看法。问题是，通常当我们谈到一个东西是另一个东西的图像时，总是意味着它们之间有某些相似的地方，那么语言与现实之间究竟有什么相似之处呢？维特根斯坦的语言图像说应如何理解才是恰当的？
在我们通常的理解中，“图像”这个概念意味着一种具有可感性质的东西，说一个东西是另一个东西的图像，就是说一个东西再现了另一个东西的某些可感的经验特质，或者说，作为图像的东西与作为原型的东西之间存在着某些经验性质上的相似之处。比如一幅山水画，就是对它的原型——现实中的山水的再现，被再现的就是山水的形状、色彩、方位和大小比例等经验特质。然而，当维特根斯坦说“命题是实在的图像，命题是我们所想象的实在的模型”（4.01）[2] 时，并不是在这种“相同的可感性质”意义上来来使用“图像”这个概念的。因为命题是由各个语词构成的，这些语词同现实中的事物之间没有任何经验性质上的相同或相似之处，一个由语词组合而成的命题也不可能与一个由事物构成的事实之间有任何相同的可感性质。所以，维特根斯坦所说的语言图像，实质上是一种抽象意义上的而非经验意义上的“图像”，它仅仅指的是一种逻辑结构图。命题虽然不可能与事实有任何相同的经验内容，但命题的逻辑结构却与构成事实的逻辑结构是一致的。说命题或语言是事实的图像，就是说命题以自身的逻辑结构再现或描绘了现实世界的逻辑结构。可见，命题仍然是一种“图像”，但它不是以可感的经验性质为内容的图像，而是以抽象的逻辑结构为内容的图像。
维特根斯坦始终没有讲得很清楚的是，命题与事实共有的逻辑结构，究竟是经验事实自身所具有的呢，还是我们在运用语言描述它们时才赋予它们的。他有时似乎倾向于认为经验事实自身并无逻辑，事物之间的组合纯粹是偶然的；有时又倾向于认为事实本身是有逻辑结构的。如他说，“在图像和被图示者中必须有某种共同的东西，因此前者才能是后者的图像”，（2.161）又说：“任何图像，无论具有什么形式，一般说来要正确地或错误地图示实在，就必须与实在具有共同的东西，这种共同的东西就是逻辑形式，即实在的形式。”（2.18）联系其上下文来看，认为实在世界本身就有逻辑结构显然更能与维特根斯坦的整个思想观点相协调。他进一步指出，在命题与事实的逻辑结构之间，存在着一种“一一对应的关系”。首先，命题中包含的名称要素与所描绘的事实中包含的对象要素是相对应的，“在图像中图像的要素代表对象”（2·131）；其次，命题中包含的名称以某种方式组合在一起，构成一定的逻辑结构，这种结构与事实中包含的对象之间的组合方式或逻辑结构也是相对应的。只有处于这样的一一对应关系中，命题才可能成为描绘事实的逻辑图像。
根据命题与事实的这种一一对应关系，维特根斯坦又得出了这样一个结论：语言的运用是有界限的，这个界限就是经验世界的界限。语言与经验世界具有共同的逻辑空间，这就表明了，语言是与经验世界相对应的语言，它是用来描述经验世界的，而一旦超出了这个经验世界的范围，则没有语言可以与之相对，即不可能用语言来加以描述。如果我们一定要将语言运用到经验世界之外，去陈述诸如“世界整体”这样的非经验的对象时，我们的语言（包括语言所表达的思想）就会陷入逻辑混乱之中。有鉴于此，维特根斯坦就提出了为语言划界的问题，并声明他写作《逻辑哲学论》的根本意图正是“想要为思想划定一个界限，或者毋宁说，不是为思想而是为思想的表达划一个界限”。[3] 所谓“为思想的表达划界”，就是要在能够由命题（语言）表达的东西和不能由命题表达而只能显现的东西之间划一条界限：在界限的这边就是实在的经验世界，它是可以用语言来表达的对象；在界限的另一边则是非实在或非经验的领域，它
是不能用语言来表达的，而“对于不可说的东西我们必须保持沉默”（7）。
需要指出的是，在维特根斯坦的思想中，超出经验之外的东西虽然是不可言说的，但确实是存在的，他称之为“神秘的东西”。他说：“确实有某些不能言说的东西。这些东西显现出自己，它们是神秘的东西。”（6.522）在他后来给友人的一封信中甚至认为，不能言说的东西才是真正重要的东西。他写道：“当时我要写的是，我的著作（指《逻辑哲学论》一书－－笔者注）由两部分组成：写在这里的再加上所有我没写的。正是这第二部分是重要的部分。”[4] 可见，在承认非经验事物的存在这一点上，维特根斯坦与传统形而上学哲学家并没有什么不同。他们的区别或分歧仅仅在于：传统哲学家认为超感性的世界不仅是存在的，而且也是可以对之进行思考和表述的；维特根斯坦却认为，超越的东西虽然存在着，但我们却不能对之进行思考和表述，而只能保持沉默。然而，传统哲学家经常加以探讨的对象，却恰恰正是这些本来应当对之保持沉默的东西：如作为整体的世界问题、语言的问题、逻辑问题、自我问题、伦 理学 问题及人生的意义问题等等。据此，维特根斯坦就得出了他对传统形而上学的一个最基本的看法：以往的全部形而上学的根本错误在于，总是企图去思考和言说不可说的东西、神秘的东西，其结果却只能是得到一些既不能被验证同时又不合逻辑的无意义言说。这些言说无所谓真假，因此也就没有意义，所以维特根斯坦说：“关于哲学问题的大多数命题和问题不是错误的，而是没有意义的”（4.003）。
对于无意义的哲学命题，就必须把它们从我们的语言系统中清除出去，而这首先是要为语言划定一个界限。当把哲学命题从语言中清除出去之后，剩下的就只是 自然 科学 的命题了。维特根斯坦说，除了自然科学的命题之外，我们不要说任何其它的事情，因为“一切真命题的总和就是整个自然科学”（4.11）。但这里又出现了一个问题：当哲学不再去陈述超经验的对象时，它又不能归在经验科学之内，那么哲学还能做什么呢？维特根斯坦的回答是，哲学应当是一种旨在澄清思想或命题的活动。“哲学的目的是使思想在逻辑上明晰。哲学不是理论，而是活动。哲学的工作主要在于解释。哲学的结果不是一定数量的‘哲学命题’，而是命题的澄清。哲学应该使思想清晰，并且为思想划定明确的界限”（4.112）。这就是说，哲学仅仅是一种为语言划界并进行语言分析的活动而不再是一个命题体系，它的主要工作任务就是澄清并纠正我们思想和语言中的逻辑错误。然而颇有意思的是，《逻辑哲学论》全书中所提出的七个基本命题，却恰恰是一个命题的体系；它们所探讨的那些问题，也正是属于“不可说的”的超经验领域的。就是说，维特根斯坦一方面极力反对提出任何超经验的哲学命题，但另一方面他自己却又提出了这样的一些命题。对于这种矛盾的状况，维特根斯坦就申明道：“任何了解我的人终究要认识到我的命题是无意义的。这些命题只是他用来攀登的阶梯，当他超越了这些阶梯之后，他必须抛弃这个梯子。他必须超越这些命题，然后才能正确地看这个世界”（6.54）。然而，对于想要表明他的哲学命题的无意义性而言，这个申明显然并不是很有说服力的，相反，我们看到的是，正是被他称之为“无意义的”的许多哲学命题，构成了我们进行其它科学研究活动所必须的前提即“梯子”。
2．拒斥形而上学
以维也纳学派为代表的逻辑实证主义，是分析主义思潮中反对形而上学态度最坚决、言辞也最激烈的一个流派，正是这个流派的代表人物卡尔纳普断然地提出了“拒斥形而上学”的口号。维也纳学派受维特根斯坦《逻辑哲学论》中的经验主义、逻辑主义的影响很大，并直接继承了他的“形而上学是无意义的陈述”这一反形而上学的基本观点。但在具体论证这个观点时，他们的理论依据又有所不同。《逻辑哲学论》是从语言图像理论出发来说明形而上学命题的无意义性的，而维也纳学派则主要是根据可证实性原则提出了他们的“拒斥形而上学”的口号。
所谓可证实性原则，它是判定一个命题是否有意义的原则或标准。在维也纳学派的成员看来，一个命题的首要问题不是它的内容是否真实，而是它是否有意义，因为命题必须首先是有意义的，其次才谈得上它的真假问题。判断一个分析命题是否有意义是依据逻辑，而要判断一个综合命题是否有意义，在根本上就必须看它是否有被经验证实的可能性，或者说是否可以指出通过经验来证实它的方法。如果这样一种经验证实的方法是存在的，那么命题就是有意义的，反之，则是无意义的。这种诉诸经验证实方法来判断命题是否有意义的原则，就是维也纳学派所主张的经验证实原则或可证实性原则。正如维也纳学派的领袖人物石里克所说：“理解一个句子的意义，就等于陈述使用这个句子的规则，也就是陈述证实（或否证）这个句子的方式，一个命题的意义，就是证实它的方法。”而最基本的命题总是与一定的经验相关，因此“没有一种理解意义的办法不需要最终涉及实指定义，这就是说，显然是全都要涉及‘经验’或‘证实的可能性’。”[5] 维也纳学派的另一位代表人物卡尔纳普更明确地指出：只有当一个命题或语句是一个表示观察或知觉的基本命题的真值函项时，或者说，只有当一个命题或语句可以还原为一个表示观察或知觉的基本命题时，这个命题或语句才具有意义。这就是说，命题的意义要取决是否可以还原为一种经验观察的方法。
然而，当可证实性原则一旦被运用到实际中，立刻就会暴露出它的局限性来。因为按照这个标准，许多涉及到自然科学基础的命题，都会因为不能诉诸于经验观察而要被排除在有意义的命题范围之外了，这显然是不能允许的。因此，为了克服可证实性原则对命题意义作了过分狭窄的限制这一缺陷，卡尔纳普后来就对这个原则进行了修正，提出以“可验证性原则”来取代可证实性原则。在他看来，只要能够对某个语句提出任何可以设想的观察结果来做出肯定或者否定的证明，那末这个语句就是具有认识意义的。换言之，只要从一个命题能够引伸出一些可以诉诸于经验观察的真实命题，那么这个命题就是有意义的。并且，“可验证性”并不是一种完全的证实，而只是一个逐渐增强确证的过程。他说：“如果证实指的是对真理做出一种决定性的和最终的确定，那么，我们就会看出，任何（综合的）语句都是不能证实的。我们只
能对语句做出愈来愈多的验证。因此，我们以后谈论验证的问题，而不谈论证实的问题。”[6] 他又说，“在许多情况下，有了数量不多的肯定的例子，我们就达到了实际上足够的确实性，于是我们便停止实验。但理论上永远存在着把检验观察的序列继续下去的可能性。所以在这里任何完全的证实都是不可能的，却只是一个逐渐增强确证的过程。”[7]
无论是根据可证实性原则还是可验证性原则，形而上学命题都被视为是没有意义的言说。形而上学命题表面上看具有综合命题的语法形式，但它们实际上是不可能得到任何经验的证实或验证的，换言之，它们表面上好像是在陈述一些事实，但实际上并无事实与之相对应，因此它们并不是有意义的综合命题而只是一些毫无意义的说法而已。跟维特根斯坦一样，逻辑实证主义者也认为，形而上学试图把握诸如世界的本原、本质这样一些“纯粹性质的内容”，是一切错误的根源，是造成其无意义性的根本要害所在。但是，在维特根斯坦那里，不可说的东西总还是存在的，而在逻辑实证主义者那里，不可说的东西根本也是不存在的，而只是一些主观的体验。如石里克就认为：“形而上学者的努力一向集中在这一荒谬的目标上，要用知识来表达纯粹性质的内容（事物的‘本质’），也就是要说那不可说的东西。性质是不能说的，只能显示在体验中，而认识是与体验毫无关系的。因此形而上学的没落并不是因为解决它的问题是人的理性所不能胜任的事（像康德所想的那样），而是根本就没有这种问题。”[8] 不可说的东西根本就不存在，因此关于它的问题也是不可能存在的。卡尔纳普更极端地认为，形而上学哲学家们是用科学语言来做本应该是文学 艺术 做的事情，即在概念思维中来表达他们对世界的主观体验。这样的结果就只能是，一方面形而上学对科学没有任何贡献，另一方面又不能像真正的艺术品那样充分、恰当地表达人的生活感情，因此，形而上学只是一些空洞的、毫无意义的言辞。
对于这种无意义的形而上学言说，卡尔纳普又将它们分为两种情况：一种情况是构成命题的语词没有意义，如“神”、“始基”、“自在之物”、“理念”、“无限”、“绝对”、“自我”等哲学术语，完全没有经验对象与之对应，因此它们只是一些无意义的词；另一种情况是把有意义的词用违反逻辑法则的方式组合在一起，看起来像是句子，其实没有逻辑结构，当然也不可能有经验事实与之相对应。上述这两种情况，就属于应被拒斥的形而上学之列；所谓“拒斥形而上学”，就是要通过对语言的逻辑分析来把形而上学的命题统统从人类的知识系统中清除出去。卡尔纳普这种激进的态度自然就要受到来自各方面的批评与反对，后来他本人也意识到，他的上述看法是过于简单化了，作为对批评的一种回应，于是又提出了一种修正的说法。他指出，语言可以划分为对象句和逻辑句两类，前者陈述对象，后者陈述句法，说话方式相应地有“内容的”和“形式的”两种。哲学命题实际上是用内容的说话方式来表达形式的说话方式所要表达的意思，也就是说，它表面上陈述的是事实，实际上是对语言句法规则的表达。但在形而上学中，内容的说话方式往往掩盖了形式的说话方式，以致人们以为这些命题是描述某种实在对象的。因此，以往的哲学命题并不一定就是无意义的，只要我们把被内容的说说话方式掩盖了的形式的说话方式揭示出来，正确地认识到命题中所表达的句法内容，那么哲学命题仍然是可以有意义的。这样一来，实际上就是把陈述存在的哲学命题转换成了表达语言规则的句法命题，哲学对存在（对象）的研究也就变成了对语言句法规则的研究了。
3．本体论承诺是 科学 理论 的必要前提
维也纳学派的成员不断地修正他们的理论，对他们的可证实性原则和反形而上学口号提出越来越宽泛的解释，这恰好表明了在他们的理论中，存在着许多其自身无法克服的缺陷和矛盾。为了克服这些缺陷和矛盾，继逻辑实证主义之后， 分析 哲学 内部又 发展 出来了一些新的流派，其中比较重要的有将实用主义与分析哲学结合起来的逻辑实用主义，蒯因就是这个学派最主要的一位代表人物。蒯因在批判逻辑实证主义的基础上提出了他的“整体论”的经验检验理论和本体论承诺的观点，这可以看作是对逻辑实证主义的一种批判性的继承。虽然他不象逻辑实证主义者那样断然声称要拒斥形而上学，相反，在一定意义上他承认形而上学命题存在的意义和合法性。但他又把形而上学命题的意义仅仅限定在理论体系所必须的假设前提上，从而在根本上并未超出维特根斯坦和维也纳学派对形而上学的基本看法，这就是：形而上学命题并未陈述任何经验事实。换言之，蒯因实际上是以一种迂回的方式，继续将形而上学－哲学置于一种与陈述任何实在对象都无关的境地。
蒯因的“整体论”的经验检验理论是其全部思想的出发点，它的基本思想是这样的：经验的检验始终只是针对命题的整个体系的，而不是针对孤立的命题；不论提出什么样的经验检验，都不能单独地证明某个命题是假的或真的，因为对命题体系中的其它命题作些调整，总是能够抵消这种反证。比如“所有的天鹅都是白的”这个命题，属于我们关于鸟类所有知识的一部分。当有人发现了一只黑天鹅时，他可以根据他关于鸟类的其它知识而说这只黑色的鸟不属于天鹅类，由此就能保证原先命题不被否证。实际上，当一个理论体系与经验发生冲突而需要对体系的有关部分加以调整时，科学家们总是根据保守主义原则－－尽量用已经熟悉的原理来说明新的现象，和简单性的原则－－尽可能用较少的定则来解释较多的现象，来进行这种调整。因此，一个假说是否要被科学家接受或否定，不仅取决于有关的观察或实验的结果，而且还取决于科学家要求保守性和简单性这两个主观条件。这样一来，蒯因就把逻辑实证主义关于每一个有意义的命题都可以用经验加以证实这个基本原则，重新解释为具有经验意义的是我们的整个知识体系，因此应当把知识的体系而不是孤立的个别命题当作经验检验的单位。
在这种“整体论”的经验检验理论的基础上，蒯因就提出了“本体论的承诺”这个概念。在他看来，本体论承诺是必要的，当一个人谈论某种事物或接受一种理论时，他就有义务接受某种本体论的论断。也就是说，我们只有预先设定某物是存在的，才能来讨论某物是怎样的。我们接受一种本体论，同我们接受一个最简单的、可以把原始经验的零乱材
料置于其中并加以整理的概念框架是等同的。他声称：“一旦我们择定了要容纳最广义的科学的全面的概念结构，我们的本体论就决定了。”[9] 然而，这种本体论承诺又具有约定的性质，就是说，当我们断言某某事物存在时，其实是在约定某某事物是存在的，也就是做出一种本体论的承诺。至于该事物是否存在，这个 问题 实际上是不重要的，至少是在制定一种理论体系前问这个问题是没有意义的。我们做出某种本体论承诺的目的是要据此而建构某种有效的理论体系，因此关键的问题在于这种本体论承诺和它所属的理论体系是否是恰当的、有效的。依据“整体论”的经验检验原则，检验理论体系有效性的 方法 是从中推导出一些观察陈述来，看它们是否跟感觉经验相协调。如果它们跟感觉经验相协调，那就说明这个理论体系是有效的，可接受的，同时也就表明了该理论体系中的概念所指事物的存在，反之，则不承认它们的存在。这就是说，一个理论体系被经验检验为有效的、可接受的，那么它所包含的某物存在的本体论承诺就是有效的、可接受的，而不管该事物究竟是否是实际存在的。
蒯因的上述这番论证表明，他实际上是把本体论问题完全归结为了一个语言的问题。在他看来，我们之所以有义务承认某种对象的存在，是因为我们的语言中有关于该对象的词语在起作用。他承认物理对象和抽象实体的存在，但这只是一种在理论中或语言中的承认，目的是为了保证指示该对象的词语在语言使用中有效地发挥其作用。他把哲学包括科学中的所有基本概念都看成是为了便于说明问题而做出的理论假设，它们与宗教神话没有本质的区别。他说：“物理对象是作为方便的中介物被概念地引入这局面的－－不是用根据经验的定义，而只是作为在认识上可同荷马史诗中的诸神相比的一些不可简约的设定物。……从认识论的观点看，物理对象和诸神只是程度上、而非种类上的不同。这两种东西只是作为文化的设定物进入我们的概念的。”[10] 至于在说明世界的本质时出现的多种不同的本体论，只是一些不同的概念框架而已，它们在不同的场合下有不同的作用。我们选择一种本体论或一种概念框架的标准，不是看其是否与客观实在相符合，而应当以怎样建立起更有效、更具解释力的理论体系为标准。本体论问题就是为科学理论选择一种方便的语言形式、一个方便的概念体系或概念框架的问题。至此，蒯因就把以陈述存在为目的的哲学本体论，完全转化成了为科学选择恰当的概念框架的实用主义的本体论；他虽然也承认本体论概念及其命题是有意义的，但只是作为构成一个理论体系的概念前提而有意义。在否定本体论概念和命题具有实在的 内容 这一点上，他同逻辑实证主义者并没有什么根本的不同。
4．分析哲学的局限及其启示
在我看来，上述分析哲学对传统形而上学的批判，尽管在 现代 哲学史上造成了较大的 影响 ，但从总体上和根本上来看是不成功的，其原因就在于：
第一，分析哲学依据经验主义（科学主义）的意义标准来反对形而上学是站不住脚的，不得要领的。经验主义的意义标准只能适用于经验科学，然而在人类的知识体系中，除了有经验科学外，还有非经验的学问，哲学就是一种非经验科学的认识活动，它就不适宜用经验标准来对之加以检验。将经验证实或经验验证原则作为理论话语唯一的意义标准或尺度，以此来衡量人类的一切认识活动，这本身就是经验主义的一个教条。实际上，人类的相当一部分知识既不是主要从视觉或听觉这样的感官经验获得的，也不是通过感官经验就可以验证其真假的。比如我们由“内知觉”所获得的对我们自身的意识结构、先天概念框架的把握，我们关于世界的存在、人的存在以及人的某一方面活动的认识和把握等，甚至包括逻辑实证主义（经验主义）自身所提出的那些基本命题，如经验证实原则，显然都不是能够诉诸于经验的检验的。这些认识领域恰恰就是哲学的领域，也是经验科学所达不到才由哲学来承担其认识任务的领域。如果把这些认识内容都作为形而上学的无意义言说从知识系统中通通清除出去了，其结果只能是造成我们人类知识范围的缩小而不是扩大。
第二，分析哲学拒斥形而上学的一个直接结果，就是把哲学的未来发展走向局限在对语言的分析工作上。也就是说，在他们看来，当形而上学被解构之后，给哲学剩下的唯一问题就是语言的问题，哲学的唯一工作就是通过语义分析来澄清命题的意义。如石里克所主张的那样：“哲学不是一种知识的体系，而是一种活动的体系，……哲学就是那种确定和发现命题意义的活动。哲学使命题得到澄清，科学使命题得到证实。”[11] 但是，我们也看到，语言问题并不是人类生存活动中的唯一问题，甚至不是真正最始源和最根本的问题，人类生活的领域是如此之广泛，而语言活动只是其中的一种活动，语言问题也只是其中的一类问题。如果把哲学仅仅限定在对语言问题的 研究 上，这实际上是缩小了哲学思考的范围，从而也是弱化了哲学关照和影响人类现实生活的能力。因此，分析哲学为哲学所指出的未来出路是并不可取的，哲学必须超出单纯的语言分析工作才会有真正的发展和突破。
第三，分析哲学并没有认识到传统形而上学的真正错误之所在，因此它自身实际上一直都陷在传统形而上学的思维框架之中。传统形而上学的一个根本错误或要害之所在，就是它在现实世界之外又虚构了一个超感性的“本体”世界，并把它作为哲学运思和把握的对象，而这正是造成哲学与现实生活错位与背离的根源。分析哲学家们对形而上学的这一错误并未有很清楚的认识，因此他们在推翻传统形而上学的那种实体性的本体论世界时，又不自觉地在建构着一个新的语言化的本体论世界。不管是写作《逻辑哲学论》时的维特根斯坦还是维也纳学派的成员，他们都把建构一种理想语言作为自己追求的目标。这种理想语言就具有“本体”的意味：语言的本质（逻辑本质）是世界的本质，语言的界限是我们世界的界限，我们的整个世界在本质上就是语言（逻各斯）的世界，一切问题在根本上都可以归结为语言问题来解决。这种将世界还原为单纯的语言世界，又将其抽象化为一种逻辑架构的做法，正是传统形而上学思维模式的典型表现。可见，分析哲学虽然以反形而上学标榜自己，但它实际上却不自觉地成了传统形而上学思维模式的一位现代传人。
尽管存在着上述的这些缺陷和问题－－它们使得分析哲学对形而上学的拒斥并不成功，
但我们也要看到，现代分析哲学确实也取得了许多颇有价值的理论成果，无愧为为现代哲学中一个特别重要的哲学流派。
首先，分析哲学在科学论方面的研究及其成果，对我们探索哲学的本质、特点、功能和未来可能性等具有重要的启示意义。他们深入地探讨了科学的意义标准问题，科学语言的逻辑结构问题，科学理论的有效性问题，以及当一个理论体系在受到经验挑战时是如何由边沿向中心逐步修正的过程等。他们探究这些问题的目的是为了拒斥形而上学，实际上拒斥的是哲学本身，这当然是不会成功的。但从积极的方面来看，这些研究却有助于我们理解经验科学的性质、特点、功能和边界等，理解科学语言和科学思维的特点，从而启发我们进一步思考哲学之为哲学的本质特性、思维特点、现实功能及其未来走向等问题。从更深层次上来看，哲学和科学实际上是人类自身把握和对待世界的两种不同方式，也是人类自身生存活动的两种不同的方式，分析哲学对科学问题的探究，就可以启发我们进一步探究作为人类生存活动的两种基本方式的科学和哲学的区别与联系。
其次，分析哲学最重要的理论成果是他们创立和倡导的语言分析方法，它在现代思想文化的各个方面都产生了重要的影响。我们固然不会同意把语言分析作为一种独立的哲学研究活动，甚至是唯一的哲学研究活动，但语言分析作为理论研究的一种重要方法，其意义却是不容低估的。语言分析是使我们的概念保持清晰，避免因逻辑混乱造成思想不清的有力保证。在经过了现代分析主义思潮的洗礼之后，任何一个哲学家在建构他的理论体系时，都不可能回避对其概念进行语义分析的问题，从分析基本概念着手，这几乎成了哲学研究中一种普遍采用的方法。实际上，不只是在哲学中，在其它理论领域，如基础科学、美学、伦 理学 、 政治 学及文学理论中，都广泛地运用到了语言分析的方法。正是这种广泛存在的影响，表明了语言分析方法的极端重要性。但不管分析方法怎么重要，都只能是一种研究的方法，而不应当也不能够代替哲学研究本身。
注释：
[1] 逻辑实证主义是分析哲学中的一个重要流派，它又以维也纳学派为主体，并且是分析哲学中批判形而上学态度最鲜明、言辞也最激烈的一个。
[2] 维特根斯坦：《逻辑哲学论》，42页，商务印书馆，1996。以下凡引该书正文内容，皆只在文中注明编节号。
[3] 维特根斯坦：《逻辑哲学论》，23页，商务印书馆，1996。
[4] 转引自m. k. 穆尼茨：《当代分析哲学》，210页，复旦大学出版社，1986。
[5] 石里克：《意义和证实》，引自洪谦主编的《逻辑经验主义》，上卷，39、40页，商务印书馆，1982。
[6] 卡尔纳普：《可检验性和意义》，载于《科学哲学》，420页，1936。
[7]《现代西方哲学论著选辑》，上册，499页。
[8] 石里克：《哲学的转变》，引自《二十世纪哲学经典文本》（欧洲大陆哲学卷），315－316页，复旦大学出版社，1999。
[9] 蒯因：《论何物存在》，引自《二十世纪哲学经典文本》（英美哲学卷），274页，复旦大学出版社，1999。
[10] 蒯因：《论经验主义的两个教条》，引自《二十世纪哲学经典文本》（英美哲学卷），299－300页，复旦大学出版社，1999。
关键词：分析哲学拒斥形而上学无意义性评价
现代分析主义或分析哲学，是对兴起并盛行于二十世纪上半叶，由几种哲学流派和哲学理论所共同构成的一种哲学思潮的称呼。这些思想流派和理论的共同之点就在于，都非常重视对语言的逻辑分析，语言分析不仅是进行哲学研究所必须的方法，而且也是哲学活动的全部内容和目的本身。另一方面，对传统形而上学的批判与拒斥，也是贯穿在整个分析主义运动中的一个根本的主题和宗旨，分析主义思潮从兴起到发展都同这个主题或宗旨有着密切的关系。本文将围绕着分析哲学把形而上学看成是“无意义的虚假陈述”这一基本观点，着重探讨维特根斯坦前期哲学、维也纳学派以及蒯因哲学的反形而上学思想，旨在清理线索、考察实质，并力求从哲学自身反思的高度上对其局限和意义有所把握。
1．哲学的问题和命题都是无意义的
维特根斯坦是现代分析哲学最重要的创始人之一，也是分析主义反形而上学传统的第一位肇始者。其前期的哲学代表作《逻辑哲学论》对作为逻辑实证主义[1]中坚力量的维也纳学派曾产生过巨大的影响，以至于这个学派中的许多人在很长一段时期里都把维特根斯坦视为他们的同路人，并把《逻辑哲学论》一书奉为逻辑实证主义的宣言书和“圣经”。在这部著作中，维特根斯坦首次表达了他的反形而上学思想，认为形而上学的根本错误在于企图“说不可说的东西”，其结果却是提出了一些“毫无意义的问题和命题”。维特根斯坦对传统形而上学的这一批判，又是建立在他的语言图像理论的基础上的，在这个理论中，他首次提出了语言的界限问题并由此而表明传统哲学的错误之所在，因此，“语言图像论”就是维氏批判传统形而上学的起点和依据。
语言图像论的核心观点是：每一个基本命题，都是一个基本事实的图像。由此又可以引伸出，由所有的命题构成的整个语言系统就是由所有的事实构成的整个现实世界的图像，简言之，语言是现实世界的图像。把语言看作是现实世界的图像，这是维特根斯坦在语言、思想与实在的关系问题上的一个最基本的看法。问题是，通常当我们谈到一个东西是另一个东西的图像时，总是意味着它们之间有某些相似的地方，那么语言与现实之间究竟有什么相似之处呢？维特根斯坦的语言图像说应如何理解才是恰当的？
在我们通常的理解中，“图像”这个概念意味着一种具有可感性质的东西，说一个东西是另一个东西的图像，就是说一个东西再现了另一个东西的某些可感的经验特质，或者说，作为图像的东西与作为原型的东西之间存在着某些经验性质上的相似之处。比如一幅山水画，就是对它的原型——现实中的山水的再现，被再现的就是山水的形状、色彩、方位和大小比例等经验特质。然而，当维特根斯坦说“命题是实在的图像，命题是我们所想象的实在的模型”（4.01）[2]时，并不是在这种“相同的可感性质”意义上来来使用“图像”这个概念的。因为命题是由各个语词构成的，这些语词同现实中的事物之间没有任何经验性质上的相同或相似之处，一个由语词组合而成的命题也不可能与一个由事物构成的事实之间有任何相同的可感性质。所以，维特根斯坦所说的语言图像，实质上是一种抽象意义上的而非经验意义上的“图像”，它仅仅指的是一种逻辑结构图。命题虽然不可能与事实有任何相同的经验内容，但命题的逻辑结构却与构成事实的逻辑结构是一致的。说命题或语言是事实的图像，就是说命题以自身的逻辑结构再现或描绘了现实世界的逻辑结构。可见，命题仍然是一种“图像”，但它不是以可感的经验性质为内容的图像，而是以抽象的逻辑结构为内容的图像。
维特根斯坦始终没有讲得很清楚的是，命题与事实共有的逻辑结构，究竟是经验事实自身所具有的呢，还是我们在运用语言描述它们时才赋予它们的。他有时似乎倾向于认为经验事实自身并无逻辑，事物之间的组合纯粹是偶然的；有时又倾向于认为事实本身是有逻辑结构的。如他说，“在图像和被图示者中必须有某种共同的东西，因此前者才能是后者的图像”，（2.161）又说：“任何图像，无论具有什么形式，一般说来要正确地或错误地图示实在，就必须与实在具有共同的东西，这种共同的东西就是逻辑形式，即实在的形式。”（2.18）联系其上下文来看，认为实在世界本身就有逻辑结构显然更能与维特根斯坦的整个思想观点相协调。他进一步指出，在命题与事实的逻辑结构之间，存在着一种“一一对应的关系”。首先，命题中包含的名称要素与所描绘的事实中包含的对象要素是相对应的，“在图像中图像的要素代表对象”（2·131）；其次，命题中包含的名称以某种方式组合在一起，构成一定的逻辑结构，这种结构与事实中包含的对象之间的组合方式或逻辑结构也是相对应的。只有处于这样的一一对应关系中，命题才可能成为描绘事实的逻辑图像。
根据命题与事实的这种一一对应关系，维特根斯坦又得出了这样一个结论：语言的运用是有界限的，这个界限就是经验世界的界限。语言与经验世界具有共同的逻辑空间，这就表明了，语言是与经验世界相对应的语言，它是用来描述经验世界的，而一旦超出了这个经验世界的范围，则没有语言可以与之相对，即不可能用语言来加以描述。如果我们一定要将语言运用到经验世界之外，去陈述诸如“世界整体”这样的非经验的对象时，我们的语言（包括语言所表达的思想）就会陷入逻辑混乱之中。有鉴于此，维特根斯坦就提出了为语言划界的问题，并声明他写作《逻辑哲学论》的根本意图正是“想要为思想划定一个界限，或者毋宁说，不是为思想而是为思想的表达划一个界限”。[3]所谓“为思想的表达划界”，就是要在能够由命题（语言）表达的东西和不能由命题表达而只能显现的东西之间划一条界限：在界限的这边就是实在的经验世界，它是可以用语言来表达的对象；在界限的另一边则是非实在或非经验的领域，它是不能用语言来表达的，而“对于不可说的东西我们必须保持沉默”（7）。
需要指出的是，在维特根斯坦的思想中，超出经验之外的东西虽然是不可言说的，但确实是存在的，他称之为“神秘的东西”。他说：“确实有某些不能言说的东西。这些东西显现出自己，它们是神秘的东西。”（6.522）在他后来给友人的一封信中甚至认为，不能言说的东西才是真正重要的东西。他写道：“当时我要写的是，我的著作（指《逻辑哲学论》一书－－笔者注）由两部分组成：写在这里的再加上所有我没写的。正是这第二部分是重要的部分。”[4]可见，在承认非经验事物的存在这一点上，维特根斯坦与传统形而上学哲学家并没有什么不同。他们的区别或分歧仅仅在于：传统哲学家认为超感性的世界不仅是存在的，而且也是可以对之进行思考和表述的；维特根斯坦却认为，超越的东西虽然存在着，但我们却不能对之进行思考和表述，而只能保持沉默。然而，传统哲学家经常加以探讨的对象，却恰恰正是这些本来应当对之保持沉默的东西：如作为整体的世界问题、语言的问题、逻辑问题、自我问题、伦理学问题及人生的意义问题等等。据此，维特根斯坦就得出了他对传统形而上学的一个最基本的看法：以往的全部形而上学的根本错误在于，总是企图去思考和言说不可说的东西、神秘的东西，其结果却只能是得到一些既不能被验证同时又不合逻辑的无意义言说。这些言说无所谓真假，因此也就没有意义，所以维特根斯坦说：“关于哲学问题的大多数命题和问题不是错误的，而是没有意义的”（4.003）。
对于无意义的哲学命题，就必须把它们从我们的语言系统中清除出去，而这首先是要为语言划定一个界限。当把哲学命题从语言中清除出去之后，剩下的就只是自然科学的命题了。维特根斯坦说，除了自然科学的命题之外，我们不要说任何其它的事情，因为“一切真命题的总和就是整个自然科学”（4.11）。但这里又出现了一个问题：当哲学不再去陈述超经验的对象时，它又不能归在经验科学之内，那么哲学还能做什么呢？维特根斯坦的回答是，哲学应当是一种旨在澄清思想或命题的活动。“哲学的目的是使思想在逻辑上明晰。哲学不是理论，而是活动。哲学的工作主要在于解释。哲学的结果不是一定数量的‘哲学命题’，而是命题的澄清。哲学应该使思想清晰，并且为思想划定明确的界限”（4.112）。这就是说，哲学仅仅是一种为语言划界并进行语言分析的活动而不再是一个命题体系，它的主要工作任务就是澄清并纠正我们思想和语言中的逻辑错误。然而颇有意思的是，《逻辑哲学论》全书中所提出的七个基本命题，却恰恰是一个命题的体系；它们所探讨的那些问题，也正是属于“不可说的”的超经验领域的。就是说，维特根斯坦一方面极力反对提出任何超经验的哲学命题，但另一方面他自己却又提出了这样的一些命题。对于这种矛盾的状况，维特根斯坦就申明道：“任何了解我的人终究要认识到我的命题是无意义的。这些命题只是他用来攀登的阶梯，当他超越了这些阶梯之后，他必须抛弃这个梯子。他必须超越这些命题，然后才能正确地看这个世界”（6.54）。然而，对于想要表明他的哲学命题的无意义性而言，这个申明显然并不是很有说服力的，相反，我们看到的是，正是被他称之为“无意义的”的许多哲学命题，构成了我们进行其它科学研究活动所必须的前提即“梯子”。
2．拒斥形而上学
以维也纳学派为代表的逻辑实证主义，是分析主义思潮中反对形而上学态度最坚决、言辞也最激烈的一个流派，正是这个流派的代表人物卡尔纳普断然地提出了“拒斥形而上学”的口号。维也纳学派受维特根斯坦《逻辑哲学论》中的经验主义、逻辑主义的影响很大，并直接继承了他的“形而上学是无意义的陈述”这一反形而上学的基本观点。但在具体论证这个观点时，他们的理论依据又有所不同。《逻辑哲学论》是从语言图像理论出发来说明形而上学命题的无意义性的，而维也纳学派则主要是根据可证实性原则提出了他们的“拒斥形而上学”的口号。
所谓可证实性原则，它是判定一个命题是否有意义的原则或标准。在维也纳学派的成员看来，一个命题的首要问题不是它的内容是否真实，而是它是否有意义，因为命题必须首先是有意义的，其次才谈得上它的真假问题。判断一个分析命题是否有意义是依据逻辑，而要判断一个综合命题是否有意义，在根本上就必须看它是否有被经验证实的可能性，或者说是否可以指出通过经验来证实它的方法。如果这样一种经验证实的方法是存在的，那么命题就是有意义的，反之，则是无意义的。这种诉诸经验证实方法来判断命题是否有意义的原则，就是维也纳学派所主张的经验证实原则或可证实性原则。正如维也纳学派的领袖人物石里克所说：“理解一个句子的意义，就等于陈述使用这个句子的规则，也就是陈述证实（或否证）这个句子的方式，一个命题的意义，就是证实它的方法。”而最基本的命题总是与一定的经验相关，因此“没有一种理解意义的办法不需要最终涉及实指定义，这就是说，显然是全都要涉及‘经验’或‘证实的可能性’。”[5]维也纳学派的另一位代表人物卡尔纳普更明确地指出：只有当一个命题或语句是一个表示观察或知觉的基本命题的真值函项时，或者说，只有当一个命题或语句可以还原为一个表示观察或知觉的基本命题时，这个命题或语句才具有意义。这就是说，命题的意义要取决是否可以还原为一种经验观察的方法。
然而，当可证实性原则一旦被运用到实际中，立刻就会暴露出它的局限性来。因为按照这个标准，许多涉及到自然科学基础的命题，都会因为不能诉诸于经验观察而要被排除在有意义的命题范围之外了，这显然是不能允许的。因此，为了克服可证实性原则对命题意义作了过分狭窄的限制这一缺陷，卡尔纳普后来就对这个原则进行了修正，提出以“可验证性原则”来取代可证实性原则。在他看来，只要能够对某个语句提出任何可以设想的观察结果来做出肯定或者否定的证明，那末这个语句就是具有认识意义的。换言之，只要从一个命题能够引伸出一些可以诉诸于经验观察的真实命题，那么这个命题就是有意义的。并且，“可验证性”并不是一种完全的证实，而只是一个逐渐增强确证的过程。他说：“如果证实指的是对真理做出一种决定性的和最终的确定，那么，我们就会看出，任何（综合的）语句都是不能证实的。我们只
能对语句做出愈来愈多的验证。因此，我们以后谈论验证的问题，而不谈论证实的问题。”[6]他又说，“在许多情况下，有了数量不多的肯定的例子，我们就达到了实际上足够的确实性，于是我们便停止实验。但理论上永远存在着把检验观察的序列继续下去的可能性。所以在这里任何完全的证实都是不可能的，却只是一个逐渐增强确证的过程。”[7]
无论是根据可证实性原则还是可验证性原则，形而上学命题都被视为是没有意义的言说。形而上学命题表面上看具有综合命题的语法形式，但它们实际上是不可能得到任何经验的证实或验证的，换言之，它们表面上好像是在陈述一些事实，但实际上并无事实与之相对应，因此它们并不是有意义的综合命题而只是一些毫无意义的说法而已。跟维特根斯坦一样，逻辑实证主义者也认为，形而上学试图把握诸如世界的本原、本质这样一些“纯粹性质的内容”，是一切错误的根源，是造成其无意义性的根本要害所在。但是，在维特根斯坦那里，不可说的东西总还是存在的，而在逻辑实证主义者那里，不可说的东西根本也是不存在的，而只是一些主观的体验。如石里克就认为：“形而上学者的努力一向集中在这一荒谬的目标上，要用知识来表达纯粹性质的内容（事物的‘本质’），也就是要说那不可说的东西。性质是不能说的，只能显示在体验中，而认识是与体验毫无关系的。因此形而上学的没落并不是因为解决它的问题是人的理性所不能胜任的事（像康德所想的那样），而是根本就没有这种问题。”[8]不可说的东西根本就不存在，因此关于它的问题也是不可能存在的。卡尔纳普更极端地认为，形而上学哲学家们是用科学语言来做本应该是文学艺术做的事情，即在概念思维中来表达他们对世界的主观体验。这样的结果就只能是，一方面形而上学对科学没有任何贡献，另一方面又不能像真正的艺术品那样充分、恰当地表达人的生活感情，因此，形而上学只是一些空洞的、毫无意义的言辞。
对于这种无意义的形而上学言说，卡尔纳普又将它们分为两种情况：一种情况是构成命题的语词没有意义，如“神”、“始基”、“自在之物”、“理念”、“无限”、“绝对”、“自我”等哲学术语，完全没有经验对象与之对应，因此它们只是一些无意义的词；另一种情况是把有意义的词用违反逻辑法则的方式组合在一起，看起来像是句子，其实没有逻辑结构，当然也不可能有经验事实与之相对应。上述这两种情况，就属于应被拒斥的形而上学之列；所谓“拒斥形而上学”，就是要通过对语言的逻辑分析来把形而上学的命题统统从人类的知识系统中清除出去。卡尔纳普这种激进的态度自然就要受到来自各方面的批评与反对，后来他本人也意识到，他的上述看法是过于简单化了，作为对批评的一种回应，于是又提出了一种修正的说法。他指出，语言可以划分为对象句和逻辑句两类，前者陈述对象，后者陈述句法，说话方式相应地有“内容的”和“形式的”两种。哲学命题实际上是用内容的说话方式来表达形式的说话方式所要表达的意思，也就是说，它表面上陈述的是事实，实际上是对语言句法规则的表达。但在形而上学中，内容的说话方式往往掩盖了形式的说话方式，以致人们以为这些命题是描述某种实在对象的。因此，以往的哲学命题并不一定就是无意义的，只要我们把被内容的说说话方式掩盖了的形式的说话方式揭示出来，正确地认识到命题中所表达的句法内容，那么哲学命题仍然是可以有意义的。这样一来，实际上就是把陈述存在的哲学命题转换成了表达语言规则的句法命题，哲学对存在（对象）的研究也就变成了对语言句法规则的研究了。
3．本体论承诺是科学理论的必要前提
维也纳学派的成员不断地修正他们的理论，对他们的可证实性原则和反形而上学口号提出越来越宽泛的解释，这恰好表明了在他们的理论中，存在着许多其自身无法克服的缺陷和矛盾。为了克服这些缺陷和矛盾，继逻辑实证主义之后，分析哲学内部又发展出来了一些新的流派，其中比较重要的有将实用主义与分析哲学结合起来的逻辑实用主义，蒯因就是这个学派最主要的一位代表人物。蒯因在批判逻辑实证主义的基础上提出了他的“整体论”的经验检验理论和本体论承诺的观点，这可以看作是对逻辑实证主义的一种批判性的继承。虽然他不象逻辑实证主义者那样断然声称要拒斥形而上学，相反，在一定意义上他承认形而上学命题存在的意义和合法性。但他又把形而上学命题的意义仅仅限定在理论体系所必须的假设前提上，从而在根本上并未超出维特根斯坦和维也纳学派对形而上学的基本看法，这就是：形而上学命题并未陈述任何经验事实。换言之，蒯因实际上是以一种迂回的方式，继续将形而上学－哲学置于一种与陈述任何实在对象都无关的境地。
蒯因的“整体论”的经验检验理论是其全部思想的出发点，它的基本思想是这样的：经验的检验始终只是针对命题的整个体系的，而不是针对孤立的命题；不论提出什么样的经验检验，都不能单独地证明某个命题是假的或真的，因为对命题体系中的其它命题作些调整，总是能够抵消这种反证。比如“所有的天鹅都是白的”这个命题，属于我们关于鸟类所有知识的一部分。当有人发现了一只黑天鹅时，他可以根据他关于鸟类的其它知识而说这只黑色的鸟不属于天鹅类，由此就能保证原先命题不被否证。实际上，当一个理论体系与经验发生冲突而需要对体系的有关部分加以调整时，科学家们总是根据保守主义原则－－尽量用已经熟悉的原理来说明新的现象，和简单性的原则－－尽可能用较少的定则来解释较多的现象，来进行这种调整。因此，一个假说是否要被科学家接受或否定，不仅取决于有关的观察或实验的结果，而且还取决于科学家要求保守性和简单性这两个主观条件。这样一来，蒯因就把逻辑实证主义关于每一个有意义的命题都可以用经验加以证实这个基本原则，重新解释为具有经验意义的是我们的整个知识体系，因此应当把知识的体系而不是孤立的个别命题当作经验检验的单位。
在这种“整体论”的经验检验理论的基础上，蒯因就提出了“本体论的承诺”这个概念。在他看来，本体论承诺是必要的，当一个人谈论某种事物或接受一种理论时，他就有义务接受某种本体论的论断。也就是说，我们只有预先设定某物是存在的，才能来讨论某物是怎样的。我们接受一种本体论，同我们接受一个最简单的、可以把原始经验的零乱材置于其中并加以整理的概念框架是等同的。他声称：“一旦我们择定了要容纳最广义的科学的全面的概念结构，我们的本体论就决定了。”[9]然而，这种本体论承诺又具有约定的性质，就是说，当我们断言某某事物存在时，其实是在约定某某事物是存在的，也就是做出一种本体论的承诺。至于该事物是否存在，这个问题实际上是不重要的，至少是在制定一种理论体系前问这个问题是没有意义的。我们做出某种本体论承诺的目的是要据此而建构某种有效的理论体系，因此关键的问题在于这种本体论承诺和它所属的理论体系是否是恰当的、有效的。依据“整体论”的经验检验原则，检验理论体系有效性的方法是从中推导出一些观察陈述来，看它们是否跟感觉经验相协调。如果它们跟感觉经验相协调，那就说明这个理论体系是有效的，可接受的，同时也就表明了该理论体系中的概念所指事物的存在，反之，则不承认它们的存在。这就是说，一个理论体系被经验检验为有效的、可接受的，那么它所包含的某物存在的本体论承诺就是有效的、可接受的，而不管该事物究竟是否是实际存在的。
蒯因的上述这番论证表明，他实际上是把本体论问题完全归结为了一个语言的问题。在他看来，我们之所以有义务承认某种对象的存在，是因为我们的语言中有关于该对象的词语在起作用。他承认物理对象和抽象实体的存在，但这只是一种在理论中或语言中的承认，目的是为了保证指示该对象的词语在语言使用中有效地发挥其作用。他把哲学包括科学中的所有基本概念都看成是为了便于说明问题而做出的理论假设，它们与宗教神话没有本质的区别。他说：“物理对象是作为方便的中介物被概念地引入这局面的－－不是用根据经验的定义，而只是作为在认识上可同荷马史诗中的诸神相比的一些不可简约的设定物。……从认识论的观点看，物理对象和诸神只是程度上、而非种类上的不同。这两种东西只是作为文化的设定物进入我们的概念的。”[10]至于在说明世界的本质时出现的多种不同的本体论，只是一些不同的概念框架而已，它们在不同的场合下有不同的作用。我们选择一种本体论或一种概念框架的标准，不是看其是否与客观实在相符合，而应当以怎样建立起更有效、更具解释力的理论体系为标准。本体论问题就是为科学理论选择一种方便的语言形式、一个方便的概念体系或概念框架的问题。至此，蒯因就把以陈述存在为目的的哲学本体论，完全转化成了为科学选择恰当的概念框架的实用主义的本体论；他虽然也承认本体论概念及其命题是有意义的，但只是作为构成一个理论体系的概念前提而有意义。在否定本体论概念和命题具有实在的内容这一点上，他同逻辑实证主义者并没有什么根本的不同。超级秘书网
4．分析哲学的局限及其启示
在我看来，上述分析哲学对传统形而上学的批判，尽管在现代哲学史上造成了较大的影响，但从总体上和根本上来看是不成功的，其原因就在于：
第一，分析哲学依据经验主义（科学主义）的意义标准来反对形而上学是站不住脚的，不得要领的。经验主义的意义标准只能适用于经验科学，然而在人类的知识体系中，除了有经验科学外，还有非经验的学问，哲学就是一种非经验科学的认识活动，它就不适宜用经验标准来对之加以检验。将经验证实或经验验证原则作为理论话语唯一的意义标准或尺度，以此来衡量人类的一切认识活动，这本身就是经验主义的一个教条。实际上，人类的相当一部分知识既不是主要从视觉或听觉这样的感官经验获得的，也不是通过感官经验就可以验证其真假的。比如我们由“内知觉”所获得的对我们自身的意识结构、先天概念框架的把握，我们关于世界的存在、人的存在以及人的某一方面活动的认识和把握等，甚至包括逻辑实证主义（经验主义）自身所提出的那些基本命题，如经验证实原则，显然都不是能够诉诸于经验的检验的。这些认识领域恰恰就是哲学的领域，也是经验科学所达不到才由哲学来承担其认识任务的领域。如果把这些认识内容都作为形而上学的无意义言说从知识系统中通通清除出去了，其结果只能是造成我们人类知识范围的缩小而不是扩大。
第二，分析哲学拒斥形而上学的一个直接结果，就是把哲学的未来发展走向局限在对语言的分析工作上。也就是说，在他们看来，当形而上学被解构之后，给哲学剩下的唯一问题就是语言的问题，哲学的唯一工作就是通过语义分析来澄清命题的意义。如石里克所主张的那样：“哲学不是一种知识的体系，而是一种活动的体系，……哲学就是那种确定和发现命题意义的活动。哲学使命题得到澄清，科学使命题得到证实。”[11]但是，我们也看到，语言问题并不是人类生存活动中的唯一问题，甚至不是真正最始源和最根本的问题，人类生活的领域是如此之广泛，而语言活动只是其中的一种活动，语言问题也只是其中的一类问题。如果把哲学仅仅限定在对语言问题的研究上，这实际上是缩小了哲学思考的范围，从而也是弱化了哲学关照和影响人类现实生活的能力。因此，分析哲学为哲学所指出的未来出路是并不可取的，哲学必须超出单纯的语言分析工作才会有真正的发展和突破。
第三，分析哲学并没有认识到传统形而上学的真正错误之所在，因此它自身实际上一直都陷在传统形而上学的思维框架之中。传统形而上学的一个根本错误或要害之所在，就是它在现实世界之外又虚构了一个超感性的“本体”世界，并把它作为哲学运思和把握的对象，而这正是造成哲学与现实生活错位与背离的根源。分析哲学家们对形而上学的这一错误并未有很清楚的认识，因此他们在传统形而上学的那种实体性的本体论世界时，又不自觉地在建构着一个新的语言化的本体论世界。不管是写作《逻辑哲学论》时的维特根斯坦还是维也纳学派的成员，他们都把建构一种理想语言作为自己追求的目标。这种理想语言就具有“本体”的意味：语言的本质（逻辑本质）是世界的本质，语言的界限是我们世界的界限，我们的整个世界在本质上就是语言（逻各斯）的世界，一切问题在根本上都可以归结为语言问题来解决。这种将世界还原为单纯的语言世界，又将其抽象化为一种逻辑架构的做法，正是传统形而上学思维模式的典型表现。可见，分析哲学虽然以反形而上学标榜自己，但它实际上却不自觉地成了传统形而上学思维模式的一位现代传人。
尽管存在着上述的这些缺陷和问题它们使得分析哲学对形而上学的拒斥并不成功，但我们也要看到，现代分析哲学确实也取得了许多颇有价值的理论成果，无愧为为现代哲学中一个特别重要的哲学流派。
首先，分析哲学在科学论方面的研究及其成果，对我们探索哲学的本质、特点、功能和未来可能性等具有重要的启示意义。他们深入地探讨了科学的意义标准问题，科学语言的逻辑结构问题，科学理论的有效性问题，以及当一个理论体系在受到经验挑战时是如何由边沿向中心逐步修正的过程等。他们探究这些问题的目的是为了拒斥形而上学，实际上拒斥的是哲学本身，这当然是不会成功的。但从积极的方面来看，这些研究却有助于我们理解经验科学的性质、特点、功能和边界等，理解科学语言和科学思维的特点，从而启发我们进一步思考哲学之为哲学的本质特性、思维特点、现实功能及其未来走向等问题。从更深层次上来看，哲学和科学实际上是人类自身把握和对待世界的两种不同方式，也是人类自身生存活动的两种不同的方式，分析哲学对科学问题的探究，就可以启发我们进一步探究作为人类生存活动的两种基本方式的科学和哲学的区别与联系。
其次，分析哲学最重要的理论成果是他们创立和倡导的语言分析方法，它在现代思想文化的各个方面都产生了重要的影响。我们固然不会同意把语言分析作为一种独立的哲学研究活动，甚至是唯一的哲学研究活动，但语言分析作为理论研究的一种重要方法，其意义却是不容低估的。语言分析是使我们的概念保持清晰，避免因逻辑混乱造成思想不清的有力保证。在经过了现代分析主义思潮的洗礼之后，任何一个哲学家在建构他的理论体系时，都不可能回避对其概念进行语义分析的问题，从分析基本概念着手，这几乎成了哲学研究中一种普遍采用的方法。实际上，不只是在哲学中，在其它理论领域，如基础科学、美学、伦理学、政治学及文学理论中，都广泛地运用到了语言分析的方法。正是这种广泛存在的影响，表明了语言分析方法的极端重要性。但不管分析方法怎么重要，都只能是一种研究的方法，而不应当也不能够代替哲学研究本身。
注释：
[1]逻辑实证主义是分析哲学中的一个重要流派，它又以维也纳学派为主体，并且是分析哲学中批判形而上学态度最鲜明、言辞也最激烈的一个。
[2]维特根斯坦：《逻辑哲学论》，42页，商务印书馆，1996。以下凡引该书正文内容，皆只在文中注明编节号。
[3]维特根斯坦：《逻辑哲学论》，23页，商务印书馆，1996。
[4]转引自M.K.穆尼茨：《当代分析哲学》，210页，复旦大学出版社，1986。
[5]石里克：《意义和证实》，引自洪谦主编的《逻辑经验主义》，上卷，39、40页，商务印书馆，1982。
[6]卡尔纳普：《可检验性和意义》，载于《科学哲学》，420页，1936。
[7]《现代西方哲学论著选辑》，上册，499页。
[8]石里克：《哲学的转变》，引自《二十世纪哲学经典文本》（欧洲大陆哲学卷），315－316页，复旦大学出版社，1999。
［关键词］命题分析 界限 言说 沉默
［中图分类号］B089 ［文献标识码］A ［文章编号］1009-5349（2012）06－0088－01
引言
维特根斯坦的《逻辑哲学论》是分析哲学的一部经典作品，其主旨在前言中描述为：本书将要为思想划定一个界限，或者不如说——并非为思想划定界限，而是为思想的表达方式划定界限。维特根斯坦认为，语言的表达能力是有界限的，有些东西能够用语言表达出来，有些则不能。根据这个界限，维特根斯坦把世界也分成了两个部分：界限之内是可说的、而且完全可以说清楚的东西，也就是世界的“如何”；界限的那一边则是不可说的神秘之域，也就是世界的“为何”，这个领域是言语不可及的，只能由可说的领域显示出来。
一、关于“命题”的理论
“命题”问题由来已久，从亚里士多德以来，命题主要是从判断的角度来研究的，其中思维的最基本的要素是概念。人的逻辑思维是由概念到判断再到推理的一个过程，概念在认识上是最先的。英国哲学家边沁则认为表达一个完整思想的是命题，而非词语。此观点对后来的分析哲学产生重大的影响。虽然分析哲学的开创者弗雷格和罗素，并未直接受到边沁等人的影响，但是他们是按照这一语义学上的转变路线发展的。维特根斯坦在《逻辑哲学论》中把“说明命题的本质”作为自己的“全部任务”，显然是直接承袭了弗雷格和罗素开拓的命题分析的哲学思路。
句子与命题不同，亚里士多德认为，只有真假可能性的句子才是命题，即命题一定要有所断定。维特根斯坦认为“命题有本质的特征和偶然的特征。偶然的特征是由于命题指号的特殊的生成方式而得来的那些特征。本质的特征则是唯一使命题能表达其意义的那些特征”。可见，维特根斯坦所关心的并不是单个命题的偶然特征，而是所有命题所共同具有的本质特征。而同时“普遍的命题形式是命题的本质”。
维特根斯坦对于命题的本质特征的描述，便是对“命题”的界定方法。而对于本质的追寻，则是其命题分析的核心。
二、命题分析的方法和意义
命题分析的方法主要有两种，一种是针对某些具体类型的命题进行分析；另一种是试图发现命题共同具有的本质特征，以确立命题具有意义的一般条件和标准。《逻辑哲学论》所采用的是后一种方法。
语言是人们借以认识世界和表达思想的工具，但此工具在进行哲学讨论时往往被误用。因为人们在使用语言时，“可用语言表达任何意义而无需知道每个词如何意谓和意谓什么”，而这样去谈论哲学问题时，就不可避免地导致误用。维特根斯坦认为哲学就是去纠正对语言的误用。“全部哲学乃是‘语言批判’”。
“语言批判”的具体实施方法就是命题分析，而命题分析，则是维特根斯坦提出的解决语言误用的主要方法。命题分析的方法，不仅仅减少语言的误用，而且他区分了有意义和无意义的命题，给“我”的世界划分了界限。“我的语言的界限意谓我的世界的界限。”这个界限就是维特根斯坦的唯我论中的认识主体“我”，“主体不属于世界，但是它是世界的一个界限”。
这个界限表达了两层含义，第一是借此来区分自然科学和哲学。他写道“真命题的总和是全部自然科学”。“哲学不是一门自然科学”即自然科学命题是有意义的，哲学命题则不是。第二层含义指出，这种无意义是指我们没有办法谈论哲学问题，命题分析也只能是在“有意义的”世界中。如他所言“凡是能够说的事情，都能够说清楚，而对于不能谈论的事情，就必须保持沉默”。更多的哲学问题，在保持沉默的范围内。
三、结语
在《逻辑哲学论》中，维特根斯坦主要是根据六个大命题展开的，命题的理论是对语言的进一步解说，因为正如“句子”与“命题”的区别那样，没有断定的句子便没有主体的“我”的参与，对这个“我”的世界而言，是没有意义的。这在维特根斯坦的唯我论中有所体现：“唯我论的命题是完全正确的，只是它不可说，而是显示出来。世界是我的世界，这一点就显示在语言（唯独能为我所理解的语言）的界限意谓我的世界的界限。”在《逻辑哲学论》中语言和言说均有特定的内涵：语言是命题的总和，言说是用语言描述实在。
维特根斯坦把世界划分成可说的与不可说的，可说的用语言表达准确，不可说的保持沉默，而哲学家们永远不可能成功地搭建起一架足以逾越语言之界限的天梯，但这个事业总还是不停地进行着。
【参考文献】
[1]李国山.言说与沉默[M].南开大学出版社,2004年版.