非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 马丁·布伯马丁·布伯(德语:Martin Buber,1878年2月8日-1965年6月13日),奥地利-以色列-犹太人哲学家、翻译家、教育家,他的研究工作集中于宗教有神论、人际关系和团体。马丁·布伯的著作,具有
  • 坐骨神经痛坐骨神经痛(拉丁语:Sciatica),也被称为坐骨神经炎或腰椎神经根病变,它的症状是背部与腿部的疼痛。疼痛的范围上自背部,下至腿部的背侧、外侧、或正面。一般而言,症状只出现在身体的
  • 塞尔托利氏细胞塞尔托利氏细胞(Sertoli cell),又名为塞托利细胞或史脱立细胞或塞透力细胞,是细精管一部分的睾丸的营养细胞。它是由促滤泡成熟激素(简称FSH)所启动,并在其细胞膜上有促滤泡成熟激
  • 中华人民共和国出版社下面为中国出版社的ISBN前缀号,均以ISBN 978-7开头。下表省略ISBN 978-7。
  • 高地区高地议会区(英语:Highland Council Area、苏格兰盖尔语:Comhairle na Gàidhealtachd、低地苏格兰语:Hieland Cooncil Aurie)是苏格兰下辖32个一级行政区之一,也是苏格兰(与整个英
  • 北索美塞特北索美塞特(英语:North Somerset)是英格兰的一个非都市区,范围包括了索美塞特郡的西北部。北索美塞特成立于1996年,在成立之初政府计划将该区命名为西北索美塞特,但议会投票决定选
  • 零口站零口站是一个陇海线上的铁路车站,位于陕西省西安市临潼区零口街道,建于1934年,目前为四等站,邮政编码为710607。目前客运:办理通勤职工乘降;不办理行李、包裹托运;货运:办理整车货物
  • 清武弘嗣清武弘嗣(1989年11月12日-),日本足球运动员,现效力大阪樱花,前日本国家足球队成员。2004年1月,清武弘嗣进入位于家乡的大分三神青训系统接受专业足球培训。2008年1月,清武弘嗣与大分
  • 寻找圣诞星《寻找圣诞星》(挪威语:Reisen til julestjernen,英语:)是一部挪威奇幻冒险电影,由尼尔斯·高普(英语:Nils Gaup)执导。2012年11月9日在挪威上映,其播映权已售出给116个国家。剧情翻拍
  • 联邦音乐产业协会联邦音乐产业协会(德语:Bundesverband Musikindustrie,简称:BVMI)代表了整个德国的音乐产业。协会的成员有将近280个厂牌和音乐产业企业,包括了整个音乐产业的百分之90。联邦音乐