罗素判断理论（一）

原书名：what is this thing called philosophy of language?

原作者：加里·坎普（GARY KEMP）

Second edition published 2018 by Routledge，请支持原作者

翻译：HMS Dreadnought

校对：拙计者沙利叶，阿惜，lgy

本翻译文章基于CC BY-NC-SA 4.0发布，供学习研究，欢迎友善讨论与推敲翻译

网哲邻人部，自由自愿自主自律的联合协作哲学社科翻译社群，欢迎有志者私信加入

弗雷格和罗素均从他们的逻辑学研究出发提出了他们在语言哲学上的观点。其中弗雷格被誉为真值函项和量词的逻辑的发明者和发现者 ，而我们至今仍在逻辑学入门的课堂上学习这些理论。新的逻辑远超过了既有的亚里士多德开创的三段论逻辑；它不仅能处理涉及范畴——一元谓词——的简单推理，还能处理涉及完整命题或N元关系推理的逻辑。他们在逻辑学方面的兴趣，归根结底来自他们对数学基础的兴趣。他们希望毫无疑问地建立起逻辑主义（Logicism）的论点：纯数学的命题就是纯逻辑的命题。弗雷格在1893年完成了他至关重要的《算术基本规律 》第一卷，但罗素直到快写完自己的《数学原理》（1903）为止都对这一成果所知甚少。在《数学原理》出版前不久才加入的附录中，罗素对弗雷格表现出了充分的尊敬，但也指出了——正如他在同年写给弗雷格的一封著名的信中指出的那样——弗雷格的理论体系中可以推导出一个矛盾，这一困境后来被称为罗素悖论。弗雷格的理论——具体来说是他的第五公理——意味着对于任意的谓词，都存在一个对应的集合或外延（换句话说，每一个条件都决定一个类）。

