-
>
(精)清儒学案-九品(全10册)
-
>
素书
-
>
(精)周桂钿文集:秦汉思想研究(全7册)
-
>
海德格尔形式显示的实存哲学
-
>
毛泽东读书笔记解析.4:历史卷
-
>
中国学术名著丛书-杨树达:老子古义 周子古义
-
>
(精)斐多:柏拉图对话录(毛边本)
结构推理 版权信息
- ISBN:9787549561971
- 条形码:9787549561971 ; 978-7-5495-6197-1
- 装帧:一般轻型纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
结构推理 本书特色
“智慧的探索丛书”收入了华东师范大学哲学学科几代学人的哲学论著,展示了几代学人的智慧之思。 《结构推理》系统地考察了命题逻辑的结构推理,是国内第1次系统关注并深入推进这一逻辑前沿的力作,填补了国内逻辑学在这一重要领域内的空白。全书内容丰富,信息量大;结构合理,层次感强;文字简洁,符号精确;行之明快,条理清晰,充分体现了现代逻辑研究的“数理性”和“严格性”特点。
结构推理 内容简介
《结构推理》研究命题逻辑的结构推理,分为四章:一、经典命题逻辑的结构推理;二、直觉主义命题逻辑的结构推理;三、相干命题逻辑及其线性片段的结构推理;四、和正结合演算的结构推理。内容涉及多种结构推理系统的建构,结构推理系统与相应公理系统的等价性,在语义理论的基础上,证明了各个结构推理系统的可靠性与完全性,并考察了正结合演算结构推理系统BL-D的可判定性。 《结构推理》是教育部人文社会科学重点研究基地重大项目“结构推理及其应用研究”的*终成果。
结构推理 目录
§1. 1 经典命题逻辑的结构推理系统PL
§1. 2 切割规则与其它导出规则
§1. 3 系统PL与相应公理系统P的等价性
第二章 直觉主义命题逻辑的结构推理
§2. 1 直觉主义命题逻辑的结构推理系统IL
§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的可判定性
参考文献
符号表
索引
后记
结构推理 作者简介
冯棉,华东师范大学终身教授,博士生导师,哲学系逻辑室主任,逻辑学博士点负责人,国务院特殊津贴获得者,中国逻辑学会副会长,上海市逻辑学会会长。撰有专著《经典逻辑与直觉主义逻辑》、《广义模态逻辑》、《哲学逻辑与逻辑哲学》、《相干与衍推逻辑》、《可能世界与逻辑研究》、《相干逻辑研究》等多部。参与编写《哲学大辞典》、《计算机科学技术百科全书》、《辞海》、《外国哲学大辞典》、《逻辑学大辞典》(副主编)、《大辞海》等辞书和《逻辑学导论》等多部教材。主要研究领域为“现代逻辑”和“逻辑哲学”。
- >
罗庸西南联大授课录
罗庸西南联大授课录
¥10.6¥32.0 - >
莉莉和章鱼
莉莉和章鱼
¥16.0¥42.0 - >
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
新文学天穹两巨星--鲁迅与胡适/红烛学术丛书(红烛学术丛书)
¥9.9¥23.0 - >
唐代进士录
唐代进士录
¥26.7¥39.8 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥4.7¥10.0 - >
姑妈的宝刀
姑妈的宝刀
¥11.4¥30.0 - >
朝闻道
朝闻道
¥20.2¥23.8 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥40.6¥58.0
-
简单的逻辑学:逻辑学入门很简单
¥18.4¥36 -
中西文化回眸
¥22.7¥59.8 -
简单的逻辑学
¥14.7¥29.9 -
逻辑学十五讲-(第二版)
¥37.8¥59 -
李卓吾.两种阳明学-沟口雄三著作集
¥24¥49 -
小逻辑
¥31.5¥42
水暖工-建筑工人安全操作基本知识读本
¥7.9¥10.0