非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 强直性脊柱炎强直性脊柱炎(拉丁文:spondylitis ankylosans,其中spondylitis原为希腊文脊柱炎之意,ankylosans原系希腊文强直之意),又称僵直性脊椎炎,在欧陆亦称此病为白赫铁列夫症(Morbus Bechte
  • Aristotle亚里士多德(希腊语:Αριστοτέλης,Aristotélēs,前384年6月19日-前322年3月7日),古希腊哲学家,柏拉图的学生、亚历山大大帝的老师。他的著作牵涉许多学科,包括了物理学、形
  • 薮猫属薮猫(学名:Leptailurus serval)是产于非洲的中型猫科动物,为薮猫属的唯一成员。薮猫体长85厘米,尾长40厘米。平均寿命在12-20年。与其他猫科动物相比,它体型修长,腿长而尾短,耳朵又
  • 冉云飞冉云飞(1965年-),中国作家,生于重庆酉阳,土家族,毕业于四川大学中文系,现任职于《四川文学》,长居成都,“2008年度百位华人公共知识分子”之一,基督徒。冉云飞长期关注右派维权,属于中国
  • 亨利·惠顿亨利·惠顿(英语:Henry Wheaton, 1785年11月27日-1848年3月11日)是一位美国律师、法学家、外交官。1785年出生于美国罗德岛州,1802年毕业于布朗大学,曾在美国最高法院任职,还曾任美
  • 斯坎格里峰斯坎格里峰是中国和巴基斯坦接壤的山峰,距离乔戈里峰7公里,属于喀喇昆仑山脉的一部分,海拔高度7,544米,日本攀山队在1976年8月11日首次登上该山峰。图例: 1:乔戈里峰 2:加舒尔布鲁
  • 雷穆斯·科夫勒雷穆斯·科夫勒(罗马尼亚语:Remus Kofler,1902年?月?日-1954年4月17日),“国内派”,罗马尼亚政治人物,罗马尼亚共产党领导人,1954年被职责为卢克雷奇·帕特拉什卡努集团,随后遭到处决。
  • 垂死狮子像垂死狮子像(德语:Löwendenkmal)是位于瑞士城市卢塞恩的一座负伤狮子的雕像。这座雕像由丹麦雕塑家巴特尔·托瓦尔森设计,用以纪念在1792年巴黎八月十日事件保卫杜伊勒里宫的战
  • 弗朗索瓦·瓦德勒弗朗索瓦·瓦德勒(François Vatel,法语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000
  • 少女革命《少女革命》(日语:少女革命ウテナ)是一部由动画导演几原邦彦率领的团队BE-PAPAS担任原作、剧本等的日本跨媒体制作作品,动画夺得1997年动画神户的最佳动画大奖。1997年4月2日至