简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:20世纪中国历史有三个重要的时间节点:帝制终结的1912年,新中国成立的1949年,以及改革开放的1978年。这些时间节点,一方面将纷繁复杂的历史现象划分为不同阶段,有助于揭示历史发展的变化性和阶段性;另一方面,又多少遮蔽了不同历史阶段的某些共相特征,使人们不易见到历史发展的整体性和延续性。其中最难逾越的是1949年这一分水岭,它又和历史学与社会科学(尤其是政治学)的学科畛域交织在一起,使情形变得更加复杂。近年来,越来越多的中国研究者开始意识到跨越时间界限、突破学科畛域对于全面、深入地理解20世纪中国历史的重要性,并作了有益的尝试。哈佛燕京学社为此举办以“再思1949年分水岭:政治学与历史学的对话”为主题的工作坊,邀约来自中国、美国、德国、日本的十余名政治学者和历史学者,围绕相关的经验研究和理论方法展开了深入讨论与交流。鉴于工作坊取得的巨大成功,并为扩大跨时段、跨学科研究路径在中国学界的积极影响,特将会议纪要完整刊发于此,以飨读者。