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

Peirce*逻辑代数中的几个符号及其它 逻辑学论文 现代逻辑常被人们追溯到她的奠基人Frege（Lebniz是 先驱者的地位）；接着谈现代逻辑，人们会自然地找到其身 后的 Peano 、 Russell Whitehead Wittgenstein Carnap（维也纳学派时期）、Quine等人，如此就认为是勾勒 出了现代逻辑的脉络。这一看法多年来几乎是毫无异议的。 但随着逻辑科学尤其是现代逻辑的不断发展，有潜心思考 的研究者（Fisch、Z eman、Hinttika等）发现了那多年来 一直被忽视但却蕴藏在现代逻辑诞生之初的分歧，认为分 歧之中与权威相对的另一面应该值得重新或深入的研宄， 这另一面就是由Boole开始经由Peirce、Schr ouml;der直 至后期Carnap、Tarski、Skolem等人维持的一条路线，它 可看作是对逻辑基础研究的另一途径或方法（app roach）。 著名Pe irce研宄学者M. H.Fisch —语道出这一分歧的实 际情形：“但Boole-Peirc e-Schrouml ;der （在下文中我们简 写为 B P S ）路线不是被 Frege-Peano -Russel 1-Wh itehead（在下文我们简写为FPR）路线取代了吗？不；它 只是被掩盖了。” 在BPS传统中，Peirce （1839—1914 ）是位极其重