- ISBN:9787559828781
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 开本:16开
- 页数:244
- 出版时间:2020-07-01
- 条形码:9787559828781 ; 978-7-5598-2878-1
本书特色
展现了日常推理中的多种推理方式,为逻辑推理机制的深入研究和人工智能的开发提供了研究基础。 1.该书展现了日常推理中的多种推理方式,对于逻辑推理机制的深入研究和人工智能的开发具有重要的理论意义和实际价值。 2.该书在语义理论的基础上,证明了各个结构推理系统的可靠性与完全性,并考察了正结合演算结构推理系统BL-D的可判定性,是探究这一逻辑前沿领域的力作。 3.作者为逻辑学方面著名学者 结构推理展现了日常推理中的多种推理方式,对于逻辑推理机制的深入研究和人工智能的开发具有重要的理论意义和实际价值。
内容简介
本书研究命题逻辑的结构推理,涉及多种结构推理系统的建构,结构推理系统与相应公理系统的等价性,在语义理论的基础上,证明了各个结构推理系统的可靠性与接近性,并考察了正结合演算结构推理系统BL-D的可判定性,是探究这一逻辑前沿领域的力作。
目录
§1.1 经典命题逻辑的结构推理系统PL
§1.2 切割规则与其他导出规则
§1.3 系统PL与相应公理系统P的等价性
第二章 直觉主义命题逻辑的结构推理
§2.1 直觉主义命题逻辑的结构推理系统PL
§2.2 系统IL与相应公理系统IP的等价性
§2.3 二元关系语义
第三章 相干命题逻辑及其线性片段的结构推理
§3.1 相干命题逻辑的结构推理系统RL及其线性片段BCL
§3.2 系统RL、BCL与相应公理系统R、BC的等价性
§3.3 三元关系语义
§3.4 系统RL、BCL的完全性
第四章 正结合演算的结构推理
§4.1 正结合演算的结构推理系统BL
§4.2 系统BL与相应公理系统B的等价性
§4.3 择类语义
§4.4 正结合演算结构推理系统BL-D的可判定性
参考文献
符号表
索引
初版后记
作者简介
冯棉,华东师范大学终身教授,博士生导师,国务院特殊津贴获得者,中国逻辑学会副会长,上海市逻辑学会会长,《逻辑学研究》杂志编委,台湾大学客座教授(2013年)。 撰有专著《经典逻辑与直觉主义逻辑》《广义模态逻辑》《哲学逻辑与逻辑哲学》《相干与衍推逻辑》《可能世界与逻辑研究》《相干逻辑研究》《结构推理》《相干与衍推谓词逻辑》等多部。参与编写《哲学大辞典》《计算机科学技术百科全书》《辞海》《外国哲学大辞典》《大辞海》《逻辑学大辞典》(副主编)等辞书和《逻辑学导论》等多部教材。 先后承担多项国家和教育部基金项目,著作和论文获教育部“高等学校科学研究优秀成果奖”、上海市哲学社会科学优秀学术成果奖和“金岳霖学术奖”。主要研究领域为“现代逻辑”和“逻辑哲学”。
-
我的哲学之师叔本华
¥13.5¥39.0 -
哲学家的狗:一本让人捧腹大笑的超萌醒脑哲学书
¥16.9¥49.8 -
生如蚁,美如神:怎样平凡而有诗意地过一生
¥19.6¥58.0 -
理想国-精装典藏版
¥21.4¥68.0 -
中国哲学小史
¥18.9¥49.8 -
伦理学与经济学
¥8.2¥20.0 -
谈修养
¥7.7¥20.0 -
道家哲学研究-(附录三种)
¥5.9¥18.0 -
一种人生观
¥26.7¥42.0 -
启蒙先知-严复.梁启超的思想革命
¥18.3¥54.0 -
王阳明心学的智慧
¥10.0¥36.0 -
心灵的平和之美
¥15.4¥45.0 -
脑海中的声音:自我对话的历史与科学
¥15.7¥49.0 -
超解论语:怎样继承孔子留给我们的遗产
¥20.4¥49.8 -
相濡以沫:希腊、罗马与拜占庭的精神世界
¥11.1¥33.5 -
理想国
¥20.7¥45.8 -
明代遗民 顾炎武 王夫之 黄宗羲
¥7.9¥21.5 -
生命的所有可能
¥17.6¥52.0 -
西南联大哲学课
¥18.4¥58.0 -
思考的本质:杜威论逻辑思维
¥12.9¥39.8