非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 契尔西切尔西(英语:Chelsea)是美国马萨诸塞州沙福克县的一个城市,位于波士顿东北。面积6.4平方千米,是该州面积最小的城市。根据美国2000年人口普查,人口35,080人。1624年白人开始殖民,17
  • 天河体育中心天河体育中心位于中国广州市天河区,市政府东部、天河路北侧,目前是广州最大的体育场馆,1984年动工,1987年建成。天河体育中心曾获得1988年的中国建筑工程鲁班奖。天河体育中心地
  • 拉斯·费恩戈尔德拉斯·芬格尔德(Russ Feingold;1953年3月2日-)是美国的一位政治人物和律师。在1993年至2011年期间,他是威斯康星州的两位参议院议员之一。在1983年至1993年期间,他是威斯康星州参
  • 来来 (花札)こいこい(Koikoi)是一种两人玩的花札游戏,其规则与Go-stop较为相似。这个游戏的目的,是将牌配对为称为“役”的特别组合以获得点数。获得点数的方式有两种:将手上的牌与台面上的
  • 算数阶层算术阶层是递归论或可计算性理论中的概念,将自然数的子集按照定义它们的公式的复杂度分类。设 ϕ ( x ) {\displays
  • 宋权宋权(1598年-1652年),河南省归德府商邱县(今河南省商丘市)人,明末清初政治人物。宋荦之父。明朝天启五年(1625年)进士,授山西阳曲县知县、吏科给事中、候补北科给事中、工科给事中、兵
  • 纪念孙中山市政公园纪念孙中山市政公园(又称鸭涌河公园、中山公园,葡萄牙语:Jardim Municipal Dr. Sun Yat Sen;英语:Dr. Sun Yat Sen Municipal Garden)是位于澳门关闸旁边的多功能公园,为澳门最大的
  • 纳加代纳加代是伊朗的城市,位于该国西北部,由西阿塞拜疆省负责管辖,毗邻与土耳其接壤的边境,距离尔米亚湖23公里,海拔高度1,300米,主要经济活动是农业,2006年人口121,975。这个城市位于Pi
  • 大裕路大裕路(Dayu Rd.)为高雄市三民区的南北向道路,北起于金鼎路,南止于大昌一路,是金狮湖风景区的周边道路。(由南至北)
  • 巴尔塞纳火山巴尔塞纳火山是墨西哥的火山,位于雷维利亚希赫多群岛,距离南下加利福尼亚州350公里,海拔高度332米,最近一次火山喷发在1953年3月发生。