本文選題：數(shù)理邏輯 + 邏輯演算　； 參考：《蘭州大學學報(社會科學版)》2009年S1期

【摘要】：萊布尼茨對數(shù)理邏輯的創(chuàng)建工作作出了開創(chuàng)性的貢獻。他不僅提出了較為完整的關于建立新的邏輯的思想,而且還進行了整體性的富有創(chuàng)造的具體探索,即第一個創(chuàng)建了真正的抽象演算。他關于建立數(shù)理邏輯的設想,諸如建立人工表意符號,用演算表示推理等都是和后來的數(shù)理邏輯的發(fā)展相符的。
[Abstract]:Leibniz made a pioneering contribution to the creation of mathematical logic. He not only put forward a relatively complete idea of establishing new logic, but also made a concrete exploration of the whole and rich in creation, that is, the first to create the real abstract calculus. His ideas on the establishment of mathematical logic, such as the establishment of artificial ideographic symbols, the use of calculus to express reasoning are consistent with the later development of mathematical logic.
【作者單位】： 南開大學哲學系;
【分類號】：B812

【共引文獻】

相關期刊論文 前10條

1 劉程;邱紫華;;不能不說的話:維特根斯坦與弗雷格、羅素[J];阿壩師范高等�？茖W校學報;2006年04期

2 賈國恒;;摹狀詞與專名的關系解析[J];安徽大學學報(哲學社會科學版);2007年02期

3 朱躍;意義與客觀世界[J];安徽農(nóng)業(yè)大學學報(社會科學版);1999年04期

4 田然;;弗雷格、羅素和斯特勞森的指稱論對比研究[J];安徽文學(下半月);2008年08期

5 孫雯;;試析斯多葛學派命題邏輯研究中的命題函子理論[J];保定學院學報;2009年03期

6 余俊偉;試論弗雷格的指稱理論[J];北京化工大學學報(社會科學版);2002年03期

7 張燕京;弗雷格思想論析評[J];北京師范大學學報(人文社會科學版);2000年04期

8 姚從軍;;模態(tài)命題邏輯系統(tǒng)K、D、T、S4、S5、B之比較[J];畢節(jié)學院學報;2009年04期

9 吳堅;;命題形式與命題的符號化[J];北京理工大學學報(社會科學版);2008年01期

10 張漢生;專名與摹狀詞關系略論[J];常德師范學院學報(社會科學版);1999年01期

相關會議論文 前2條

1 何華;;解讀伽達默爾解釋學中的語言轉向[A];山西大學2008年全國博士生學術論壇（科學技術哲學）[C];2008年

2 江怡;;胡塞爾是如何反對心理主義的?——對《邏輯研究》第一卷的一種解釋[A];現(xiàn)代德國哲學與歐洲大陸哲學學術研討會論文匯編[C];2007年

相關博士學位論文 前10條

1 馮彥波;合并邏輯方法研究[D];南開大學;2010年

2 劉張華;大衛(wèi)·劉易斯模態(tài)哲學思想研究[D];南京大學;2011年

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

4 王偉;格值命題邏輯系統(tǒng)LP（X）中基于α-歸結原理的自動推理方法的研究[D];西南交通大學;2002年

5 馬亮;論卡爾納普的意義理論[D];中國社會科學院研究生院;2003年

6 安道玉;論意識與意義[D];復旦大學;2004年

7 徐英瑾;維特根斯坦哲學轉型期中的“現(xiàn)象學”之謎[D];復旦大學;2004年

8 方剛;維特根斯坦之命題意義的確定性問題研究[D];復旦大學;2004年

9 孟丹;基于格蘊涵代數(shù)的格值邏輯系統(tǒng)的歸結自動推理研究[D];西南交通大學;2004年

10 倪勝;《判斷力批判》體系探微[D];復旦大學;2005年

相關碩士學位論文 前10條

1 許筱婷;基于本體論的知識表達[D];湘潭大學;2010年

2 包磊;馬克思的邏輯范疇理論[D];山東師范大學;2011年

3 行宇;論達米特反實在論的路徑[D];首都師范大學;2011年

4 劉飛;非單調(diào)推理及其應用[D];河南大學;2011年

5 鄭偉;亞里士多德三段論系統(tǒng)研究[D];河南大學;2011年

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

7 曹曉寰;埃舍爾藝術作品中的科學哲學思想[D];華中師范大學;2011年

8 張佳一;名稱描述理論和歷史因果理論比較研究[D];河北大學;2011年

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

10 趙向革;弗雷格邏輯研究[D];蘇州大學;2011年

【相似文獻】

相關期刊論文 前10條

