在1911年——也许正是在他当年早些时候拜访过的弗雷格的建议下——二十二岁的维也纳人路德维希·维特根斯坦前往剑桥求见罗素。罗素很快把他看作“我所知通常所说的天才的最好范例;激情、深刻、尖锐而强势”。而维特根斯坦早期思想的一方面——他在1921年的《逻辑哲学论》中表述了它——构成了本章的支点。或许把《逻辑哲学论》一书同著名的逻辑实证主义运动相提并论并不严谨,但是说二者都在1910年后直接从罗素的思想中获得极大启发也许并无不妥。《逻辑哲学论》中的一大中心思想——后来被称作意义的“图像说”——可视为对罗素的观点中一些短板的富有成果的回应。我们暂不考虑罗素的观点中更复杂完善、有可能自圆其说的那个版本,但我们将看到的会刚好足以让人理解,为何图像说被认为是更好的理论。
• 命题,事实与罗素判断理论
我们一直假定“真”与“伪”是命题的特征。我们会很自然地认为,为真的关系是一种对应关系,具体来说就是命题与世界所是的方式、事物所是的方式的对应。事物所是的方式即是一个事实或事态。例如这样一些事实:雪是白色的、阿森纳队赢得了2002年英超联赛冠军、2+2=4。直觉上我们会认为,事实就是实体的组态,例如“雪是白色的”这一事实由“雪”和“白色”这一性质组成。这一事实的单称词项包括:“雪所拥有之白”(snow’s having whiteness)、“雪其为白”(snow’s being white)、“事实:雪是白色的”(the fact that snow is white)。
因此尽管我们已在第一章尝试对原子命题的真值作了如下定义:
原子命题的素朴真理定义*:一个原子命题为真当且仅当: (i) 其为一个包含某一对象o和某一属性P的命题,且存在事实o拥有p;或 (ii) 其为一个包含了某一对象o1、某一关系R及某一对象o2的二价命题,且存在事实R(o1, o2)(三元关系、四元关系等以此类推)。
但罗素注意到这一想法有一个严重的问题(星号部分可见第一章“原子句的真值及意义” )。考以下事实:Mars orbits the sun(火星绕太阳运转)。对照以下命题:Mars orbits the sun(火星绕太阳运转)。它们都完全由Mars(火星)、关系α orbits β(α绕β运转)和the sun(太阳)组成。所以二者的区别在哪里?它们一定存在某种区别,否则它们将无法被区分开:命题和事实将 是同一件东西 。在这种情况下,所有原子命题都将为真——因为每个命题都会有一个与其完全对应的事实(即其字面意思上的自身)——所以不会有任何原子命题为假。walruses fly(海象会飞),由于它是可想象的,因此这一命题存在,由此又得出海象会飞为真,但很显然它们不会。 这一模型看来不适用于错误的信念和假命题。
第一章概述过的命题的“结构”概念也有一个问题,当时这里我们只是一笔带过。我们说过表达为“Mars orbits the sun(火星绕太阳运转)”的命题包含了Mars(火星)、α orbits β(α绕β运转)和the sun(太阳),或者说由以上组成。但我们没有区别它和表达为“The sun orbits Mars(太阳绕火星运转)”的命题,尽管它们显然不同。这两个命题用不同方式组合了这三个组成部分;两种情况下关系的方向是不同的。尽管这种意义上的不同可以由句子中 组成部分的线性次序清晰地表示,我们尚未解释在命题中是什么反映了这种不同。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。