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