Peirce*逻辑代数中的几

来源:岁月联盟 作者:张留华 时间:2010-09-01
1

逻辑常被人们追溯到她的奠基人Frege (Lebniz是先驱者的地位);接着谈现代逻辑,人们会地找到其身后的Peano、Russell、Whitehead、Wittgenstein、Carnap(维也纳学派时期)、Quine等人,如此就认为是勾勒出了现代逻辑的脉络。这一看法多年来几乎是毫无异议的。但随着逻辑尤其是现代逻辑的不断,有潜心思考的研究者(Fisch、Zeman、Hinttika等)发现了那多年来一直被忽视但却蕴藏在现代逻辑诞生之初的分歧,认为分歧之中与权威相对的另一面应该值得重新或深入的研究,这另一面就是由Boole开始经由Peirce、Schröder直至后期Carnap、Tarski、Skolem等人维持的一条路线,它可看作是对逻辑基础研究的另一途径或方法(approach)。著名Peirce研究学者M.H.Fisch一语道出这一分歧的实际情形:“但Boole-Peirce-Schröder (在下文中我们简写为BPS)路线不是被Frege-Peano-Russell-Whitehead (在下文我们简写为FPR)路线取代了吗?不;它只是被掩盖了。”

在BPS传统中,Peirce(1839---1914)是位极其重要的人物,这倒不仅是因为他天才般的思维和对和逻辑史上后来工作者的实际影响(美国本土哲学家James、Dewey、Mead、Lewis等无不受其影响,甚至欧洲大陆的K.O.Apel等人的思想也多直接源于Peirce),也不仅是因为他涉足领域的广泛(除哲学和逻辑学之外,还有数学、天文学、物、语言学、化学、大地测量、心理学、现象学等等);而主要是因为他在现代逻辑理论史上的诸多实质性的贡献。我们已经很难统计他敏锐的洞察力到底涉及到多少逻辑贡献,但根据迄今为止Peirce学者的研究成果,以下的领域是当然的和主要的:形式逻辑(主要是对传统逻辑的改进)、逻辑代数、关系逻辑、命题逻辑、谓词逻辑、三值逻辑、模态逻辑、语言逻辑、逻辑哲学、归纳逻辑以及逻辑史研究。

Peirce早期的逻辑研究(从1865年到约1885年)主要集中于逻辑代数。在当时,布尔逻辑刚创立不久,布尔的追随者很多,著名的有Venn、Schröder、De Morgon等人,他们之间的研究有相互启发与借鉴之处(有关贡献的纷争,可参看Kneale的《逻辑学的发展》),但主要还是相互独立的。Peirce就是其中一位极具独立性又最有创新的突出人物。身为著名数学家Benjamin Peirce(美国当时科学界的一权威)的儿子,Peirce本人也是一数学家,他对于代数在逻辑中的应用,得心应手,他甚至曾把“三段论”作为“联结词的代数”来研究。事实上,当时的符号逻辑就是逻辑代数(algebra of logic)。



2

在Peirce看来,现代逻辑的研究实质上就是代数到逻辑的一场“类推(analogy)”,这种“类推”的前提,首先就是对代数中的符号的选择。不同的逻辑代数研究者都有着自己的选择,它们或者是从代数中原封不动地引入,或者是对代数中的相关符号做出逻辑意义上的改进。我们这里从Peirce逻辑代数研究中所运用的诸多符号中选取以下主要的几个,其中有的是Peirce本人独创性地提出,有的是Peirce同其他人同时提出和使用,有的是BPS传统所特有的:

一、包含于(inclusion in 或 is或as small as)符号“—<”(它是“≤”的一种方便的写法)的引入。这是最重要的一点,它被Peirce本人多次提到,也被后来的研究者所普遍注意。但Peirce本人称,这一符号是由他和H.McColl同时引入的。Peirce这样定义“—<”:

1、A —< A,无论A是什么;

2 、若A —< B,且B —< C,则A —< C。

