官方微博
邮箱
2025年3月29日星期六
首页-
本所概况
哲学所简介
中国社会科学院哲学研究所是我国哲学学科的重要学术机构和研究中心。其前身是中国科学院哲学社会科学部哲学研究所。历任所长为潘梓年、许立群、邢贲思、汝信（兼）、陈筠泉、李景源、谢地坤。中华人民共和国成立前，全国没有专门的哲学研究机构。为了适应社会主义改造和建设事业发展的需要... ... <详情>
- 党建工作
- 研究学人
- 科研工作
- 学术期刊
- 人才培养
博士后更多+
- 图书档案
图书馆简介
哲学专业书库的前身是哲学研究所图书馆，与哲学研究所同时成立于1955年。1994年底，院所图书馆合并之后将其划为哲学所自管库，从此只保留图书借阅流通业务，不再购进新书。
2009年1月16日，作为中国社会科学院图书馆体制机制改革的重要举措之一，哲学专业书库正式挂牌。
<详情> - 哲学系
潘梓年
金岳霖
贺麟
杜任之
容肇祖
沈有鼎
巫白慧
杨一之
徐崇温
陈筠泉
姚介厚
李景源
赵汀阳
【杜国平】经典否定蕴涵系统定理的能行证明
发布时间： 2022-12-22
【
字号 +字号 -】
字号 +字号 -】提要：借鉴亚里士多德的化归方法，通过反复使用双否消去规则、否定内移规则、移动排序规则、合并规则和归约规则，可以将命题逻辑否定蕴涵系统的任一定理等值地化归为一个形如[YY]的公式。再借助相应的证明子程序和嵌入程序可以能行地构建该定理的证明。
原载：《重庆理工大学学报》（社会科学）2022年第10期
地址：北京市东城区建国门内大街5号邮编：100732
电话：（010）85195506
传真：（010）65137826
E-mail：philosophy@cass.org.cn
版权所有 中国社会科学院哲学研究所 京ICP备20004808号
-
微信
《哲学中国》
《哲学研究》
《哲学动态》
《世界哲学》
-
