弗协调逻辑的发展及现状

来源 :华北水利水电学院学报(社科版) | 被引量 : 0次 | 上传用户:dvvicky
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。
其他文献
双丝杠驱动结构广泛应用于高速度、大负载的进给系统以及龙门式机床。同步性是双驱进给系统面临的重要问题。论文以双丝杠进给系统为研究对象,分析了工作台几何误差、丝杠热
<正> 我国古代的画家们在长期的艺术实践中,高度发挥了笔墨的性能,创造了丰富的笔墨技巧,形成了独特的民族风格。在漫长的发展过程中,它甚至成为了评定画家人品高下、学问深
期刊
阐述计算机软件综合课程设计的概念,从Java技术的教学特征出发,介绍不同条件下、不同层次的基于Java的综合课程设计的教学实践,包含教学内容的设计和教学实施的方法,指出计算
美国是世界物流业起步最早、实力最强、技术领先的国家,在全球物流业中发挥着引领作用。本文介绍美国良好的物流基础设施、宽松有序的物流发展环境、先进的物流技术、高度发
<正> 一、地理研究性学习课题选择的原则高中地理研究性学习课题的选择除必须符合研究性学习的开放性、探究性、实践性等主要特点外,还需符合下列原则。可行性原则:一个学校
结合平面坐标转换四参数模型及误差传播定律,对转换参数的误差及不同空间分布的点位转换精度进行分析,得到任意点处转换误差的求解模型。最后,利用模拟数据通过对公共点引入
目的观察锥形锁柱基台连接方式种植体应用于前牙种植即刻修复的效果,为临床提供帮助。方法选择18例患者行延期种植或微创拔牙后即刻植入JUST锥形锁柱外连接种植体共22枚,即刻
劳动技术教育是综合实践活动课程里的一项重要组成部分。此课程通过设计、实践、制作等方面实现视觉传达表现目的。在实践制作过程中,美术知识是不可或缺的,创意、制作、色彩
详细地论述了不饱和聚酯树脂牌号、引发剂(固化剂)和促进剂系统的选择,论述了不饱和聚酯树脂的固化机理,确定了引发剂和促进剂的用量,并根据试验得出了不饱和聚酯树脂耐磨涂
“人的存在是一个完整的金字塔结构,它由自然存在、社会存在、精神存在这三个层面构成.自然存在是其底座,社会存在是其中层,精神存在是其顶端,它们在不同的意义上显现着人作