【摘 要】
：
“弗协调逻辑”(paraconsistent logic),又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支.它是一种不能从矛盾推出一切的逻辑理论.巴西逻辑学家达·科斯塔
【机 构】
：
中国人民大学哲学系,北京,100872
论文部分内容阅读
“弗协调逻辑”(paraconsistent logic),又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支.它是一种不能从矛盾推出一切的逻辑理论.巴西逻辑学家达·科斯塔(Da Costa,1929-)在“不协调系统的命题演算”(1963)和“不协调系统的理论”(1974)两篇论文中构造了弗协调命题演算系统Cn、弗协调谓词演算系统Cn*(不带等词)和Cn=(带等词)及弗协调的摹状词演算系统Dn,从而开创了弗协调逻辑.“弗协调逻辑”一词是由秘鲁哲学家奎萨达(Quesada)在1976年的国际逻辑会议上首次提出的,它表示在这种逻辑中,当矛盾律被削弱、不再普遍有效之后,仍能保持一种稍弱的协调性.由于这一词更恰当地表达了科斯塔创立的“非协调形式系统”的本质特征,所以很快得到逻辑学界的认可,从此为大家所使用.与经典逻辑(指弗雷格开创的一阶逻辑)相比,弗协调逻辑有以下两个特点:(1)矛盾律在其中不普遍有效;(2)在其中从相互矛盾的两个前提推不出一切公式.但是另一方面,在保证了上述两点的前提下它又包含了经典逻辑中最重要的定理模式和规则.弗协调逻辑适合作为经典逻辑所无法处理的弗协调理论的基础.自科斯塔创立弗协调逻辑之后,许多逻辑学家开始沿着科斯塔的系统做更为深入的研究,并将它应用于其他非经典逻辑,得到了许多全新的逻辑系统,例如我国逻辑学家张清宇将弗协调逻辑推广到模态、时态层次.[1]
其他文献
盆腔瘀血综合征的症状多种多样，其中以慢性下腹部疼痛，低位腰痛，易于疲劳感，白带过多和痛经为最常见。 梁女士，50多岁，近5年来经常下腹部疼痛，尤其是劳累后出现膀胱刺激症状（即尿频、尿急和尿疼），伴有会阴部和肛门部位的坠痛，休息后好转。血液生化和常规检查、尿液和大便检查均无异常，腹部B超检查未见异常。 患病初期，梁女士先是在当地的个体诊所诊治，医生不做任何检查，就诊断为子宫下垂，并神秘的说用祖传
随着社会的不断进步,科学生产力的不断提高,在高中数学的课堂上合理利用网络资源成为了当今的教学主流。教师要不断与时俱进,摒弃传统、死板教条的教学模式,结合网络资源研究
目的：深入探讨奥沙利铂联合5－Fu（5－氟尿嘧啶）作用于胃肠道肿瘤患者中的护理方法和效果。方法：以该院2014年8月至2015年7月期间接收的40例采用奥沙利铂联合5－Fu 治疗的胃肠道肿瘤患者
本文利用社会语言学的研究方法考察分析了术语字母词在不同文章领域的差异和分布,并对文章领域对术语字母词使用的影响进行了相关分析。研究发现,术语字母词的使用和文章领域
聚火反射节能罩是用含有特殊合金成份的冷轧钢板精制而成。用它替代燃气灶的锅脚,能使火焰更加集中,并把散发的热量反射到锅底,从而提高了热效率,加快了蒸煮速度。彻底克服了
笔者今年6月曾应邀赴巴黎第七大学访问。这是我第三次访问巴黎,每次在时间安排上都比较匆忙,却不乏新的感受与收获。 巴黎第七大学算得上是法国汉学研究的中心。访问期间的活
儿童是祖国的希望和未来．每位家长都希望自己的孩子能够成为社会中的佼佼者。然而．尽管大多数儿童在家长、老师和社会的关注与教育下能够茁壮成长，但是，也有一些儿童因为种种原因
现在学生收费管理系统在高校的管理中得到十分普遍的应用，本文以笔者实际的工作经验为根据，将一种新的收费管理系统设计方案提了出来，并且对系统的主要功能等进行了分析和介绍，希
企业经营中的财务风险对企业的生存和发展影响巨大,现代社会中企业面临的经营环境多变且复杂,企业的财务风险问题日益突出。企业如果没有正确处理好自身的财务风险,极有可能