非古典逻辑

✍ dations ◷ 2024-12-23 14:07:34 #自2021年2月需要逻辑专家关注的页面,非古典逻辑,形式逻辑系统,逻辑,哲学

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

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

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


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


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

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


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

相关

  • 劳尔·阿方辛Raúl Ricardo Alfonsín Foulkes(音译劳尔·里卡多·阿方辛·福克斯,1927年3月13日-2009年3月31日)是一位阿根廷的律师和政治家,1983年12月10日至1989年7月8日担任阿根廷总统。
  • 许昌市许昌市,简称许,古称颍川、许州,别称莲城,是中华人民共和国河南省下辖的地级市,位于河南省中部。市境北临郑州市、开封市,东接周口市,南界漯河市,西毗平顶山市。地处伏牛山低山丘陵区
  • 布里奇敦布里奇顿(英语:Bridgetown)位于加勒比海东部沿岸的圣迈克尔教区,是巴巴多斯的首都和最大的城市,人口约110,000人,风景优美,气候宜人。布里奇顿有时在当地被称为“城市”,但最常见的
  • 新竹都会区新竹都会区就总人口数而言,其规模次于台北都会区、台中彰化都会区、高雄都会区、桃园中坜都会区和台南都会区,为台湾排名第六的都会区,其规模仅大于嘉义次都会区,在世界人口组织
  • 围棋殿堂围棋殿堂,台湾亦有译作围棋名人堂,是日本参考野球殿堂而设立的,位于日本棋院在东京都千代田区市谷的会址。主要是表彰对于围棋有重大贡献者。2004年日本棋院创院八十周年,于是提
  • 缪勒缪勒可以指:
  • 第一基本形式在微分几何中,第一基本形式(first fundamental form)是三维欧几里得空间中一个曲面的切空间中内积,由 R3 中标准点积诱导。它使得曲面的曲率和度量性质(比如长度与面积)可与环绕空
  • 幸福终点站《幸福终点站》(英语:),2004年出品的电影,由斯蒂芬·斯皮尔伯格导演,主要演员有汤姆·汉克斯、凯瑟琳·泽塔-琼斯、史丹利·图奇和齐·麦拜特。剧本由沙查·盖华斯,谢夫·内森逊根
  • 四月的某时《四月的某时》(英语:)为2005年HBO自制的电影,也是第一部在卢旺达实地拍摄的电影;导演为Raoul Peck。剧情描述Augustin兄弟及其家人与朋友在卢旺达种族屠杀期间所遭遇的种种。
  • 刘日纯刘日纯(闽南语:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif}Lâu J