本文關(guān)鍵詞：論直覺主義邏輯對經(jīng)典邏輯的挑戰(zhàn)

  更多相關(guān)文章： 直覺主義 直覺主義邏輯 經(jīng)典邏輯 可構(gòu)造性

【摘要】：直覺主義邏輯基于數(shù)學(xué)中的直覺主義思想,主張存在即被構(gòu)造,數(shù)學(xué)是邏輯學(xué)的基礎(chǔ)。直覺主義邏輯拒斥排中律和間接證明法,認為邏輯主義和形式主義都是錯誤的。直覺主義邏輯與經(jīng)典邏輯到底是怎樣的關(guān)系,不同的解釋將導(dǎo)致不同的回答。另外,直覺主義邏輯理論自身面臨諸多困境,盡管達米特為此作出了哲學(xué)辯護,但依然受到多方面的指責(zé)。
【作者單位】： 華東師范大學(xué)哲學(xué)系;
【關(guān)鍵詞】： 直覺主義 直覺主義邏輯 經(jīng)典邏輯 可構(gòu)造性
【分類號】：B812
【正文快照】： 直覺主義邏輯的基本信條和推論直覺主義是20世紀數(shù)學(xué)基礎(chǔ)研究中三大流派之一,創(chuàng)始人為著名數(shù)學(xué)家布勞維爾。直覺主義邏輯繼承和發(fā)展了布勞維爾的思想,把數(shù)學(xué)中的直覺主義推廣到邏輯學(xué)之中。歸納起來,直覺主義邏輯有兩個基本信條:第一,存在即被構(gòu)造。這是直覺主義數(shù)學(xué)的基本信

【共引文獻】

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

1 張慶熊;蒯因駁斥的只是狹義分析性的概念嗎?——對蒯因批判分析與綜合兩分法的辨析[J];復(fù)旦學(xué)報(社會科學(xué)版);2005年06期

2 劉杰;郭貴春;;數(shù)學(xué)是邏輯嗎?——論數(shù)學(xué)的邏輯主義基礎(chǔ)[J];科學(xué)技術(shù)與辯證法;2006年01期

3 任辛喜;連續(xù)統(tǒng)假設(shè)及其主要貢獻者[J];西北大學(xué)學(xué)報(自然科學(xué)版);2004年04期

4 周昌樂;;從斯科倫定理看禪宗的觸事即真觀及其意義[J];廈門大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2006年04期

5 黃華新,李恒威;語境、“生活世界”與悖論——從語用學(xué)和解釋學(xué)的角度看悖論[J];自然辯證法研究;2004年02期

6 陳學(xué)云;無窮小量的命運及對數(shù)學(xué)發(fā)展動力的思考[J];自然辯證法研究;2005年01期

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

1 劉漢全;新古典經(jīng)濟學(xué)價值理論批判[D];華中農(nóng)業(yè)大學(xué);2007年

2 杜建國;語言、意向與存在[D];山西大學(xué);2007年

3 陸書環(huán);數(shù)學(xué)史上的“問題解決”及其HPM視域下教學(xué)策略研究[D];西北大學(xué);2008年

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

1 徐春山;試論詞語的模糊性[D];安徽大學(xué);2005年

2 白建國;高中數(shù)學(xué)建模教學(xué)研究[D];內(nèi)蒙古師范大學(xué);2007年

【相似文獻】

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

1 顏中軍;;論直覺主義邏輯對經(jīng)典邏輯的挑戰(zhàn)[J];湘潭大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2011年03期

2 彭媚娟;胡澤洪;;關(guān)于弗協(xié)調(diào)邏輯的思考[J];湖南科技大學(xué)學(xué)報(社會科學(xué)版);2008年01期

3 張振華;試論次協(xié)調(diào)邏輯的辯證否定觀[J];遼寧大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2002年02期

4 朱建平;;當(dāng)代內(nèi)涵邏輯的理論發(fā)展[J];蘇州大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2010年03期

5 彭媚娟;;論經(jīng)典邏輯的局部修正——以弗協(xié)調(diào)邏輯為例[J];廣西社會科學(xué);2010年12期

6 諸葛殷同;;對傳統(tǒng)邏輯的有力挑戰(zhàn)——評《經(jīng)典邏輯與直覺主義邏輯》[J];哲學(xué)動態(tài);1990年04期

7 桂起權(quán)，，劉東波;對應(yīng)原理─—多種非經(jīng)典邏輯的通用原理[J];自然辯證法通訊;1994年03期

8 胡澤洪;論邏輯學(xué)發(fā)展的多層面性[J];華南師范大學(xué)學(xué)報(社會科學(xué)版);1995年04期

9 季冠芳,弓肇祥;關(guān)于哲學(xué)邏輯的幾個理論問題[J];哈爾濱學(xué)院學(xué)報;2001年01期

10 周訓(xùn)偉;;實質(zhì)蘊涵與互逆真蘊涵[J];重慶工學(xué)院學(xué)報(社會科學(xué)版);2009年03期

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

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

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

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

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

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

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

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

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

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

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

2 張保壘;表列演算探究[D];華東師范大學(xué);2011年

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

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

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

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

7 陳珊;核證邏輯研究[D];中國社會科學(xué)院研究生院;2011年

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

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

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

本文編號：740219