简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:系统综合集成思维方法是穿越系统层次、分枝、运用多种多维思维对原系统内外尚未开发利用的众多冗余属性进行有机综合、产生质变为主的新概念高技术群、从而推动系统跨越式升级为高一个层次的新系统的新型思维方法。主要有:逆思维、替换思维、转换思维、横向思维、多维思维等类型、具有突破饱和发展极限与恶性循环、产生新概念高技术、系统工程逐步升级为网络工程、产生武器或产品发展新思路和积极全面可持续发展战略等优越性、并在水陆坦克跨越式升级为登陆坦克的研制过程中进行了工程试验验证。为人类、尤其广大发展中国家提供在经济全球化趋势下与发达国家共同发展的新型思维。
简介:康德的道德目的论系统不仅是其目的论思想中的一个重要组成部分,而且是其实践哲学中的一个独立理论。在结构上,这个系统包含两个部分:作为形而上学基础的目的王国系统和作为形而上学理论的道德目的学说及实用目的学说。在内容上,目的王国系统是一个资格体系,其质料是作为自在目的的理性存在者,其形式是定言命令的目的公式,其完整规定类比于自然王国系统。虽然人能够在目的王国中作为自在目的而实存,但是他毕竟是有限的理性存在者,在现实中要实现自己的道德性必须克服感性欲望按照道德目的去行动。以此为基础,道德目的学说的质料是作为德性义务的"同时是义务的目的",其形式是德性学说的至上原则,其系统建构以德性义务系统为基础。从属于道德目的学说的实用目的学说以实现幸福为最后目的,以经验性的明智原则为形式,并不能构成一个系统。