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

应是语句与应做语句是道义逻辑所刻画的两类重要的语句。贝尔纳普等曾利用STIT逻辑给出了应做语句的三种定义方式,这三种定义方式分别通过对行动中主事性因素的不同要求来给出应做语句的不同构造。在应做语句的这三种定义的基础上,我们将利用STIT逻辑给出一个探讨两类语句间联系和区别的系统进而体现主事性的不同要求对两类语句间关系的影响。

STIT逻辑的发展与应用

STIT逻辑是以模态逻辑为工具来研究主事性的逻辑分支。除主事性的形式刻画以及系统构建外,STIT逻辑还研究了其他很多与主事性相关的问题,例如繁忙选择者问题、如何刻画“不做”以及主事性如何体现在言语行为或者道义语句的刻画中,等等。本文在简述STIT逻辑对主事性的不同刻画方法的基础上,分别说明了STIT逻辑对上述问题的分析和刻画。

群体行动中主事性的限制与扩充

STIT逻辑将主事性刻画为一种行动者与事件之间的二元关系,即行动者对事件的完全控制。然而在群体行动中,多个行动者之间的合作越深入,不同行动者之间主事性的影响就会越明显,单个行动者对其自身行动的控制程度就会越低。因此在群体行动的刻画中就需要说明不同主事性之间的限制与扩充是如何形成,又是如何相互影响的。在梳理已有群体行动刻画方案的基础上,指出这些方案都回避掉了主事性相互影响的问题,进而通过给出历史的动态刻画方法说明群体行动中主事性的限制与扩充应该如何刻画。

完成类连续行动的逻辑刻画

作为一种特殊类型的连续行动,完成类连续行动最大的特点就是行动结果是否实现并不能完全决定其真值。例如语句“丽丽修理手机”中,丽丽的行动结果或者说目标是将她的手机修理好,但是即使这个目标不能被实现,这个语句也会为真,只要丽丽确实执行了行动“修理手机”。因此,为了刻画完成类连续行动的这一特点,我们需要将时间段因素引入到STIT逻辑的语义中来并将完成类连续行动的语义解释进行修改以容纳结果不为真这种情况。本文在简单介绍完成类连续行动和STIT逻辑的基础上,将给出一个刻画完成类连续行动的STIT逻辑系统CAac。

应是与应做

道义算子加命题构成应是语句,道义算子加行动则构成应做语句。这两类语句间的关系问题一直是道义逻辑中的重要研究课题。文章在阐述相关哲学背景的基础上,用STIT逻辑来刻画应是语句与应做语句之间的关联性。另外,这一形式化刻画方法中的一些未解决问题以及未来的后继工作也将在文章中被给出。

活动类连续行动的逻辑刻画

活动类连续行动的特点是其通过重复履行最小的行动单元而构成。例如约翰跑步、丽丽游泳等行动都属于活动类连续行动。本文中我们将利用STIT逻辑给出活动类连续行动的逻辑刻画。在简要说明活动类连续行动的特点以及STIT逻辑主要内容的基础上,给出刻画活动类连续行动的STIT逻辑并证明该系统的一些重要元定理。

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

连续行动是一类在时间上具有持续性的行动,而这种时间上的持续性也使得连续行动的刻画更为复杂。文章在给出连续行动的三个主要特点的基础上,我们将分析造成连续行动刻画复杂性的具体原因并利用文德勒关于动词的体理论给出连续行动的分类,进而利用STIT逻辑给出不同种类连续行动的逻辑刻画方式。