简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:近代物理学是随着实验方法与数学方法的确立而发展起来的。物理实在论经历了机械实在论、经典实在论和量子实在论三个发展阶段。关于物理学的实在问题的讨论是由微观粒子的不可观察性、量子力学的概率性、非定域性等特征引起的,并不等同于数学世界是否实在的问题。科学是哲学一科学的继承者,但不是哲学的“终结者”,而是哲学的“改造者”与“推动者”。我们在讨论物理学的实在问题时,应该区分出三个不同层次的实在:自在实在、对象性实在和理论实在。物理学理论是在去语境化与再语境化的过程中完成的,是对自在实在的模拟,是在谈论实在和理解实在,而不是在描述实在。这是一种语境论的实在观。