存在图的逻辑地位——批评与回应  

The Logic Status of Existential Graphs:Criticisms and Responses

作　　者：聂海军[1] 王左立[1] 

机构地区：[1]南开大学哲学院

出　　处：《逻辑学研究》2012年第4期49-60,共12页Studies in Logic

摘　　要：存在图是继欧拉图、文恩图和皮尔士一文恩图之后的又一种逻辑图。逻辑图是指用于表示命题和推理的二维图形。然而由于存在图之前的逻辑图在表达能力上的缺陷以及现代数理逻辑的成功,长期以来存在图并未引起人们的关注。直到近来计算机表示的图示推理发展起来以后人们才认识到它的重要性,并把它作为一种图式逻辑纳入了哲学逻辑的范畴。人们对存在图逻辑地位的认可经历了一个复杂的过程。存在图在被认可道路上遇到了逻辑系统身份、推理效率和阐述的精确性三个问题,随着这三个问题的解决,人们逐渐认可了存在图的逻辑地位。The system of existential graphs is a kind of system of logic diagrams, after Euler diagrams, Venn diagrams, and Peirce-Venn diagrams. The system of logic diagrams is a kind of two-dimensional graphical system which is used to describe proposition and reasoning. However, only fewer people has long been interested in them, because logic diagrams before existential graphs have lots of limitations in their expressive power and modem mathematical logic is successful in description of valid reasoning. People have realized its importance since the diagrammatical reasoning which is expressed by com- puter has been developed. And The system of existential graphs is regarded as a kind of Diagrammatical Logic which is a branch of Philosophical Logic. People recognized the logic status of existential graphs has undergone a very complex process. There are three problems in the process of recognizing existential graphs including identity of logic system, reasoning efficiency and preciseness in the elaboration. The logic status of ex-istential graphs has been gradually recognized after the three problems had been solved.

关 键 词：存在图 逻辑图 逻辑系统 读法算法 图形表示 

分 类 号：B812[哲学宗教—逻辑学]