圖式邏輯

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