非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 羟甲基戊二酸单酰辅酶A还原酶抑制剂羟甲基戊二酸单酰辅酶A还原酶抑制剂(英语:HMG-CoA reductase inhibitors 或 Statins,简称“HMG-CoA还原酶抑制剂”或“他汀类药物”)是一类抗高血脂药。因他汀类有降低低密度脂
  • 陈永川陈永川(1964年3月-),四川南充人,中国数学家,南开大学教授,南开大学核心数学与组合数学教育部重点实验室主任。生于四川省南充市。1984年毕业于四川大学计算机科学系,1987年毕业于四
  • 宋振骐宋振骐(1935年3月10日-),中国矿山压力及岩层控制学家。1935年生于湖北汉阳。1957年毕业于北京矿业学院采煤系。山东矿业学院教授、矿山压力研究所所长。1991年当选为中国科学院
  • 妮可·基德曼最佳音乐及喜剧类电影女主角1995年 《不惜一切》2001年 《梦断花都》 最佳戏剧类电影女主角2002年 《时时刻刻》 最佳女主角:连续短剧与电视电影2017年 《小谎言》澳洲电影学
  • 费城永远阳光灿烂《酒吧五杰》(英语:It's Always Sunny in Philadelphia)是一部以美国费城为背景的情景喜剧;2005年8月4号在FX电视台首播,2013年时则改在FXX电视台从第九季开始播出。此剧由罗布·
  • 河流形态学河流形态学(River morphology)及其同义的河流作用地貌学(fluvial geomorphology)都在描述河流的形状及其随时间的变化。河流的形态是许多作用及环境条件下的结果,包括河床及河岸
  • 东方梦工厂东方梦工厂(英语:Pearl Studio)是一家位于中国上海市的中美合资电影制片公司。该公司成立于2012年8月6日,由梦工厂动画公司与上海东方传媒集团及其他两家中资投资公司组建而成。
  • 颌腔蛇属颌腔蛇属(学名:),均是无毒蛇,主要分布于亚洲。该属蛇共有5种物种:
  • 下流社会下流社会一词是日本社会学家三浦展于其2006年著作《下流社会:新社会阶级的出现》中所提出的。大意为于全球化之趋势下及社会阶级的变动中,中产阶层渐渐失去其特征及优势并下沉
  • 境界线上的地平线《境界线上的地平线》(境界線上のホライゾン)是川上稔撰写的轻小说作品,由さとやす负责插画,ASCII Media Works出版。《电击文库MAGAZINE》先行刊载设定资料和序章。动画版于201