对双时间参数理论的改进——从分支时间到分支时空.pdfVIP

逻辑学研究 2013 年第2 期，26–41 文章编号：1674-3202(2013)-02-0026-16 对双时间参数理论的改进 ——从分支时间到分支时空 贾青 中国社会科学院哲学所 v100jq@163.com 摘 要：双时间参数理论由贝尔纳普于2001 年提出，该理论使用不同的语义解释参 数构建以言行事行为的语境，以确定以言行事行为是否成功或者是否被满足。但是贝 尔纳普在构建语境时却忽略了地点这一重要的语境参数，而这也导致了双时间参数理 论对以言行事行为的成功以及满足条件的不完善刻画。本文中，作者就将提出一个对 双时间参数理论的改进方案。文章中，第一节将在简要介绍双时间参数理论以及其中 问题的基础上，给出修正方案的大体思路，即将双时间参数理论的基础由分支时间逻 辑变为分支时空逻辑，文章第二节将介绍分支时空逻辑中的主要内容，而第三节则说 明如何在分支时空逻辑上使用STIT 算子刻画群体行动的问题。第四节将具体介绍作者