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