非经典逻辑

✍ dations ◷ 2025-04-29 11:14:54 #非经典逻辑

各宗教的哲学信仰

其他

非经典逻辑(英语:Non-classical logic),也称为替代逻辑(英语:alternative logics),概括了在经典逻辑体系之外的各种形式系统,这些系统在命题及谓词等方面,与经典逻辑不同。

哲学逻辑被理解为包含并专注于非经典逻辑,尽管该术语还有其他含义。

此外,可以将理论计算机科学的某些部分视为使用非经典推理,尽管这因学科领域而异。随着现代哲学逻辑与理论计算机科学的发展,推动了非经典逻辑发展。

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

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

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

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

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

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

相关

  • 水藻藻类,又称作悬浮植物,包括数种不同类以光合作用产生能量的生物,其中有属于真核细胞的藻类,也有属于原核细胞的藻类。它们一般被认为是简单的植物,并且一些藻类与比较高等的植物有
  • 奥地利国家银行奥地利国家银行(德语:Oesterreichische Nationalbank)是奥地利的中央银行,也是欧洲中央银行的会员之一。奥地利国家银行的前身是奥地利国家特别银行,成立于1816年。1878年改制为
  • 卡罗来纳飓风队卡罗来纳飓风(Carolina Hurricanes)是位于美国莱利的国家冰球联盟队伍,隶属于东部联盟大都会分区。卡罗来纳飓风队的前身是新英格兰捕鲸人队;成立于1972年。1979年球队迁往康乃
  • 建国五项原则建国五项原则(印尼语:Pancasila),音译潘查希拉,为首任印度尼西亚总统苏卡诺于1945年6月所提出,政党的成立须要符合建国五项原则。建国五项原则为印尼宪法的基本精神之一。“潘查希
  • 伊予亲王伊予亲王(いよしんのう、783年?-807年12月14日)是平安时代初期的皇族。桓武天皇的第三皇子(有异说)。官位三品・中务卿、赠一品。延历11年(792年),加冠,任三品式部卿。大同元年(806年),
  • 李野光李野光(1924年-)原名李光鉴,笔名骆漠,湖南人,毕业于北京大学西语系,中国共产党党员、中国大陆翻译家。李野光主要翻译美国诗人沃尔特·惠特曼的作品。1924年,李野光出生在湖南省涟源
  • 世界花式台球协会世界花式台球协会(World Pool-Billiard Association)是一国际台球机构。它成立于1987年,最初是由一个来自日本,美国,瑞典和德国的代表所成立的临时董事会。截至2011年11月,总裁是
  • JK 金东昱JK 金东昱(朝鲜语:JK김동욱 ,1975年12月11日-)是一名韩国男歌手。
  • STS-51-FSTS-51-F(原先编号STS-17,同时也被称为太空实验室2号)是历史上第十九次航天飞机任务,也是挑战者号航天飞机的第八次太空飞行。
  • 丹尼尔·贝利丹尼尔·贝利(1986年9月9日-)是一名安提瓜和巴布达田径运动员,曾代表国家参加2004年雅典奥运、2008年北京奥运、2012年伦敦奥运和2016年里约奥运。四次参赛均未获得奖牌。