中国表示法及其逻辑研究

定　　价：88 元

• 作者：杜国平著
• 出版时间：2023/5/1
• ISBN：9787522721002
• 出 版 社：中国社会科学出版社

• 中图法分类：O141 
• 页码：223
• 版次：1
• 开本：24cm

内容简介

本书在H.M.Sheffer和张清宇先生等人工作的基础上，提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号，就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项，由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征，证明了中国表示法的结构唯一性及其强大的表达功能，基于中国表示法探究了若干逻辑基础问题，获得了若干创新性成果。

作者介绍

杜国平，男，1965年生，江苏省淮安市盱眙县人。哲学博士（逻辑学专业），工学博士（计算机应用技术专业）。现为中国社会科学院哲学研究所研究员、智能与逻辑实验室主任，二级教授，博士生导师，享受国务院政府特殊津贴专家。兼任中国逻辑学会会长，金岳霖学术基金会秘书长。主持完成国家社科基金重大项目“应用逻辑与逻辑应用研究”等。先后两次获得“金岳霖学术奖”。主要学术成果有《不协调信息的推理机制研究》《集合论-泛逻辑悖论》等。现主要从事逻辑学和人工智能基础理论研究，研究方向为人工智能逻辑、符号逻辑、逻辑思想史和逻辑应用等l