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

逻辑学研究 2012 年第4 期，48–59 文章编号：1674-3202(2012)-04-0048-12 存在图的逻辑地位 ——批评与回应 聂海军 王左立 南开大学哲学院 南开大学哲学院 etr465@163.com wangzl@ 摘 要：存在图是继欧拉图、文恩图和皮尔士—文恩图之后的又一种逻辑图。逻辑图 是指用于表示命题和推理的二维图形。然而由于存在图之前的逻辑图在表达能力上的 缺陷以及现代数理逻辑的成功，长期以来存在图并未引起人们的关注。直到近来计算 机表示的图示推理发展起来以后人们才认识到它的重要性，并把它作为一种图式逻辑 纳入了哲学逻辑的范畴。人们对存在图逻辑地位的认可经历了一个复杂的过程。存在 图在被认可道路上遇到了逻辑系统身份、推理效率和阐述的精确性三个问题，随着这 三个问题的解决，人们逐渐认可了存在图的逻辑地位。 关键词：存在图；逻辑图；逻辑系统；读法算法；图形表示 中图分类号：