非古典逻辑

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

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

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

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


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


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

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


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

相关

  • IUCN 3.1国际自然保护联盟濒危物种红色名录(或称IUCN红色名录,简称红皮书)于1963年开始编制,是全球动植物物种保护现状最全面的名录。此名录由国际自然保护联盟编制及维护。IUCN红色名录
  • 阿比阿比·艾哈迈德·阿里(阿姆哈拉语:አብይ አህመድ አሊ,奥罗莫语:Abiyyii Ahimad Alii,1976年8月15日-)是埃塞俄比亚政治家、前埃塞俄比亚陆军军官、诺贝尔和平奖得主。“艾哈迈德
  • 武吉高速公路武吉高速公路在中国国家高速公路网为大广高速公路的重要组成部分,全长285.81公里。起于九江市武宁县澧溪镇大平山,连接大广高速公路湖北段,途经九江市修水县,宜春市铜鼓县、宜丰
  • 2013年苏格兰羽毛球大奖赛2013年苏格兰羽毛球大奖赛为第95届苏格兰羽毛球公开赛,是2013年世界羽联大奖赛的其中一站,赛事由本届起升格至世界羽联大奖赛级别。本届赛事于2013年11月20日至11月24日在苏格
  • 伊哈布·哈桑伊哈布·哈桑(Ihab Hassan;1925年10月17日-2015年9月10日),是一位著名的文学评论家。全名是伊哈布·哈比·哈桑Ihab Habib Hassan。埃及裔美国人。有时又译为“伊哈布·哈山”、
  • 砸挂砸挂,相声界的行话,是指相声表演中以开他人的玩笑的内容为笑料,一般常以大家所熟悉的知名人物被为砸挂的对象。一般而言仅作为玩笑的砸挂无伤大雅(如相声演员郭德纲经常拿搭档于
  • 马修·迈奎尔马修·迈奎尔 (1855年-1917年),国际机械师协会工程师。1882年9月5日在纽约举行的第一次劳动节游行时,他是这次活动的实际组织者。
  • 梦之岛梦之岛(日语:夢の島/ゆめのしま  */?)是日本东京都江东区的地名,位于城东地域内。邮递区号为〒 136-0081。“梦之岛”是东京湾埋立14号地中,湾岸道路(日语:])以北的部分。梦之岛公
  • 敖国琦敖国琦(生卒年不详),字慕韩,号浩然,贵州贵阳人。清朝文人。敖国琦于清宣宗道光二十七年(1847年)考中丁未科三甲五十二名进士。即用江南知县。余事不详。
  • 全国人民大会 (也门)全国人民大会(阿拉伯语:المؤتمر الشعبي العام‎)是也门的前执政党。1982年8月24日由阿里·阿卜杜拉·萨利赫总统成立并召开第一次全国代表大会,通过爱国宪章