本文關(guān)鍵詞：弗雷格的邏輯主義之路，，由筆耕文化傳播整理發(fā)布。

【摘要】：本文意在較為詳細(xì)地考察弗雷格把算術(shù)還原為邏輯的工作。首先,我們指出《概念文字》中的邏輯本質(zhì)上是完整的二階邏輯,并介紹弗雷格對數(shù)學(xué)歸納法的處理;其次,我們簡單地討論《算術(shù)的基本定律》中的邏輯;最后,仿照Burgess與Heck的著作,我們給出一個(gè)大致符合弗雷格想法的邏輯,在此基礎(chǔ)上討論弗雷格如何發(fā)展算術(shù)、羅素悖論的產(chǎn)生、弗雷格的修改以及蒯因的證明。
【作者單位】： 武漢大學(xué)哲學(xué)學(xué)院;
【關(guān)鍵詞】： 弗雷格 邏輯主義 羅素悖論 二階邏輯
【分類號】：B81-06
【正文快照】： 眾所周知,在18世紀(jì)后期,弗雷格試圖把算術(shù)還原為邏輯,論證算術(shù)真理就是邏輯真理。弗雷格的這個(gè)想法被后人稱為邏輯主義想法。算術(shù)中處處是等式、方程、意在指稱似乎作為個(gè)體對象數(shù)(自然數(shù)、有理數(shù)、無理數(shù)、復(fù)數(shù)等)的數(shù)字、變元以及各式各樣的函數(shù)(如加、減、乘、除等運(yùn)算)表

【共引文獻(xiàn)】

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

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

2 黎洪;肯定·否定的句值及其偏移現(xiàn)象[J];巢湖學(xué)院學(xué)報(bào);2002年01期

3 朱如曾;非相對論熱力學(xué)中玻意耳定律與焦耳定律的相互獨(dú)立性[J];大學(xué)物理;2005年03期

4 向容憲;符號學(xué)與語言學(xué)和邏輯學(xué)[J];貴陽師專學(xué)報(bào)(社會科學(xué)版);1998年01期

5 馮棉;“可能世界”概念的基本涵義[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);1995年06期

6 馮棉;條件句與相干邏輯[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);1999年01期

7 霍書全;百年“怪論”的有效消解[J];河南大學(xué)學(xué)報(bào)(社會科學(xué)版);2005年03期

8 孫培福;;變元間的相關(guān)性是人類邏輯的本質(zhì)屬性——由關(guān)于“實(shí)質(zhì)蘊(yùn)涵”的“相關(guān)蘊(yùn)涵”引發(fā)的深層思考[J];華南師范大學(xué)學(xué)報(bào)(社會科學(xué)版);2006年03期

9 張志偉;從語言的觀點(diǎn)看邏輯[J];河南師范大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2002年02期

10 曹俊云;無限的概念與數(shù)學(xué)基礎(chǔ)[J];河南理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年02期

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

1 牛保義;相信和懷疑：附加疑問句認(rèn)知研究[D];河南大學(xué);2002年

2 陳樹偉;基于格蘊(yùn)涵代數(shù)的格值一階邏輯L_（vfl）中的不確定性推理研究[D];西南交通大學(xué);2006年

3 徐爾清;基于中心語驅(qū)動(dòng)短語結(jié)構(gòu)文法的句法和語義分析[D];上海外國語大學(xué);2007年

4 張立娜;個(gè)體詞的邏輯語義[D];清華大學(xué);2007年

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

1 劉紅兵;模糊錯(cuò)誤邏輯研究及其在防范證券投資風(fēng)險(xiǎn)中的應(yīng)用[D];廣東工業(yè)大學(xué);2000年

2 韓波;不完全信息數(shù)據(jù)庫研究[D];南京航空航天大學(xué);2003年

3 常瑤芝;L～*謂詞邏輯與R_0代數(shù)性質(zhì)新探[D];陜西師范大學(xué);2003年

4 蘭蓉;t-模與蘊(yùn)涵算子的同構(gòu)及廣義重言式理論[D];陜西師范大學(xué);2003年

5 韓瑩;擾動(dòng)模糊命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2003年

6 閆浮;離散數(shù)學(xué)體系結(jié)構(gòu)[D];北京化工大學(xué);2001年

