由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
正版新书]STIT逻辑研究贾青9787522701493
¥ ×1
章 哲学背景与STIT逻辑简介
一 哲学背景:主事的模态逻辑进路
(一)主事的界定
(二)主事的不同研究视角
(三)模态逻辑进路
(四)小结
二 STIT逻辑简介
(一)STIT逻辑的句法和语义
(二)繁忙选择者与不做的刻画
(三)不同的STIT系统
(四)STIT逻辑在不同领域中的应用
(五)近年来的发展
第二章 基本理论的拓展与修正
一 分支时空逻辑的引入
(一)从分支时间到时空理论
(二)分支时空逻辑简介
(三)导因的刻画
二 事件因素的添加
(一)添加事件因素的句法构造
(二)包含选择名字的STIT逻辑
(三)行动普型理论
三 连续行动的刻画
(一)已有的刻画方案
(二)连续行动的界定
(三)动词体的分类
(四)连续行动的分类与逻辑刻画
(五)存在的问题及未来的工作
四 内涵因素的添加
(一)跨界同一问题与内涵的引入
(二)后续的发展
第三章 与动态逻辑的交叉
一 STIT与ETL的比较
(一)ETL简介
(二)ETL与RSL的等价
二 动态逻辑对STIT逻辑的重构与改写
(一)对选择的刻画
(二)STIT逻辑与PDL的比较与融合
(三)形式工作的构建
第四章 STIT逻辑在领域的应用
一 STIT逻辑在言语行为理论中的应用
(一)双时间参数理论
(二)改进理论中的基本要素
(三)分支时空理论基础上的双时间参数
二 STIT逻辑在道义逻辑中的应用
(一)道义逻辑的两个分支
(二)已有理论及其问题
(三)STIT逻辑对应是与应做的刻画
(四)未来的工作
结语
附录1 以言行事行为理论简介
一 以言行事行为理论的初创阶段
二 以言行事行为理论的发展阶段
三 以言行事行为理论的完善阶段
附录2 以言行事行为的形式化工作
附录3刻画不同应当算子的STIT逻辑
一STIT逻辑及其在道义逻辑中的应用
二系统的构建与解析
三未解决的问题
参考文献
贾青,河北沧州人,2012年于中国人民大学,获哲学博士,同年进入哲学研究所从事博士后研究工作。现为哲学研究所副研究员。研究方向为哲学逻辑。
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格