简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:技术在其产生之初就与人的生活紧密相联,几乎涵盖生活的方方面面,从而在一定程度上等同于人的生活;然而在其发展历程中与生活渐行渐远的同时也让生活的技术化程度越来越高,一旦现代技术成为人们改善生活的一个不可或缺的物质手段、成为一种高高在上的操控人的独立力量,生活就完全地技术化。在生活技术化的进程中,一方面人们可以通过技术的便利来改善生活的质量和丰富生活的内容,另一方面人们也面临着生活无意义与人生无价值的生存论困境。基于生活的多维性与技术的二重性,技术的功能定位必须服务于生活的价值旨归,生活的终极关怀必须眷顾技术的良性发展,生活技术化的同时也必须进行技术的生活化。