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

发布时间：2018-04-10 05:40

本文选题：存在图　切入点：逻辑图　出处：《逻辑学研究》2012年04期

【摘要】：存在图是继欧拉图、文恩图和皮尔士一文恩图之后的又一种逻辑图。逻辑图是指用于表示命题和推理的二维图形。然而由于存在图之前的逻辑图在表达能力上的缺陷以及现代数理逻辑的成功,长期以来存在图并未引起人们的关注。直到近来计算机表示的图示推理发展起来以后人们才认识到它的重要性,并把它作为一种图式逻辑纳入了哲学逻辑的范畴。人们对存在图逻辑地位的认可经历了一个复杂的过程。存在图在被认可道路上遇到了逻辑系统身份、推理效率和阐述的精确性三个问题,随着这三个问题的解决,人们逐渐认可了存在图的逻辑地位。
[Abstract]:Existence graph is another logic graph after Eulerian graph, Venn graph and Pierce's Wenn graph.Logic graph is a two-dimensional graph used to express propositions and reasoning.However, due to the defects in the expressive ability of the logics before the existential graph and the success of modern mathematical logic, the existence of the graph has not attracted much attention for a long time.It is not until recently that the graphical reasoning of computer representation has been developed that people realize its importance and bring it into the category of philosophical logic as a kind of schematic logic.The recognition of logical status of existential graph has gone through a complicated process.Existential graph has encountered three problems: identity of logical system, reasoning efficiency and accuracy of elaboration on the road of recognition. With the solution of these three problems, people have gradually recognized the logical status of existential graph.
【作者单位】：南开大学哲学院;
【分类号】：B812

【参考文献】