简介:《不真空论》探究的是所观对象的问题,提出宇宙万有,由于本身不真的缘故,所以称之为空的论断。而有、无本是两晋南北朝时期,玄学家们讨论的主要问题之一。僧肇为了纠正当时南北朝流蔽,作《不真空论》来阐述“非有非无”的中道空观,论述说明各种事物都是缘起的,依因缘而生起的事物并非实有的,非实有的所以是“不真”,不真即是“空”。通过“非有非无”双遣“有、无”的二种执著,说明“非有非无”才是般若中观正理,为后人准确理解般若性空思想树立了典范。使人们在把握“非有非无”般若主题的同时,进一步学习、理解“即物自虚”、“不真即空”的修证思路,导向“真俗不二”,“即俗即真”的不二法门.、
简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。