非古典逻辑

✍ dations ◷ 2025-12-01 14:35:33 #自2021年2月需要逻辑专家关注的页面,非古典逻辑,形式逻辑系统,逻辑,哲学

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

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

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


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


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

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


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

相关

  • 烟草花叶病毒烟草花叶病毒(Tobacco mosaic virus;TMV),又译为菸草镶嵌病毒,是一种RNA病毒,专门感染植物,尤其是烟草及其他茄科植物,能使这些受感染的叶片看来斑驳污损,因此得名(mosaic为马赛克,也就
  • 刻板印象刻板印象(亦称印刻作用,英语:stereotype),是一个社会学术语,专指人类对于某些特定类型人、事或物的一种概括的看法,看法可能是来自于同一类型的人事物之中的某一个个体给旁人的观感
  • 神职神职是日本神社的祭司,也叫神主。神职在神道中是神与人之间的媒介,他们也负责替信徒祓除与主持婚礼并管理神社一般事务。在远古时代因政教合一,因此氏族首领也是神官,到后来才有
  • 科珀斯克里斯蒂市科珀斯克里斯蒂(Corpus Christi,又译为圣体市)位于美国得克萨斯州东南部墨西哥湾畔,是纽埃西斯县的县治所在,人口约28万(2004年)。德克萨斯农工大学科伯斯克里斯蒂分校 (TAMUCC)
  • 核糖体大亚基核糖体大亚基(英文:Ribosomal Large Subunit,简称“LSU”)是核糖体中较大的核糖体亚基。每个核糖体都由一个核糖体大亚基与一个核糖体小亚基共同构成。原核细胞中的70S核糖体、
  • 咸海神翼龙咸海神翼龙(学名:)意为“咸海的神龙翼龙”,是翼龙目神龙翼龙科的一属,生存于白垩纪晚期(桑托阶到坎潘阶早期)的哈萨克。目前只有发现颈椎的化石。
  • 北婆罗洲联邦北婆罗洲联邦(英语:North Borneo Federation,马来语:Negara Kesatuan Kalimantan Utara),或称北加里曼丹(North Kalimantan),是二次大战后曾经出现的一个建国构想,企图将大英帝国殖民
  • 奥班博奥班博是是中非某些民族口中的一种鬼魂。奥班博最初住在灌木丛中,但最终厌倦了这种生活,出现在一位近亲面前,要求他在自己家附近为自己盖一所房子。那天晚上,村里的妇女们聚在一
  • 八隅体规则八隅体规则(或称八电子规则)是化学中一个简单的规则,即原子间的组合趋向令各原子的价层都拥有与惰性气体相同的电子排列。主族元素,如碳、氮、氧、卤素族、钠、镁都依从这个规则
  • STS-89STS-89是历史上第八十八次航天飞机任务,也是奋进号航天飞机的第十二次太空飞行。