简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:<正>“心与性”及其关系,是孔孟学说至宋明理学的一个中心议题。搞不清楚这个问题,难以理解中国传统文化,尤其是中国哲学思想。讨论儒学的“心性之学”,无论对于承继中国传统文化精华,还是对于建构新时代的精神文明,都是必要的。“心性之学”,从某种意义上说,是中国式(传统)的人性论,是内圣之学,是政治观的人性论基础。中国传统的“心性”论与西方人性学说,在基本上是一致的,都把“性”分为“善”与“恶”,即不是“性善论”,便是“性恶论”。性善论与性恶论,各自的代表是孟子与荀子。他们起点和途径虽异,但归宿是相同的。孟子承孔子心仁论,不仁者,就是现代语言所谓的“没良心”。性善论在道德层面上,持性善,心性合一。荀子也讲心,但与孔孟不同,不是心性合一论,而是二元论。一般地说,荀子将心视为性的高一层次,对性具有主管职能。那么,性是什么,又何谓“性恶”呢?他说:“性者,天之就也;情者,性之质也,欲者,情之应也。”“今人之性,生而有好利焉,顺是,故争夺生而辞让亡焉;生而有疾恶焉,顺是,故残贼生而忠信亡焉;生而有耳目之欲,有好声色焉,顺