【摘 要】
：
在应用可能世界语义的各种形式化理论中，在当前状态（可能世界）上，描述当前状态本身性质的公式即是那些不带有模态算子的公式，而带有模态算子的公式则描述当前状态可达的其它状态所具有的性质。从哲学直观出发，无论形式化理论刻画了怎样的现象和规律，当前状态内部的性质都应该对当前状态会通达于怎样的状态具有一定的影响，也就是说当前状态本身的性质决定着可达状态的性质。但是，对于这种影响的表达在各种形式化理论中一直极
论文部分内容阅读
在应用可能世界语义的各种形式化理论中，在当前状态（可能世界）上，描述当前状态本身性质的公式即是那些不带有模态算子的公式，而带有模态算子的公式则描述当前状态可达的其它状态所具有的性质。从哲学直观出发，无论形式化理论刻画了怎样的现象和规律，当前状态内部的性质都应该对当前状态会通达于怎样的状态具有一定的影响，也就是说当前状态本身的性质决定着可达状态的性质。但是，对于这种影响的表达在各种形式化理论中一直极少涉及。
这种影响可能具有很多形式，最直观的一种形式是当前状态和可达状态之间可能具有相似性。相似性只和当前状态和可达状态本身的性质有关，即只和在其上为真的不带有模态算子的公式有关。而不带有模态算子的公式的真假由当前点上原子命题的赋值决定。因此可以通过状态间原子命题赋值的变化大小来定义状态之间的相似性。
为构造相邻状态具有相似性的模型，本文提出了流量限制的手段，即通过一系列命题公理来约束相邻状态之间原子命题的变化数量。进而构造出两类相邻状态具有相似性的模型:限制赋值的流量限制模型和由赋值生成的流量限制模型。对模型进行了公理化，并证明了可靠性和完全性。最终讨论了流量限制模型在信念逻辑、时间逻辑等方面的应用。
其他文献
本文论述的是彼得·辛格的物种平等思想，这也是平等思想的新发展和新视域，物种平等思想的提出，使平等思想超越了人际平等而深化到物种间的平等的领域。对于这样的一个思想的研究，不但可以加深对平等的了解和促进平等思想的发展，同时也能为环境伦理学的理论完善提出了一些可探索的空间。本论文以平等思想历史发展作为引子，回顾平等思想发展的同时，引出本论文的主题——物种平等思想，不仅研究物种平等思想作为平等思想的新视域
人生的目的，即伦理学的主旨:幸福。回味生活，或者反思自己的目标和周围的处境，幸福的感觉就可能出现在自己的身上。在数不胜数的思想家们对幸福的理论探索中，亚当·斯密的幸福理论并不一定是最完美的，但斯密终其一生致力于人们的幸福，对促进社会的物质繁荣作出了实效的贡献，被人们尊称为“经济学之父”。斯密出版的《道德情操论》和《国民财富的性质和原因的研究》两部具有鲜明特征的著作，不只是我们了解斯密经济学理论的来
本文从柏拉图和亚里士多德的诗学入手，试图开启人们对柏亚关于“诗”的重新认识。长久以来，占据理论上风的始终是柏拉图与亚里士多德在文艺理论范围内关于“诗学”的诸多差异和纷争。从表面上看，柏拉图对待“诗”的态度的确与亚里士多德迥然不同，“诗”在二者文本中表现出来的显著差异常常阻碍人们对其诗学进行深层次的探究。本文试图通过对柏拉图和亚里士多德诗学的深层揭示，探寻二者在诗学矛盾背后的统一目的。文章首先从诗教
在最近几年里，移动通信和互联网成为当今世界发展最快、市场潜力最大、前景最诱人的两大业务。而移动通信和互联网的结合在3G技术的大力推广与普及下实现了飞跃性的"联姻"，这桩"联姻"催生了一个新的媒介时代--"移动互联"时代，这一将无线通信与国际互联网等多媒体通信结合的新一代移动通信系统，虽然仅仅是解放了"坐在桌前畅游赛博空间"这么一个小小的姿势，虽然仅仅是将互联网和手机相糅合这么一个小小的进步，它带给
非营利组织缘起于政府失灵和市场失灵，在公私物品提供上弥补了政府国家体制和企业市场体制的不足。除了非营利性和民间性外，非营利组织还具有志愿性、公益性等重要特征，表现出强烈的道德色彩和伦理意蕴。在实际的组织活动中，非营利组织在其伦理精神的引导和推动下，在推动经济发展、促进民主公平、倡导慈善互助等方面凸显出重要的伦理功能，发挥着独特的道德示范和感召作用。 当然，非营利组织在发展过程中也面临着一系列的危
宋明理学作为儒学发展历史的又一高峰，历来为学界所重视，而随着研究的深入，对宋初经学思想进行研究的理论要求也渐渐凸显出来，即不同于从应对佛道理论挑战的道统论的角度来标宋明理学之“开新”，而是从被视为儒家主体的经学研究出发，去进一步挖掘宋明理学之理论资源。因而据此，本文便选取宋初疑经思潮代表人物刘敞为基本立足点，试图通过对刘敞及其著作的分析，来看刘敞的经学思想及其理论意义。综合来看全文所主要面临的问题
章学诚是我国重要的史学理论家，与刘知几为我国传统史学理论并峙的双峰。其史学思想素来为人重视，然而大陆学界往往将目光集中于他的"六经皆史"说、方志理论、目录学或者文学思想，而少有人注意其思想中的历史哲学因素，倒是海外的研究者注意到了这一点，法国汉学家戴密微、美国汉学家倪德卫以及日本学者山口久和等均对这一方面有所阐发。首先明确提出"章学诚历史哲学"这一概念的当属海外华人学者余英时先生，不过余先生当时主
解放军舞蹈，无论从舞者、受众、文化功能、审美风格来看，都是一个特殊的舞蹈现象，它是踏着硝烟和战火艰难诞生的，它伴随着中国共产党领导的革命军队成立，在革命斗争和民族解放中成长，伴随着新中国的成立走向正规，与改革开放一道发展完善自己。 解放军舞蹈，最初以艺术形式宣传鼓动革命和进行思想教育，直接服务于政治、服务于军事行动，是中国共产党自建军以来的重要文艺武器。时至今日，解放军舞蹈已经有重要发展:解放军
当今的世界，全球化已经成为共识，人们也越来越积极主动地以全球化的思维方式来考量国家、民族以及自身的发展;伴随着人类历史的发展，文化带给人们的不仅仅是对自然世界的改造，同时更是为人类提供了生存的根据和指引。人类通过文化创造和创造文化不断地充实和发展着自身，丰富和繁荣文化，而文化则不断地促进着人的解放、人的自由和人的发展。在某种意义上说，文化创造力是民族国家的核心竞争力，是一个民族与一种文化的生命力。
自20世纪初梁启超、胡适等建构中国逻辑史学科以来，“据西释中”式的中西比较研究就一直是中国逻辑史研究的经典范式。该研究范式的一个重大缺陷在于未能揭示中国古代逻辑的特点。近年来，鞠实儿所提出的广义论证观念不仅扩展了“逻辑”一词的含义，而且论证了逻辑的文化相对性原理，这就为从中国文化自身出发研究中国古代逻辑提供了方法论基础。 基于广义论证的逻辑观，本文对在中国传统文化中发挥重要影响的《左传》谏言进行