追求思想的明晰性(上)

日期:2020-02-27编辑作者:神话故事

中国社会科学院哲学所逻辑室是由我国著名的逻辑学家和哲学家金岳霖先生(1895—1984)于1955年创建的,到如今已有45年了。45年来,逻辑室出了很多成果,其中有些成果获得了重要奖励:1993年,由逻辑室6 位研究人员编著的《形式逻辑原理》荣获中国社科院第一届优秀科研成果奖;1997年,由逻辑室编、周礼全主编的《逻辑百科辞典》荣获中国社科院第二届优秀科研成果奖;1999年,周礼全主编的《逻辑—正确思维和成功交际的理论》、《逻辑百科辞典》以及由逻辑室组织编写的《中国逻辑史》荣获国家社会科学基金第一届优秀科研成果三等奖。

现在我们主要将逻辑室20年来具有创新性的成果综合整理如下。

一、逻辑演算

沈有鼎(1908—1989)是我国研究数理逻辑的先驱者,50年代以发现:“沈有鼎悖论”闻名于世,1981年构造了一个逻辑演算系统,该系统是带等词的狭谓词演算中不依赖量词的部分,是纯逻辑演算中的一个极微小的部分。

张清宇在经典逻辑方面取得两项成果:1、 创制了不用联结词和量词的一阶逻辑系统,对括号作了独到处理,使之兼具联结词和量词的作用,提出了继卢卡西维茨以后又一新的逻辑符号和记法系统。2、 以广义析舍为初始符号,建立了类似于安特逊和贝尔纳普的系统AB的一个公理系统Z,对经典命题逻辑作了一个简单处理。 张清宇在弗协调逻辑方面开创了新的方向,建立了弗协调条件句逻辑PIW和C[,n]W、 弗协调模态逻辑C[,n]G′以及弗协调时态逻辑C[,n]G′H′和C[,n]US等。

本文由白家乐发布于神话故事,转载请注明出处:追求思想的明晰性(上)

关键词: 澳门白家樂

水性极好翻江蜃童猛简介

宋朝人物 中文名:童猛 别名:翻江蜃 国籍:宋→暹罗 职业:梁山水军头领 排名:69 上山前职业:盐贩子 上山原因...

详细>>

独孤伽罗简介 独孤伽罗人物评价 独孤伽罗生平

本名:独孤伽罗 别称:独孤皇后 www.lishixinzhi.com 所处时代:隋朝 民族族群:鲜卑族 文献皇后独孤伽罗(544年—602年...

详细>>

揭秘傀儡皇帝秦子婴的壮举:一刀砍死大奸臣

导读: 秦三世子婴继位不久,刘邦就进入关中。刘邦到达灞上后劝子婴投降。子婴用绳绑缚自己,并携同御用的玉玺...

详细>>

怎样评价满桂此人?满桂到底是哪些民族的人?

满桂是历史名人,是明朝末年数一数二的大将,对明军抗击后金军队的进攻有着巨大贡献,就拿历史上著名的宁远之...

详细>>