简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:文化工业作为科技与文化融合发展的第一阶段,市场自发地以科技改变文化的表现和传播形式为文化的市场化和大众化做出重要贡献。以英国创意经济为标志的新兴产业可作为文化与科技的整合阶段,因其自觉地对创意设计的创造性和人文性的重视,使文化成为主导,科技为人所用,重新确立了人的主体性地位。设计哲学用创造性和人文关怀重新对文化与科技加以整合,它的出场不仅给创意工业乃至国民经济注入活力,还暗合了以“创造”为焦点的经济社会实践诉求的现代性转型,人本身能动性、创造性、艺术化生活追求以及对科技的运用越来越明显地成为社会变迁的主导力量。强调文化和科技的整合而非融合是我国文化建设必须予以重视的问题。