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

再次，Peirce对待形式化的思想无疑包含了模型论的全部要义。Peirce有着自己的逻辑代数等演算，但他更注重它们的解释；他相信，真正重要的不是什么形式系统，而是潜在的所表达的实在（realities），我们可自由地根据不同场合选择我们不同的系统。

最后，Peirce得益于早期在对逻辑代数研究中形成的符号逻辑系统目的即逻辑理论研究的思想，使他没有局限于使用代数的符号，而又采取了图表（graph）符号，进而形成了他著名的存在判断图表系统α、β、γ，并最终达到了“大逻辑”（a broad sense of logic）--“符号（sign）”或“象标（iconicity）”的理论的认识。其存在判断图表（existential graphs）理论，在近年来基于计算机的图表推理表示法发展之后，被应用于人工智能领域，甚至IBM的一研究者John Sowa，奠基于这一理论又发展出了一概念图表（conceptual graphs）。

    上述Peirce的一系列观点，在今天处于逻辑科学前沿的Hintikka、Ｊ.Ｖ.Ｈeijenoort等人那里得到了热烈呼应，他们把Peirce称为语言的模型论观点的一标准成员（integral member）来对待，并把他与Husserl并提，用来对抗由Frege到Heidegger的“作为语言的逻辑（logic as language）”的传统（其核心观点是，现实世界是语言的唯一解释，不存在多数可能的世界，从而否定模态逻辑的合法性，否认真理的可判定性或主张“真”的无法言说（ineffable））。

主 要 参 考 文 献

Peirce,Charles Sanders  Collected Papers Of Charles Sanders Peirce  edited by Charles Hartshorne and Paul Weiss  The Belknap Press Of Harvard University Press ,1931-1935.

Peirce,Charles Sandes  Writings of CHARLES S. PEIRCE ( A Chronological Edition )  edited by Edward C. Moore ,Indiana University Press 1984.

Peirce,Charles Sanders  logic , symbolic logic 词条 Dictionary of Philosophy and Psychology edited by James Mark Baidwin, The Macmillan Company, 1925.

Peirce,Charles Sanders  Philosophical Writings of Peirce  selected and edited by Justus Buchler, Dover Publications,Inc.,1955.

Hintikka,Jakko Lingua Universalis vs. Calculus Ratiocinator  Kluwer Academic Publishers,1997.