节点文献
图式完全性理论初步
【作者】 刘新文；
【机构】 中国社会科学院哲学研究所；
【摘要】 <正>图式逻辑从20世纪90年代以来已经发展成为一个庞大的哲学逻辑领域,大量关于图形推理的逻辑系统不断出现。图式逻辑中大量深刻的见解得益于符号逻辑、特别是经典一阶逻辑,"一个图式逻辑旨在描述一个图式系统的句法、语义和证明论等内容"。图形是图式逻辑的句法对象,根据皮尔士对指号的三分法,图形是一种不同于符号(symbolic)指号的镜像(iconic)指号;因此,从另一方面来看,图式逻辑在句法上与符号逻辑的巨大差别又抵制了许多经典方法和技术直接应用到这一领域。由于句法的极大区别,符号逻辑和图式逻辑有着相当不同的完全性定理
- 【会议录名称】 2013·学术前沿论丛——中国梦：教育变革与人的素质提升（上）
- 【会议时间】2013-12-01
- 【分类号】B81