当前位置:主页 > 社科论文 > 逻辑论文 >

“存在”的谓词地位新探

发布时间:2020-03-28 12:38
【摘要】:“存在”问题是本体论理论的核心议题,主要涉及两类问题:一是“存在”是什么?“存在”是谓词吗?“存在”是个体的性质吗?假如“存在”是个体的性质,是不是有一些个体缺乏这种性质?二是“到底什么东西存在?”在逻辑上矛盾的东西能否存在?这些都是逻辑哲学在“存在”问题上的研究内容。本文针对第一类问题中的“‘存在’是谓词吗?”展开论述,对国内外的研究成果进行梳理总结,归纳各派思想优势和不足,进而对其中的遗留问题困难提出试探性的解决方案。从分析哲学的发展史来看,逻辑学家和哲学家们在“何谓存在?”的问题上围绕“存在”是不是个体的属性以及“存在”是不是逻辑谓词上给出了两种回答:弗雷格、罗素从一阶逻辑出发,对“存在”是谓词的观点予以否定,认为“存在”不是逻辑谓词,而是量词;皮尔斯结合自然语言进行深入地分析,认为“存在”一词在某些特殊情况下为个体增加了自身所不具有的的属性,因此,“存在”是一种特殊的谓词,自由逻辑则从非经典逻辑的技术视角直接把“存在”处理为一阶逻辑谓词。本文从“存在”问题的提出作为出发点,首先阐述“存在”问题的由来及争议焦点、“存在”的谓词地位的研究意义和研究现状,并对相关核心概念做了澄清说明。第二章论述的是“‘存在’不是谓词”的观点,以对弗雷格、罗素和蒯因三大逻辑学家的分析为主,涉及弗雷格的命题函项理论、罗素摹状词理论及其理论优势和存在问题、蒯因的“‘存在’作为约束变项的值”的本体论承诺理论,还谈及了日常语言学派摩尔、赖尔对“存在”问题的分析以及斯特劳森对罗素有关理论的批评。第三章对“‘存在’是谓词”的观点进行讨论,阐述皮尔斯“‘存在’是跨界谓词”的理论及该理论存在的问题;同时,对国内学者相关观点进行分析,指出其论证中存在的缺陷和不足。另外,针对自由逻辑认为“存在”是一阶谓词的观点及其自由逻辑的核心原理,探讨了自由逻辑存在的若干问题。第四章针对各方观点存在的缺陷予以评述。笔者最后认为,“‘存在’是谓词”的观点存在较大的缺陷,而以罗素摹状词理论为代表的“‘存在’不是谓词”的观点更加切实可行;通过对罗素解决方案进行优化改进,明确命题函项中a存在于w中并指定w的具体取值范围,使其中的遗留问题得以很好解决。
【学位授予单位】:华东师范大学
【学位级别】:硕士
【学位授予年份】:2018
【分类号】:B815

【相似文献】

相关期刊论文 前10条

1 何庸;;也谈定罪三段论[J];逻辑与语言学习;1987年03期

2 樊明亚;;直言逻辑与谓词逻辑的对比研究[J];上饶师专学报(哲学社会科学版);1989年06期

3 陈慕泽;;自然语言的符号化(下)[J];逻辑与语言学习;1989年02期

4 文斌;甘健侯;夏幼明;徐天任;;扩展描述罗辑ALC~+到谓词逻辑的转换研究初探[J];云南大学学报(自然科学版);2006年S2期

5 赵卯生;对谓词逻辑在人工智能科学中应用的分析[J];山西高等学校社会科学学报;2001年12期

6 张胜礼;潘正华;;中介谓词逻辑一种改进的语义解释及λ-归结[J];计算机工程与应用;2011年22期

7 张改荣;论谓词逻辑推理中的量词加免法则[J];工科数学;1995年03期

8 陈理荣;格型模糊谓词逻辑与推理[J];重庆邮电学院学报;1995年01期

9 陈忠平;;否定的逻辑语义解释[J];四川教育学院学报;2012年06期

10 何自强;离散数学中与量词有关的推理规则[J];北京航空航天大学学报;2000年04期

相关会议论文 前3条

1 陈其楼;潘正华;;谓词逻辑中有关函数及其部分性质的形式描述[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

2 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

3 冯棉;;相干逻辑与蕴涵怪论[A];2005年逻辑研究专辑[C];2005年

相关博士学位论文 前2条

1 陈书义;面向融合的移动通信网络安全关键技术研究[D];东北大学;2009年

2 彭君;领域软件开发中体系结构元模型及模型转换方法研究[D];吉林大学;2010年

相关硕士学位论文 前10条

1 刘松;“存在”的谓词地位新探[D];华东师范大学;2018年

2 贾改琴;知道谓词逻辑[D];西南师范大学;2005年

3 陈光颖;基于谓词逻辑的需求追踪方法研究[D];南京航空航天大学;2016年

4 马玉涛;模态复合谓词逻辑[D];清华大学;2009年

5 冀英伟;基于谓词逻辑和包含集的分类规则约简算法[D];太原科技大学;2009年

6 石鹏飞;信念非修正原型系统解释器的设计与实现[D];大连海事大学;2017年

7 卢海;前谓词经验与一般性判断的构造[D];西北师范大学;2011年

8 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年

9 王艳红;计算机联锁软件模拟自动测试系统的研究与实现[D];铁道部科学研究院;2004年

10 车付翠;计算机科学中的逻辑应用研究[D];燕山大学;2011年



本文编号:2604458

资料下载
论文发表

本文链接:https://www.wllwen.com/shekelunwen/ljx/2604458.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户2bf9c***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com