1因此，有一些集合是它们自身的元素 ：例如，有三个以上元素的集合之集合 。另一些集合则不是它们自身的元素：以豹的集合为例，它不是豹的集合的元素（即豹的集合本身不是豹）。现在考虑谓词“不是其自身的元素”，依据第五公理的推论，它也有一个与之对应的集合：由不是其自身元素的集合所组成的集合。这称为“罗素集”。罗素集是他自身的元素吗，抑或不是？如果罗素集是它自身的元素，则它不是自身的元素。如果罗素集不是自身的元素，则它是自身的元素。这就是矛盾所在：一个命题非真即伪，不能同时又真又伪；但在这里，若它为真，则它为伪，而若它为伪，则它为真。显然，弗雷格的理论出了差错。弗雷格在给罗素的回信中说这一矛盾“似乎破坏了……算术 唯一可能的基础”。的确，弗雷格从未能成功地修复这一缺陷。但是罗素，同阿尔弗雷德·诺斯·怀特海一道，在1910、1912和1913年分三卷完成了鸿篇巨著《数学原理》（重要的第二版问世于1927年）。这一著作远比弗雷格的更为复杂，但充分地证明了逻辑主义中算数和纯数学一般地可归结于逻辑的观点 ，即，逻辑是纯数学真正的主体。弗雷格和罗素都意识到了藉由他们新的、远为强大的逻辑，这些磨砺思想的技巧可以被推广到经验领域和其他科学中。但向这一方向迈出真正步伐的是罗素。在他的《哲学问题》，《我们对外部世界的知识 》，《逻辑原子主义的哲学 》和扩展性的短文《逻辑原子 主义》中，他试图确立这样一种观点：一切知识均需基于逻辑知识及感官经验。。而这需要分析知识断言所在的句子。这些断言究竟关乎什么对象？这些断言究竟具有何等性质或关系？在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（太阳绕火星运转）”的命题，尽管它们显然不同。这两个命题用不同方式组合了这三个组成部分；两种情况下关系的方向是不同的。尽管这种意义上的不同可以由句子中 组成部分的线性次序清晰地表示，我们尚未解释在命题中是什么反映了这种不同。将这一情形与“集合”或“类”的概念作比较。同命题一样，集合是直接包含其组成部分的抽象物。但是同命题的情况不同，一个集合可以说是由它的要素，它的元素定义的——即，A与B是同一个集合的充要条件，就是二者包含完全相同的元素。因此{Pluto（水星），Venus（金星）}和{Venus（金星），Pluto（水星）}是同一个集合。然而正如我们刚刚在表达为“Mars orbits the sun（火星绕太阳运转）”和“The sun orbits Mars（太阳绕火星运转）”的命题的例子中看到的那样，两个不同的命题可能包含相同的部件或组成部分。与这关系密切的是我们在第二章，“谓词指称和概念之马问题”一节中讨论弗雷格理论中“概念之马”悖论时遇到的一个问题。并非每一个有所指称之表达的集合都能有意义地凝聚起来以表达一个命题。“Socrates（苏格拉底）”和“Groucho Marx（格劳乔·马克斯）”无法形成一个有意义的句子：它们最多组成一个清单，或许是伟大的健谈者的清单。但是进一步地说，考虑“Socrates（苏格拉底）”和“the property of being a drinker（“是饮酒者”这一性质）”，或“Socrates（苏格拉底）”、“drinks（饮酒）”。命题Socrates drinks（苏格拉底饮酒）和Socrates（苏格拉底）、drinks（饮酒）这一清单之间存在某种区别。这区别是什么？把“饮酒”看作“is a drinker（是一个饮酒者）”或“is drinking（在饮酒）”的简写并不能解决问题，那样只会引入系动词，即谓项中的“is”。引入的不能 只是一个声音或纸上的一段曲线；它必须是一个有意义的实体。它的意义所在必须是我们能称之为“系动词”的一类抽象实体。但是之后我们又回到了起点，无法区分命题Socrates is drinking（苏格拉底在饮酒）和清单Socrates（苏格拉底），copulation（系动词），drinking（饮酒）。鉴于以上问题，罗素引入了判断的多重关系理论（Multiple Relation Theory ）。罗素抛开了命题。他不再把真值视作命题的特征，而是将之称作判断或信念的 状态的特征。是的，如果没有判断者，就不会有任何事物为真（或伪）。但是事实仍然存在。不接受“事实”概念的唯一可能原因是既要承认命题又要承认事实的困难，但现在的策略恰恰是彻底摆脱命题。至关重要的一点是，罗素依赖了一个我们之前见过的概念：亲知关系（第三章，“亲知知识与描述知识”）。我们强调，除了某人的自我，人所能亲知的唯一对象就是感觉材料，但对我们当前的讨论而言，这一点并不重要；简洁起见，我们假定人可以亲知任何一个普通对象。此外，人也可以亲知许多非具体对象的实体（即，非个体） ；具体来说，就是人可以亲知众多共相（universal）（如性质，关系）。大略地说，正如罗素所说的那样，对象是可感知的，共相是可构想的。假设一个判断者B要作出判断Rab（“The cat is on the mat 猫在垫子上”，等）。首先B必须亲知了（必须指称了，必须考虑“它”）对象a、b，以及关系R（图4.1）。

图4.1 亲知其中，虚线表示亲知。之后，B对这一组合形成了某种态度：B做出判断Rab（由实线表示）（图4.2）.

图4.2 判断

判断Rab是一个判断者B与a、b和R之间的四元关系。判断本身是一个事实。若存在一个与B无关的事实，即事实Rab，则判断为真。若没有这样一个事实，则判断为伪。真是事实之间的一个客观对应关系——确切地说是心理状态与现实之间，而非命题与现实之间。该理论事实上要更为复杂，但我们概览其主旨已经足够。罗素希望将命题解释为一种特殊的心理事实，而真与伪解释成这些心理事实的特质。

《逻辑哲学论》

《逻》一书中有很多，很多部分都无比迷人，但我们不会在此详细介绍。我们想要大致把握的是其中关于命题的“图像说”理论，并抓住其中一些启发了后来的哲学家们——具体来说是逻辑实证主义者和逻辑经验主义者们——的主要特点。1912年，维特根斯坦22岁时，他在一封给罗素的信中写道：如果我作出判断aRb，我想要一个无需任何进一步假设就可以告知我aRb或~aRb的判断理论，您的理论并不满足这种情形。

