简介:双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时忽略了地点这一重要的语境参数,这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。由此我们尝试提出一个对双时间参数理论的改进方案。首先,我们在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑。其次,我们将介绍分支时空逻辑中的主要内容。再次,我们说明如何在分支时空逻辑上使用PSTIT算子刻画群体行动的问题。最后,我们将具体介绍对双时间参数理论的修正方案。
简介:现代环境法的发展经历了两次大的变化,度过了污染防治法和环境保全法两个阶段并已进入第三个阶段循环型社会法阶段。通过对三个阶段的环境法的对比,可以发现循环型社会法具有六个特点,即(1)注意到人类是自然的组成部分,以生态文明的基本理念,以环境友好为基本态度,以与自然和谐相处为价值取向:(2)以环境承载力为平衡环境保护和经济发展二者关系的基本依据和环境友好的底线;(3)从生态的高度看待环境。保护环境,承认环境保护的优先地位;(4)以保护生态为环境保护的重要任务。重视生态功能的保护与恢复;(5)以环境保护为基本任务,注意运用规划、宏观经济调控手段实现环保目的;(6)按照物质闭路循环的构想,促进降低人类活动对环境的影响,追求人与自然的和谐。
简介:唐、宋时期,将范畴及学说进行图型表达的哲学发展过程中,儒释道也有近似的发展趋向,其中,以“圆相”为基础图型的佛学阐释和易学图型“太极图”及其学说,便是哲学图型发展中的典型案例。虽然,佛学圆相大致是由本体论层面的图型诠释而落实到具体修行次第及勘验方式,易学太极图及其学说则由尽可能完善图型诠释而至充实宇宙本体论,但儒释道不同形式的图型演绎,却有异曲同工之妙,更在提高传统哲学思辨水平及丰富思想资源上各有贡献。本文尝试通过述说太极图所出渊源之历史疑问,由此引出相关图型演进问题,进而述说佛学圆相法的运用,以两相陈述相关学说具体发展脉络的方式,尝试对传统哲学图型法的逻辑演进做个初步展示,并联系康德哲学图型法阐释,略窥所涉图型演进问题的意义。