简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:相关资料初步表明。在中国古代。客观地把握人性及人与宇宙变互作用的自觉与努力业已发生。本文试图阐明《易经》的思维理路,借此思维理路,《易经》不仅塑造和影响了早期儒家形上学,而且也塑造和影响了诸如意识研究,尤其是意识学之类的当代研究领域。《易经》的发展及其在西方的传播,正说明了这一点。意识学研究人性,思考存在的其他领域。在这些方面,意识学与《周易》是相通的。将意识学同中国古代思想相比较可以看出,我们现在所研究的意识学在中国古代思想中早已有之。基于这一历史事实,我们有必要在意识学的起始处研究意识学。在意识学研究中,意识进化学是一个不可或缺的、必须进行研究的内容。我们可以通过《易经》来探索意识的进化。