简介:从认识论角度看,“模型”是对客观存在的“原型”事物的反映,而反映的本质就是在意识中用“模型”来理解和表示“原型”事物的过程。“模型”在感性认识阶段表现为形象或图像,在理性认识阶段表现为数学关系或概念体系。只有将感性材料构成“模型”后,理性思维才能处理,从中获得规律性认识。“模型”需要向“原型”不断趋近。将某一认识阶段的“模型”绝对化容易导致独断论,而将所有“模型”等同看待会导致认识上的相对主义。在以直觉为主的形象和图像模型建构中,逻辑审视更为关键。而在以逻辑思维为主的数学模型和概念模型建构中,直觉的启发往往起决定性作用。
简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。