简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:7月27—30日在山东青岛召开,由中国伦理学会和山东省伦理学与精神文明建设研究基地共同主办,中共青岛市黄岛区委党校承办。来自中国社会科学院、清华大学、中山大学等院校和党校系统的120多位专家学者与会。中国伦理学会会长、清华大学哲学系教授万俊人指出,对于当代世界和中国所面临的严重生态问题,我们需要从三方面着手:一是要建立清晰、完备、长远、科学的生态文明价值观,在观念上实现变革;二是要加强制度建设,将生态文明的基本制度安排切实转化为政府的政治责任和整个社会的基本义务;三是要全社会成员自觉行动起来,参与到“美丽中国”的建设中去。