简介：双时间参数理论由贝尔纳普于2001年提出，该理论使用不同的语义解释参数构建以言行事行为的语境，以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数，这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先，我们在简要介绍双时间参数理论以及其中问题的基础上，给出修正方案的大体思路，即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次，我们将介绍分支时空逻辑中的主要内容。再次，我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后，我们将具体介绍对双时间参数理论的修正方案。

简介：庸器,一直以来沿用郑玄和郑司农的注解。通过《周礼》《礼记》的记载,我们发现郑玄与郑司农的解释有出入,庸器是＂悬鼓、编钟、磬和笙＂的统称,是最高权力的拥有者天子或被授予特权的鲁国国君才可以使用的最高规格的乐器。

简介：“制器尚象”，不是如孔颖达等人理解的“依卦造器”或“观象制器”，而是借助各种发明创造事例(如井、鼎)，来揭示“人法自然”思想在日常生活中的广泛运用。进而从侧面角度表达《易》道的广大和周普。

简介：《周易》有“大道之原”的美称，虽非诠释造物之道，却包含“造物之道”。楚国制器工艺是对《周易》哲学思想的具体阐释和应用，是《周易》“道器说”的组成部分，它们分别从理论和实践两个方面衍生、规范了传统制器工艺文化的基本范畴和美学思想。发掘《周易》与楚国制器工艺的内在联系，对于继承和发展中华独具特色的“道器”文脉体系，具有十分重要的理论价值和现实指导意义。