简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:春秋前存在两种指意截然不同的“兴”,一种属于音乐内容及演唱形式,即瞽礞乐师“六诗”之“兴”;另一种是国子教育“乐语”之“兴”,属于正式场合富含道德性的言说。孔子继承二者,《论语·阳货》中的“《诗》可以兴,可以观”,即指乐语系统之“赋诗言志”与“观诗知志”。孔子发挥此意以为教,并进一步赋予“兴于《诗》”以道德意涵,即借《诗》中对自然万物的感发,兴起对天地之道、内在仁性、礼乐政教之体认。此思维方式亦推广应用于《诗》之外,如伯夷叔齐之事迹。这种道德认知、体悟上的启发,适合士君子的自我道德修养;而对一般人民百姓,孔子则提出了“君子笃于亲,则民兴于仁”,更加强调道德情感之联结、感染与共鸣。
简介:慧能从承认一般人现实地存在迷妄的事实出发,在对于佛教经教的处理上,不主张废弃佛教的经教文字,而认为主要关键在于,要以禅宗的自性本源融通般若教理,要以佛教的经教教理启发自性本有的般若智慧,将般若智慧落实到自性本源中实践、实证,并最终在作为自性本源的当下、现前一念中,打破迷妄,获得觉悟,自证本源.慧能主张在禅宗顿法的基础上以禅融教而禅教融通,以顿融渐而顿渐融通,慧能的教学精神是非常平实的.马祖道一继承了慧能的禅思想,但马祖道一更强调从自心本来是佛的理论前提出发,与慧能在禅宗顿法的基础上以禅融教而禅教融通、以顿融渐而顿渐融通的教学精神不同,而是更为有意识地摆脱经教的正面说教,更为有意识地强调着眼于超越教、渐的本来无迷无悟的自心自证境界,因而在教学精神上更为突出禅宗顿法相对独立于教、渐的超绝性,同时在具体的教学方法上大开后世机锋棒喝的先河.从教学精神上来说,慧能是从如来禅过渡到祖师禅的核心和关键人物,而马祖则是使祖师禅得以大肆开展的关键人物.本文认为,慧能与马祖在佛教禅宗中的地位,类似于孔子与孟子在儒家,老子与庄子在道家中的地位.