非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 道路罗马道路(拉丁语:viae,单数为via)是古罗马的重要基础建设,由公元前500年开始,并随罗马共和国及罗马帝国版国的扩大而延伸这些罗马道路为罗马军队、官员及平民带来便捷的交通路径,更
  • 密尔密耳,又称英丝或条,是一个长度的单位,代表千分之一英寸,可被写做mil或thou。这个单位较常被使用在工程及科学上,如:目前倾向于用国际单位制的长度单位来代替,如毫米。1密尔等同于:
  • 紫云苗族布依族自治县紫云苗族布依族自治县是中华人民共和国贵州省安顺市下属的一个自治县。位于贵州西南部,与之接壤的县市有:东边长顺县、罗甸县,南边望谟县,西边镇宁布依族苗族自治县,北边西秀区。
  • 韦恩州立大学韦恩州立大学(Wayne State University,简称: WSU)是一所美国公立大学,位于密歇根州底特律。2019年《美国新闻与世界报道》将其列在全国第205位,全国公立大学第112位。维恩州立大
  • 奥斯卡·安德伍德奥斯卡·安德伍德(英语:Oscar Underwood,1862年5月6日-1929年1月25日),美国阿拉巴马州政治人物。安德伍德出生于肯塔基州路易斯维尔,是原肯塔基州联邦参议员约瑟夫·安德伍德(英语:Jo
  • 天鵝圈天鵝圈 (电波源W78,或 沙普利斯 103)是位于天鹅座的一个巨大超新星残骸,是个直径大约3°的发射星云。循环上有一些弧,像是所知的面纱星云或卷星云,发射出可见光、电波、红外线和
  • 埃莱娜·埃斯皮诺萨埃莱娜·埃斯皮诺萨·曼加纳(西班牙语:Elena Espinosa Mangana,1960年3月21日-),西班牙政治人物,曾任农业大臣、环境大臣等职。1960年生于西班牙西北部加利西亚地区的奥伦塞。早年
  • 郭符甲郭符甲(1605年-1648年),字辅伯,号介庵,福建省泉州府晋江县(今晋江市)人,明末官员,进士出身。郭符甲少年博学,弱冠时即为孝廉,然而此后六次春闱落第,十八载寒窗,直到崇祯十六年(1643年)方考中
  • 川口长孺川口长孺(1772年-1835年),字婴卿,号绿野,世称川口助九郎。日本江户时代晚期的历史学家与医学家。他大约出生于明和九年(1772年),是常陆人。小时候跟随家里学医,后来任职于水户藩的彰考
  • 保险职业学院坐标:28°06′41″N 113°00′05″E / 28.111354°N 113.001251°E / 28.111354; 113.001251保险职业学院,位于长沙市天心区中豹塘路196号,为湖南省一所高级专科大学。1986年,湖