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

发布时间：2018-07-10 17:10

本文选题：分支时间 + 分支时空　；参考：《逻辑学研究》2013年02期

【摘要】：双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时却忽略了地点这一重要的语境参数,而这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。本文中,作者就将提出一个对双时间参数理论的改进方案。文章中,第一节将在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑,文章第二节将介绍分支时空逻辑中的主要内容,而第三节则说明如何在分支时空逻辑上使用P_(STIT)算子刻画群体行动的问题。第四节将具体介绍作者所给出的对双时间参数理论的修正方案。文章最后一节则是待解决的问题以及进一步的工作。
[Abstract]:The theory of double time parameters was put forward by Belknap in 2001. It uses different semantic explanatory parameters to construct the context of words and deeds in order to determine whether the behavior of words and deeds is successful or satisfied. However, Belknap neglects the important contextual parameter of location when constructing context, which also leads to the success of action in words and deeds and the imperfection of satisfying conditions in the theory of double time parameters. In this paper, the author will propose an improved scheme for the theory of two time parameters. In the first section, on the basis of a brief introduction to the theory of double time parameters and its problems, the general idea of the modified scheme is given, that is, the basis of the theory of double time parameters is changed from branching time logic to branching spatiotemporal logic. The second section will introduce the main contents of branching spatiotemporal logic, while the third section will show how to use PSTIT operator to describe group action in branching spatiotemporal logic. The fourth section will introduce the modification scheme of the double time parameter theory given by the author. The last section of the article is about the problems to be solved and further work.
【作者单位】：中国社会科学院哲学所;
【分类号】：B81

【共引文献】