他说,这样的定义虽然未区分开包含关系和包含于关系,但为形式逻辑目的,却是足够的。Peirce看到包含于符号具有逻辑上的优点:首先,原来布尔的符号只能表达,物的某种描述不存在,而不能说某物不存在;而使用包含于和非包含于( —<(超文本阅读注释:要在这一符号上方加一横线)),“Griffin(一种怪兽) —< 喷火”意思就是,“不存在不喷火的Griffin”;同样“动物 —<(超文本阅读注释:要在这一符号上方加一横线)水生的”意思为,“存在不是水生的动物”。Peirce这种特别的解释很容易使我们想起前些年一直讨论的传统三段论中的主词存在问题;同时符号“—<”的解释也使我们联想到现在逻辑研究中广泛运用的实质蕴涵符号“→”(其实,关于实质蕴涵,Peirce有更清楚的表达:从“x—< y”推到“是y(超文本阅读注释:要在这一字母上方加一横线)的x —<(不可能)”)。其次,在布尔的演算中经常用到的相等号或等值号“ = ”是一种更加复杂,即有着更大内涵(comprehension)或深度(depth)的关系,而相比之下,“—<”则更为简单方便,我们可以说A=B蕴涵A—
关于Peirce的“—<”符号,还有一点值得一提。在谈到这一系词的三个属性时,Peirce做出了卓有见识的引申。他说,对于包含(containing)关系,我们可有着不同于通常“—<”的理解,从而会得到与之平行的几种逻辑学说。若令 a—<´ b意为a同b一样小,除了在a同某物一样小时而b不能同这一物一样小之外,a 、b之间没有什么不同;则我们可得到数学或量的逻辑学。若令a—<´´ b意为所有b是a,除了有a能谓述的某物而b不能谓述之外,a 、b之间没有什么不同;这样我们所得到的,在另一方面就仅仅是逻辑学。若令a—<´´´ b表示b是a的后承,除了两者导出的后承不同之外,a 、b没有什么不同;那么我们得到的将是条件句的逻辑学。这样的一种解释,一方面显示了“—<”或蕴涵在逻辑科学中的基础性的重要作用,另一方面也从一极为特别的角度论证了逻辑的多类型。此外,其与后来模型论的思想也有着本质上的吻合。

二、包含(inclusive)意义下的逻辑加(符号为“+(超文本阅读注释:要在这一符号右下方加一逗号)”,有时直接用“+”)的使用。Peirce这样定义逻辑加:

1、A—< A +(超文本阅读注释:要在这一符号右下方加一逗号) B;

2、B—上存在的,或有某种虚构的世界,或是其它的有限域。这样的一种观点可认为是BPS路线的一特色之处,年仅23岁就去世的法国著名逻辑学家Herbrand正是在一方面接受并重视了这样一种认识,另一方面精心研究《数学原理》系统的基础上,在谓词逻辑等现代逻辑理论上做出了突出贡献。事实上,在逻辑史上这样一种观点支持了包括可能世界理论(模态逻辑)、模型论、逻辑语义学和元逻辑理论等在内的一系列理论。然而,与以上有限域的认识截然不同的观点确实在过去以及现在的逻辑学家中存在,最为典型的是Wittgenstein,其名言“一切真命题都是重言式”和“逻辑命题描述世界的脚手架”的提出,正是基于一种无限域的认识;他把现实世界与我们的语言(认为,我们只有一种自然语言或人工语言)一一对应起来,认为我们对任何系统都只有一种解释,任何时候我们都不能跳出我们唯一的语言之外去言说我们自己。

四、其它符号。 以下我们将通过定义或描述的方法列出Peirce的另一些符号:逻辑等即等值“ = (超文本阅读注释:要在这一符号下方加一逗号)”,与算术上的等号相区别,但Peirce在很多时候,干脆把它写为“ = ”,只是在逻辑上仍与符号“=(超文本阅读注释:要在这一符号下方加一逗号)”含义一样。逻辑乘(符号为“,”)定义为:

1、A,B—< A;

2、A,B—< B;

3、若C—机的图表推理表示法发展之后,被应用于人工智能领域,甚至IBM的一研究者John Sowa,奠基于这一理论又发展出了一概念图表(conceptual graphs)。

上述Peirce的一系列观点,在今天处于逻辑科学前沿的Hintikka、J.V.Heijenoort等人那里得到了热烈呼应,他们把Peirce称为语言的模型论观点的一标准成员(integral member)来对待,并把他与Husserl并提,用来对抗由Frege到Heidegger的“作为语言的逻辑(logic as language)”的传统(其核心观点是,现实世界是语言的唯一解释,不存在多数可能的世界,从而否定模态逻辑的合法性,否认真理的可判定性或主张“真”的无法言说(ineffable))。



主 要 参 考 文 献

Peirce,Charles Sanders Collected Papers Of Charles Sanders Peirce edited by Charles Hartshorne and Paul Weiss The Belknap Press Of Harvard University Press ,1931-1935.

Peirce,Charles Sandes Writings of CHARLES S. PEIRCE ( A Chronological Edition ) edited by Edward C. Moore ,Indiana University Press 1984.

Peirce,Charles Sanders logic , symbolic logic 词条 Dictionary of Philosophy and Psychology edited by James Mark Baidwin, The Macmillan Company, 1925.

Peirce,Charles Sanders Philosophical Writings of Peirce selected and edited by Justus Buchler, Dover Publications,Inc.,1955.

Hintikka,Jakko Lingua Universalis vs. Calculus Ratiocinator Kluwer Academic Publishers,1997.

图片内容