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

Peirce*逻辑代数中的几个符号及其它 Peiirce*逻辑代数中的几个个符号及其它作者：张留华1?? ????现代逻辑常被人人们追溯到她的奠基人Freege?(Lebniz是先先驱者的地位)；接着谈现代代逻辑，人们会自然地找到其其身后的Peano、Russsell、Whiteheead、Wittgensttein、Carnap(维维也纳学派时期)、Quinne等人，如此就认为是勾勒勒出了现代逻辑的脉络。这一一看法多年来几乎是毫无异议议的。但随着逻辑科学尤其是是现代逻辑的不断发展，有潜潜心思考的研究者（Fiscch、Zeman、Hintttika等）发现了那多年年来一直被忽视但却蕴藏在现现代逻辑诞生之初的分歧，认认为分歧之中与权威相对的另另一面应该Booole开始经由Peircce、Schr?der直至至后期Carnap、Tarrski、Skolem等人人维持的一条路线，它可看作作是对逻辑基础研究的另一途途径或方法（approacch）。著名Peirce研研究学者Ｍ.Ｈ.Fischh一语道出这一分歧的实际情情形：“但Boole-Peeirce-Schr?deer?(在下文中我们简写为为ＢＰＳ)路线不是被Freege-Peano-Russsell-Whiteheead?(在下文我们简写为为ＦＰＲ)路线取代了吗？不不；它只是被掩盖了。”? Peirce（1839----1914）是位极其重重要的人物，这倒不仅是因为为他天才般的思维和对哲学和和逻辑史上后来工作者的实际际影响（美国本土哲学家Jaames、Dewey、Meead、Lewis等无不受受其影响，甚至欧洲大陆的等等人的思想也多直接源于Peeirce），也不仅是因为为他涉足领域的广泛（除哲学学和逻辑学之外，还有数学、、天文学、物理学、语言学、、化学、大地测量、、现象学学等等）；而主要是因为他在在现代逻辑理论史上的诸多实实质性的贡献。我们已经很难难统计他敏锐的洞察力到底涉涉及到多少逻辑贡献，但根据据迄今为Peirce学者者的研究成果，以下的领域是是当然的和主要的：形式逻辑辑（主要是对传统逻辑的改进进）、逻辑代数、关系逻辑、、命题逻辑、谓词逻辑、三值值逻辑、模态逻辑、语言逻辑辑、逻辑哲学、归纳逻辑以及及逻辑史研究。? Peirce早期的逻辑研研究（从1865年到约18885年）主要集中于逻辑代代数。在当时，布尔逻辑刚创创立不久，布尔的追随者很多多，著名的有Venn、Scchr?der、De?Moorgon等人，他们之间的的研究有相互启发与借鉴之处处（有关贡献的纷争，可参看看Kneale的《逻辑学的的发展》），但主要还是相互互独立的。Peirce就是是其中一位极具独立性又最有有创新的突出人物。身为著名名数学家Benjamin??Peirce（美国当时科科学界的一权威）的儿子，PPeirce本人也是一数学学家，他对于代数在逻辑中的的应用，得心应手，他甚至曾algebra?off?logic）。? 2? ????在Peiirce看来，现代逻辑的研研究实质上就是代数到逻辑的的一场“类推(analoggy)”，这种“类推”的前前提，首先就是对代数中的符符号的选择。不同的逻辑代数数研究者都有着自己的选择，，它们或者是从代数中原封不不动地引入，或者是对代数中中的相关符号做出逻辑意义上上的改进。我们这里从Peiirce逻辑代数研究中所运运用的诸多符号中选取以下主主要的几个，其中有的是Peeirce本人独创性地提出出，有的是Peirce同其其他人同时提出和使用，有的的是BPS传统所特有的：?? inclusion?inn?或?is或as?smaall?as）符号“—””（它是“≤”的一种方便的的写法）的引入。这是最重要要的一点，它被Peircee本人多次提到，也被后来的的研究者所普遍注意。但Peeirce本人称，这一符号号是由他和同时引入的。Peeirce这样定义“—””：? 1、A?——?A，无论A是什么； 2?、若A?—?B，且B?—?C，则则A?—?C。 Peirce看到包含于符符号具有逻辑上的优点：首先先，原来布尔的符号只能表达达，物的某种描述不存在，而而不能说某物不存在；而使用用包含于和非包含于（（超文本阅读注释：要在这这一符号上方加一横线）），，“Griffin(一种怪怪兽)　喷火”意思就就是，“不存在不喷火的Grriffin”；同样“动物物（超文本阅读注释：：要在这一符号上方加一横线线）水生的”意思为，“存在在不是水生的动物”。Peiirce这种特别的解释很容容易使我们想起前些年一直讨””的解释也使我们联想到现在在逻辑研究中广泛运用的实质质蕴涵符号“→”（其实，关关于实质蕴涵，Peircee有更清楚的表达：从“x——推到“是y（超文文本阅读注释：要在这一字母母上方加一横