皮尔士(精)/最伟大的思想家

作者简介

内容简介

一个 新的范畴目录 就建立一座将超越于时代变化的哲学大厦而言， 我所关心的与其说是用最好的精确度来放好每一块砖 ，不如说是铺设深厚而庞大的根基。 ——查尔斯·S·皮尔士 从一开始，皮尔士就受德国哲学家伊曼努尔·康 德的影响。他觉得对他有特别吸引力的是建立体系的 方法（the architectonic method）。利用这一方 法，康德寻求把哲学建立成为一个具有坚实逻辑基础 的彻底的和科学的体系。然而，康德把当时现存的逻 辑看作最终的（原因是那个逻辑从亚里士多德起就没 有真正地变化），而皮尔士认为逻辑本身需要一次早 就该做的彻底的修改。在1893年，在他写作一本叫《 寻求方法》（A Search for a Method）的书里，皮 尔士强调，如果我们跟随康德的方法，我们应该从对 于整个逻辑理论作巨大的改革着手。这是他要首先做 的。 为了正确理解皮尔士的哲学，时刻记住他的哲学 体系是坚实地根植于数学之中是非常关键的。而这里 所说的数学包括我们现在所说的形式逻辑。我们还需 要进一步记住，在皮尔士的时代，数学和形式逻辑处 于激烈的变动之中，而且皮尔士在这两个学科里是积 极的参与者。其结果是，在数学和形式逻辑里的新发 现会影响皮尔士的哲学观点，而且常常是导致他对于 自己的哲学体系的重大修改。 在皮尔士看来，逻辑和数学的关系，对于在形式 逻辑和他所说的正确的推理理论之间的划分是很重要 的。形式逻辑是研究纯粹的虚构物的特殊的关系。因 而，根据第一章末尾处的有关数学的定义，形式逻辑 不折不扣地属于数学的范围。与之相对的是，作为正 确推理理论的逻辑不是数学的一部分，而是一门规范 科学。它所讨论的是，推理中什么是对的和什么是错 的。正确推理理论也被称为规范逻辑。我们将在下一 章讨论。 像上面的区分所表明的，皮尔士并不认为逻辑是 数学的基础。在20世纪的开端，逻辑是数学的基础的 观点是非常流行的。而皮尔士的观点恰恰相反：作为 研究正确推理理论的逻辑学家，在对于某些命题或假 设的状态得出必然的结果的方面是依赖于数学家的。 在这一方面，逻辑学家和物理学家、经济学家等没有 什么区别。后者也是依赖于数学家来得出他们的理论 的必然结果的。就像皮尔士在《如何推理》中所说的 ： 每一门学科都有它的数学的部分。只要命题提出 来让大家接受，即使在它们被采用以前，必须向数学 家请教什么结果将会产生。（R 411.02） 总之，形式逻辑不是数学的基础，而仅仅是应用 数学的一个特殊的分支。所以，皮尔士对于逻辑和数 学关系问题的看法和G·弗雷格（Gottlob Frege， 1848—1925年）、B·罗素（Bertrand Russell， 1872—1970年）的观点是显著不同的。根据弗雷格和 罗素的理论，整个数学的理论可以从有限的基本逻辑 法则推出，或者说，可以化简为这些基本的逻辑法则 。后一种观点也被称为逻辑主义。 寻求范畴 康德的体系论方法（the architectonic method）的主要目的是，把多样的感觉印象归结为统 一体。为了建立这样的统一体，康德发明了一个范畴 体系。这些范畴是最终的要素；知识的所有对象都是 用这些范畴来分析的。这些范畴的观念部分来自于这 样一个发现，在我们的思想的对象之间存在着一定的 基本的区分。拿动物和数字来说明。一个海龟和，比 如，数字7，的不同是类的不同。这样的不同是不同 于海龟和兔子的不同。“兔子有毛”是一个真陈述。 相反地，“海龟有毛”的陈述是假的。那么，数字又 是什么样的呢？它们有还是没有毛？我们会说两者都 不是，并补充说，数字不是那种我们可以说有毛还是 没毛的东西。“数字没有毛”的句子是既不真也不假 。它是没有意义的，或者，像吉尔伯特·赖尔 （Gilbert Ryle）表达的，它犯了范畴错误 （category mistake）。 康德试图用他所说的对于判断进行逻辑分析来解 决这个问题。用这种方法，他得出了一组范畴，共十 二个。康德证明，每一个判断在量上可以是全称的、 特称的或单称的；在质上，可以是肯定的、否定的或 无限的。没有一个判断与它的部分的关系可以是直言 的、假言的或选言的；在样式上可以是或然的、实然 的或必然的。所以，尽管总共有十二个范畴，每一个 判断只涉及到其中的四个。例如，当我们说皮尔士有 络腮胡子时，我们表达的是一个特称的、肯定的、直 言的和实然的判断。 在他自己对于范畴的推导里，皮尔士脱离了康德 。利用康德范畴之间的可以发现的关系，皮尔士设法 把十二个范畴化减为更为基本的三个范畴。后来，皮 尔士在描述与康德的范畴苦战时说，这是他一生中所 经历的最艰苦的两年。（CP1·561）这里，我们将尽 量地绕过皮尔士与康德早期的苦战，而集中讨论皮尔 士后来是如何在数学里推导出他的三个范畴的。在上 一章的结尾处已经指出，皮尔士认为，数学是研究假 设事态（states of affairs），而不考虑它们是否 与任何实际的事物有关系。数学家对于他所研究对象 的真实性不关心的一个最好的例子，是探讨想象的数 字，也就是-1的“不可能”的平方根。 就像已经指出的，寻找范畴的目的就是，要找出 适用于任何对象的最简单的概念。这就使得在数学里 的范畴的推导成为最重要的，因为数学探讨任何可以 想象的对象，无论是存在的，还是仅仅是可能的。范 畴不仅应该被应用于树木或椅子，而且应该同样地被 应用于七个层面的超立方体或哈姆雷特对于奥菲里亚 （Ophelia）的爱。如果可以证明范畴在数学里是普 遍地适用的，那么，也就是证明他们适用于我们所可 能说的任何事物，包括哲学里和特殊科学里的所有的 事物。 在他对于康德研究的基础上，皮尔士得出了他自 己的三个范畴。他把它们起名为第一性（firstness ）、第二性（secondness）、第三性（thirdness） 。皮尔士选择新的词语而不是传统的，其原因是他想 从全新的基础上建立一个崭新的形而上学体系。然而 ，为了使得这三个范畴的体系行得通，皮尔士必须要 证明三点，即它们是普遍适用的；它们是不能化简的 ；它们是全部的。也就是说，任何其他的概念都可以 被化简为这三个范畴。 范畴的推导 如果那些范畴是真正普遍的，那么它们必须不仅 适用于存在着的东西，也适用于任何可以被想到的东 西，无论是存在的还是不存在的。因此，就像在前一 部分所指出的，我们这里所关心的范畴的推导必须是 数学意义上的。 概括地说，皮尔士的论证可以被表达为如下方式 ：任何可能被想到的事物都给人们这样一个观念—— 某物。这样就引进了第一的范畴（the category of a first），也就是说，某物完全地不指向任何其他 的东西。 然而，任何可以被想到的东西也可以和另外的某 物区分，尽管只是以否定的方式。这样就引入了第二 的范畴（the category of a second），或“第二 性”（secondness）。第二性是这样一种形式的存在 ，由于它的存在，它对于另外某物有影响，而它相对 于此物是第二的，但与任何其他的事物无关。 然而，第一与第二的关系带入了中介的观念，也 就是，让两个对象互相有关系。这样我们就有了第三 个范畴。这个范畴是这样一种存在形式；它的本质特 征是完全从把两个东西互相联系起来的关系里派生的 。例如，当一只狐狸追赶一只兔子时，追赶的关系是 可以与狐狸和兔子两者区分开的。而且，这个关系是 其所是，纯粹是由于那只狐狸和那只兔子之间的关系 。 在19世纪80年代，皮尔士运用英国数学家J·西 尔威斯特（皮尔士在霍布金斯大学的同事）在数学里 刚刚引入的绘图方法来推导范畴。这个方法用点和线 来代表关系的体系。 皮尔士首先在一张纸上画一单个的点来代表“某 物”（第一）的观念。然而，在这样做了以后，那张 纸立即被分为两个部分，一部分是白的，另一部分是 黑的。因此，皮尔士论证说，人们不能够做到这一点 ，即在表达第一的观念时而不立即引入第二的观念。 这种两个对象之间的关系更明白地在一张纸上画两个 点，并用一条线把它们连起来。然而，在这种情况下 ，人的心智必须在思想里提供那条线，以便把两点连 起来构成二的概念。简言之，没有某种的中介（即第 三）就不可能来表达两个点。就像皮尔士所说的，“ 在绘图的方法里，每一对圆点都被认为是以这种或那 种的关系联系的。因为不把一对圆点联系起来，实际 上是表示它们是以另一种方式联系起来的”。（R 915.04）因此，在绘图的方法里，即使一个点，实际 上它已经包括了所有的三个范畴。 绘图的方法也表明，大量的圆点也不增加任何新 的东西。比如，三点由三条线连接，完全可以被表示 为从一单个点出发的两条分叉的线，即一个圆点连接 两条线，也相当于一条线连接两个点。 上述的范畴的推导不是一个心理学的过程，因为 它不是从我们的心智如何运行来推导范畴的。如果说 像亚里士多德所做的，范畴是从我们语言的结构抽象 出来的，那么上述的推导也不是一个语言学的推导。 它是皮尔士所称为的数学的推导。也就是说，它是概 念的不受限制的和自主发展的产物。 总之，皮尔士所区分的范畴在数量上是三个。他 把它们与康德及其他人的范畴相对照。它们是：第一 ，某物；第二，其他；第三，中介（或中项）。这三 个范畴是按等级排列的，而且它们是渗透的。没有无 第二性的第三性，没有无第一性的第二性。再者，第 一性产生了第二性，它又引起了一种中介，或第三性 。 皮尔士常常把他的范畴称为新毕达格拉斯 （cenopythagorean）范畴（“ceno”的前缀来自于 希腊文，代表“新”的含义）。皮尔士看到，在他的 范畴理论和古代的毕达格拉斯学派对于数字的理解有 很清楚的关系。我们今天把数的唯一的功能理解为是 用来表示特别的量，而毕达格拉斯主义者不这么看— —他们把数字看成是在自然界里有待于发现的普遍原 理，并具有自然法则的实在。皮尔士正是在这种意义 上来理解数字一、二、三的。 …… P14-24