结构推理
温馨提示：5折以下图书主要为出版社尾货，大部分为全新（有塑封/无塑封），个别图书品相8-9成新、切口有划线标记、光盘等附件不全详细品相说明>>
- ISBN：9787549561971
- 装帧：一般轻型纸
- 册数：暂无
- 重量：暂无
- 开本：16开
- 页数：238
- 出版时间：2015-03-01
- 条形码：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的可判定性
参考文献
符号表
索引
后记
作者简介
冯棉，华东师范大学终身教授，博士生导师，哲学系逻辑室主任，逻辑学博士点负责人，国务院特殊津贴获得者，中国逻辑学会副会长，上海市逻辑学会会长。撰有专著《经典逻辑与直觉主义逻辑》、《广义模态逻辑》、《哲学逻辑与逻辑哲学》、《相干与衍推逻辑》、《可能世界与逻辑研究》、《相干逻辑研究》等多部。参与编写《哲学大辞典》、《计算机科学技术百科全书》、《辞海》、《外国哲学大辞典》、《逻辑学大辞典》（副主编）、《大辞海》等辞书和《逻辑学导论》等多部教材。主要研究领域为“现代逻辑”和“逻辑哲学”。
-
沉思录
¥28.5¥49.8 -
谈修养
¥8.0¥20.0 -
理想国-精装典藏版
¥20.4¥68.0 -
朱光潜谈美三十六讲
¥22.0¥49.9 -
第一哲学沉思录
¥16.8¥56.0 -
哲学家的狗:一本让人捧腹大笑的超萌醒脑哲学书
¥15.9¥49.8 -
传习录
¥11.6¥55.0 -
思考的本质:杜威论逻辑思维
¥19.9¥39.8 -
圣经的故事
¥17.4¥58.0 -
周易相学精粹
¥13.7¥42.9 -
昨日书林:道教史
¥9.9¥33.0 -
西南联大哲学课
¥20.9¥58.0 -
中国哲学小史
¥18.4¥49.8 -
理想国
¥7.2¥26.8 -
查拉图斯特拉如是说
¥19.8¥38.0 -
箭术与禅心(一位西方哲学家的禅悟实录)(精)
¥28.0¥49.0 -
中国哲学十讲
¥14.9¥49.8 -
汤用彤魏晋玄学讲义
¥5.4¥18.0 -
列宁全集4
¥4.4¥9.7 -
知行合一:王阳明心学:升级图解版
¥15.4¥46.0
