本文關(guān)鍵詞：邏輯學(xué)的意義:實用、科學(xué)——汪奠基《現(xiàn)代邏輯》評介

  更多相關(guān)文章： 邏輯主義 數(shù)理邏輯 邏輯演算

【摘要】：在《現(xiàn)代邏輯》一著中,汪奠基先生認為,現(xiàn)代邏輯之科學(xué)思想,非一家一派之專論,而是綜合西方國家各派的理論"參考取益"。現(xiàn)代邏輯乃以符號邏輯為新型式邏輯之總稱,它"分而有代數(shù)邏輯派、數(shù)學(xué)邏輯派、數(shù)理邏輯派"。因此,汪奠基先生在《現(xiàn)代邏輯》中以介紹數(shù)學(xué)基礎(chǔ)研究中的羅素學(xué)派、希爾伯特學(xué)派及布勞維爾學(xué)派之邏輯觀點要旨,其中又以羅素的邏輯主義為主。如今,邏輯在現(xiàn)代計算機技術(shù)中的運用從一個側(cè)面印證了汪奠基先生開創(chuàng)性工作所具有的前瞻性。
【作者單位】： 北京大學(xué)哲學(xué)系;
【關(guān)鍵詞】： 邏輯主義 數(shù)理邏輯 邏輯演算
【分類號】：B81-092
【正文快照】： 《現(xiàn)代邏輯》1937年由商務(wù)印書館作為《大學(xué)叢書》類出版。它是汪奠基先生第二部數(shù)理邏輯的著作。第一部是1927年商務(wù)印書館作為《科學(xué)叢書》類出版的《邏輯與數(shù)學(xué)邏輯論》,為中國最早介紹數(shù)理邏輯及其發(fā)展史的著作。《現(xiàn)代邏輯》分四篇十三章。第一篇《概論諸家要旨》,考察

【相似文獻】

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

1 李福安;邏輯、語言和思維:不同理論態(tài)度的剖析[J];現(xiàn)代哲學(xué);1990年03期

2 張家龍;;羅素的邏輯主義及其在數(shù)理邏輯史上的地位[J];哲學(xué)研究;2007年09期

3 刁明禮;;從邏輯演算的角度看萊布尼茨的數(shù)理邏輯思想[J];蘭州大學(xué)學(xué)報(社會科學(xué)版);2009年S1期

4 G·海爾曼;程煉;;數(shù)理邏輯與數(shù)學(xué)哲學(xué)[J];哲學(xué)動態(tài);1988年01期

5 諸葛殷同;;前事不忘,后事之師[J];哲學(xué)動態(tài);1990年11期

6 郭澤深;周肆根;;弗雷格邏輯主義思想述評[J];自然辯證法研究;1996年09期

7 劉志科;我國邏輯學(xué)現(xiàn)代化的正確途徑[J];陜西師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);1988年01期

8 阮松;;第一講 非形式邏輯的興起[J];思維與智慧;1991年04期

9 高旭光;;自學(xué)邏輯讀物[J];圖書館雜志;1982年04期

10 姜成林;應(yīng)用邏輯——現(xiàn)代邏輯的新發(fā)展(續(xù))[J];社會科學(xué)輯刊;1988年06期

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

1 莫紹揆;;傳統(tǒng)邏輯與數(shù)理邏輯[A];邏輯學(xué)文集[C];1978年

2 廖琳;龔啟榮;;論羅素的邏輯主義[A];貴州制約邏輯學(xué)會2005年學(xué)術(shù)年會暨首屆全國性邏輯系統(tǒng)專題研討會論文集[C];2005年

3 張尚水;;二十世紀邏輯學(xué)的發(fā)展[A];邏輯學(xué)文集[C];1978年

4 張尚水;;沈有鼎的數(shù)理邏輯工作[A];“中國名辯學(xué)與方法論研討會、道家與西方研討會、馮友蘭哲學(xué)思想研討會”優(yōu)秀論文精選[C];1998年

