STIT逻辑研究

图书标准信息

• 作者 贾青 著
• 出版社 中国社会科学出版社
• 出版时间 2022-04
• 版次 1
• ISBN 9787522701493
• 定价 69.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 196页
• 字数 163千字

【内容简介】

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

【作者简介】

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

【目录】

第一章哲学背景与STIT逻辑简介

一 哲学背景:主事性的模态逻辑进路(一)主事性的界定

主事性的不同研究视角

(三)模态逻辑进路

(四)小结

二STIT 逻辑简介

STIT逻辑的句法和语义

繁忙选择者与不做的刻画

不同的STIT系统

(四) STTT逻辑在不同领域中的应用(五)近年来的发展

第二章基本理论的拓展与修正

一 分支时空逻辑的引人

从分支时间到时空理

分支时空逻辑简介

(三)导因的刻画

二 事件因素的添加

添加事件因素的句法构造

包含选择名字的STIT逻辑

行动普型理论

三 连续行动的刻画

(一)已有的刻画方案

(二)连续行动的界定

(三)动词体的分类

连续行动的分类与逻辑刻画

存在的问题及未来的工作

四 内涵因素的添加

跨界同一问题与内涵的引入

后续的发展

第三章与动态逻辑的交叉

一STIT与ETL的比较

(一) ETL简介

(二)ETL与RSL的等价性

二动态逻辑对STIT逻辑的重构与改写

(一)对选择的刻画

二 STIT逻辑与PDL的比较与融合CE

(三)形式工作的构建

第四章STIT 逻辑在其他领域的应用

一 STIT逻辑在言语行为理论中的应用

(一)双时间参数理论

(二)改进理论中的基本要素

分支时空理论基础上的双时间参数

二STIT 逻辑在道义逻辑中的应用

(一)道义逻辑的两个分支

(二)已有理论及其问题

三STIT逻辑对应是与应做的刻画

(四)未来的工作

结语

附录1以言行事行为理论简介

一以言行事行为理论的初创阶段

二以言行事行为 理论的发展阶段

三以言行事行 为理论的完善阶段

附录2以言行事行 为的形式化工作

附录3刻画不同应当算子的STIT逻辑

一STIT逻辑及其在道义逻辑中的应用

二系统的构建与解析

三未解决的问题

参考文献