简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:摘要:阳明两大弟子钱德洪、王畿对四句教颇持歧解,后人因此持续对“无善无恶”进行若干辩论。黄宗羲较支持钱德洪,牟宗三则倾向于王畿。然考察《传习录》,另有一组渐顿、本体工夫的对比,即阳明“心即理”与朱熹“格物穷理”之说,而这其实才是阳明阐发良知学的基源问题。对照之下,钱德洪的理解显然近于此说,而较不契于阳明晚期以无善无恶说良知的说法。同时,阳明的良知除了心性本体之外,另有存有本体的意义。从对“恶”的处理来看,两者之间显见差异。从心性本体而言,恶的来源是外在的、后天的。但从存有本体而言,就不能说另有外来的障蔽;于是,恶便成为自身的异化。对此一问题,阳明本身并未有解,牟先生则藉由《大乘起信论》“依于一心有二门”的理论模型说解之。不过,我们认为《大乘起信论》之说与“无善无恶是谓至善”并不相同。同时,再比对钱、王之说,二人虽也有“心无一善”的说法,但前者乃是指“不心外求理”,后者则是指“空洞无一物”,显然对良知本体的理解颇不相侔。准此可知,阳明的良知教当有前后期之差异,而后期在道德之外,明显另具佛、道二家超越善恶、超越道德之意义。
简介:本文通过对沃尔玛公司工会与另一家外企工会案例的分析,阐述了当前中国工会与企业之间关系的主题。本文认为,劳动关系市场化条件下,中国工会与企业在工会组建与运行上达成了一个共识,即企业“依法”组建工会并使工会在形式上运转起来。但企业“守法”的前提条件是企业工会不至于影响到它在经营与管理上的垄断权,而对企业方“守法”行为的让步,上级工会则不会去追究与监督企业“守法”行为是否能够真正维护职工切身利益。所以在当前,围绕“守法”这个界限,双方形成了一种默契的局面,即企业形式上“守法”,而上级工会则形式上“维权”。一旦双方有一方突破这一界限,则会引发冲突,企业可以用不合作的方式阻挠工会的运转,而上级工会则可以用“维权”的名义进行干预。这里的“维权”我们可以把其理解成促使企业在形式上“遵守”国家的劳工政策。