非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 猪巨细胞病毒巨细胞病毒(拉丁语:Cytomegalovirus,简称CMV)是一种疱疹病毒。感染人类的品种称 human CMV (HCMV) 或Human herpesvirus-5 (HHV-5),是巨细胞病毒中研究最深入的在人类和哺乳动物
  • 糯米Oryza glutinosa Matsum.糯稻(学名:拉丁语:Oryza sativa 拉丁语:glutinosa 英语:Glutinous rice),禾本科一年生草本植物,是稻的粘性变种,在籼稻和粳稻品种中都有糯稻变种,糯稻脱壳的米
  • 伊达政宗伊达政宗(1567年9月5日-1636年6月27日),奥羽伊达氏第17代家督。后人称其为独眼龙。安土桃山时代奥羽地方著名大名。江户时代仙台藩始祖。其父为出羽国米泽城主伊达家第十六代当
  • 中国大学生篮球联赛中国大学生篮球联赛(CUBA,Chinese University Basketball Association)是一个中国篮球协会主办的高校之间的篮球联赛。联赛的宗旨是“发展高校篮球,培养篮球人才”。联赛的模式
  • 罗伯特·埃利亚斯·弗里斯罗伯特·埃利亚斯·弗里斯(Robert Elias Fries,1876年7月11日-1966年1月29日)为瑞典真菌学家及植物学家。
  • 北京交通大学出版社北京交通大学出版社是中华人民共和国的一家出版社,成立于2001年,原名北方交通大学出版社,社址位于北京市,由中华人民共和国教育部主管、北京交通大学主办。
  • 储南储南(?-?),字光远,直隶常州府宜兴县人,民籍,明朝政治人物。应天府乡试第一百三十三名举人。弘治十五年(1502年)中式壬戌科二甲第十七名进士。曾祖储伯玑;祖父储著;父储勋,母尹氏。
  • 阮志天阮志天(越南语:Nguyễn Chí Thiện,1939年2月27日-2012年10月2日)出生于法属越南河内,逝世于美国加利福尼亚州圣安娜,毕业于河内文学院,精通法文、越南文,为著名的越南旅美诗人。193
  • 国立雷恩应用科学学院国立雷恩应用科学学院或雷恩INSA (法语:Institut National des Sciences Appliquées de Rennes, INSA de Rennes)是一所隶属于法国教育部与INSA集团的工程师大学校,位于布列
  • 富尔顿县 (佐治亚州)富尔顿县(英语:Fulton County),是美国佐治亚州西北部的一个县。面积1,385平方公里。根据美国2000年人口普查,人口共有816,006人。富尔顿县县治是同为