• 社科网首页
  • 客户端
  • 官方微博
  • 报刊投稿
  • 邮箱

2020年2月14日
  • 首页
  • 本所概况
    哲学所简介

    中国社会科学院哲学研究所是我国哲学学科的重要学术机构和研究中心。其前身是中国科学院哲学社会科学部哲学研究所。历任所长为潘梓年、许立群、邢贲思、汝信（兼）、陈筠泉、李景源、谢地坤。中华人民共和国成立前，全国没有专门的哲学研究机构。为了适应社会主义改造和建设事业发展的需要... ... <详情>

    • 现任领导
    更多+
    • 1.jpg

      张蕾

      党委常委、书记
    • zhangzhiqiang.png

      张志强

      党委常委、 副书记，所长
    • 刘志明一寸1.png

      刘志明

      党委常委， 纪委书记，副所长
    • 微信图片_20240509110053.jpg

      周丹

      党委常委，副所长
    更多+

    • 王立胜

      党委书记、副所长

    • 冯颜利

      党委书记、副所长

    • 张志强

      党委书记、副所长

    • 王立胜

      党委书记、副所长
    组织机构
    更多+

    研究室

    • 马克思主义哲学原理研究室
    • 马克思主义哲学史研究室
    • 中国马克思主义哲学研究室
    • 习近平文化思想研究室
    • 中国哲学研究室
    • 东方哲学研究室
    • 西方哲学史研究室
    • 现代外国哲学研究室
    • 美学研究室
    • 伦理学研究室
    • 科学技术哲学研究室
    • 逻辑学研究室
    • 智能与逻辑实验室

    科研辅助

    • 《哲学研究》编辑部
    • 《哲学动态》与《中国哲学年鉴》编辑部
    • 《世界哲学》编辑部
    • 图书资料室

    职能处室

    • 人事处
    • 办公室
    • 科研处

    社团学会

    研究中心

  • 党建工作
    历史沿革

    哲学研究所现行的领导体制是党委领导下的所长负责制。此前曾实行过党支部、党的领导小组、党总支、党委、机关党委、分党组、联合党委等领导形式。
    1955年4月，哲学所成立第一届党支部，周宜明担任支部书记，下半年党支部增设宣传委员和组织委员，李奇担任宣传委员，鲁孝文担任组织委员。<详情>

    党建专栏
    更多+
    • 123fuben.png
    • 演示文稿1_01.png
    • 1713345686886.jpg
    • 微信图片_20240227160931.png
    • 1681457326940.png
    • 微信图片_20221102154829.jpg
    离退休工作
    更多+
    • 哲学研究所举办离退休干部2025年度春季讲坛...
    • 哲学研究所春节前夕走访慰问离退休干部
    • 杨远同志生平
    • 杨远同志讣告
    • 哲学研究所离退休老同志开展秋季户外活动
    工会、青年工作
    更多+
    • 展现女性哲人独特风采 聚焦女性哲人睿智力量——...
    • 关于做好我所甲型H1N1流感防控工作的通知
    • 青年哲学论坛暨哲学所建所55周年系列学术报告会
  • 研究学人
    已故名家
    更多+
    • panzinian.jpg潘梓年
    • jinyuelin.jpg金岳霖
    • 贺麟.jpg贺麟
    • 杜任之.jpg杜任之
    • 容肇祖.jpg容肇祖
    • 沈有鼎.jpg沈有鼎
    • wubaihui.jpg巫白慧
    • 杨一之.jpg杨一之
    荣誉学部委员
    更多+
    • 徐崇温(大图）.png徐崇温
    • 陈筠泉（编辑图）.png陈筠泉
    • 姚介厚.jpg姚介厚
    学部委员
    更多+
    • 李景源.jpg李景源
    • 赵汀阳4.jpg赵汀阳
    本所同仁

    在职学者

    • 正高级
    • 副高级
    • 中 级
    • 初 级

    离退休学者

  • 科研工作
    学科建设
    更多+
    • 马克思主义哲学
    • 中国哲学
    • 西方哲学
    • 东方哲学
    • 伦理学
    • 逻辑学
    • 科学技术哲学
    • 美学
    • 文化哲学
    学术动态
    更多+
    • 研究阐释中华文明突出特性 构建中国哲学自主知识体系
    • 哲学研究所贾泽林、王柯平、詹文杰获2024年翻译界...
    • 哲学所“中国哲学学科团队”获评“首届中国社会科...
    • 我所1项课题获2020年度国家社科基金后期资助项目立项
    • 我所5项课题获2020年度国家社科基金年度项目和青年...
    论著评介
    更多+
    • 田时纲译《狱中札记》（第一卷）
    • 赵汀阳著《秩序的理由》
    • 王幸华译《大哲学家》
    • 闫培宇著《解构主义视野中的西方现代性——重估马...
    • 方正著《大国形象论纲：近代以来大国的存在方式、...
    学术争鸣
    更多+
    • 【杨洪源】新时代文化建设的科学指南和根本遵循
    • 【李俊文 张乙】对马尔库塞“单向度”批判的批判
    • 【董键铭】对经济与文化关系的历史唯物主义反思
    • 【刘文旋】从狂欢节到革命：马克思哲学的早期发展
    • 【杨洪源】习近平文化思想的体系性及其原创性贡献
    获奖、成果
    • 重大会议、论坛
    • 重大研究项目
    • 学者资助计划
    • 中国社会科学院优秀科研成果奖
    • 哲学所优秀科研成果奖
    • 哲学所青年哲学论坛获奖
    • 贺麟青年哲学奖
  • 学术期刊
    • 哲学研究 1739515365518.jpg
    • 哲学动态 哲学动态.png
    • 世界哲学 W020230904365127327147.png
    • 中国哲学年鉴 中国哲学年鉴.png
    • 中国哲学史 W020200520604858941756.jpg
  • 人才培养
    博士后
    更多+
    ttpt003.jpg
    • 中国社会科学院博士后工作管理规定
    • 《中国社会科学院博士后工作管理规定》实施细则
    • 中国社会科学院博士后经费使用与管理办法
    • 哲学研究所关于博士后工作的管理办法
    • 2012年中国社会科学院哲学研究所博士后流动站...
    青年哲学论坛
    更多+
    ttpt004.jpg
    • 青年哲学论坛
    访问学者
    更多+
    • 中国社会科学院哲学研究所国内访问学者招收简章
    中英美暑期哲学学院
    更多+
    • 中英美暑期哲学学院第23期高级研讨班在华东师范大...
    • 中英美暑期哲学学院第22期高级研讨班在首都师范大...
    • 中英美暑期哲学学院第21期高级研讨班在中国人民大...
    • 中英美暑期哲学学院第20期高级研讨班在深圳大学举行
    • PHILOSOPHY SUMMER SCHOOL IN CHINA EXAMINERS' RE...
  • 图书档案
    图书馆简介

    哲学专业书库的前身是哲学研究所图书馆，与哲学研究所同时成立于1955年。1994年底，院所图书馆合并之后将其划为哲学所自管库，从此只保留图书借阅流通业务，不再购进新书。

    2009年1月16日，作为中国社会科学院图书馆体制机制改革的重要举措之一，哲学专业书库正式挂牌。

    <详情>
    • 中国社会科学院哲学研究所哲学专业书库藏书特色简介
    • 哲学书库——几代馆人竭尽心力完整系统收藏书
    • 图书室藏书凝聚着科研人员的心血与汗水
    • 中国社会科学院哲学研究所图书室馆藏哲学书刊简况
    哲学学科服务
    更多+
    • 中文社会科学常用核心期刊目录来源
    • 中国社会科学院哲学研究所图书室馆藏哲学书刊简况
    • 哲学书库——几代馆人竭尽心力完整系统收藏书
    • 图书室藏书凝聚着科研人员的心血与汗水
    特色馆藏
    更多+
    • 【高颖 兰倩】四库底本《记纂渊海》考略
    • 傅兰雅与《格致汇编》
  • 哲学系
    哲学系简介

    哲学系以中国社会科学院哲学研究所为依托，成立于1978年。中国社会科学院哲学研究所为国家级专业研究学术机构。1955年成立中国科学院哲学社会科学部后，哲学所便开始招收培养研究生，因“文革”一度停止招生。自1978年中国社会科学院成立以来...<详情>

    哲学系动态
    更多+
    • 哲学院成功举办“深化科教融合，做好本科生教学和...
    • 哲学院召开2021年度春季工作会议
    • 第二届“中华传统文化民生奖学金”楼宇烈民生奖学...
    招生信息
    更多+
    • 2025年中国社会科学院大学哲学院硕士研究生招生复试考生名单
    • 2025年中国社会科学院大学哲学院硕士研究生招生复试录取工作方案
    • 中国社会科学院大学2025年哲学院招收博士生入围综合考核名单公示
    • 中国社会科学院大学2025年哲学院招收硕博连读研究生入围综合考核...
    • 2025年中国社会科学院大学哲学院哲学专业博士研究生综合考核笔试...
    表格下载
    更多+
    • 中国社会科学院大学硕士研究生招生思想政治素...
    • 报考导师意向表
    • 中国社会科学院大学研究生招生体格检查表
    • 2025年中国社会科学院大学哲学院哲学专业博士...
    • 中国社会科学院大学哲学院2025年博士研究生招...
    • 师资队伍
    • 学生名录
    • 常用链接
    • 联系我们

您当前的位置：首页>科研工作>学术争鸣>逻辑学

学术争鸣

  • 马克思主义哲学
  • 中国哲学
  • 西方哲学
  • 东方哲学
  • 伦理学
  • 逻辑学
  • 科学技术哲学
  • 美学
  • 文化哲学

【杜国平】经典否定蕴涵系统定理的能行证明

发布时间： 2022-12-22
【字号 +字号 -】

提要：借鉴亚里士多德的化归方法，通过反复使用双否消去规则、否定内移规则、移动排序规则、合并规则和归约规则，可以将命题逻辑否定蕴涵系统的任一定理等值地化归为一个形如[YY]的公式。再借助相应的证明子程序和嵌入程序可以能行地构建该定理的证明。

 

原载：《重庆理工大学学报》（社会科学）2022年第10期




分享到
友情链接 中国社会科学网 哲学中国网 中国儒学网 上海社会科学院哲学研究所 清华大学哲学系 更多>>

地址：北京市东城区建国门内大街5号邮编：100732

电话：（010）85195506 传真：（010）65137826 E-mail：philosophy@cass.org.cn

版权所有 中国社会科学院哲学研究所 京ICP备20004808号
  • 微信

    《哲学中国》

    《哲学研究》

    《哲学动态》

    《世界哲学》

首页

本所概况

  • 哲学所介绍
  • 组织机构
  • 历任领导
  • 现任领导
  • 历史资料
  • 通知公告
  • 新闻资讯
  • 人才招聘

党建工作

  • 历史沿革
  • 组织机构
  • 全面从严治党专栏
  • 政策方针
  • 党建专栏
  • 离退休工作
  • 工会、青年工作

研究学人

  • 荣誉学部委员
  • 学部委员
  • 本所同仁
  • 历史名家

科研工作

  • 学科建设
  • 学术动态
  • 论著评介
  • 学术争鸣
  • 获奖、成果
  • 重大会议、论坛
  • 重大研究项目
  • 学者资助计划

学术期刊

  • 哲学研究
  • 哲学动态
  • 世界哲学
  • 中国哲学年鉴
  • 中国哲学史

人才培养

  • 博士后
  • 访问学者
  • 青年哲学论坛
  • 中英美暑期学院

图书档案

  • 图书馆简介
  • 哲学学科服务
  • 特色馆藏

哲学系

  • 哲学系简介
  • 哲学系动态
  • 招生信息
  • 表格下载
  • 师资队伍
  • 学生名录
  • 常用链接
  • 联系我们
点击搜索
逻辑学
  • · 马克思主义哲学
  • · 中国哲学
  • · 西方哲学
  • · 东方哲学
  • · 伦理学
  • · 逻辑学
  • · 科学技术哲学
  • · 美学
  • · 文化哲学

【杜国平】经典否定蕴涵系统定理的能行证明

发布日期： 2022-12-22

提要：借鉴亚里士多德的化归方法，通过反复使用双否消去规则、否定内移规则、移动排序规则、合并规则和归约规则，可以将命题逻辑否定蕴涵系统的任一定理等值地化归为一个形如[YY]的公式。再借助相应的证明子程序和嵌入程序可以能行地构建该定理的证明。

 

原载：《重庆理工大学学报》（社会科学）2022年第10期

Top

中国社会科学院哲学研究所-版权所有