导读:本文包含了存在图论文开题报告文献综述及选题提纲参考文献，主要关键词:弗雷格难题,存在图逻辑,模态逻辑
存在图论文文献综述
杨武金,程橙[1]（2018）在《从带色标的存在图看弗雷格难题的解题思路》一文中研究指出弗雷格难题的解答方案基本上都遵循了这样一条思路:或以某种方式,或引入某些术语来解释A=A和A=B在认知价值上的区别。从带色标的存在图看弗雷格难题的解题思路,首先,要站在反涵义论的立场上将存在图的同一线作为类似于克里普克的专名,即同一线没有涵义。其次,借用法恩在协同模式理论中引入的"出现"的概念,规定等号连接的是出现,并且给每次出现命名。再次,引入色标这一图式装置,将色标作为模态算子。最后,将"晨星和暮星"问题作为一个应用案例,阐述带色标的存在图是如何为弗雷格难题提供了一个新的解题视角。(本文来源于《河北大学学报(哲学社会科学版)》期刊2018年06期）
程橙[2]（2018）在《皮尔士存在图直观性辩护》一文中研究指出对语句和命题的研究在语义学理论,关系逻辑和形而上学领域中占据重要位置。断言页(a sheet of assertion)是皮尔士所创立的存在图系统的基本单位,在作用上类似于弗雷格的语句(sentence)和罗素的命题(proposition),因此对断言页的研究也在语义学理论,关系逻辑以及形而上学领域中占据重要地位。存在图系统创立于近代,完善于当代,上承欧拉圈和文恩图等经典,下接蜘蛛图和概念图等前沿,是当代图式逻辑研究领域内其他分支的灵感源泉。近年来,存在图研究面临阻碍,其发展的必要性遭受质疑。因为,图式逻辑的优势就是证明的直观性,但是,到了存在图系统的Beta(等价于一阶逻辑)和Gamma(等价于命题模态逻辑)部分,为了增强其表达能力而介入了越来越多的数理逻辑的方法,这就损害了存在图的直观性。(本文来源于《东岳论丛》期刊2018年03期）
阿赫提-维科·皮尔塔瑞南,刘新文[3]（2014）在《存在图:逻辑和认知》一文中研究指出作为"思维的动画",存在图是查尔斯·皮尔士在现代符号逻辑草创时期所建立的图式逻辑。20世纪初期,现代观念的符号逻辑出现之时,存在图在学界的研究有着完全相反的立场,其传播过程更是相当微妙。存在图的哲学方面对当前哲学研究具有重要的意义和影响,如镜像逻辑和图像之间的关系、逻辑常项的意义问题、镜像逻辑的认知经济性、弗雷格-罗素论题的失败以及思维语言假设的失败等。(本文来源于《哲学分析》期刊2014年01期）
聂海军[4]（2013）在《逻辑、图与存在—皮尔斯存在图的叁种解读》一文中研究指出皮尔斯存在图是继欧拉图、文恩图、皮尔斯——文恩图之后的又一种逻辑图,是一种典型的图式逻辑。图式逻辑是哲学逻辑的一个新的分支。它是逻辑图从古典发展到现代的最终形态,是逻辑图的形式化。存在图是研究图式逻辑一般理论不可绕开的个案之一。存在图是皮尔斯于1896年发明的图式逻辑系统。皮尔斯之所以用“存在”一词来命名存在图是因为它是用来描述“存在关系”的逻辑系统。它由一个页面和画在该页面上的一组二维图构成,通过在该页面上添加或擦去图形内容来进行推理,并且分为Alpha,Beta和Gamma叁个部分。存在图的Alpha部分是整个系统的基础,Beta是在Alpha基础上建立的,Gamma是Beta基础上建立,并且Alpha和Beta可以分别翻译为经典命题逻辑和一阶谓词逻辑,未完成的Gamma与模态逻辑和高阶逻辑相对应。由于皮尔斯的逻辑观与现代大多数逻辑学家的逻辑观都有很大的不同。在皮尔斯看来,逻辑是一门通视的实证科学,而且是与多种类型的指号相关的规范科学,而在现代逻辑学家心目中用符号表示的现代数理逻辑才是逻辑的典范。因此存在图作为一个逻辑系统与现代逻辑学家心目中的逻辑系统有着很大的不同,从而逻辑学家们对存在图有着多种不同的理解。本文通过梳理和分析皮尔斯对存在图的原初思想及逻辑学家从不同的视角对存在图的解读,尝试勾勒存在图的整体轮廓,进而从总体上把握存在图。首先,通过梳理皮尔斯存在图的思想来源、发明过程和基本内容,我们得出在皮尔斯的心目中存在图是严密、简单和自然的逻辑系统,并且是皮尔斯证明实用主义理想的逻辑工具。其次,通过梳理不同视角下逻辑学家对存在图的理解,我们展现出不同视角下存在图的理论形态和特点。符号逻辑视角下的存在图是一个抽象的数学结构,页面上具体的图形是这个数学结构的图形副本。总体来说,该视角下的存在图是数理逻辑的图式表示,整个系统是一个形式的、图式的数理逻辑系统。该视角下的存在图是皮尔斯存在图的形式化,它的特点是具有很高的严密性。在多模态视角下,根据皮尔斯指号学中的“叁分法”,存在图是一个由符号指号和图标指号共同构成的异质系统。该视角下的存在图中,图标与符号处于同等重要的地位,所以图形的可视性质可以被充分地发挥出来,从而我们可以得到存在图的多样读法算法及相应的新的推理规则。该视角下存在图的特点是演算效率很高。实用主义证明视角下的存在图分别被看成是操作指号的实验、博弈者的画图游戏和解释指号的过程。分析实用主义证明过程可知,对存在图的这叁种解释是实用主义证明的必要前提,又因为皮尔斯的实用主义是实在论的,所以该视角下的存在图与实在有一定的关联。最后,通过对叁种视角下的存在图进行比较,我们发现符号逻辑视角下的存在图严密性最高；多模态视角下的存在图演算效率最高；实用主义证明视角下的存在图与实在的关联最密切。分别将叁种视角下的存在图与皮尔斯的原初思想作比较可知,逻辑学家对存在图的解读在实质上都没有偏离皮尔斯。但是不同视角下存在图的特点却相互矛盾、无法兼容,所以我们实际上没有能够把握到总体上的存在图,只能说存在图具有“叁相”性。因此还需对存在图作进一步研究。(本文来源于《南开大学》期刊2013-05-01）
聂海军,王左立[5]（2012）在《存在图的逻辑地位——批评与回应》一文中研究指出存在图是继欧拉图、文恩图和皮尔士一文恩图之后的又一种逻辑图。逻辑图是指用于表示命题和推理的二维图形。然而由于存在图之前的逻辑图在表达能力上的缺陷以及现代数理逻辑的成功,长期以来存在图并未引起人们的关注。直到近来计算机表示的图示推理发展起来以后人们才认识到它的重要性,并把它作为一种图式逻辑纳入了哲学逻辑的范畴。人们对存在图逻辑地位的认可经历了一个复杂的过程。存在图在被认可道路上遇到了逻辑系统身份、推理效率和阐述的精确性叁个问题,随着这叁个问题的解决,人们逐渐认可了存在图的逻辑地位。(本文来源于《逻辑学研究》期刊2012年04期）
刘新文[6]（2011）在《皮尔士存在图的形式推演系统》一文中研究指出现代逻辑的奠基者之一皮尔士在1896年创造了存在图系统,存在图由Alpha图、Beta图和Gamma图叁个部分组成,分别对应于古典命题逻辑、谓词逻辑、模态逻辑与高阶逻辑。首先介绍皮尔士的Alpha图,针对它的非组合性提出一个递归定义来刻画一部分皮尔士原来的Alpha图,并给出这部分Alpha图的一个形式推演系统。(本文来源于《毕节学院学报》期刊2011年05期）
贺川生[7]（2008）在《代词回指的一种皮尔士存在图解释》一文中研究指出本文尝试用皮尔士存在图提出一种分析自然语言回指的新思路,主要是针对跨句回指和驴子句回指。在皮尔士存在图的基础上,文章提出叁个皮尔士定理,作为自然语言辖域的普遍原则,这叁个定理将被证明能够为代词回指提出一种直观的和具有拓扑特征的分析。这种分析和其他理论相比具有以下优点。一是简单直观,不需要复杂的规则和公式,仍然保持一阶逻(本文来源于《西方语言哲学国际研讨会暨中西语言哲学研究会成立大会论文摘要集》期刊2008-01-11）
刘新文[8]（2006）在《皮尔士存在图研究》一文中研究指出存在图是现代逻辑草创时期皮尔士在其关系演算和谓词逻辑的基础上发展起来的、表示逻辑句子和推理的图式系统,是皮尔士用来证明其形而上学的工具,它的重要性直到计算机表示的图示推理得到发展后才得以确认。本文首先以经典逻辑为背景研究存在图的各个部分,然后讨论存在图在当代许多学科领域的回应和应用以及它在逻辑史上的地位,最后考察存在图对于皮尔士形而上学的意义。(本文来源于《世界哲学》期刊2006年01期）
存在图论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
对语句和命题的研究在语义学理论,关系逻辑和形而上学领域中占据重要位置。断言页(a sheet of assertion)是皮尔士所创立的存在图系统的基本单位,在作用上类似于弗雷格的语句(sentence)和罗素的命题(proposition),因此对断言页的研究也在语义学理论,关系逻辑以及形而上学领域中占据重要地位。存在图系统创立于近代,完善于当代,上承欧拉圈和文恩图等经典,下接蜘蛛图和概念图等前沿,是当代图式逻辑研究领域内其他分支的灵感源泉。近年来,存在图研究面临阻碍,其发展的必要性遭受质疑。因为,图式逻辑的优势就是证明的直观性,但是,到了存在图系统的Beta(等价于一阶逻辑)和Gamma(等价于命题模态逻辑)部分,为了增强其表达能力而介入了越来越多的数理逻辑的方法,这就损害了存在图的直观性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
存在图论文参考文献
[1].杨武金,程橙.从带色标的存在图看弗雷格难题的解题思路[J].河北大学学报(哲学社会科学版).2018
[2].程橙.皮尔士存在图直观性辩护[J].东岳论丛.2018
[3].阿赫提-维科·皮尔塔瑞南,刘新文.存在图:逻辑和认知[J].哲学分析.2014
[4].聂海军.逻辑、图与存在—皮尔斯存在图的叁种解读[D].南开大学.2013
[5].聂海军,王左立.存在图的逻辑地位——批评与回应[J].逻辑学研究.2012
[6].刘新文.皮尔士存在图的形式推演系统[J].毕节学院学报.2011
[7].贺川生.代词回指的一种皮尔士存在图解释[C].西方语言哲学国际研讨会暨中西语言哲学研究会成立大会论文摘要集.2008
[8].刘新文.皮尔士存在图研究[J].世界哲学.2006