本文關(guān)鍵詞：論經(jīng)典邏輯的局部修正——以弗協(xié)調(diào)邏輯為例

  更多相關(guān)文章： 經(jīng)典邏輯 局部修正 弗協(xié)調(diào)邏輯 關(guān)系

【摘要】：為了適應(yīng)新的需要,經(jīng)典邏輯應(yīng)在原有系統(tǒng)的基礎(chǔ)上,建立新系統(tǒng),提出新型的語義解釋。弗協(xié)調(diào)邏輯可以對經(jīng)典邏輯進(jìn)行進(jìn)一步的修正,但這種修正是局部的,并非根本性的。經(jīng)典邏輯與弗協(xié)調(diào)邏輯是"前身"與"延伸"的關(guān)系,弗協(xié)調(diào)邏輯包含了經(jīng)典邏輯,可以取代經(jīng)典邏輯。
【作者單位】： 廣東工業(yè)大學(xué)文法學(xué)院;
【關(guān)鍵詞】： 經(jīng)典邏輯 局部修正 弗協(xié)調(diào)邏輯 關(guān)系
【基金】：教育部人文社會科學(xué)青年項目(10YJC72040002)
【分類號】：B81-06
【正文快照】： 以亞里士多德詞項邏輯與斯多葛學(xué)派命題邏輯為基礎(chǔ)的傳統(tǒng)邏輯一直占據(jù)統(tǒng)治地位,直到19世紀(jì)后半葉,德國數(shù)學(xué)家弗雷格在《概念文字》一書中表述了第一個具有現(xiàn)代形式的命題演算公理系統(tǒng),現(xiàn)代邏輯就此誕生。命題演算和謂詞演算構(gòu)成了經(jīng)典邏輯,也稱之為一階邏輯,它很快就取代了傳

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前7條

1 李秀敏;論亞相容邏輯中的“矛盾”——達(dá)科斯塔的亞相容邏輯思想述評[J];安徽大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2005年01期

2 張秉福;邏輯遞歸性及其哲學(xué)思考[J];南京航空航天大學(xué)學(xué)報(社會科學(xué)版);2005年01期

3 薛偉江;后現(xiàn)代主義哲學(xué)思維方式的特征——從自組織動力學(xué)的觀點看[J];社會科學(xué)輯刊;2004年03期

4 張秉福;邏輯遞歸性的哲學(xué)思考[J];信陽師范學(xué)院學(xué)報(哲學(xué)社會科學(xué)版);2004年05期

5 和寶珍;李牡瓊;;從內(nèi)涵的角度談專名[J];宜賓學(xué)院學(xué)報;2006年04期

6 楊武金;弗協(xié)調(diào)邏輯及其理論特征[J];中共南京市委黨校南京市行政學(xué)院學(xué)報;2004年02期

7 桂起權(quán),陳自立;解羅斯悖論之謎——規(guī)范邏輯的一個新公理系統(tǒng)RA簡述[J];中山大學(xué)學(xué)報(社會科學(xué)版);2003年S1期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 張池平;多傳感器信息融合方法及其在空間目標(biāo)識別中的應(yīng)用[D];哈爾濱工業(yè)大學(xué);2006年

2 龍小平;可能世界中的名稱和同一性[D];西南大學(xué);2007年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 伍曉敏;基于VSK-t邏輯的Agent形式化模型[D];云南師范大學(xué);2004年

2 琚喬月;法律專家系統(tǒng)的邏輯學(xué)探析[D];河南大學(xué);2005年

3 蔡家琴;論司法推理[D];河南大學(xué);2005年

4 丁永強(qiáng);規(guī)范邏輯的法律思考[D];河南大學(xué);2005年

5 張明娜;語義悖論消解研究[D];河北大學(xué);2006年

6 應(yīng)毅;次協(xié)調(diào)數(shù)據(jù)庫研究[D];南京航空航天大學(xué);2006年

7 章江花;基于BDI-VSK-T邏輯的Agent系統(tǒng)形式化模型的研究[D];云南師范大學(xué);2006年

8 郭向陽;現(xiàn)代專名指稱理論初探[D];河南大學(xué);2007年

9 陳慶芝;言語行為理論及其意義觀研究[D];華南師范大學(xué);2007年

10 李貞元;論達(dá)米特的反實在論意義理論[D];華南師范大學(xué);2007年

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 郭建萍;;殊途同歸的意義理論——邏輯視野中的戴維森與達(dá)米特意義理論[J];哲學(xué)動態(tài);2011年06期

