非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 各固有族群之自然语言中华民国语言列表可以指:
  • 金钱薄荷金钱薄荷(学名:Glechoma hederacea),又名连钱草、欧活血丹、大马蹄草、虎咬黄,是唇形科植物中的一个种,多年生草本,株高约10-20cm,主要生长于亚热带如台湾地区之海拔2600m以下的开阔
  • 青猴科夜猴属(学名:Aotus),也叫猫头鹰猴,为新世界猴中夜猴科(Aotidae)的唯一一属,分为8种。它们主要分布在中美和南美的森林地区。它们几乎都在夜间活动,因此被称为夜猴。公猴和母猴的体重
  • 疱疹性脑炎单纯疱疹病毒脑炎(英文:herpesviral encephalitis、herpes simplex encephalitis、HSE)是由单纯疱疹病毒造成的脑炎。什么时候都可以发病,40岁以上多见,急性起见病, 潜伏期为2=21
  • 飓风安娜飓风安娜(英语:Hurricane Ana)是2014年继8月的伊塞莱后,第二个威胁美国夏威夷州并直接侵袭该地的热带气旋,同时也是2014年太平洋飓风季的第21个命名的风暴和第15个飓风。安娜由10
  • 安布鲁瓦兹·帕雷安布鲁瓦兹·帕雷(法语:Ambroise Paré),(1510年-1590年),文艺复兴时期欧洲法国外科医生之一。曾服务于亨利二世、弗兰西斯二世等君主。曾作为军医随军参加战争,后又专攻普通外科。撰
  • 桑原一世桑原一世(桑原一世,くわばら いしよ)是一位日本作家桑原一世著有《クロス・ロード》(Crossroad,十字路口)与《最后の王様》等。
  • 汉中市龙岗学校汉中市龙岗学校(英语:Hanzhong Longgang School)是一所创建于公元2008年的寄宿制、小班化的民办基础教育学校。地处陕西省汉中市南郑县大河坎,占地168亩,建筑面积13万平方米,在校
  • 穆哈杰拉尼穆哈杰拉尼是伊朗的城市,位于该国西北部,由哈马丹省负责管辖,距离首府哈马丹30公里,海拔高度1,666米,2006年人口7,756,大多数居民是阿塞拜疆族。
  • 保罗·H·哈尔彭保罗·H·哈尔彭(英语:Paul H. Halpern,/ˈhælpərn/,1961年1月15日-)是一位美国物理学家,费城科技大学人文学科学院教授,作品有《伟大的超越》()等。