行动、断言、事件和主体——动态道义逻辑的几个基本概念

来源 :河池学院学报 | 被引量 : 0次 | 上传用户:q525456781
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1988年梅耶给出一个动态道义逻辑(DDL)系统,谊系统不是处理一般的词项和命题,而是把行动和断言作为逻辑的处理对象。梅耶之后,这一系统不断完善。使得对于道义逻辑的讨论扩展到实施行动的主体,即行动者以及和行动者相关的事件。在此对DDL及其个体事件扩展进行粗略讨论。意在表明道义逻辑的探索。是一个不断地从抽象的一般道义范畴朝向具体的生活世界范畴的过程。
其他文献
传统P2P网络中,每个中间节点都只是存储转发,不会对接收到的文件块做任何处理。在P2P中引入网络编号后[3-4],在入度大于等于二的节点上进行网络编码,可以提高文件的传输效率,
20世纪乐府歌辞研究始于“五四”时期“平民文学”的号召,经历建国前、建国后到1976年、1977年到2000年、2000年以后等四个时期。每个时期的研究各有侧重,显示其时代特征。第
计算机和多媒体技术的发展带动了教学的现代化发展,非线性技术是多媒体技术的代表。本文主要研究了非线性编辑技术在教学中的实践应用。笔者阐述了非线性编辑技术的概念、特点以及系统构成,描述了非线性编辑技术的工作流程,分析了其在教学中的可行性,最后探究了非线性编辑技术在教学中的几个具体应用。
牦牛在牛亚科中的分类地位仍存在较大的分歧。根据普通牛线粒体基因组序列设计引物对家牦牛基因组进行PCR扩增和克隆测序,获得了家牦牛细胞色素b(Cytochrome b)基因的全长序
通过实例分析,探讨用勒让德多项式和定解条件求解静电场时确定系数的方法。
研究多滞量中立型时滞微分方程正解的存在性,运用Banach压缩映象原理得到了这类方程正解存在性的充分条件.