非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 西伯利亚联邦管区西伯利亚联邦管区(俄语:Сибирский федеральный округ,罗马化:Sibirskí federaľný okrug)位于俄罗斯亚洲部分中部,是目前俄罗斯的联邦管区之一。2018
  • 摩尔人摩尔人(西班牙语:Moro,英语:Moors)是指中世纪伊比利亚半岛(今西班牙和葡萄牙)、西西里岛、撒丁尼亚、马耳他、科西嘉岛、马格里布和西非的穆斯林居民。历史上,摩尔人主要指在伊比利
  • 袁绍袁绍(154年-202年6月28日),字本初,汝南郡汝阳县(今河南省商水县)人。为东汉末年割据势力之一,曾带兵进宫诛杀十常侍,后被各路诸侯推举为盟主讨伐董卓。极盛时期据有冀州、幽州、并州
  • 0086男团0086男团,中国歌唱偶像团体,由刘宇超、欧阳羽臣、王硕、李诗琦和马晨龙5位成员组成。2011年获得央视《星光大道》全国总决赛第七名,从而出道,于2012年10月16日发行首张专辑《008
  • 瓦莱丽·霍布森瓦莱丽·霍布森(1917年4月4日-1998年11月13日)是一名英国女演员。她于1935年在《科学怪人的新娘》中扮演弗兰肯斯坦男爵夫人一角。同年她在《伦敦狼人》中与亨利·赫尔演对手戏
  • 景方昶景方昶,1866年-? ,字旭初,号明久,贵州省兴义府兴义县人,清朝政治人物、进士出身。光绪十五年(1889年)己丑科进士,二甲八十名,同年五月,改翰林院庶吉士。光绪十六年四月,散馆,授翰林院编修
  • 苏什基 (科罗斯坚区)坐标:50°48′46″N 28°14′15″E / 50.81278°N 28.23750°E / 50.81278; 28.23750苏什基(乌克兰语:Сушки),是乌克兰的村落,位于该国北部日托米尔州,由科罗斯坚区负责管辖,始
  • 许存仁许存仁,名元,金华人。明朝初期政治人物。其父亲为许谦,朱元璋在攻克金华后,访问许存仁,与其谈吐后大悦。之后任命其教育朱元璋等人孩子,后升任国子博士,曾命其讲解《尚书·洪范》。
  • 朋楚克多尔济朋楚克多尔济(18世纪-1795年),喀尔喀蒙古车臣汗部人,博尔济吉特氏。清朝第十二代车臣汗。第十一任车臣汗齐旺多尔济次子。乾隆六十年(1795年),齐旺多尔济去世,乾隆帝命次子朋楚克多尔
  • 斯凯德绍弗登山坐标:72°8′S 11°31′E / 72.133°S 11.517°E / -72.133; 11.517斯凯德绍弗登山(英语:Skeidshovden Mountain)是南极洲的山峰,位于东部南极洲的毛德皇后地,属于沃尔塔特山脉的