本文選題：數理邏輯　切入點：邏輯系統　出處：《北京大學學報(哲學社會科學版)》1995年06期 　論文類型：期刊論文

【摘要】：金岳霖先生的邏輯思想非常卓越：他認為傳統形式邏輯有嚴重不足，因而新興出數理邏輯。數理邏輯不僅能很好給思維以訓練，而且也是科學研究的重要工具。大學應開設的是數理邏輯課程。它是一門重要基礎課。金先生的這些思想在今天得到充分證明。數理邏輯在許多學科得到應用，并發(fā)展出專門的應用邏輯。
[Abstract]:Jin Yuelin's logic thought is very outstanding: he believes that the traditional formal logic has serious deficiencies, and thus emerging mathematical logic. Mathematical logic can not only give good training to thinking, It is also an important tool for scientific research. What the university should offer is a course in mathematical logic. It is an important basic course. These thoughts of Mr. King have been fully proved today. Mathematical logic has been applied in many disciplines. And developed special application logic.
【作者單位】： 北京大學哲學系
【分類號】：B81

【相似文獻】

相關期刊論文 前10條

1 王煥林;;里耶秦簡九九表初探[J];吉首大學學報(社會科學版);2006年01期

2 吳允曾;現代數理邏輯的兩個問題及其哲學涵義[J];哲學研究;1979年02期

3 封林晚;數理統計質量控制之父——沃爾特·休哈特[J];中國質量;2003年03期

4 ;搶抓機遇 開拓進取——發(fā)展中的天水師范學院數理與信息科學學院[J];天水師范學院學報;2004年02期

5 張學立;金岳霖的邏輯一元論思想探析[J];人文雜志;1998年05期

6 郝旭東;李娜;;弗協調單主體認知邏輯系統C_nEK及其擴張[J];重慶工學院學報(社會科學版);2009年02期

7 孫明湘;;論在不同邏輯系統中的排中律[J];中南大學學報(社會科學版);2010年05期

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

9 黃克劍;個人的意義與歷史的邏輯——一種對青年馬克思的研究[J];福建論壇(人文社會科學版);1988年05期

10 約翰·范本特姆;;在動態(tài)認知邏輯中融合觀察與內省(英文)[J];邏輯學研究;2008年01期

相關會議論文 前10條

1 張學立;;從邏輯哲學的觀點看金岳霖先生的邏輯信條[A];1997年邏輯研究專輯[C];1997年

2 賈改琴;唐曉嘉;;知道謂詞邏輯系統 K_(S5)+K_(BF)[A];第二屆海峽兩岸邏輯教學學術會議專輯[C];2006年

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

4 趙總寬;;辯證模態(tài)命題邏輯系統DMT與實然世界語義學[A];1997年邏輯研究專輯[C];1997年

5 李小五;;沈有鼎論直觀與邏輯[A];“中國名辯學與方法論研討會、道家與西方研討會、馮友蘭哲學思想研討會”優(yōu)秀論文精選[C];1998年

6 郭世銘;;二重命題邏輯系統■_4[A];1993年邏輯研究專輯[C];1993年

7 張清宇;;名辭邏輯系統MC[A];科學發(fā)展：文化軟實力與民族復興——紀念中華人民共和國成立60周年論文集（下卷）[C];2009年

8 陳永義;;NF邏輯系統[A];中國系統工程學會模糊數學與模糊系統委員會第五屆年會論文選集[C];1990年

9 張家龍;;序言[A];理有固然——紀念金岳霖先生百年誕辰[C];1995年

10 劉關鍵;;醫(yī)學文獻中統計分析方法的正確評價[A];中華醫(yī)學會心血管病分會第八次全國心血管病學術會議匯編[C];2004年

相關重要報紙文章 前10條

1 宋朝華　殷勇 胡曉兵;數理符號：當代戍邊人的奉獻“密碼”[N];解放軍報;2011年

2 記者 趙暉　實習生 靖永坤;數理成績優(yōu)異 錄取門檻放寬[N];天津日報;2010年

3 王宏社;強化參謀的“數理”素質[N];解放軍報;2004年

4 上官子木;人文素養(yǎng)比數理能力更基礎[N];南方周末;2004年

5 淑霞;數理基科班：培養(yǎng)拔尖人才的試驗田[N];科技日報;2005年

6 李晚蓮;用現代數理邏輯方法總結過去[N];中國新聞出版報;2004年

7 蔣熠奇;廣西局鐘業(yè)勛的專著《數理地圖學》出版[N];中國測繪報;2008年

8 周燕虎邋劉利民 丁長兵;數理戰(zhàn)術：“紙上談兵”亦能“決勝千里”[N];解放軍報;2008年

9 江洋;連豆套利機會出現[N];期貨日報;2005年

10 本報記者;教書育人 忠誠奉獻[N];淮南日報;2005年

相關博士學位論文 前10條

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

2 劉向暉;數理經濟學史研究[D];西北大學;2001年

3 袁敏;古代中印數理天文學比較研究[D];西北大學;2001年

4 郝清賦;邏輯系統動態(tài)結構演化研究[D];國防科學技術大學;2006年

5 許長新;港航經濟系統理論與數理模型研究[D];河海大學;2001年

6 黃奧;精煉鋼包透氣磚服役過程數理模擬及結構與性能優(yōu)化[D];武漢科技大學;2010年

7 張宇;中國建筑思想中的音樂因素探析[D];天津大學;2009年

8 范紅;安全協議形式化分析理論與方法[D];中國人民解放軍信息工程大學;2003年

9 羅章;中應變率下鋼纖維混凝土的本構關系研究[D];中南大學;2004年

10 陳佳林;柔性邏輯的健全性研究與應用[D];北京郵電大學;2011年

相關碩士學位論文 前10條

1 潘姣姣;廣西免疫針對性疾病流行趨勢的數理流行病學研究[D];廣西醫(yī)科大學;2012年

2 張莉敏;悖論與數理邏輯的發(fā)展探析[D];河南大學;2003年

3 田金;水泥生料配料控制方案對主要原料適應性的仿真研究[D];中國建筑材料科學研究院;2004年

4 馬曉玨;IMTL邏輯系統及IMTL-代數[D];陜西師范大學;2004年

5 夏夢;金岳霖邏輯與邏輯系統思想述評[D];西南師范大學;2002年

6 閆麗麗;《三國演義》數理批評[D];山東師范大學;2009年

7 郭春香;寡頭企業(yè)競爭戰(zhàn)略的數理經濟分析[D];四川大學;2002年

8 徐輝;數理與形式[D];南京藝術學院;2005年

9 王望峰;先秦設計與“數”[D];蘇州大學;2008年

10 王賽男;高校人力資源優(yōu)化配置的數理研究[D];長沙理工大學;2010年

，

本文編號：1556612