由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高99元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
正版新书]图式逻辑刘新文9787516113790
¥ ×1
前言
章 逻辑图:从古典到形式化
1.1 古典形式:欧拉图和文恩图
1.2 里程碑:皮尔士—文恩图和皮尔士存在图
1.3 图式逻辑:概念的提出
第2章 欧拉图
2.1 概述
2.2 欧拉图理论
2.3 可判定性和内插性
2.4 一个扩张:状态图
第3章 文恩图
3.1 概述
3.2 皮尔士的批评
3.3 皮尔士—文恩图
3.4 图形的数量方面
3.5 文恩图理论
3.6 可判定性、内插性和可定义性
3.7 欧拉图和文恩图:余论
第4章 图形的表达能力
4.1 文恩图及其扩展
4.2 欧拉—文恩图理论
4.3 图—式理论
第5章 皮尔士图
5.1 概述
5.2 判定问题
5.3 形式理论
附录符号逻辑(查尔斯.S.皮尔士)
参考文献
索引
刘新文,男,哲学博士,江西莲花人,从1999年开始师从我国有名逻辑学家张清宇研究员研习现代逻辑,现为中国社会科学院哲学研究所副研究员、中国逻辑学会副秘书长,主要研究兴趣为符号逻辑,著有《谢弗函数研究》,合作出版译著《模态对应理论》、《逻辑、语言和认知》,在《哲学研究》、《哲学动态》、《世界哲学》和《逻辑学研究》等刊物上发表专业论文多篇。
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格
