Peirce逻辑代数中的几个符号及其它.docVIP

Peirce*逻辑代数中的几个符号及其它 Peirce*逻辑代数中的几个符号及其它 Peirce*逻辑代数中的几个符号及其它 Peirce*逻辑代数中的几个符号及其它 1现代逻辑常被人们追溯到她的奠基人Frege (Lebniz是先驱者的地位)；接着谈现代逻辑，人们会自然地找到其身后的Peano、Russell、Whitehead、Wittgenstein、Carnap(维也纳学派时期)、Quine等人，如此就认为是勾勒出了现代逻辑的脉络。这一看法多年来几乎是毫无异议的。但随着逻辑科学尤其是现代逻辑的不断开展，有潜心考虑的研究者〔Fisch、Zeman、Hinttika等〕发现了那多年来一直被无视但却蕴藏在现代逻辑诞生之初的分歧，认为分歧之中与权威相对的另一面应该值得重新或深化的研究，这另一面就是由Boole开场经由Peirce、Schrouml;der直至后期Carnap、Tarski、Skolem等人维持的一条道路，它可看作是对逻辑根底研究的另一途径或方法〔approach〕。著名Peirce研究学者Ｍ.Ｈ.Fisch一语道出这一分歧的实际情形：“但Boole-Peirce-Schrouml;der (在下文中我们简写为ＢＰＳ)道路不是被Frege-Peano-Russell-Whitehead (在下文我们简写为ＦＰＲ)道路取代了吗？不；它只是被掩盖了。〞在ＢＰＳ传统中，Peirce〔1839---1914〕是位极其重要的人物，这倒不仅是因为他天才般的思维和对哲学和逻辑史上后来工作者的实际影响〔美国外乡哲学家James、Dewey、Mead、Lewis等无不受其影响，甚至欧洲大陆的K.O.Apel等人的思想也多直接源于Peirce〕，也不仅是因为他涉足领域的广泛〔除哲学和逻辑学之外，还有数学、天文学、物理学、语言学、化学、大地测量、心理学、现象学等等〕；而主要是因为他在现代逻辑理论史上的诸多本质性的奉献。我们已经很难统计他敏锐的洞察力到底涉及到多少逻辑奉献，但根据迄今为止Peirce学者的研究成果，以下的领域是当然的和主要的：形式逻辑〔主要是对传统逻辑的改良〕、逻辑代数、关系逻辑、命题逻辑、谓词逻辑、三值逻辑、模态逻辑、语言逻辑、逻辑哲学、归纳逻辑以及逻辑史研究。Peirce早期的逻辑研究〔从1865年到约1885年〕主要集中于逻辑代数。在当时，布尔逻辑刚创立不久，布尔的追随者很多，著名的有Venn、Schrouml;der、De Morgon等人，他们之间的研究有互相启发与借鉴之处〔有关奉献的纷争，可参看Kneale的?逻辑学的开展?〕，但主要还是互相独立的。Peirce就是其中一位极具独立性又最有创新的突出人物。身为著名数学家Benjamin Peirce〔美国当时科学界的一权威〕的儿子，Peirce本人也是一数学家，他对于代数在逻辑中的应用，得心应手，他甚至曾把“三段论〞作为“联结词的代数〞来研究。事实上，当时的符号逻辑就是逻辑代数〔algebra of logic〕。2在Peirce看来，现代逻辑的研究本质上就是代数到逻辑的一场“类推(analogy)〞，这种“类推〞的前提，首先就是对代数中的符号的选择。不同的逻辑代数研究者都有着自己的选择，它们或者是从代数中原封不动地引入，或者是对代数中的相关符号做出逻辑意义上的改良。我们这里从Peirce逻辑代数研究中所运用的诸多符号中选取以下主要的几个，其中有的是Peirce本人独创性地提出，有的是Peirce同其别人同时提出和使用，有的是BPS传统所特有的：一、包含于〔inclusion in 或 is或as small as〕符号“—1、A —2 、假设A —他说，这样的定义虽然未区分开包含关系和包含于关系，但为形式逻辑目的，却是足够的。Peirce看到包含于符号具有逻辑上的优点：首先，原来布尔的符号只能表达，物的某种描绘不存在，而不能说某物不存在；而使用包含于和非包含于〔 —关于Peirce的“—二、包含〔inclusive〕意义下的逻辑加〔符号为“+〔超文本阅读注释：要在这一符号右下方加一逗号〕〞，有时直接用“+〞〕的使用。Peirce这样定义逻辑加：1、A—2、B—3、假设A—四、其它符号。 以下我们将通过定义或描绘的方法列出Peirce的另一些符号：逻辑等即等值“ = 〔超文本阅读注释：要在这一符号下方加一逗号〕〞，与算术上的等号相区别，但Peirce在很多时候，干脆把它写为“ = 〞，只是在逻辑上仍与符号“=〔超文本阅读注释：要在这一符号下方加一逗号〕〞含义一样。逻辑乘〔符号为“，〞〕定义为：1、A，B—2、A，B—3、假设C—“有〔what it is〕〞定义为：x—3以上所谈Peirce的些许理论，当然不