逻辑图表
采用二维记法对所考察对象的逻辑关系作非线形的同构表现
逻辑图表是采用二维记法对所考察对象的逻辑关系作非线形的同构表现。一般由点、线等组成,图表中的空间关系正好表示着相应的逻辑关系,而且根据约定性规则对于变换图表可以使得相应逻辑关系明显化。在逻辑学史上,逻辑图表最初大多作为课堂上启发性的教学工具,帮助学生以及研究者自身理解对象之间的逻辑关系。如著名的波菲利图就是为表示属种关系上概念的连续划分所采用的分支树图,属于典型的逻辑图表。著名的逻辑图表还有驴之桥、对当方阵、欧拉图、文恩图、存在图表等等。
弗雷格在《概念语言》中所运用的记法也可被看作是准逻辑图表。随着逻辑学家们对文恩图、存在图表的不断改进和各种拓展性研究,逻辑图表已大大超越了其仅仅作为教学一工具的意义界限。一些新改进的逻辑图表不仅能完美地表现命题逻辑,还能完全地表现一阶逻辑,甚至还有表现高阶逻辑和非经典逻辑的各种尝试。
参考资料
最新修订时间:2023-06-29 17:12
目录
概述
参考资料