非古典逻辑

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

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

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

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


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


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

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


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

相关

  • DNA定序DNA测序(DNA sequencing,或译DNA定序)是指分析特定DNA片段的碱基序列,也就是腺嘌呤(A)、胸腺嘧啶(T)、胞嘧啶(C)与鸟嘌呤(G)的排列方式。快速的DNA测序方法的出现极大地推动了生物学和医
  • 黑光灯黑光灯又称紫外线灯或伍德灯(Wood's lamp),是发射长波紫外线(UV-A)和少量可见光的灯,又叫做UV-A 灯, 黑光灯有深紫色的过滤材料,在电灯泡上或者在分开的玻璃过滤器中,用来过滤可见
  • 特土良特土良(英语:Tertullian ,/tərˈtʌliən/,150年-230年),罗马全名为昆图·塞普蒂米乌斯·佛洛伦特·特尔土良诺(拉丁语:Quinto Septimius Florente Tertuliano),英语化后被称为特土良(
  • 布兰登·刘易斯布兰登·肯尼思·刘易斯(英语:Brandon Kenneth Lewis,1971年6月20日-),英国保守党政治家,2010年起担任下议院大雅茅斯选区议员,2019年起任保安事务副大臣。他在此前任不管部大臣兼保
  • 神秘星球《神秘星球》(英语:One Strange Rock)是2018年推出的一部美国科学纪录片,于2018年3月26日在国家地理频道首播。纪录片共十集,将透过八位宇航员的远离地球的独特视角来展示地球内
  • 杨海薇杨海薇(1964年-),是台湾的歌手、主持人、编剧。中山女高、政治大学教育学系毕业。与周秉钧合作于台视《大学城全国大专创作歌谣大赛》校园民歌比赛中获得优胜,以校园民歌手身份出
  • PANOSEPANOSE 是一种依照字体外观来进行分类的方法。对于未知的字体,可以透过PANOSE体系将字体的外观特征整理并且与其他字体归类比较。PANOSE定义了几个范围:Latin Text, Latin Scr
  • 民国丛书民国丛书是由上海书店出版的大型丛书,影印1912年-1949年间出版的中文图书1000余种,以5编每编100册的形式出版发行。民国丛书所收内容较为广泛,共分十一大类:《民国丛书》目录 《
  • 椰丝糯米糕椰丝糯米糕(英文:Kutsinta)是源自菲律宾的一种蒸米糕(Puto(英语:Puto))。用米粉、红糖、碱液、黄色食用色素和胭脂树红混合制成,使用小模子(英语:Ramekin)蒸煮熟后加入磨碎的椰子肉,经常
  • 阿当斯峰阿当斯峰(英语:Adams Crest)是南极洲的山峰,位于奥次地,处于萨布罗峰以东8公里,属于不列颠岭中拉文斯山脉的一部分,海拔高度1,950米,现时由南极条约体系管理。坐标:80°20′S 155°33