（维特根斯坦采用罗素的方式，把“Rab”写成“aRb”，把“非aRb”写作“~aRb”）。他想要的判断理论可以由以下推理展示：

1 B作出判断aRb。

因此

2 aRb是一个命题

因此

3 aRb或~aRb罗素的理论无法解释的是从第一步到第二步。问题在于，一种把亲知关系视为基础的判断理论，正如罗素的理论，似乎对可亲知的实体没有加以限定。我可以感知、亲知the table（桌子）。对the penholder（笔筒）亦是如此。对the book（书）亦是如此。我可以亲知所有这三样事物，甚至同时亲知这三样事物。但又是什么阻止了我对它们采取判断态度，阻止我判断the table penholder the book（桌子笔筒了书）呢？简单地说，维特根斯坦认为不存在这样的事物。就多重关系理论而言，判断的对象不一定能以正确的方式凝聚起来。正如我们不得不说的，这可能不是一个命题，而是无意义的。但命题或想法，若不是别的，正是判断的内容成分。这是不容置疑的。仅仅回应说table penholder the book（桌子笔筒了书）不可能为真，即其不可能是事实，是不够的。问题并不在于，这个不可能为真的命题也许可以为真，而是在于可能存在这样一个判断这件事本身。图像说（The picture theory）。为了提供一个图像说的粗略描述，我只走马观花地略谈维特根斯坦的术语。维特根斯坦同意罗素的基本观点：真必须以事实的形式说明。但他不同意把命题仅仅看作façon de parler（说话的方式）。他认为确实存在命题这种东西。它们不是对象，它们自己就是事实：3.14 一个命题符号之为命题符号，在于在它之内的诸元素，即诸语词，是以特定的方式相互关联的。一个命题符号就是一个事实。命题不是由句子表达的抽象实体；相反，它们就是（在所说出的语境中）有意义的陈述句。它们这些蘸墨的印刷字、念出声的音素即是语境中有意义的东西。因此以一个日常的事实，日常可见的事态为例，例如the cat’s being on the mat（猫在垫子上）。这个cat-on-mat（猫在垫子上）不是一个对象，而是一个事实，而事实并非对象（我们很快可以看到这是为什么）。现在关于这一事实，想象一副简单、准确、平平无奇的图像或画作。图示关系是两个事实之间的关系：图示出的事实和被图示的事实。图示出的事实中必然有一个代表猫的物件和代表垫子的物件，且必须显示二者之间有何联系。现在考虑与同一只猫和同一块垫子相关的命题（句子）：The cat is on the mat（猫在垫子上）。同那幅图像一样，一个物件——“the cat（猫）”——代表或指称那只猫，一个物件——“the mat（垫子）”——代表或指称那块垫子，而这一命题显示了二者有何联系。只是在这一情况下“显示”更为抽象，且明显取决于惯例。在这幅图像中，它是通过具现一个物体在另一个物体上这一关系来实现的，因为一组标记在空间上直接处于另一组标记的上方。（事实上，维特根斯坦举过一个启发性的例子：法庭上用玩具车来描述一场交通事故——这使得前述内容更易理解。）（校对注：玩具车的相撞即命题符号，交通事故即现实。））。在这个命题中，我们利用了英语中在“is on（在……上）”这一短语两边各写一个名字表示前者在后者的上面这一习惯用法。这是一个物体在另一个物体上面的命题符号：它显示了若命题为真，则它们必然有何联系。因此我们有了更为简洁的表述：3.1432：不是复杂符号‘aRb’说出a与b处在关系R当中，而是‘a’与‘b’处在某种关系当中这一事实说出aRb这个事实。英语其实完全可能是另一个样子。说不定我们会把“The cat is on the mat（猫在垫子上）”写成：The cat（猫）

数学联邦政治世界观提示您：看后求收藏（笔尖小说网http://www.bjxsw.cc），接着再看更方便。