简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:<正>对朱熹与中国自然科学的发展,国内外已有不少评论。褒者常常引用美国R.A.尤里达教授的话:“现今的科学大厦不是西方的独有成果和财富,也不仅仅是亚理士多德、欧几里德、哥白尼和牛顿的财产——其中也有老子、邹衍、沈括和朱熹的功劳。”(《中国古代的物理学和自然观》,见《美国物理学杂志》43卷第2期)李约瑟也说:“从科学史的观点来看,或许可以说,他(指朱熹)的成就要比托马斯·阿奎那大得多。”(《中国科学技术史》中译本第2卷506页)贬者则认为当程朱理学被奉为官学以后,统治中国七百余年,在此期间,我国科学技术就由宋元高峰渐趋跌落。十六世纪以后西方近代科学革命骤起,距离越来越大,造成了一百多年来的落后局面,以至今日之艰难,对此,理学难辞其咎。这是一个颇为令人困惑的问题,需要作进一步探索。
简介:作为不同文化背景下产生的两种彼此独立的理论体系,基督教思想与儒家思想的差异之大是显而易见的。但就生态智慧而言,二者却有着惊人的相似或相同之处。首先.二者在建构有机整体观念时都选择了同样的策略,即为宇宙万物预设一个共同的创生源头久而将人类纳入自然界的有机组成部分。其次,二者对于人在自然中的定位也基本相同.使其既优于万物,又不脱离自然。最后,二者给人类在自然中安排的角色也颇为相类:基督教将人视为上帝委派的看管者,儒家则把人视为天地的辅助者。而无论前者还是后者,都能做到既尊重人类的能动性,又可抑制其个性的过度膨胀;既能保障人类满足自身要求的正当权益,又可尽量避免生态失衡。