简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:一、从“思潮”到“观念”吴晓番、胡岩问(以下简称“问”):2011年底,您的新著《平等观念史论略》由上海人民出版社出版,该书出版后引起了广泛关注,《上海书评》、《社会科学报》、《哲学分析》、FrontiersofPhilosophyinChina、《探索与争鸣》、《文汇读书周报》等分别发表了相关书评或进行了专题讨论。2011年《上海书评》的访谈,主要谈的是现代平等观念之实相,包括平等观念在中国如何实现古今之变。今天我们想请您就观念史研究的相关问题包括方法论再深入谈一谈。我们知道,您把观念史研究视为中国近现代哲学史的重要部分,并且一直比较重视方法论的探讨。而在《平等观念史论略》一书中,您则对自己在观念史研究的方法作了一些阐释。能否先请您介绍一下您从事观念史研究的大致历程?