非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 失读症失读症(英语:Dyslexia、reading disorder、alexia),或称阅读障碍,是描述在智力无缺损的状况下,对于阅读和书写文字具有困难的症状。症状的严重程度因人而异。其他的症状包括难以拼
  • 萤科(学名:Lampyridae)是鞘翅目(甲虫)里面的一个科,该科在全世界有2000多种。俗称萤火虫,又称火金姑 (闽南语)、火焰虫(客语)、游火虫(江苏)、亮火虫(四川)、火火虫(云南);古称耀夜、景天、熠
  • 主红雀科Periporphyrus Caryothraustes Rhodothraupis Cardinalis Cyanocompsa Passerina Pheucticus Spiza主红雀科(学名:Cardinalidae),又称美洲雀科,是雀形目的一个科,其下生物分布于南
  • ω-6脂肪酸ω-6脂肪酸是一个多元不饱和脂肪酸系列,它属于必需脂肪酸(essential fatty acids),必须由食物中取得,无法在人体内自行合成。一些医学研究表明,超过于一定含量的Ω-6脂肪酸:Ω-3脂
  • N-甲基色胺-甲基色胺(英语:-Methyltryptamine,NMT)是一种色胺衍生物。它作为一种生物碱,很可能在机体内由L-色氨酸合成,常见于几种植物的树皮、嫩芽(英语:shoot)和叶,包括维罗拉(英语:Virola)、金合
  • 剧场版美少女战士SuperS《剧场版美少女战士SuperS》(原题:美少女戦士セーラームーンSuperS セーラー9戦士集結!ブラック・ドリーム・ホールの奇跡),是于1995年12月23日首映的《美少女战士》系列动画电
  • 赫威赛赫威赛(古英语:Hwicce)是盎格鲁-撒克逊英格兰的一个部族王国。据盎格鲁-撒克逊编年史记载,赫威赛王国创立于公元577年Deorham战役发生之后。628年,由于在Cirencester战役被打败,该
  • 彼得·达文波特彼得·B·达文波特(英语:Peter B. Davenport)是美国幽浮学家,国家UFO报告中心主任,曾担任哈灵顿市议员。1954年,达文波特在6岁时于圣路易斯目击过UFO,因而对UFO产生兴趣。他毕业于
  • 卡泽伦卡泽伦是伊朗的城市,位于该国西南部札格罗斯山脉,由法尔斯省负责管辖,海拔高度860米,主要农产品有海枣、柑橘、小麦、烟草、稻米、棉花和葡萄,2006年人口84,594。
  • 林昕阳林昕阳(英语:Edison Lin,1982年12月13日-),出生并成长于台湾澎湖县,2011年2月发表个人首张专辑《概念影像【窗帘】专辑》,2014年7月发行了第二张《【1000个太阳】专辑》,于隔年2015年