非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 无名指环指通称无名指,是第四只手指,位于中指与小指之间,长度与示指相若。在中文中,因为其他四只手指都有其名字,但第四只手指则没有,所以便被称为无名指。一般人不认识环指这个名称。在
  • 临床血液学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学血液学(英语:Hematology或haematology)是
  • 破伤风芽孢杆菌破伤风梭菌(学名:Clostridium tetani)是一种梭菌属的杆状专性厌氧菌,外观类似网球拍和鸡腿,是破伤风的病原体。医学导航:病菌细菌(分类)gr+f/gr+a(t)/gr-p(c/gr-o药物(J1p、w、n、m、疫苗)
  • 杀害地主富农马日事变是在1927年5月21日(马日)晚上发生于长沙的一场兵变。1926年7月北伐军攻克湖南长沙之后,共产党和国民党左派在湖南实行土地改革,进行阶级斗争,消灭有产者;随即展开阶级斗争
  • 古德林海因茨·威廉·古德里安(德语:Heinz Wilhelm Guderian,1888年6月17日-1954年5月14日)也译古德林,是第二次世界大战一位著名的德国陆军将领,最高军衔为一級上將。古德里安为第二次世
  • 柬埔寨国会柬埔寨国会是柬埔寨王国的国家最高立法机构,成立于1981年,采用两院制,由参议院和国民议会组成。柬埔寨国会的历史最早可追溯到1947年。根据1947年颁布的《柬埔寨王国宪法》,在国
  • 食用黄道蟹普通黄道蟹(学名:Cancer pagurus),亦称食用黄道蟹、面包蟹或按其英语俗称直译为棕蟹,是分布在北海、北大西洋及地中海的一种蟹。它们的体型粗壮,呈红褐色,甲壳呈圆形,钳端黑色。它们
  • 荷兰曲艏船荷兰曲艏船,是一种尼德兰人使用的小型帆船,后来英国舰队在16世纪、17世纪也广泛使用。它被设计为适用于尼德兰海岸和近海浅滩的双桅纵帆船,以斜杠帆操纵为主,具有大三角帆和小后
  • 曾水源曾水源(1831年?-1855年),清朝广西省浔州武宣县人,太平天国人物。曾水源粗通文墨,早年曾在农村私塾教书,1850年,冯云山在胡以晄家宣传拜上帝会,曾水源当即参加。1851年金田起义后,封御林
  • 张中通张中通(越南语:Trương Trung Thông/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI