简介:11月23—24日在西安电子科技大学召开,由《中国社会科学》、《哲学研究》、《马克思主义与现实》、《中国人民大学学报》主办,西安电子科技大学人文学院和吉林大学哲学社会学院、哲学基础理论研究中心承办。西安电子科技大学党委副书记龙建成主持开幕式,副校长郝跃致辞。《中国社会科学》副主编孙麾研究员、吉林大学资深教授孙正聿分别代表主办方和参会学者致辞。来自北京大学、中国人民大学、中国政法大学、复旦大学、南京大学、南开大学、中山大学、武汉大学、吉林大学、山东大学、西安交通大学、陕西师范大学、西北大学等20多所高校的45名专家学者,以及来自《中国社会科学》、《哲学研究》、《哲学动态》、《马克思主义与现实》、《中国人民大学学报》、《中国哲学史》、《江海学刊》、《南京社会科学》、《人文杂志》、《社会科学战线》、《河北学刊》、《学术研究》等期刊单位24名代表参加了会议。
简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。