皮尔士存在图直观性辩护

对语句和命题的研究在语义学理论,关系逻辑和形而上学领域中占据重要位置。断言页(a sheet of assertion)是皮尔士所创立的存在图系统的基本单位,在作用上类似于弗雷格的语句(sentence)和罗素的命题(proposition),因此对断言页的研究也在语义学理论,关系逻辑以及形而上学领域中占据重要地位。存在图系统创立于近代,完善于当代,上承欧拉圈和文恩图等经典,下接蜘蛛图和概念图等前沿,是当代图式逻辑研究领域内其他分支的灵感源泉。近年来,存在图研究面临阻碍,其发展的必要性遭受质疑。因为,图式逻辑的优势就是证明的直观性,但是,到了存在图系统的Beta(等价于一阶逻辑)和Gamma(等价于命题模态逻辑)部分,为了增强其表达能力而介入了越来越多的数理逻辑的方法,这就损害了存在图的直观性。