逻辑、逻辑系统和逻辑学

发布时间：2018-03-02 12:55

  本文选题：数理逻辑　切入点：逻辑系统　出处：《北京大学学报(哲学社会科学版)》1995年06期 　论文类型：期刊论文

【摘要】：金岳霖先生的逻辑思想非常卓越：他认为传统形式逻辑有严重不足，因而新兴出数理逻辑。数理逻辑不仅能很好给思维以训练，而且也是科学研究的重要工具。大学应开设的是数理逻辑课程。它是一门重要基础课。金先生的这些思想在今天得到充分证明。数理逻辑在许多学科得到应用，并发展出专门的应用逻辑。
[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 ;抢抓机遇 开拓进取——发展中的天水师范学院数理与信息科学学院[J];天水师范学院学报;2004年02期

5 张学立;金岳霖的逻辑一元论思想探析[J];人文杂志;1998年05期

6 郝旭东;李娜;;弗协调单主体认知逻辑系统C_nEK及其扩张[J];重庆工学院学报(社会科学版);2009年02期

7 孙明湘;;论在不同逻辑系统中的排中律[J];中南大学学报(社会科学版);2010年05期

8 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期

9 黄克剑;个人的意义与历史的逻辑——一种对青年马克思的研究[J];福建论坛(人文社会科学版);1988年05期

10 约翰·范本特姆;;在动态认知逻辑中融合观察与内省(英文)[J];逻辑学研究;2008年01期

相关会议论文 前10条

1 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年

2 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

3 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年

4 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年

5 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年

6 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年

7 张清宇;;名辞逻辑系统MC[A];科学发展：文化软实力与民族复兴——纪念中华人民共和国成立60周年论文集（下卷）[C];2009年

8 陈永义;;NF逻辑系统[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

9 张家龙;;序言[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

10 刘关键;;医学文献中统计分析方法的正确评价[A];中华医学会心血管病分会第八次全国心血管病学术会议汇编[C];2004年

相关重要报纸文章 前10条

1 宋朝华　殷勇 胡晓兵;数理符号：当代戍边人的奉献“密码”[N];解放军报;2011年

2 记者 赵晖　实习生 靖永坤;数理成绩优异 录取门槛放宽[N];天津日报;2010年

3 王宏社;强化参谋的“数理”素质[N];解放军报;2004年

4 上官子木;人文素养比数理能力更基础[N];南方周末;2004年

5 淑霞;数理基科班：培养拔尖人才的试验田[N];科技日报;2005年

6 李晚莲;用现代数理逻辑方法总结过去[N];中国新闻出版报;2004年

7 蒋熠奇;广西局钟业勋的专著《数理地图学》出版[N];中国测绘报;2008年

8 周燕虎邋刘利民 丁长兵;数理战术：“纸上谈兵”亦能“决胜千里”[N];解放军报;2008年

9 江洋;连豆套利机会出现[N];期货日报;2005年

10 本报记者;教书育人 忠诚奉献[N];淮南日报;2005年

相关博士学位论文 前10条

1 冯彦波;合并逻辑方法研究[D];南开大学;2010年

2 刘向晖;数理经济学史研究[D];西北大学;2001年

3 袁敏;古代中印数理天文学比较研究[D];西北大学;2001年

4 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年

5 许长新;港航经济系统理论与数理模型研究[D];河海大学;2001年

6 黄奥;精炼钢包透气砖服役过程数理模拟及结构与性能优化[D];武汉科技大学;2010年

7 张宇;中国建筑思想中的音乐因素探析[D];天津大学;2009年

8 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年

9 罗章;中应变率下钢纤维混凝土的本构关系研究[D];中南大学;2004年

10 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年

相关硕士学位论文 前10条

1 潘姣姣;广西免疫针对性疾病流行趋势的数理流行病学研究[D];广西医科大学;2012年

2 张莉敏;悖论与数理逻辑的发展探析[D];河南大学;2003年

3 田金;水泥生料配料控制方案对主要原料适应性的仿真研究[D];中国建筑材料科学研究院;2004年

4 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年

5 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年

6 闫丽丽;《三国演义》数理批评[D];山东师范大学;2009年

7 郭春香;寡头企业竞争战略的数理经济分析[D];四川大学;2002年

8 徐辉;数理与形式[D];南京艺术学院;2005年

9 王望峰;先秦设计与“数”[D];苏州大学;2008年

10 王赛男;高校人力资源优化配置的数理研究[D];长沙理工大学;2010年

，

本文编号：1556612