圖式邏輯

　　《圖式邏輯》考察的對(duì)象是歷史上著名的邏輯圖及其邏輯理論。邏輯圖首先是為理解亞里士多德的直言命題和三段論推理而發(fā)展起來(lái)的，其開(kāi)端一般追溯到歐拉圖。圍繞著圖形的可表達(dá)性問(wèn)題，在長(zhǎng)期的歷史發(fā)展過(guò)程中，經(jīng)過(guò)歐拉、文恩和皮爾士等人的努力，邏輯圖從最初的設(shè)想變成了現(xiàn)實(shí)，從最初的簡(jiǎn)單表述三段論的工具發(fā)展成了關(guān)系邏輯和模態(tài)邏輯等的圖式表示。皮爾士的革命性思想不僅克服了邏輯圖的重大缺陷，而且為邏輯圖打開(kāi)了一個(gè)新的天地：存在圖是在現(xiàn)代意義上可靠的和完全的圖式邏輯系統(tǒng)。當(dāng)代的邏輯學(xué)家們更是在現(xiàn)代邏輯的基礎(chǔ)上、運(yùn)用現(xiàn)代邏輯的工具和技術(shù)對(duì)邏輯圖進(jìn)行形式化研究，建立了一大批形式的圖形推理系統(tǒng)，并運(yùn)用到哲學(xué)、計(jì)算機(jī)科學(xué)和人工智能等領(lǐng)域，深刻地改變了邏輯圖的發(fā)展，在此基礎(chǔ)上提出的“圖式邏輯”的新概念更是為哲學(xué)邏輯增添了一個(gè)新的分支。

　　劉新文，男，哲學(xué)博士，江西蓮花人，從1999年開(kāi)始師從我國(guó)著名邏輯學(xué)家張清宇研究員研習(xí)現(xiàn)代邏輯，現(xiàn)為中國(guó)社會(huì)科學(xué)院哲學(xué)研究所副研究員、中國(guó)邏輯學(xué)會(huì)副秘書(shū)長(zhǎng)，主要研究興趣為符號(hào)邏輯，著有《謝弗函數(shù)研究》，合作出版譯著《模態(tài)對(duì)應(yīng)理論》、《邏輯、語(yǔ)言和認(rèn)知》，在《哲學(xué)研究》、《哲學(xué)動(dòng)態(tài)》、《世界哲學(xué)》和《邏輯學(xué)研究》等刊物上發(fā)表專(zhuān)業(yè)論文多篇。