作者：程橙 字数：11.1万字 出版社：中国社会科学出版社

本书着重研究和改进存在图逻辑（Existential Graph Logic，简称EGL），考察其哲学基础以及在逻辑博弈中的应用。本研究有利于提高EGL自身技术的严格性，有利于学术界科学合理地把握EGL系统，进而认识皮尔士（C.S.Peirce）实用主义的实质特征等问题。EGL是一种图式逻辑，它反映了视知觉与形象思维、形象推理之间的关系，是皮尔士的逻辑学思想与哲学思想的总结性成果。存在图之所以被称为存在图，是因为它可以讨论存在命题，即它可以讨论虚拟之物或假设之物。早期 EGL受到莱布尼茨的“普遍语言”“理性演算”两个理想的启发，成为了一种以最一般的范畴为基础，通过处理图式标志（iconic sign）来展示逻辑推导过程的演绎逻辑体系。但是，从逻辑主义角度来实现莱布尼茨理想的弗雷格、罗素等人显然更加成功，这导致了皮尔士的哲学思想和EGL被排挤到学术主流之外。在当代，巴维斯（J.Barwise）、盖贝（D.M.Gabbay）和申顺珠（S.J.Shin）等人呼吁重新定义逻辑系统，目的就是为了将图式逻辑纳入到哲学逻辑的范畴中来，在逻辑学中为图式逻辑开辟一席之地。

展开