扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
中国表示法及其逻辑研究 版权信息
- ISBN:9787522721002
- 条形码:9787522721002 ; 978-7-5227-2100-2
- 装帧:平装-胶订
- 册数:暂无
- 重量:暂无
- 所属分类:>>
中国表示法及其逻辑研究 内容简介
本书在H.M.Sheffer和张清宇先生等人工作的基础上,提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号,就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项,由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征,证明了中国表示法的结构唯一性及其强大的表达功能,基于中国表示法探究了若干逻辑基础问题,获得了若干创新性成果。
中国表示法及其逻辑研究 目录
导言
**章 中国表示法
**节 逻辑符号表示法概述
第二节 不用联结词的逻辑系统
第三节 中国表示法
第二章 基于中国表示法的二值逻辑系统
**节 形式语言
第二节 自然推演系统
第三节 排斥系统
第四节 语义及元理论
第五节 一阶形式语言
第三章 基于中国表示法的三值命题逻辑
**节 三值命题逻辑形式语言
第二节 三值命题逻辑自然推演系统
第三节 三值命题逻辑语义及元理论
第四章 三值逻辑系统3PC与LPC关系研究
**节 三值逻辑系统LPC
第二节 基于中国表示法的LPC
第三节 作为3PC子系统的LPC
第五章 三值逻辑与二值逻辑关系研究
**节 逻辑系统之间的关系比较
第二节 语形证明
第三节 语义分析
第六章 基于中国表示法的三值模态逻辑
**节 三值模态逻辑形式语言
第二节 三值模态逻辑常项的中国表示法
第三节 三值模态逻辑系统及其元理论
第七章 基于中国表示法的三值逻辑函数研究
**节 三值二元Sheffer函数的构造
第二节 三值二元Sheffer函数的类型
第三节 三值二元逻辑函数的表达能力
第四节 若干结论
附录1 第四章第三节证明对照
附录2 第五章第二节证明对照
参考文献
展开全部
中国表示法及其逻辑研究 作者简介
杜国平,男,1965年生,江苏省淮安市盱眙县人。哲学博士(逻辑学专业),工学博士(计算机应用技术专业)。现为中国社会科学院哲学研究所研究员、智能与逻辑实验室主任,二级教授,博士生导师,享受国务院政府特殊津贴专家。兼任中国逻辑学会会长,金岳霖学术基金会秘书长。主持完成国家社科基金重大项目“应用逻辑与逻辑应用研究”等。先后两次获得“金岳霖学术奖”。主要学术成果有《不协调信息的推理机制研究》《集合论-泛逻辑悖论》等。现主要从事逻辑学和人工智能基础理论研究,研究方向为人工智能逻辑、符号逻辑、逻辑思想史和逻辑应用等。
书友推荐
- >
李白与唐代文化
李白与唐代文化
¥9.5¥29.8 - >
我与地坛
我与地坛
¥16.8¥28.0 - >
回忆爱玛侬
回忆爱玛侬
¥10.5¥32.8 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.1¥19.0 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
月亮与六便士
月亮与六便士
¥13.4¥42.0 - >
姑妈的宝刀
姑妈的宝刀
¥9.6¥30.0 - >
朝闻道
朝闻道
¥13.8¥23.8
本类畅销
-
理想国-精装典藏版
¥23.1¥68 -
诸子的真相 (何新文选)
¥23¥58 -
中国哲学小史
¥20.9¥49.8 -
大一统与儒家思想
¥16.4¥38 -
哲学家的狗:一本让人捧腹大笑的超萌醒脑哲学书
¥26.4¥49.8 -
中国哲学十讲
¥16.9¥49.8