简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:<正>宏扬中国传统文化,特别是中国传统文化中的主流儒家文化,已经成为一股“热”.人们当然不是为文化而文化,而是为了国家的现代化.在实现现代化的进程中借助儒家文化,在国内外一部分学者中颇有赞成者,而且这些赞成者还举出亚洲(东亚)某些国家和地区作为成功的例证.所谓“亚洲价值”便是这些国家成功地运用儒家思想于现代化的产物.另一方面也有学者对儒家文化能够解决现代化的问题持怀疑态度.本文作者不支持后一种看法.但也不认为,儒家文化能够解决现代化的一切问题.究竟儒家文化在那些方面能够为现代化所利用,这要做具体分析,包括分析已经在现代化进程中获得了较大成绩的东亚国家和地区.因此,本文把观察的视野从中国转向东亚国家的亚洲价值、儒家文化与现代化.