非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 蒙提霍尔问题蒙提霍尔问题,亦称为蒙特霍问题、山羊问题或三门问题(英文:Monty Hall problem),是一个源自博弈论的数学游戏问题,大致出自美国的电视游戏节目Let's Make a Deal(英语:Let's Make a
  • 初恋志已停播已停播已停播
  • 埃里克·贝克林埃里克·E·贝克林(英语:Eric E. Becklin,1940年4月6日-),美国天体物理学家。贝克林的研究重点是红外成像和光谱学,包括褐矮星搜索,星周尘环探测,银河系中心的动力学和组成以及亮红外
  • 甘末尔甘末尔(英语:Edwin W. Kemmerer 1875年6月29日-1945年12月16日)是一位美国经济学家。生于宾夕法尼亚州斯克兰顿,曾担任美国经济学会会长,多国政府经济顾问(菲律宾、墨西哥、危地马
  • 桑特海峡战役桑特海峡战役(Battle of the Saintes)是美国独立战争中英国海军在西印度群岛的重要胜利,从而结束了该地区的法国威胁。桑特海峡战役发生在1782年4月9日至12日,是英、法国在加
  • 李品芳李品芳(?-1881年),字春皋,浙江东阳县人,清朝政治人物、进士出身。道光三年(1823年),登进士,改庶吉士。道光六年,任翰林院编修。道光十一年,任云南乡试正考官、云南学政。后任少詹事。道光
  • 本村凌二本村 凌二(1947年5月1日-)是一名日本的历史学家,专门研究古罗马的社会史。目前是东京大学名誉教授、早稻田大学特任教授,曾经获得三得利学艺奖、地中海学会奖、JRA赏马事文化奖。
  • 自传 (五月天专辑)自传(英语:History of Tomorrow),是台湾乐团五月天发行的第九张录音室专辑。此专辑是继2011年12月16日《第二人生》后睽违近五年而推出的作品。 专辑预购时间为2016年5月25日至7
  • 源子河源子河,也作元子河,位于中华人民共和国山西省北部,是桑干河左岸支流,发源于左云县东南的尖口山,蜿蜒向西南,流经左云县西南部、右玉县东南部、山阴县西北部、朔州市平鲁区东部和朔
  • 府河 (大清河)府河,位于中华人民共和国河北省中部,是大清河南支之一,因流经保定府府城南门,故名。源流称一亩泉河,发源于保定市竞秀区南奇乡一亩泉村(原属满城县),蜿蜒向东南流经保定市区西部和南