非经典逻辑

✍ dations ◷ 2025-08-27 00:44:02 #非经典逻辑

各宗教的哲学信仰

其他

非经典逻辑(英语:Non-classical logic),也称为替代逻辑(英语:alternative logics),概括了在经典逻辑体系之外的各种形式系统,这些系统在命题及谓词等方面,与经典逻辑不同。

哲学逻辑被理解为包含并专注于非经典逻辑,尽管该术语还有其他含义。

此外,可以将理论计算机科学的某些部分视为使用非经典推理,尽管这因学科领域而异。随着现代哲学逻辑与理论计算机科学的发展,推动了非经典逻辑发展。

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

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

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

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

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

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

相关

  • 钻石钻石结构,也叫金刚石结构,以金刚石的晶体结构命名,空间晶格为面心立方晶格,每个晶格点的基元包含两个相同的原子,分别位在000和
  • 铎受体Toll基因编码Toll样受体蛋白家族。Toll基因的突变最初由1995年诺贝尔奖得主克里斯汀·纽斯林-沃尔哈德以及艾瑞克·威斯乔斯以及他们的同事于1985年在黑腹果蝇(Drosophila me
  • 丨部丨部,是为汉字索引中的部首之一,康熙字典214个部首中的第二个(一划的则为第二个)。就繁体和简体中文中,丨部归于一划部首。丨部只以中间为部字。且无其他部首可用者将部首归为丨
  • 兰锡纯兰锡纯(1907年2月3日-1995年4月12日)是一位中国医学家,专攻心脏外科。1907年出生于山西万荣县,1920年进入太原市省立第一中学。1925年考入齐鲁大学医学院,1933年毕业于多伦多大学
  • 陈邦彦 (明朝)清人绘《陈子壮陈岩野先儒遗像图》之陈邦彦像陈邦彦(1603年-1647年),字令斌,号岩野,广东顺德龙山人,祖籍直隶铜陵(今安徽),明末政治人物,举人出身。陈邦彦出身书香门第,早年为诸生,意气豪
  • 弗朗齐谢克·贡戈尔弗郎齐歇克·贡戈尔(Franciszek Gągor,1951年9月8日-2010年4月10日),波兰上将,原波兰军队总参谋长,出生于新松奇附近的Koniuszowa。他于1970年代服役于第二坦克团,之后成为联合国行
  • 卢逮曾卢逮曾(1902年1月23日-1954年6月24日),字吉忱。山东省莱芜县仪封庄人。民国37年(1948年)在山东省第一选区当选第一届立法委员。
  • 牛越生牛越生(1948年8月-2019年10月21日),浙江金华人,汉族,中华人民共和国政治人物,曾任国有重点大型企业监事会主席,第十一届全国政协委员。1981年加入中国共产党。2008年,当选第十一届全
  • 卞玉京卞玉京(?-?),名赛,又名赛赛,后自号“玉京道人”,习称玉京,明末清初著名歌伎。出身于秦淮官宦之家,因父早亡,姐妹二人沦落为歌妓。卞玉京精诗琴,画艺娴熟,尤善画兰。江南盛传:“酒垆寻卞赛,花
  • 硬核舞曲硬核舞曲(英语:Hardcore),又称硬核铁克诺(英语:Hardcore techno),简称硬核, 是一种电子舞曲。硬核最初起源于1990年代的英国、荷兰和德国。硬核通常具有速度较快(160-200 bpm),鼓声、低音部分强,旋律及歌曲主题与暴力有关,接近失真音乐(英语:Distortion (music))、电子身体音乐(英语:electronic body music)的探索方式等特点。硬核日后演变出gabber(英语:gabber)。1980年代中期,受比利时Front 242(英语:Fron