简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:《周易》古经展示了符号与文字一体的文本形式。《易传》从象数、义理合一的理路出发,开显出阴阳之道与性命之理相贯通的易学天人之学。秉持象数优位立场的汉易一系易家,承续《易传》理路以诠《易》,将《易》象数学内涵的诠释与文字背后象数根据的揭示,视为了首务,这在《周易集解》所采诸家对《大有》卦经传的诠释中,就有典型表现。他们基于阴阳消息以明象、诠《易》,认为象构成了《易》的基本世界,万象并非静态已然的存在,而是一直处在生生流转、隐显转化的鲜活敞开状态与历程中,而立足阴阳消息,促成有序和谐通泰的礼乐化的人文理想天下愿景的实现,成为他们心目中《易》的旨归与现实王道归趋。