非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 乔治主义乔治主义是一种经济意识形态,由亨利·乔治提出。乔治主义的观点是每个人拥有他们所创造的东西,但是所有由自然而来的东西,尤其是土地,都属于全人类共有。乔治主义通常与对土地的
  • 尼伦伯格-马特伊实验尼伦伯格-马特伊实验是1961年5月15日美国生物学家马歇尔·沃伦·尼伦伯格与其当时的博士后研究员J·海因里希·马特伊(英语:J. Heinrich Matthaei)完成的一项实验。该实验破译了
  • 政府部门政府是一个政治体系,于某个区域订立、执行法律和管理的一套机构。广义的政府包括立法机关、行政机关、司法机关、军事机关,狭义的政府仅指行政机关;在内阁制国家,“政府”一词也
  • 每日广播每日广播(韩语:매일방송,英语:Maeil Broadcasting Network),简称MBN,前身为韩国一条24小时播送的新闻、财经频道,时称每日经济TV(매일경제TV),该期间也有DMB电台频道。从2011年12月1
  • 章明章明(1922年12月-2013年4月9日),原名张文秀,河北乐亭人,中华人民共和国女性政治人物。早年参加八路军,后任河北省张家口二区区委宣传部副部长。1947年,担任河北省武强县委宣传部长。
  • 刘逵 (西晋)刘逵,济南郡人,中国西晋官员。晋惠帝时侍中。刘逵初任中书郎、黄门侍郎。赵王司马伦专权,有人对侍中、辅国将军、相国司马孙秀说:“散骑常侍杨准、黄门侍郎刘逵想要尊奉梁王司马
  • 托马斯·伍尔夫托马斯·伍尔夫(英语:Thomas Wolfe,1900年10月3日-1938年9月15日),美国小说家。托马斯·伍尔夫一生共创作四部长篇小说,许多短篇小说,戏剧和中篇小说。 他以混合高度原创、诗意、悲
  • 安东尼奥·萨列里安东尼奥·萨列里(意大利语:Antonio Salieri,1750年8月18日-1825年5月7日),意大利作曲家,生于威尼斯共和国莱尼亚诺,在奥地利帝国维也纳逝世。他的出生地莱尼亚诺是当时威尼斯共和国
  • 黑雨 (美国电影)《黑雨》(英语:)是1989年9月22日上映的美国动作犯罪电影,由英国导演雷德利·斯科特执导,演员包括迈克尔·道格拉斯、安迪·加西亚、松田优作、高仓健及凯特·卡普肖。剧情讲述日
  • 天野浩成天野浩成(1978年4月9日-)是日本男演员。出生于日本爱知县春日井市,身高180cm,血型O型。妻子为雏形明子。