2 羅翊重;;對哥德爾定理的辯證邏輯形式化解讀[J];昆明學(xué)院學(xué)報;2011年04期

3 趙鵬;姚從軍;;三值邏輯系統(tǒng)的分析與比較[J];畢節(jié)學(xué)院學(xué)報;2011年06期

4 丁春曉;張興芳;;模糊邏輯系統(tǒng)公理真度分析[J];模糊系統(tǒng)與數(shù)學(xué);2011年03期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 弓肇祥;季冠芳;;哲學(xué)邏輯的幾個理論問題[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

2 張金成;;變換經(jīng)典邏輯的時空——《數(shù)理辯證邏輯導(dǎo)論》讀后[A];1996年邏輯研究專輯[C];1996年

3 郭世銘;;多主體認(rèn)知邏輯系統(tǒng)(語法部分)[A];1998年邏輯研究專輯[C];1998年

4 蔡曙山;;學(xué)科交叉與現(xiàn)代邏輯的發(fā)展[A];小康社會：文化生態(tài)與全面發(fā)展——2003學(xué)術(shù)前沿論壇論文集[C];2004年

5 任曉明;崔清田;;邏輯多元論與邏輯在人文科學(xué)中的應(yīng)用研究——兼談《次協(xié)調(diào)邏輯與人工智能》[A];2003年邏輯研究專輯[C];2003年

6 張金成;;論系統(tǒng)DPA的基礎(chǔ)及辯證模擬[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

7 郭世銘;;二重命題邏輯系統(tǒng)■_4[A];1993年邏輯研究專輯[C];1993年

8 劉奮榮;;缺省邏輯如何研究非單調(diào)推理？[A];邏輯、語言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

9 蘇愉仁;賈春華;;弗協(xié)調(diào)邏輯與《金匱要略》“方證論治系統(tǒng)”[A];仲景醫(yī)學(xué)求真（續(xù)三）[C];2009年

10 陳小平;劉貴全;郭寶貴;;一個意圖后承的形式理論[A];2000年邏輯研究專輯[C];2000年

中國重要報紙全文數(shù)據(jù)庫 前5條

1 華南師范大學(xué)政治與行政學(xué)院 胡澤洪;哲學(xué)邏輯的發(fā)展趨勢及其對我們的啟示[N];光明日報;2008年

2 陳波;人工智能 當(dāng)代邏輯發(fā)展的動力[N];光明日報;2000年

3 陳波;邏輯學(xué)與理性精神[N];光明日報;2003年

4 沈躍春;繁榮和發(fā)展邏輯科學(xué)[N];安徽日報;2007年

5 中山大學(xué)邏輯與認(rèn)知研究所 熊明輝;邏輯與認(rèn)知[N];社會科學(xué)報;2002年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 王慶平;邏輯度量空間中的仿射變換和幾類特殊公式的性態(tài)研究及其應(yīng)用[D];陜西師范大學(xué);2012年

2 劉奮榮;非單調(diào)推理的邏輯研究[D];中國社會科學(xué)院研究生院;2001年

3 余俊偉;弗協(xié)調(diào)邏輯應(yīng)用于道義邏輯的研究[D];中國社會科學(xué)院研究生院;2001年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 盧延鑫;邏輯學(xué)在計算機(jī)科學(xué)中的應(yīng)用[D];上海社會科學(xué)院;2008年

2 聶成麗;奎因與模態(tài)邏輯的發(fā)展[D];蘇州大學(xué);2009年

3 周步晟;模態(tài)邏輯中事物模態(tài)引起的相關(guān)問題研究[D];蘇州大學(xué);2008年

4 文紅峰;論邏輯后承與邏輯真[D];湘潭大學(xué);2008年

5 郝旭東;次協(xié)調(diào)邏輯初探[D];河南大學(xué);2004年

6 李麗;模糊時序命題邏輯系統(tǒng)的語義[D];遼寧師范大學(xué);2005年

7 張文琴;克里普克解悖方案研究[D];華東師范大學(xué);2007年

8 宋航;克里普克邏輯悖論思想研究[D];燕山大學(xué);2008年

9 劉飛;非單調(diào)推理及其應(yīng)用[D];河南大學(xué);2011年

10 吳齊興;西方謬誤研究的歷史考察與反思[D];南京大學(xué);2011年

，

本文編號：724707