从逻辑图到图示逻辑

• 作 者: 关晓溪
• 发表日期: 2009年期
• 关键词: 逻辑图 欧拉图 文恩图 皮尔士-文恩图 存在图 图示逻辑

逻辑学是一门较为抽象的研究理论的学科,为了使抽象的逻辑关系变得更加形象直观,更加容易理解,人们在很早的中世纪就发明了用圆或封闭曲线的方式来表示古典三段论。这就是逻辑图的雏形,经过漫长的发展变化,逻辑图经过了莱布尼茨、欧拉、文恩、汉密尔顿和皮尔士等人的应用和改变,分别产生了莱布尼茨图解、欧拉图、文恩图、汉密尔顿图和皮尔士图等等,从最初的对三段论的简单描述发展成了可以表达逻辑关系的图式。因为传统逻辑转变为现代逻辑的关键就是建立关系理论,所以说逻辑图经历了由传统逻辑转变成为现代逻辑的过程。本文按照时间的先后顺序从逻辑的最初形式和应用范围开始,来介绍几种逻辑图:欧拉图、文恩图、皮尔士文恩图及皮尔士存在图及其定义、特点、性质、用法,然后通过应用举例来对几种逻辑图的图形形成方式和形成规则、符号来进行对比。通过对几种逻辑图的相互之间共同点和差异的分析,从而得到逻辑图从简单到复杂,从低级到高级的发展过程。用对比的方法找到几种图的优点和缺点,和逻辑图发展进步的过程,最后产生图示逻辑,并简要介绍图示逻辑国内外研究成果和研究现状,并介绍了一种图示逻辑的方法,举例说明图示逻辑的特点和应用。本文不但总结了现有研究成果中的各种逻辑图的特点和应用,而且突破性的对几种比较重要的逻辑图进行了比较研究,还对图示逻辑的特点和应用进行了简单的介绍,并且举例说明了图示逻辑的具体应用方法,进一步推进了对图示逻辑的研究。