2020年2月14日
首页
中国社会科学院哲学研究所是我国哲学学科的重要学术机构和研究中心。其前身是中国科学院哲学社会科学部哲学研究所。历任所长为潘梓年、许立群、邢贲思、汝信（兼）、陈筠泉、李景源、谢地坤。中华人民共和国成立前，全国没有专门的哲学研究机构。为了适应社会主义改造和建设事业发展的需要... ... <详情>
哲学专业书库的前身是哲学研究所图书馆，与哲学研究所同时成立于1955年。1994年底，院所图书馆合并之后将其划为哲学所自管库，从此只保留图书借阅流通业务，不再购进新书。
2009年1月16日，作为中国社会科学院图书馆体制机制改革的重要举措之一，哲学专业书库正式挂牌。
<详情>
字号 +字号 -】内容简介
本书在H.M.Sheffer和张清宇先生等人工作的基础上，提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号，就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项，由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征，证明了中国表示法的结构唯一性及其强大的表达功能，基于中国表示法探究了若干逻辑基础问题，获得了若干创新性成果。
杜国平著
中国社会科学出版社2023年
作者简介
杜国平，男，1965年生，江苏省盱眙县人。哲学博士(逻辑学专业)，工学博士(计算机应用技术专业)。现为中国社会科学院哲学研究所智能与逻辑实验室主任、二级教授、博士生导师。享受国务院政府特殊津贴专家。兼任中国逻辑学会会长、金岳霖学术基金会秘书长。现主要从事逻辑学和人工智能基础理论研究。主持完成国家社会科学基金重大项目“应用逻辑与逻辑应用研究”等。先后两次获得“金岳霖学术奖”。
目录
导言
第一章 中国表示法
第一节 逻辑符号表示法概述
第二节 不用联结词的逻辑系统
第三节 中国表示法
第二章 基于中国表示法的二值逻辑系统
第一节 形式语言
第二节 自然推演系统
第三节 排斥系统
第四节 语义及元理论
第五节 一阶形式语言
第三章 基于中国表示法的三值命题逻辑
第一节 三值命题逻辑形式语言
第二节 三值命题逻辑自然推演系统
第三节 三值命题逻辑语义及元理论
第四章 三值逻辑系统3PC与LPC关系研究
第一节 三值逻辑系统LPC
第二节 基于中国表示法的LPC
第三节 作为3PC子系统的LPC
第五章 三值逻辑与二值逻辑关系研究
第一节 逻辑系统之间的关系比较
第二节 语形证明
第三节 语义分析
第六章 基于中国表示法的三值模态逻辑
第一节 三值模态逻辑形式语言
第二节 三值模态逻辑常项的中国表示法
第三节 三值模态逻辑系统及其元理论
第七章 基于中国表示法的三值逻辑函数研究
第一节 三值二元Sheffer函数的构造
第二节 三值二元Sheffer函数的类型
第三节 三值二元逻辑函数的表达能力
第四节 若干结论
附录1 第四章第三节证明对照
附录2 第五章第二节证明对照
参考文献
地址：北京市东城区建国门内大街5号邮编：100732
电话：（010）85195506
传真：（010）65137826
E-mail：philosophy@cass.org.cn
微信
《哲学中国》
《哲学研究》
《哲学动态》
《世界哲学》
内容简介
本书在H.M.Sheffer和张清宇先生等人工作的基础上，提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号，就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项，由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征，证明了中国表示法的结构唯一性及其强大的表达功能，基于中国表示法探究了若干逻辑基础问题，获得了若干创新性成果。
杜国平著
中国社会科学出版社2023年
作者简介
杜国平，男，1965年生，江苏省盱眙县人。哲学博士(逻辑学专业)，工学博士(计算机应用技术专业)。现为中国社会科学院哲学研究所智能与逻辑实验室主任、二级教授、博士生导师。享受国务院政府特殊津贴专家。兼任中国逻辑学会会长、金岳霖学术基金会秘书长。现主要从事逻辑学和人工智能基础理论研究。主持完成国家社会科学基金重大项目“应用逻辑与逻辑应用研究”等。先后两次获得“金岳霖学术奖”。
目录
导言
第一章 中国表示法
第一节 逻辑符号表示法概述
第二节 不用联结词的逻辑系统
第三节 中国表示法
第二章 基于中国表示法的二值逻辑系统
第一节 形式语言
第二节 自然推演系统
第三节 排斥系统
第四节 语义及元理论
第五节 一阶形式语言
第三章 基于中国表示法的三值命题逻辑
第一节 三值命题逻辑形式语言
第二节 三值命题逻辑自然推演系统
第三节 三值命题逻辑语义及元理论
第四章 三值逻辑系统3PC与LPC关系研究
第一节 三值逻辑系统LPC
第二节 基于中国表示法的LPC
第三节 作为3PC子系统的LPC
第五章 三值逻辑与二值逻辑关系研究
第一节 逻辑系统之间的关系比较
第二节 语形证明
第三节 语义分析
第六章 基于中国表示法的三值模态逻辑
第一节 三值模态逻辑形式语言
第二节 三值模态逻辑常项的中国表示法
第三节 三值模态逻辑系统及其元理论
第七章 基于中国表示法的三值逻辑函数研究
第一节 三值二元Sheffer函数的构造
第二节 三值二元Sheffer函数的类型
第三节 三值二元逻辑函数的表达能力
第四节 若干结论
附录1 第四章第三节证明对照
附录2 第五章第二节证明对照
参考文献
中国社会科学院哲学研究所-版权所有
官方微博
邮箱
潘梓年
金岳霖
贺麟
杜任之
容肇祖
沈有鼎
巫白慧
杨一之
徐崇温
陈筠泉
姚介厚
李景源
赵汀阳
