非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 统计图形统计图形,又称为统计图、统计学图形、图解方法、图解技术、图解分析方法或图解分析技术,是指统计学领域当中用于可视化定量数据的信息图形。有时,人们也把统计图形与各种统计学
  • 迪乔治症候群迪乔治综合征(DiGeorge syndrome;22q11.2缺失综合征/22q11.2 deletion syndrome)是一种遗传疾病,会导致鼻及鼻梁基部宽大、人中短、上唇薄、耳廓异常、颚裂、心脏容易出现多重异
  • 法赫德国王大桥法赫德国王大桥(阿拉伯语:جسر الملك فهد‎,转写:Jisr al-Malik Fahd),又名巴林道堤桥,位于波斯湾中的巴林湾,是连接巴林和沙特阿拉伯间的跨海公路大桥。大桥的命名是为纪
  • 乔治·哈里森乔治·哈里森,MBE(英语:George Harrison,1943年2月25日-2001年11月29日),是一位英国吉他手、音乐人、歌手、作曲家,音乐和电影制作人,以披头士乐队主音吉他手的身份全球知名。尽管约
  • 萨姆纳·威尔斯本杰明·萨姆纳·威尔斯(英语:Benjamin Sumner Welles;1892年10月14日-1961年9月24日),美国外交官。1914年,哈佛大学毕业,历任国务院拉美司司长、驻古巴大使等职。1933年,任助理国务
  • 西澳大利亚沙漠西澳大利亚沙漠(Western Desert)是吉布森沙漠、大沙沙漠、小沙沙漠等澳大利亚西部沙漠的统称。居住于当地的原住民有宾土比族(Pintupi)、瓦尔皮瑞族(Warlpiri)以及马尔杜族(Martu)等
  • 哈利·波特演员列表《哈利·波特》演员列表收录在改编自J·K·罗琳同名小说的《哈利·波特》系列电影演出或参与配音的演员。电影由丹尼尔·拉德克利夫、鲁伯特·葛林特和埃玛·沃森分别主演哈
  • 释良卿释良卿(1895年-1966年),俗名戚金锐,法名永贯,河南省偃师县人,临济正宗派法师,著名的佛教殉教者。良卿法师出身贫寒。七岁时因家乡连年灾荒,奉母命于邻县宜阳铁佛寺出家,拜印川老和尚为
  • 李李仁李李仁(1974年1月6日-),生于台湾台北市,台湾男演员、歌手、主持人。曾就读于台北市私立十信高级中学;曾演出《第8号当铺》、《欲望人生》、《意难忘》、《带子英雄》、《回家》、
  • 德涅斯特河沿岸宪法德涅斯特河沿岸摩尔达维亚共和国宪法(俄语:Конституция Приднестровской Молдавской Республики),为德涅斯特河沿岸摩尔达维亚