非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 雅典市雅典 (英语:Athens),又译阿森斯,正式名称为雅典-克拉克县(Athens–Clarke County),为佐治亚州东北部的合并市县。成立于1806年,市名来自古希腊学术中心雅典。原为雅典-克拉克县县治,19
  • 第一次石油危机第一次石油危机从1973年延续至1974年,又称作1973年石油危机,由于1973年10月第四次中东战争爆发,石油输出国组织(OPEC)为了打击对手以色列及支持以色列的国家,宣布石油禁运,暂停出口
  • 谢依旻谢依旻(1989年11月16日-),生于台湾苗栗县苗栗市,为台湾客家人,职业棋士,隶属日本棋院,现为六段,目前保有女流棋圣、女流本因坊头衔,职业生涯至今已累计获得27次头衔,为日本职业围棋界中
  • 周青周青可以指:
  • 蕃族调查报告书《蕃族调查报告书》于大正四年(1915年)由台湾总督府临时台湾旧惯调查会所出版。本报告书分为五卷,共八册,由该会补助委员河野喜六于明治四十五年(1912年)七月着手调查,至大正二年(19
  • 华德十大最佳汽车引擎华德十大最佳汽车引擎(英语:Ward's 10 Best Engines)乃由美国《华德汽车世界》杂志(英语:)自1994年起每年针对在美国上市销售的汽车中,评选出十大最佳汽车引擎的名单。每具入选的引
  • 粮食 (电影)《粮食》是北京电影制片厂在1959年拍摄的一部彩色电影。描写抗日战争中(1943年),华北抗日根据地的军民为保护粮食,利用日伪军的矛盾进行斗争的故事。1999年,中国中央电视台新闻评
  • 台中市南区和平国民小学台中市南区和平国民小学,简称和平国小,是台湾台中市南区的一所市立国民小学,前身为创立于1920年的台中公学校分教场。和平里、樹德里、崇倫里、南和里(8-11鄰、15、16鄰)、工學里
  • 欧洲运动会奖牌统计本条目显示欧洲运动会的奖牌统计。
  • 迭戈·科洛托迭戈·丹尼尔·科洛托(西班牙语:Diego Daniel Colotto,1981年3月10日-),阿根廷足球运动员,司职中后卫,目前效力西甲俱乐部西班牙人。来到西班牙之前,科洛托先后在阿根廷和墨西哥踢球