行动传递怪论及其消解

逻辑学研究 2019 年第 5 期，76–86                       文章编号：1674-3202(2019)-05-0076-11

作者：贺碧凤、王淑庆

摘要：西格伯格把行动后果的传递性作为动态行动逻辑的一个公理，这似乎没有什

么问题。然而，切拉斯发现，这种行动后果的传递性在技术上会导致一个“行动传递怪

论”的公式。通过还原切拉斯的分析，表明切拉斯的推导在技术上是可靠的。但如果分

析西格伯格行动传递公理的内涵以及行动传递怪论产生的原因，可以发现切拉斯的反

驳是不能成立的。在此基础上，文章尝试在动态行动语义模型上增加一个条件，从而为

行动传递怪论给出一种技术的解决。

关键词：动态行动逻辑；行动传递怪论；非单调推理；语境主义

中图分类号：B81                                                 文献标识码：A