發(fā)布時間：2020-03-28 12:38

【摘要】：“存在”問題是本體論理論的核心議題,主要涉及兩類問題:一是“存在”是什么?“存在”是謂詞嗎?“存在”是個體的性質嗎?假如“存在”是個體的性質,是不是有一些個體缺乏這種性質?二是“到底什么東西存在?”在邏輯上矛盾的東西能否存在?這些都是邏輯哲學在“存在”問題上的研究內容。本文針對第一類問題中的“‘存在’是謂詞嗎?”展開論述,對國內外的研究成果進行梳理總結,歸納各派思想優(yōu)勢和不足,進而對其中的遺留問題困難提出試探性的解決方案。從分析哲學的發(fā)展史來看,邏輯學家和哲學家們在“何謂存在?”的問題上圍繞“存在”是不是個體的屬性以及“存在”是不是邏輯謂詞上給出了兩種回答:弗雷格、羅素從一階邏輯出發(fā),對“存在”是謂詞的觀點予以否定,認為“存在”不是邏輯謂詞,而是量詞;皮爾斯結合自然語言進行深入地分析,認為“存在”一詞在某些特殊情況下為個體增加了自身所不具有的的屬性,因此,“存在”是一種特殊的謂詞,自由邏輯則從非經典邏輯的技術視角直接把“存在”處理為一階邏輯謂詞。本文從“存在”問題的提出作為出發(fā)點,首先闡述“存在”問題的由來及爭議焦點、“存在”的謂詞地位的研究意義和研究現狀,并對相關核心概念做了澄清說明。第二章論述的是“‘存在’不是謂詞”的觀點,以對弗雷格、羅素和蒯因三大邏輯學家的分析為主,涉及弗雷格的命題函項理論、羅素摹狀詞理論及其理論優(yōu)勢和存在問題、蒯因的“‘存在’作為約束變項的值”的本體論承諾理論,還談及了日常語言學派摩爾、賴爾對“存在”問題的分析以及斯特勞森對羅素有關理論的批評。第三章對“‘存在’是謂詞”的觀點進行討論,闡述皮爾斯“‘存在’是跨界謂詞”的理論及該理論存在的問題;同時,對國內學者相關觀點進行分析,指出其論證中存在的缺陷和不足。另外,針對自由邏輯認為“存在”是一階謂詞的觀點及其自由邏輯的核心原理,探討了自由邏輯存在的若干問題。第四章針對各方觀點存在的缺陷予以評述。筆者最后認為,“‘存在’是謂詞”的觀點存在較大的缺陷,而以羅素摹狀詞理論為代表的“‘存在’不是謂詞”的觀點更加切實可行;通過對羅素解決方案進行優(yōu)化改進,明確命題函項中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 何自強;離散數學中與量詞有關的推理規(guī)則[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 彭君;領域軟件開發(fā)中體系結構元模型及模型轉換方法研究[D];吉林大學;2010年

相關碩士學位論文 前10條

1 劉松;“存在”的謂詞地位新探[D];華東師范大學;2018年

2 賈改琴;知道謂詞邏輯[D];西南師范大學;2005年

3 陳光穎;基于謂詞邏輯的需求追蹤方法研究[D];南京航空航天大學;2016年

4 馬玉濤;模態(tài)復合謂詞邏輯[D];清華大學;2009年

5 冀英偉;基于謂詞邏輯和包含集的分類規(guī)則約簡算法[D];太原科技大學;2009年

6 石鵬飛;信念非修正原型系統解釋器的設計與實現[D];大連海事大學;2017年

7 盧海;前謂詞經驗與一般性判斷的構造[D];西北師范大學;2011年

8 盧延鑫;邏輯學在計算機科學中的應用[D];上海社會科學院;2008年

9 王艷紅;計算機聯鎖軟件模擬自動測試系統的研究與實現[D];鐵道部科學研究院;2004年

10 車付翠;計算機科學中的邏輯應用研究[D];燕山大學;2011年

，

本文編號：2604458