简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:颜钧(1504-1596),号山农,明代后期泰州学派思想家,也是同时期儒学民间化运动①的重要代表人物.他发展了王艮的"大成仁学",形成一套以仁为核心、以神为特征、以实践为旨归的"大中哲学"②思想.在泰州后学中,颜钧尤以独特的体仁工夫论及实践著称于世.即以工夫论而言,他将孔子"从心所欲不逾矩"说化为大中哲学的"体仁之方",但在具体进路上,又将之分作两个层次:"从心所欲"与"不逾矩".前者表现为提出"制欲非体仁"、"体仁之妙即在放心"以及"从心、从性、从情"等思想,主张疏导和顺任心性自然流行,此即所谓"放心体仁"说;"不逾矩"即是"知及仁守,庄莅动礼",意在顺任、放逸之后及时纠偏补正,诉诸知性见闻,并以道德规范约束自己,这是儒学中一贯的"戒慎涵养"工夫.但是从"放心体仁"到"戒慎涵养"的工夫路径,其中所呈现出的阶段性割裂了工夫的连续性和整体性,并且也与他所追求的一体圆融大异其趣.本文试就此问题作一探讨.