圖式邏輯

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

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