扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
STIT逻辑研究 版权信息
- ISBN:9787522701493
- 条形码:9787522701493 ; 978-7-5227-0149-3
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
STIT逻辑研究 内容简介
STIT是英文“see to it that”的缩写,可译为“确定、确保”。STIT逻辑是一种主事性(agency)的逻辑,其将主事性刻画为行动者与事件(结果)之间的二元关系,即行动者确保(或者确定)某一事件(结果)出现的这种关系。如果将行动(actions)理解为一种具有主事性的事件(events),那么就可以说主事性将行动从众多事件类别中区分了出来,因此STIT逻辑也被称为一种行动的逻辑。作为一本介绍STIT逻辑的书,《STIT逻辑研究》详述了STIT逻辑中的基础理论及其扩张、STIT逻辑与其他行动理论的互动以及STIT逻辑的应用等问题。
STIT逻辑研究 目录
**章 哲学背景与STIT逻辑简介
一 哲学背景:主事性的模态逻辑进路
(一)主事性的界定
(二)主事性的不同研究视角
(三)模态逻辑进路
(四)小结
二 STIT逻辑简介
(一)STIT逻辑的句法和语义
(二)繁忙选择者与不做的刻画
(三)不同的STIT系统
(四)STIT逻辑在不同领域中的应用
(五)近年来的发展
第二章 基本理论的拓展与修正
一 分支时空逻辑的引入
(一)从分支时间到时空理论
(二)分支时空逻辑简介
(三)导因的刻画
二 事件因素的添加
(一)添加事件因素的句法构造
(二)包含选择名字的STIT逻辑
(三)行动普型理论
三 连续行动的刻画
(一)已有的刻画方案
(二)连续行动的界定
(三)动词体的分类
(四)连续行动的分类与逻辑刻画
(五)存在的问题及未来的工作
四 内涵因素的添加
(一)跨界同一问题与内涵的引入
(二)后续的发展
第三章 与动态逻辑的交叉
一 STIT与ETL的比较
(一)ETL简介
(二)ETL与RSL的等价性
二 动态逻辑对STIT逻辑的重构与改写
(一)对选择的刻画
(二)STIT逻辑与PDL的比较与融合
(三)形式工作的构建
第四章 STIT逻辑在其他领域的应用
一 STIT逻辑在言语行为理论中的应用
(一)双时间参数理论
(二)改进理论中的基本要素
(三)分支时空理论基础上的双时间参数
二 STIT逻辑在道义逻辑中的应用
(一)道义逻辑的两个分支
(二)已有理论及其问题
(三)STIT逻辑对应是与应做的刻画
(四)未来的工作
结语
附录1 以言行事行为理论简介
一 以言行事行为理论的初创阶段
二 以言行事行为理论的发展阶段
三 以言行事行为理论的完善阶段
附录2 以言行事行为的形式化工作
附录3刻画不同应当算子的STIT逻辑
一STIT逻辑及其在道义逻辑中的应用
二系统的构建与解析
三未解决的问题
参考文献
一 哲学背景:主事性的模态逻辑进路
(一)主事性的界定
(二)主事性的不同研究视角
(三)模态逻辑进路
(四)小结
二 STIT逻辑简介
(一)STIT逻辑的句法和语义
(二)繁忙选择者与不做的刻画
(三)不同的STIT系统
(四)STIT逻辑在不同领域中的应用
(五)近年来的发展
第二章 基本理论的拓展与修正
一 分支时空逻辑的引入
(一)从分支时间到时空理论
(二)分支时空逻辑简介
(三)导因的刻画
二 事件因素的添加
(一)添加事件因素的句法构造
(二)包含选择名字的STIT逻辑
(三)行动普型理论
三 连续行动的刻画
(一)已有的刻画方案
(二)连续行动的界定
(三)动词体的分类
(四)连续行动的分类与逻辑刻画
(五)存在的问题及未来的工作
四 内涵因素的添加
(一)跨界同一问题与内涵的引入
(二)后续的发展
第三章 与动态逻辑的交叉
一 STIT与ETL的比较
(一)ETL简介
(二)ETL与RSL的等价性
二 动态逻辑对STIT逻辑的重构与改写
(一)对选择的刻画
(二)STIT逻辑与PDL的比较与融合
(三)形式工作的构建
第四章 STIT逻辑在其他领域的应用
一 STIT逻辑在言语行为理论中的应用
(一)双时间参数理论
(二)改进理论中的基本要素
(三)分支时空理论基础上的双时间参数
二 STIT逻辑在道义逻辑中的应用
(一)道义逻辑的两个分支
(二)已有理论及其问题
(三)STIT逻辑对应是与应做的刻画
(四)未来的工作
结语
附录1 以言行事行为理论简介
一 以言行事行为理论的初创阶段
二 以言行事行为理论的发展阶段
三 以言行事行为理论的完善阶段
附录2 以言行事行为的形式化工作
附录3刻画不同应当算子的STIT逻辑
一STIT逻辑及其在道义逻辑中的应用
二系统的构建与解析
三未解决的问题
参考文献
展开全部
STIT逻辑研究 作者简介
贾青,河北沧州人,2012年毕业于中国人民大学,获哲学博士学位,同年进入中国社会科学院哲学研究所从事博士后研究工作。现为中国社会科学院哲学研究所副研究员。研究方向为哲学逻辑。
书友推荐
- >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥4.5¥10.0 - >
自卑与超越
自卑与超越
¥17.9¥39.8 - >
推拿
推拿
¥12.2¥32.0 - >
二体千字文
二体千字文
¥14.0¥40.0 - >
巴金-再思录
巴金-再思录
¥14.7¥46.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥9.3¥19.0 - >
龙榆生:词曲概论/大家小书
龙榆生:词曲概论/大家小书
¥7.7¥24.0 - >
回忆爱玛侬
回忆爱玛侬
¥23.0¥32.8
本类畅销
-
理想国-精装典藏版
¥23.1¥68 -
诸子的真相 (何新文选)
¥23¥58 -
中国哲学小史
¥20.9¥49.8 -
大一统与儒家思想
¥16.4¥38 -
哲学家的狗:一本让人捧腹大笑的超萌醒脑哲学书
¥26.4¥49.8 -
中国哲学十讲
¥16.9¥49.8