简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:谢重光先生是福建省社会科学院历史研究所副研究员。以一位身在佛门之外的学者身份,他认真地分析了到底是“天下名山僧占多”还是“天下名山僧建多”,有理有据、不卑不亢;娓娓道来、层层深入;将这一“历史冤案”辩得十分清详。特别是他不抱成见、不存偏见,可谓仗义执言!“天下名山僧占多”的不实之词是古已有之,这类论调尚不止此一句。由来已久却并不一定就正确,谢重光先生的论析便是一个重要的启示。因此,举凡在三教相争之中、在儒教高压之下形成的对佛教的一些扭曲的看法,都有必要一一澄清。澄清的目的在于了解什么是好传统,哪些精神要弘扬光大。“雨后复斜阳,关山阵阵苍”,读了谢先生的文章,会感到“满目青山照眼明”的。