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