简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:8月5—7日在山东济南召开,由中共中央党校哲学教研部和中共山东省委党校联合主办。中共中央党校副校长徐伟新,中共山东省委常委、宣传部部长孙守刚出席开幕式并讲话。中共中央党校哲学教研部主任李晓兵、中共山东省委党校常务副校长赵强代表主办单位分别致辞。中共中央党校哲学教研部副主任董振华主持会议并进行会议总结。来自中共中央党校及全国各省、直辖市、自治区委党校的100多名专家学者参加了会议,并围绕哲学创新与社会发展的关系、哲学创新与中国特色社会主义事业发展的要求、当前哲学创新面临的挑战以及未来哲学创新的方向和路径等重大议题进行了充分研讨。