1 林勝強;;思想的形式化 形式化的思想——讀《數(shù)理邏輯的思想和方法》[J];思維與智慧;1993年03期

2 宋文堅;;邏輯學的意義:實用、科學——汪奠基《現(xiàn)代邏輯》評介[J];湖北大學學報(哲學社會科學版);2011年01期

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

4 羅翊重;;用《易經(jīng)》陰陽象數(shù)看萊布尼茨的邏輯數(shù)學化思想[J];周易研究;1991年04期

5 羅翊重;論數(shù)理邏輯中的非反推理演算——兼答《辯證邏輯究竟是不是邏輯?》[J];哲學動態(tài);1992年08期

6 王力鋼;;數(shù)理邏輯的發(fā)展及未來趨向[J];安慶師范學院學報(社會科學版);2010年11期

7 楊熙齡;略論現(xiàn)代西方邏輯學的發(fā)展[J];國外社會科學;1979年01期

8 羅克汀;現(xiàn)代西方哲學與我國的哲學改革[J];現(xiàn)代哲學;1985年00期

9 燕國楨;關于科學方法論的層次結構問題[J];江漢論壇;1988年05期

10 靳希平;海德格爾青年時期的邏輯研究[J];浙江學刊;1993年02期

相關會議論文 前10條

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

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

3 楊書瀾;;金岳霖先生前期的邏輯思想[A];1993年邏輯研究專輯[C];1993年

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

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

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

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

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

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

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

相關重要報紙文章 前10條

1 本報評論員 張刃;年終考評形式化虛假化歪風當剎[N];工人日報;2006年

2 楊曾憲;質(zhì)疑高考改革的形式化趨勢[N];發(fā)展導報;2002年

3 里冰;學生軍訓亟待走出形式化誤區(qū)[N];中國改革報;2005年

4 黨國英 （中國社會科學院） 聶輝華 （人民大學經(jīng)濟學院博士）;楊小凱有多重要？[N];中國圖書商報;2003年

5 本報記者 李紅梅;健康檔案莫形式化[N];人民日報;2011年

6 周一文;年終檢查力戒形式化[N];巴音郭楞日報;2010年

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

8 江蘇省中興藥業(yè)有限公司董事長 章之俊;藥企應走出質(zhì)量管理形式化誤區(qū)[N];中國醫(yī)藥報;2011年

9 趙磊;落實安全制度莫搞形式化[N];人民鐵道;2011年

10 向志柱;匿名審稿制形式化思考[N];中國審計報;2003年

相關博士學位論文 前10條

1 于江濤;多智能體模型、學習和協(xié)作研究與應用[D];浙江大學;2003年

2 孫笑俠;程序的法理[D];中國社會科學院研究生院;2000年

3 鄭紅;分布式系統(tǒng)形式化建模技術研究[D];中國科學院研究生院（軟件研究所）;2003年

4 艾萍;構件柔性組裝描述的形式化方法研究及其在水利領域的應用[D];河海大學;2002年

5 何曉曄;任務空間概念建模技術及其VV&A研究[D];國防科學技術大學;2005年

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

7 紀楊建;面向產(chǎn)品方案的形式化設計關鍵技術研究[D];浙江大學;2003年

8 毛文偉;現(xiàn)代日語助詞性機能辭的研究[D];上海外國語大學;2007年

9 劉克龍;安全Linux操作系統(tǒng)及安全Web系統(tǒng)的形式化建模與實現(xiàn)[D];中國科學院軟件研究所;2001年

10 馬輝;產(chǎn)品設計知識建模與演化關鍵技術研究[D];浙江大學;2006年

相關碩士學位論文 前10條

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

2 苗長運;并行實時系統(tǒng)在BRCC中的形式化[D];廣西師范大學;2010年

3 孫麗娜;言語交際中的語用推理述評[D];燕山大學;2009年

4 劉燕;面向?qū)ο蟮慕虒W模式建模方法研究[D];四川師范大學;2005年

5 鄒曉;一種使用受限的角色委托模型[D];蘭州理工大學;2006年

6 王文昊;我國偵查監(jiān)督制度的反思與完善[D];吉林大學;2005年

7 唐燕飛;基于Petri網(wǎng)的用例建模研究[D];西南大學;2006年

8 韓俊;經(jīng)濟法控權模式研究[D];華中師范大學;2009年

9 段繼磊;利用XML和構架構件技術實現(xiàn)B/S模式下MIS程序的自動生成[D];昆明理工大學;2002年

10 劉真環(huán);DDS并行模型及其形式化[D];廣西師范大學;2008年

，

本文編號：1981328