7 王軼;認(rèn)知邏輯的動(dòng)態(tài)化理論[D];中國人民大學(xué);2005年

8 孟艷平;擾動(dòng)模糊命題邏輯系統(tǒng)的語義[D];遼寧師范大學(xué);2005年

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

10 汪德剛;模糊模態(tài)命題邏輯及其廣義重言式[D];遼寧師范大學(xué);2005年

【相似文獻(xiàn)】

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

1 S·阿沃迪;A·W·卡若斯;劉杰;;轉(zhuǎn)折與革命——邏輯經(jīng)驗(yàn)主義的數(shù)學(xué)哲學(xué):從《邏輯哲學(xué)論》到《邏輯句法》[J];世界哲學(xué);2010年01期

2 葉闖;;弗雷格之謎和信念之謎的關(guān)聯(lián)主義解決方案[J];哲學(xué)研究;2010年01期

3 李岱巍;;誰終結(jié)了心理主義,胡塞爾還是弗雷格[J];前沿;2010年01期

4 白靜;;淺析弗雷格意義理論的影響[J];昆明學(xué)院學(xué)報(bào);2010年01期

5 M.比尼;陳波;中戶川孝治;;弗雷格,他的邏輯和他的哲學(xué)——邁克·比尼訪談錄[J];世界哲學(xué);2010年02期

6 盧風(fēng);;道德相對主義與邏輯主義[J];社會科學(xué);2010年05期

7 劉杰;;數(shù)學(xué)真理困境的新弗雷格主義求解[J];哲學(xué)研究;2010年06期

8 李佃來;;邏輯優(yōu)先還是歷史優(yōu)先:馬克思主義哲學(xué)史方法論檢討[J];馬克思主義與現(xiàn)實(shí);2010年04期

9 盧雁;;論弗雷格的思想[J];理論界;2010年07期

10 王淑花;;解析弗雷格涵義與指稱理論中的認(rèn)知因素[J];大連海事大學(xué)學(xué)報(bào)(社會科學(xué)版);2010年05期

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

1 張燕;;弗雷格意義理論淺析[A];語言與文化研究（第六輯）[C];2010年

2 孟維杰;;心理學(xué)主體生存論探新[A];第十二屆全國心理學(xué)學(xué)術(shù)大會論文摘要集[C];2009年

3 張灝;;意義與指稱不可兼得——對一種意義理論的批評[A];首屆、第二屆中國科技哲學(xué)及交叉學(xué)科研究生論壇獲獎(jiǎng)文集[C];2009年

4 李靜靜;;科學(xué)劃界標(biāo)準(zhǔn)的新視野[A];首屆、第二屆中國科技哲學(xué)及交叉學(xué)科研究生論壇獲獎(jiǎng)文集[C];2009年

5 崔海靈;;實(shí)踐與文化：科學(xué)哲學(xué)的現(xiàn)代經(jīng)驗(yàn)[A];全國科學(xué)技術(shù)學(xué)暨科學(xué)學(xué)理論與學(xué)科建設(shè)2008年聯(lián)合學(xué)術(shù)年會浙江大學(xué)論文集[C];2008年

6 王晉瑞;;關(guān)聯(lián)理論視閾下的摹狀詞指稱賦值研究[A];山西大學(xué)2008年全國博士生學(xué)術(shù)論壇（科學(xué)技術(shù)哲學(xué)）[C];2008年

7 陳群;;解讀愛丁堡學(xué)派布魯爾的自然主義數(shù)學(xué)思想[A];山西大學(xué)2008年全國博士生學(xué)術(shù)論壇（科學(xué)技術(shù)哲學(xué)）[C];2008年

8 李國山;;分析哲學(xué)與形而上學(xué)[A];全國“當(dāng)代西方哲學(xué)的新進(jìn)展”學(xué)術(shù)研討會論文匯編[C];2008年

9 蔣運(yùn)鵬;;弗雷格的“真”[A];全國“當(dāng)代西方哲學(xué)的新進(jìn)展”學(xué)術(shù)研討會論文匯編[C];2008年

