Peirce-逻辑代数中的几个符号及其它逻辑学论文.pdfVIP

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 ）是位极其重要的人物，这倒不仅是因为他天才 般的思维和对哲学和逻辑史上后来工作者的实际影响（美国本土哲学家 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 本人独创性地提出，