非古典逻辑

✍ dations ◷ 2025-12-01 07:02:04 #自2021年2月需要逻辑专家关注的页面,非古典逻辑,形式逻辑系统,逻辑,哲学

非古典逻辑(英语:Non-classical logic),又称非经典逻辑,概括了在经典逻辑体系之外的各种形式系统,这些系统在命题及谓词等方面,与经典逻辑不同。 随着现代哲学逻辑与理论计算机科学的发展,推动了非经典逻辑发展。

经典逻辑基于公理化的四个基本原理:同一律, 排中律, 无矛盾律(也被称为矛盾律),和充足理由律。 经典逻辑也被特征化为下面一些性质:

非经典逻辑是缺乏上面这其中的某一个或多个特性的逻辑系统。


历史上关于经典逻辑(古典逻辑), 康德认为亚里士多德发现了关于逻辑的一切知识,逻辑史学家潘特尔得出了这样的推论,即亚里士多德之后的任何逻辑学家所提出的新事物,实际是困惑,愚蠢或不正当的。 在经典逻辑系统里,从矛盾中可以推导出任何东西;这叫叫做爆炸原理(ECQ: ex contradictione quodlibet)。 ECQ在非经典逻辑往往不成立。 发明非经典逻辑(例如, 次协调逻辑)有很多动机。比如,不一致的(矛盾的)信息存在于, 信仰, 道德, 辩证法, 人工智能, 形式语义, 集合论, 算法,和哥德尔不完备定理等领域, 经典逻辑的会导致反直觉结果的协调性(一致性)的不满足。发明非经典逻辑的主要动机是坚信,应该有可能以受控和区分的方式,对这些含不一致的信息的系统进行推理。


在19世纪末至20世纪初,逻辑和数学的基础受到许多困难(所谓的悖论)的发现的影响, 特别是经典集合论中被发现有自相矛盾的现象,尤其是罗素悖论,以极为简明的形式震撼了数学的基础。这些难题涉及基本概念以及定义和推理的​​基本方法,这些以前通常被认为是没有问题的。悖论的研究也促进了非经典逻辑的研究和发展。

被归类为非古典逻辑的系统包括:


&   ∨   ¬   ~   →   ⊃   ≡   |   ∀   ∃   ⊤   ⊥   ⊢   ⊨   ∴   ∵

相关

  • 美国军队合众国武装力量(英语:United States Armed Forces),中文通称美军,是美国的联邦武装部队,为目前世界整体军事实力最强的军队,其规模和装备均位于世界第一。美军分为六大军种,即陆军、
  • 四月三周两天《4个月3星期零2天》(罗马尼亚语:4 luni, 3 săptămâni şi 2 zile),2007年罗马尼亚的一部电影,由克里斯蒂安·蒙久编写并执导。该片曾在2007年第60届戛纳国际电影节获得金棕榈
  • 建筑光学建筑光学是建筑物理的一个组成部分。主要研究建筑内部的天然光和人工光的照明,创造良好的光环境。在电灯发明以前,人类主要利用天然光和火光照明,在中国传统建筑中,尤其是华北一
  • 甲基硫醇甲硫醇又被称为巯基甲烷、硫氢甲烷,分子式:CH3-SH,分子量:48.10,CAS号:74-93-1。常温常压下为无色气体,有烂白菜气味,因此常被加进煤气中。它是一个具有独特腐臭气味的无色气体。它
  • 5号国道 (柬埔寨)5号国道是柬埔寨一条国家级公路,东起首都金边,沿洞里萨湖南岸而行,西至班迭棉吉省、泰国边境上的波贝,全长407.45公里。在亚兰与33号国道相接。是泛亚公路1号线的一部分。
  • 潘辉注潘辉注(越南语:Phan Huy Chú/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","Min
  • 杉本京太杉本京太(1882年9月20日-1972年12月26日),日本发明家,生于冈山县上道郡浮田村(现冈山市),1900年在大阪市电话技术者养成所毕业,1915年制造了日文打字机。
  • 苏珊·阿诺德苏珊·阿诺德(英语:Susan Arnold,1954年-)是一名美国企业家。苏珊·阿诺德在宾州大学获得学士学位后于匹兹堡大学取得工商管理硕士学位。自2007年以来,阿诺德一直是华特迪士尼公司
  • 林烈堂林烈堂(1876年9月7日-1947年6月20日),名朝玑,字烈堂,号少仪。为雾峰林家顶厝领导人物,林文凤(仪卿)长男、林献堂之堂兄。烈堂个性爽朗豪迈,热心公益,尤其慈善、教育,曾任台中厅参事、州
  • 全球分工全球分工,即是在全球范围内对经济活动的合理分工,区别于国际分工的是,全球分工更加注重资源,技术,劳动力的合理分配。全球分工是一种超越国际关系最大化发挥资源、技术以及劳动力