非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 姆瓦纳瓦萨利维·帕特里克·姆瓦纳瓦萨(英文Levy Patrick Mwanawasa,1948年9月3日-2008年8月19日),赞比亚总统(2002—2008),2002年1月首次当选。姆瓦纳瓦萨出生于穆富利拉,在赞比亚大学获得法律
  • 高速公路和大道马来西亚高速公路(马来语:Sistem Lebuhraya Ekspres Malaysia;英语:Malaysian Expressway System),指马来西亚联邦政府经马来西亚大道局(英语:Malaysian Highway Authority)监督,由私
  • 第6周期元素第6周期元素是元素周期表第六行(即周期)的元素,包括镧系元素。该周期元素都具有一定毒性。有:第1周期元素 -第2周期元素 -第3周期元素 -第4周期元素 -第5周期元素 -第6周期元素
  • SFG 87手榴弹SFG 87手榴弹是一种爆破式手榴弹,由新加坡特许工业公司(CIS,现在重组为新加坡科技动力)来生产。SFG 87考虑了新加坡士兵的自身特点,比如改进了弹体的大小,适应新加坡士兵较小的手
  • 江南 (小说家)江南(1977年7月13日-),本名杨治,生于安徽省舒城县,中国当代幻想小说家。从北京大学化学系毕业后,他进入美国圣路易斯华盛顿大学攻读化学博士,2000年凭借回忆北大生活的小说《此间的
  • 蛔形兰属蛔形兰是金粟兰科中包括略少于20个物种的小型树。蛔形兰通常生长在热带雨林中,需要高度的湿度和规律的降雨。蛔形兰此一名称是因为其花药看起来和蛔虫相似。之中的许多物
  • 何鲁丽何鲁丽(1934年6月-),女,中法混血儿,山东菏泽人,中华人民共和国政治人物,前任中国国民党革命委员会(民革)中央主席。历任中国人民政治协商会议第八届全国委员会副主席(1996年增选),第九、
  • 青木木米青木木米(日语:青木 木米、あおき もくべい,1767年-1833年),日本江户时代的制瓷家。他师从奥田颖川学习陶瓷制造技术。他以仿制中国风格的瓷器艺术而闻名,包括明三彩和青瓷。他和野
  • 雪小禅雪小禅,生于1970年代,本名王虹莲,出生于河北霸州,中国当代女性作家,中国作家协会会员,其作品多次入选中学课本读物。近年来,雪小禅在中国大陆多所高校开展艺术及戏曲讲座,引发广泛关
  • 航天飞机运输飞机航天飞机运输机(Shuttle Carrier Aircraft,SCA,以下简称“运输机”)是NASA用来运输航天飞机轨道器的两架大幅度改进的波音747,分别改装自一架747-100型与一架747-100SR型客机。运