简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:援类而推的方法是中国先秦时代特有的并广泛使用的一种思维方法。对于这种推类方法,古代先贤只给出了一系列的语义说明,没有而且也不可能给出一个形式语言的语形说明。如借助现象对事物的状态和功能及其所具有的规律进行描述的科学认识方法,我们今天可以尝试着给它构造一个推理模式,并通过分析它的思维进程、根据、推导原则及违反原则的错误,展现它的特点、能够成立的有效性及世代相传的普遍适用性,并进而了解其背后的逻辑原则、文化传统、人文精神,从逻辑与文化的角度增强我们对传统思维方法论意义、文化认同意义的感受,并在全球化的浪潮中,在越来越广泛的文化交流与沟通中,促进对传统思维方式的辩证扬弃,促进不同文化之间思维方式的沟通。