5 宋文堅;;邏輯教學(xué)改革漫議[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

6 莫紹揆;;金岳霖教授對數(shù)理邏輯的貢獻[A];金岳霖學(xué)術(shù)思想研究——金岳霖學(xué)術(shù)思想研討會論文集[C];1985年

7 馬艷;;論現(xiàn)代政治經(jīng)濟學(xué)數(shù)理邏輯表達與創(chuàng)新的重要價值[A];上海市社會科學(xué)界第五屆學(xué)術(shù)年會文集（2007年度）（經(jīng)濟·管理學(xué)科卷）[C];2007年

8 吳允曾;;數(shù)理邏輯與計算機科學(xué)[A];1994年邏輯研究專輯[C];1994年

9 李艷鴿;;數(shù)理邏輯對句子隱含語義的展示和分析[A];第四屆全國語言文字應(yīng)用學(xué)術(shù)研討會論文集[C];2005年

10 王世強;;淺議數(shù)理邏輯對數(shù)學(xué)研究的貢獻[A];1993年邏輯研究專輯[C];1993年

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

1 韓國秀　何秋霞;數(shù)理邏輯研究方法獨創(chuàng)科研新境界[N];中國高新技術(shù)產(chǎn)業(yè)導(dǎo)報;2011年

2 ;中國邏輯學(xué)：回顧、反省與前瞻[N];光明日報;2003年

3 鄧隆飛 王潔;善用數(shù)理邏輯的“中國商人”　[N];中華工商時報;2003年

4 沈躍春;現(xiàn)代邏輯學(xué)及其發(fā)展趨勢[N];人民日報;2004年

5 林圭;固有不然必無不至[N];人民日報海外版;2001年

6 武漢大學(xué) 何萍;研究馬克思主義哲學(xué)中國化的方法與視野[N];中國社會科學(xué)院院報;2005年

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

8 古立秀 吳國凱;中國傳統(tǒng)建筑生態(tài)學(xué)的現(xiàn)代科學(xué)內(nèi)涵[N];中華建筑報;2006年

9 佟芳;首屆生命基因高峰論壇舉行[N];科技日報;2009年

10 高山杉;“滿山敗葉”猶有端緒可尋[N];文匯報;2007年

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

1 郝清賦;邏輯系統(tǒng)動態(tài)結(jié)構(gòu)演化研究[D];國防科學(xué)技術(shù)大學(xué);2006年

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

3 許煥敏;基于數(shù)理邏輯的工藝推理與決策邏輯方法研究[D];南京理工大學(xué);2008年

4 黃志強;佛教邏輯比較研究[D];中國人民大學(xué);2002年

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

6 陳嫻;多元智力的實證研究與物理教學(xué)的對策[D];南京師范大學(xué);2004年

7 李春勇;20世紀中國的邏輯爭辯與邏輯觀[D];華東師范大學(xué);2002年

8 馬盈倉;命題泛邏輯的演算理論及推理研究[D];西北工業(yè)大學(xué);2006年

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

10 婁永強;信息流理論的邏輯研究[D];南開大學(xué);2009年

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

1 王慧展;羅素的數(shù)學(xué)邏輯主義本質(zhì)探析[D];山西大學(xué);2010年

2 謝時國;從羅素的邏輯主義立場看他的類型論[D];西南大學(xué);2006年

3 吳春玲;論科學(xué)進步的合理性[D];西南交通大學(xué);2004年

4 陳志美;羅素的數(shù)學(xué)邏輯主義思想研究[D];華南師范大學(xué);2002年

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

6 魏濤;羅素真理符合論的探究[D];山西大學(xué);2012年

7 劉旭峰;直覺的位置[D];湖南師范大學(xué);2004年

8 姚從軍;古典命題邏輯與模態(tài)命題邏輯[D];河南大學(xué);2005年

9 陳家端;試析高中數(shù)學(xué)課程中邏輯內(nèi)容的選擇與編制[D];中央民族大學(xué);2006年

10 何寶軍;哥德爾的柏拉圖主義[D];華東師范大學(xué);2008年

，

本文編號：769973