非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 性欲亢进性欲亢进(英语:Hypersexuality)是精神卫生研究人员和精神卫生机构所使用的临床诊断,去形容极为频繁或突然增加的性冲动或性活动。女性患上此病叫Nymphomania。男性患上这种疾病
  • 润滑油润滑剂是介入两运动物体表面,从而减少摩擦力以及磨损,达到提高效率的物质,通常为液体。最常见的工业用的机油用于保护机械内部的运动部件,另有供医用或性行为使用的人体润滑剂。
  • 彭齐亚斯阿诺·彭齐亚斯(德语:Arno Penzias,1933年4月26日-),德国出生的美国射电天文学家,犹太人,1964年与罗伯特·威尔逊一起发现了微波背景辐射,并因此获得1978年诺贝尔物理学奖。彭齐亚斯1
  • 英格博格·朗格英格博格·朗格(德语:Ingeburg (“Inge”) Lange,1927年7月24日-2013年7月13日),德国统一社会党政治局候补委员、中央书记处书记、中央妇女部长。1927年,生于莱比锡的工人家庭。193
  • 日中友好协会日本中国友好协会是日本一个民间组织国际友好协会。1950年10月1日由内山完造筹组创立,目的是促进中华人民共和国与日本两国人民的友好关系,总部设于东京都千代田区神田锦町。
  • 南昌市图书馆南昌市图书馆是江西省南昌市的一座公共图书馆。位于南昌市新洲路12号,与江西省科技馆、江西省博物馆相毗邻。南昌市图书馆成立于1958年,原址位于南昌市八一大道64号。2002年12
  • 齐乃贵齐乃贵(1947年7月-),男,山东昌邑人,中华人民共和国政治人物,曾任潍坊市人民政府市长,山东省总工会主席,山东省政协副主席。
  • 新四民论新四民论,是明朝哲学家王阳明关于中国古代社会职业分工的论述。王阳明对此提出了与传统儒家认识的不同见解,在当时有思想革新的意义,也有近现代社会学的意义。其后产生了重视工
  • 吴廷翰吴廷翰(1491年-1559年),字崧柏,又字嵩伯、崇伯,别号苏原,别署苏原居士、苏原山人。中国明朝哲学家。南直隶无为州(今安徽省无为县)人。濡须吴氏四世吴景昭之长子。吴廷翰十二岁时学习
  • 李宏 (西凉)李宏,字士赞,《资治通鉴》作李密,陇西狄道(今甘肃临洮县)人。李宏是西凉武昭王李暠第八子,李谭、李歆、李让、李愔、李恂、李翻、李豫的弟弟、李眺、李亮的哥哥。李宏官至前将军、