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

摘要：

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

关键词：连续行动、完成类连续行动、STIT逻辑、主事性

分类号：B81(逻辑学(论理学))

在线出版日期：2024-09-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：154-159