简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:儒家是要成德的。儒家为什么要成德?这就是儒家之所以为儒家的精神动力问题,从心理学看则是动机问题。儒家成德的精神动力源于孔子“以德配天”的天命思想。“以德配天”的思想一方面为成德找到了外在本原依据,另一方面也彰显了人的主体性。但面对天不应德的现实,孔子虽然以盲目命来化解,但儒家的成德内在合理性毕竟受到怀疑。先素儒家通过“时”来化解这种质疑。后儒则逐步从外在预设向个体内在、本然性方面转换,逐步形成了以张载为代表的人的内在本原成德观。虽然如此,面对成德过程中的诸多不确定性,外在的盲目命思想一直保留下来。这样内在本然成德动力和外在“际命”化解的思想从内外方面使儒家成德动力得以维系和作用。