10 張灝;;代羅素反駁唐納南—論摹狀詞的指稱性使用[A];第二屆中國科技哲學(xué)及交叉學(xué)科研究生論壇論文集（博士卷）[C];2008年

中國重要報(bào)紙全文數(shù)據(jù)庫 前10條

1 江怡 北京師范大學(xué)哲學(xué)與社會學(xué)學(xué)院;“哲學(xué)分析”：尋求思想表達(dá)的清晰性[N];中國社會科學(xué)報(bào);2010年

2 江怡 北京師范大學(xué)哲學(xué)與社會學(xué)學(xué)院;“哲學(xué)分析”：尋求思想表達(dá)的清晰性[N];中國社會科學(xué)報(bào);2010年

3 江怡 北京師范大學(xué)哲學(xué)與社會學(xué)學(xué)院;“哲學(xué)分析”：尋求思想表達(dá)的清晰性[N];中國社會科學(xué)報(bào);2010年

4 江怡 北京師范大學(xué)哲學(xué)與社會學(xué)學(xué)院;“哲學(xué)分析”：尋求思想表達(dá)的清晰性[N];中國社會科學(xué)報(bào);2010年

5 江怡 北京師范大學(xué)哲學(xué)與社會學(xué)學(xué)院;“哲學(xué)分析”：尋求思想表達(dá)的清晰性[N];中國社會科學(xué)報(bào);2010年

6 江怡 北京師范大學(xué)哲學(xué)與社會學(xué)學(xué)院;“哲學(xué)分析”：尋求思想表達(dá)的清晰性[N];中國社會科學(xué)報(bào);2010年

7 江怡 北京師范大學(xué)哲學(xué)與社會學(xué)學(xué)院;“哲學(xué)分析”：尋求思想表達(dá)的清晰性[N];中國社會科學(xué)報(bào);2010年

8 江怡 北京師范大學(xué)哲學(xué)與社會學(xué)學(xué)院;“哲學(xué)分析”：尋求思想表達(dá)的清晰性[N];中國社會科學(xué)報(bào);2010年

9 江怡 北京師范大學(xué)哲學(xué)與社會學(xué)學(xué)院;“哲學(xué)分析”：尋求思想表達(dá)的清晰性[N];中國社會科學(xué)報(bào);2010年

10 江怡 北京師范大學(xué)哲學(xué)與社會學(xué)學(xué)院;“哲學(xué)分析”：尋求思想表達(dá)的清晰性[N];中國社會科學(xué)報(bào);2010年

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

1 王宇光;維特根斯坦和哥德爾定理[D];華東師范大學(xué);2010年

2 于林龍;回歸生活世界交往范式的意義理論[D];吉林大學(xué);2010年

3 喬文娟;科學(xué)哲學(xué)視野中的中醫(yī)形象[D];南開大學(xué);2009年

4 曹青春;涵義與指稱理論的邏輯哲學(xué)研究[D];南開大學(xué);2009年

5 徐燕杭;從形而上的道德理念到日�；姆此蓟顒�(dòng)[D];浙江大學(xué);2009年

6 劉杰;論數(shù)學(xué)真理困境及其實(shí)在論出路[D];山西大學(xué);2009年

7 周允程;第一人稱信念的哲學(xué)研究[D];清華大學(xué);2008年

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

1 劉東;從“信念之謎”看專名意義之辯[D];燕山大學(xué);2010年

2 毋東花;名稱指稱理論研究[D];西南大學(xué);2010年

3 李博;淺析普特南指稱理論[D];西南大學(xué);2010年

4 黃勤;摹狀詞理論的歷史、現(xiàn)狀與未來[D];西南大學(xué);2010年

5 段方雪;達(dá)米特意義理論評析[D];西南大學(xué);2010年

6 羅歡;羅素摹狀詞理論研究[D];燕山大學(xué);2010年

7 魯家銘;羅素摹狀詞理論研究[D];吉林大學(xué);2010年

8 何玉北;克里普克名稱理論研究[D];河北大學(xué);2010年

9 魏靜;羅素意義理論研究[D];河北大學(xué);2010年

10 解京;思想與真[D];河北大學(xué);2010年

  本文關(guān)鍵詞：弗雷格的邏輯主義之路，由筆耕文化傳播整理發(fā)布。

本文編號：501888