杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

中国表示法及其逻辑研究/杜国平著

出版发行项:

北京:中国社会科学出版社,2023

ISBN及定价:

978-7-5227-2100-2/CNY88.00

载体形态项:

223页;24cm

个人责任者:

杜国平 1965- 著

学科主题:

数理逻辑-研究

中图法分类号:

O141

一般附注:

中国社会科学院哲学社会科学创新工程学术出版资助项目资助

责任者附注:

杜国平, 男, 1965年生, 江苏省盱眙县人。哲学博士 (逻辑学专业), 工学博士 (计算机应用技术专业)。现为中国社会科学院哲学研究所智能与逻辑实验室主任、二级教授、博士生导师。享受国务院政府特殊津贴专家。兼任中国逻辑学会会长、金岳霖学术基金会秘书长。

书目附注:

有书目 (第220-223页)

提要文摘附注:

本书首次全面、系统地阐述了中国表示法的理论缘起、核心思想及其应用技术, 特别是探讨了中国表示法中括号之于逻辑联结词、量词和模态词等的表达功能 ; 基于逻辑常项的中国表示法重新构建了更加简洁的二值逻辑系统 ; 基于括号表示法系统构建了三值逻辑系统, 严格证明了三值逻辑是二值逻辑的扩充, 纠正了长期以来认为“三值逻辑是二值逻辑的限制”错误观点, 对三值逻辑的直观性进行了细致的分析和刻画 ; 运用中国表示法对三值逻辑函数进行了研究, 重点研究了三值逻辑Sheffer函数, 基于中国表示法对三值逻辑Sheffer函数的表达能力重新进行了自足的证明。

豆瓣简介：