STIT逻辑研究

STIT是英文“see to it that”的缩写，可译为“确 定、确保”。STIT逻辑是 一种主事性(agency)的逻 辑，其将主事性刻画为行 动者与事件(结果)之间的 二元关系，即行动者确保 (或者确定)某一事件(结 果)出现的这种关系。如 果将行动(actions)理解为 一种具有主事性的事件 (events)，那么就可以说 主事性将行动从众多事件 类别中区分了出来，因此 STIT逻辑也被称为一种 行动的逻辑。作为一本介 绍STIT逻辑的书，本书 详述了STIT逻辑中的基 础理论及其扩张、STIT 逻辑与其他行动理论的互 动以及STIT逻辑的应用 等问题。

贾青，河北沧州人，哲学博士。2008年毕业于燕山大学，获哲学硕士学位；2012年毕业于中国人民大学，获哲学博士学位；同年进入中国社会科学院哲学研究所从事博士后研究工作。现为中国社会科学院哲学研究所副研究员。研究方向为哲学逻辑。

第一章 哲学背景与STIT逻辑简介 一 哲学背景：主事性的模态逻辑进路 (一)主事性的界定 (二)主事性的不同研究视角 (三)模态逻辑进路 (四)小结 二 STIT逻辑简介 (一)STIT、逻辑的句法和语义 (二)繁忙选择者与不做的刻画 (三)不同的STIT系统 (四)STIT逻辑在不同领域中的应用 (五)近年来的发展 第二章 基本理论的拓展与修正 一 分支时空逻辑的引入 (一)从分支时间到时空理论 (二)分支时空逻辑简介 (三)导因的刻画 二 事件因素的添加 (一)添加事件因素的句法构造 (二)包含选择名字的STIT逻辑 (三)行动普型理论 三 连续行动的刻画 (一)已有的刻画方案 (二)连续行动的界定 (三)动词体的分类 (四)连续行动的分类与逻辑刻画 (五)存在的问题及未来的工作 四 内涵因素的添加 (一)跨界同一问题与内涵的引入 (二)后续的发展 第三章 与动态逻辑的交叉 一 STIT与ETL的比较 (一)ETL简介 (二)ETL与RSL的等价性 二 动态逻辑对STIT逻辑的重构与改写 (一)对选择的刻画 (二)STIT逻辑与PDL的比较与融合 (三)形式工作的构建 第四章 STIT逻辑在其他领域的应用 一 STIT逻辑在言语行为理论中的应用 (一)双时间参数理论 (二)改进理论中的基本要素 (三)分支时空理论基础上的双时间参数 二 STIT逻辑在道义逻辑中的应用 (一)道义逻辑的两个分支 (二)已有理论及其问题 (三)STIT逻辑对应是与应做的刻画 (四)未来的工作 结语 附录1 以言行事行为理论简介 一 以言行事行为理论的初创阶段 二 以言行事行为理论的发展阶段 三 以言行事行为理论的完善阶段 附录2 以言行事行为的形式化工作 附录3 刻画不同应当算子的STIT逻辑 一 STIT逻辑及其在道义逻辑中的应用 二 系统的构建与解析 三 未解决的问题 参考文献