2020年2月14日
首页
中国社会科学院哲学研究所是我国哲学学科的重要学术机构和研究中心。其前身是中国科学院哲学社会科学部哲学研究所。历任所长为潘梓年、许立群、邢贲思、汝信（兼）、陈筠泉、李景源、谢地坤。中华人民共和国成立前，全国没有专门的哲学研究机构。为了适应社会主义改造和建设事业发展的需要... ... <详情>
哲学专业书库的前身是哲学研究所图书馆，与哲学研究所同时成立于1955年。1994年底，院所图书馆合并之后将其划为哲学所自管库，从此只保留图书借阅流通业务，不再购进新书。
2009年1月16日，作为中国社会科学院图书馆体制机制改革的重要举措之一，哲学专业书库正式挂牌。
<详情>
字号 +字号 -】STIT是英文“see to it that”的缩写，可译为“确定、确保”。STIT逻辑是一种主事性( agency)的逻辑，其将主事性刻画为行动者与事件(结果)之间的二元关系，即行动者确保(或者确定)某事件(结果)出现的这种关系。如果将行动(actions)理解为一种具有主事性的事件(events)，那么就可以说主事性将行动从众多事件类别中区分了出来，因此STIT逻辑也被称为一种行动的逻辑。作为一本介绍STIT逻辑的书，本书详述了STIT逻辑中的基础理论及其扩张、STIT逻辑与其他行动理论的互动以及STIT逻辑的应用等问题。
《STIT逻辑研究》
贾青 著
中国社会科学出版社 2022年
目录
第一章 哲学背景与STIT逻辑简介
一 哲学背景:主事性的模态逻辑进路
(一)主事性的界定
(二) 主事性的不同研究视角
(三)模态逻辑进路(四)小结
二 STIT逻辑简介
(一) STIT逻辑的句法和语义
(二) 繁忙选择者与不做的刻画
(三) 不同的STIT系统
(四) STTT逻辑在不同领域中的应用
(五)近年来的发展
第二章 基本理论的拓展与修正
一 分支时空逻辑的引人
(一) 从分支时间到时空理
(二) 分支时空逻辑简介
(三)导因的刻画
二 事件因素的添加
(一) 添加事件因素的句法构造
(二) 包含选择名字的STIT逻辑
(三) 行动普型理论
三 连续行动的刻画
(一)已有的刻画方案
(二)连续行动的界定
(三)动词体的分类
(四) 连续行动的分类与逻辑刻画
(五) 存在的问题及未来的工作
四 内涵因素的添加
(一) 跨界同一问题与内涵的引入
(二) 后续的发展
第三章 与动态逻辑的交叉
一 STIT与ETL的比较
(一) ETL简介
(二)ETL与RSL的等价性
二 动态逻辑对STIT逻辑的重构与改写
(一)对选择的刻画
(二)STIT逻辑与PDL的比较与融合CE
(三)形式工作的构建
第四章 STIT逻辑在其他领域的应用
一 STIT逻辑在言语行为理论中的应用
(一)双时间参数理论
(二)改进理论中的基本要素
(三) 分支时空理论基础上的双时间参数
二 STIT逻辑在道义逻辑中的应用
(一)道义逻辑的两个分支
(二)已有理论及其问题
(三)STIT逻辑对应是与应做的刻画(四)未来的工作
结语
附录1 以言行事行为理论简介
一以言行事行为理论的初创阶段
二以言行事行为 理论的发展阶段
三以言行事行 为理论的完善阶段
附录2以言行事行 为的形式化工作
附录3刻画不同应当算子的STIT逻辑
一 STIT逻辑及其在道义逻辑中的应用
二系统的构建与解析
三未解决的问题
参考文献
地址：北京市东城区建国门内大街5号邮编：100732
电话：（010）85195506
传真：（010）65137826
E-mail：philosophy@cass.org.cn
微信
《哲学中国》
《哲学研究》
《哲学动态》
《世界哲学》
STIT是英文“see to it that”的缩写，可译为“确定、确保”。STIT逻辑是一种主事性( agency)的逻辑，其将主事性刻画为行动者与事件(结果)之间的二元关系，即行动者确保(或者确定)某事件(结果)出现的这种关系。如果将行动(actions)理解为一种具有主事性的事件(events)，那么就可以说主事性将行动从众多事件类别中区分了出来，因此STIT逻辑也被称为一种行动的逻辑。作为一本介绍STIT逻辑的书，本书详述了STIT逻辑中的基础理论及其扩张、STIT逻辑与其他行动理论的互动以及STIT逻辑的应用等问题。
《STIT逻辑研究》
贾青 著
中国社会科学出版社 2022年
目录
第一章 哲学背景与STIT逻辑简介
一 哲学背景:主事性的模态逻辑进路
(一)主事性的界定
(二) 主事性的不同研究视角
(三)模态逻辑进路(四)小结
二 STIT逻辑简介
(一) STIT逻辑的句法和语义
(二) 繁忙选择者与不做的刻画
(三) 不同的STIT系统
(四) STTT逻辑在不同领域中的应用
(五)近年来的发展
第二章 基本理论的拓展与修正
一 分支时空逻辑的引人
(一) 从分支时间到时空理
(二) 分支时空逻辑简介
(三)导因的刻画
二 事件因素的添加
(一) 添加事件因素的句法构造
(二) 包含选择名字的STIT逻辑
(三) 行动普型理论
三 连续行动的刻画
(一)已有的刻画方案
(二)连续行动的界定
(三)动词体的分类
(四) 连续行动的分类与逻辑刻画
(五) 存在的问题及未来的工作
四 内涵因素的添加
(一) 跨界同一问题与内涵的引入
(二) 后续的发展
第三章 与动态逻辑的交叉
一 STIT与ETL的比较
(一) ETL简介
(二)ETL与RSL的等价性
二 动态逻辑对STIT逻辑的重构与改写
(一)对选择的刻画
(二)STIT逻辑与PDL的比较与融合CE
(三)形式工作的构建
第四章 STIT逻辑在其他领域的应用
一 STIT逻辑在言语行为理论中的应用
(一)双时间参数理论
(二)改进理论中的基本要素
(三) 分支时空理论基础上的双时间参数
二 STIT逻辑在道义逻辑中的应用
(一)道义逻辑的两个分支
(二)已有理论及其问题
(三)STIT逻辑对应是与应做的刻画(四)未来的工作
结语
附录1 以言行事行为理论简介
一以言行事行为理论的初创阶段
二以言行事行为 理论的发展阶段
三以言行事行 为理论的完善阶段
附录2以言行事行 为的形式化工作
附录3刻画不同应当算子的STIT逻辑
一 STIT逻辑及其在道义逻辑中的应用
二系统的构建与解析
三未解决的问题
参考文献
中国社会科学院哲学研究所-版权所有
官方微博
邮箱
潘梓年
金岳霖
贺麟
杜任之
容肇祖
沈有鼎
巫白慧
杨一之
徐崇温
陈筠泉
姚介厚
李景源
赵汀阳
