新書推薦:
《
战胜人格障碍
》
售價:NT$
296.0
《
逃不开的科技创新战争
》
售價:NT$
458.0
《
漫画三国一百年
》
售價:NT$
250.0
《
希腊文明3000年(古希腊的科学精神,成就了现代科学之源)
》
售價:NT$
367.0
《
粤行丛录(岭南史料笔记丛刊)
》
售價:NT$
374.0
《
岁月待人归:徐悲鸿自述人生艺术
》
售價:NT$
265.0
《
女人的中国医疗史:汉唐之间的健康照顾与性别
》
售價:NT$
484.0
《
资治通鉴熊逸版:第四辑
》
售價:NT$
2035.0
內容簡介:
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逻辑及其在道义逻辑中的应用
二系统的构建与解析
三未解决的问题
参考文献