书籍详情

中国表示法及其逻辑研究

中国表示法及其逻辑研究

作者:杜国平

出版社:中国社会科学出版社

出版时间:2023-05-01

ISBN:9787522721002

定价:¥88.00

内容简介
  本书在H.M.Sheffer和张清宇先生等人工作的基础上,提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号,就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项,由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征,证明了中国表示法的结构 性及其强大的表达功能,基于中国表示法探究了若干逻辑基础问题,获得了若干创新性成果。
作者简介
  杜国平,男,1965年生,江苏省淮安市盱眙县人。哲学博士(逻辑学专业),工学博士(计算机应用技术专业)。现为 哲学研究所研究员、智能与逻辑实验室主任,二级教授,博士生导师,享受 政府特殊津贴专家。兼任中国逻辑学会会长,金岳霖学术基金会秘书长。主持完成 社科基金重大项目“应用逻辑与逻辑应用研究”等。先后两次获得“金岳霖学术奖”。主要学术成果有《不协调信息的推理机制研究》《集合论-泛逻辑悖论》等。现主要从事逻辑学和人工智能基础理论研究,研究方向为人工智能逻辑、符号逻辑、逻辑思想史和逻辑应用等。
目录
导言
章 中国表示法
节 逻辑符号表示法概述
第二节 不用联结词的逻辑系统
第三节 中国表示法
第二章 基于中国表示法的二值逻辑系统
节 形式语言
第二节 自然推演系统
第三节 排斥系统
第四节 语义及元理论
第五节 一阶形式语言
第三章 基于中国表示法的三值命题逻辑
节 三值命题逻辑形式语言
第二节 三值命题逻辑自然推演系统
第三节 三值命题逻辑语义及元理论
第四章 三值逻辑系统3PC与LPC关系研究
节 三值逻辑系统LPC
第二节 基于中国表示法的LPC
第三节 作为3PC子系统的LPC
第五章 三值逻辑与二值逻辑关系研究
节 逻辑系统之间的关系比较
第二节 语形证明
第三节 语义分析
第六章 基于中国表示法的三值模态逻辑
节 三值模态逻辑形式语言
第二节 三值模态逻辑常项的中国表示法
第三节 三值模态逻辑系统及其元理论
第七章 基于中国表示法的三值逻辑函数研究
节 三值二元Sheffer函数的构造
第二节 三值二元Sheffer函数的类型
第三节 三值二元逻辑函数的表达能力
第四节 若干结论
附录1 第四章第三节证明对照
附录2 第五章第二节证明对照
参考文献
猜您喜欢

读书导航