非经典逻辑

✍ dations ◷ 2025-05-20 21:18:42 #非经典逻辑

各宗教的哲学信仰

其他

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

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

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

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

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

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

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

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

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

相关

  • 体液免疫体液免疫,即通过B细胞产生抗体来达到保护目的的免疫机制,属于特异性免疫。体液免疫作用机制如下:当抗原(细菌、病毒、外来物)第一次感染人体时,会被非特异性免疫的细胞所吞噬、
  • 病毒病毒性疾病(viral disease;viral infection;infectious disease)发生时,生物体被病原体侵入,感染性病毒颗粒附着并进入易感细胞。病毒性疾病通常通过临床表现来检测,例如发烧前的严
  • 雷·克洛克雷蒙德·阿尔伯特·“雷”·克罗克(英语:Raymond Albert "Ray" Kroc,1902年10月5日-1984年1月14日),美国企业家,生于伊利诺伊州。1955年,他接管了当时规模很小的麦当劳公司的特许权,
  • 石坂浩二石坂浩二(英语:Kōji Ishizaka, 1941年6月20日-)是一位日本男演员,画家,作家,翻译家,作词家和主持人。目前隶属于尾木制作艺人经纪公司。1941年出生在日本东京,毕业于庆应义塾大学法
  • 2000年淡路花博2000年淡路花博(日语:ジャパンフローラ2000),通称淡路花博,是2000年3月18日至9月17日在日本兵库县淡路町・东浦町(现・淡路市)举行的世界博览会和国际园艺博览会,为期184日。主办单
  • 东莞港东莞港原称虎门港,是位于中国广东省东莞市的一个一类海港口岸。1997年,经中国国务院批准,东莞沙田港与太平港合并为虎门港,是为一类口岸。2003年,成立虎门港管理委员会。共有沙田
  • 塞尔吉奥·法里亚斯塞尔吉奥·法里亚斯(Sérgio Farias,1967年6月9日-)是一名巴西足球教练。法里亚斯在1993年便开始了执教生涯,早期除1994年在利比亚执教外,其余时间都执教巴西国内的球队,其中曾经执
  • 于民新于民新,奉天府铁岭人,清朝政治人物、进士出身。同治十三年(1874年)甲戌科二甲第129名进士,官至刑部主事、员外郎。
  • 黄裳眼蛱蝶黄裳眼蛱蝶(学名:Junonia hierta)是蛱蝶科的一种蝴蝶,分布在旧热带界,通常生活在草地和灌木丛。雄性的翅膀上方的是明亮的黄色。前翅有很大黑色的三角区域,黑色区域中间有一个很大
  • 指定暴力团指定暴力团(日语:指定暴力団),是日本政府依据都道府县公安委员会在1992年3月1日所实施的《暴力团对策法(日语:暴力団員による不当な行為の防止等に関する法律)》,视该暴力团的规模、