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

Peirce*逻辑代数中的几个符号及其它 Peirce*逻辑代数中的几个符号及其它 1 现代逻辑常被人们追溯到她的奠基人Frege ；接着谈现代逻辑，人们会自然地找到其身后的Peano、Russell、Whitehead、Wittgenstein、Carnap、Quine等人，如此就认为是勾勒出了现代逻辑的脉络。这一看法多年来几乎是毫无异议的。但随着逻辑科学尤其是现代逻辑的不断发展，有潜心思考的研究者发现了那多年来一直被忽视但却蕴藏在现代逻辑诞生之初的分歧，认为分歧之中与权威相对的另一面应该值得重新或深入的研究，这另一面就是由Boole开始经由Peirce、Schr直至后期Carnap、Tarski、Skolem等人维持的一条路线，它可看作是对逻辑基础研究的另一途径或方法。著名Peirce研究学者Ｍ.Ｈ.Fisch一语道出这一分歧的实际情形：“但Boole-Peirce-Schr路线不是被Frege-Peano-Russell-Whitehead 路线取代了吗？不；它只是被掩盖了。” 在ＢＰＳ传统中，Peirce是位极其重要的人物，这倒不仅是因为他天才般的思维和对哲学和逻辑史上后来工作者的实际影响，也不仅是因为他涉足领域的广泛；而主要是因为他在现代逻辑理论史上的诸多实质性的贡献