非经典逻辑

✍ dations ◷ 2025-07-08 20:24:51 #非经典逻辑

各宗教的哲学信仰

其他

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

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

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

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

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

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

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

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

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

相关

  • 多克隆抗体多克隆抗体,亦作“多株抗体”(Polyclonal Antibody)是一种含有多种类型抗体的抗体混合物。其名称中的“多”指抗体混合物由不同类型的浆细胞生产而来:430。要生产多克隆抗体,首
  • 舭龙骨舭龙骨(英语:bilge keel)是一种用于减缓船只倾斜的龙骨,位于船舱底的舭部。一艘船每侧可能有一个以上的舭龙骨,但这种情况不多见。由于舭龙骨增加了流体动力学阻力,可使船舶倾斜更
  • 单位群在环中,所有可逆元素叫环的单位,所有单位对乘法可构成一个乘法群,叫环的单位群。对环(域)来说,单位群所有元素,和环(域)的所有元素有多少相同,有多少不同,可由环的素理想,分式理想,理想类
  • 卜云吉卜云吉(生年不详-卒年不详),南直隶常州府武进县(今属常州市)人。明朝政治人物。卜象乾之子。崇祯十六年(1643年)癸未科第三甲第一百三十五名同进士出身。历任浙江布政使司参议,户部员
  • 蔡士英(今辽宁省锦州市)蔡士英(?-1675年),字伯彦,号魁吾。汉军正白旗人。世居辽东锦州,崇德七年(1642年),随祖大寿降郑亲王济尔哈朗。授征山东、福建,授佥都御史,顺治六年(1649年)总管八旗红衣大炮
  • 洪子诚洪子诚(1939年4月-),北京大学中文系教授、博士生导师,中国文学理论研究者。潮汕人,在原籍广东揭阳地级市出生长大,北京大学中文系本科毕业留校任教,著有学术专书多部,学术论文多篇。
  • 陈穆公陈穆公(?-前632年),妫姓,名款,为春秋诸侯国陈国君主之一,他为陈宣公儿子,承袭陈宣公担任该国君主,在位期间为前647年—前632年,共在位16年。周 → 秦 | 吴 | 姜齐 → 田齐 | 鲁 | 燕 |
  • 姬百合学徒队姬百合学徒队(日语:ひめゆり学徒隊)为,1944年12月于日本冲绳县以照顾日本军为主要目的、受到看护训练组织而成的女子学徒队之中,由冲绳师范学校女子部和冲绳县立第一高等女学校的
  • 森本佑子森本佑子(日语:森本 ゆう子),日本足球运动员,日本国家女子足球队成员。在1993年12月6日,她代表日本国家女子足球队出赛,在对战菲律宾的比赛中首次​​亮相。从1993年到1998年,他共为国家足球队出场10次,打进2球。她也曾代表日本参加1993年亚足联女子亚洲杯,1997年亚足联女子亚洲杯。
  • 安托诺夫安-38安托诺夫安-38是早期的安-28客机的加长升级版,是一款双涡轮螺旋桨支线客机,由乌克兰基辅的安托诺夫安设计局所开发。生产基地为俄罗斯新西伯利亚,但关键零组件仍来自于乌克兰与白俄罗斯。于1994年首飞并在2000年获得国际飞航认证。总共生产制造11架,于2006年尚有6架运作中参考资料:​Jane's All The World's Aircraft 2003–2004基本信息性能相关开发类似型号