非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 降结肠降结肠是结肠的一部分,位于腹腔左部,在脾脏下方与横结肠以直角弯相接,沿左肾外缘下行,在将靠近骨盆时转向内侧,连接乙状结肠。
  • GPCR结构 / ECODG蛋白偶联受体(G Protein-Coupled Receptors,GPCRs),是一大类膜蛋白受体的统称。这类受体的共同点是其立体结构中都有七个跨膜α螺旋,且其肽链的C端和连接第5和第6个
  • 伊朗陆军英苏入侵伊朗 Dhofar Rebellion 夺取阿布穆萨岛 两伊战争 Kurdish Civil War 伊朗伊斯兰共和国陆军(波斯语:نیروی زمینی ارتش جمهوری اسلامی ای
  • 穆罕默德·阿布都穆罕默德·阿布都(阿拉伯语:محمد عبده‎,英语:Muḥammad 'Abduh,Mohammed Abduh,c.1849年-1911年7月11日),生于埃及尼罗河三角洲,伊斯兰法学家、学者与自由派改革者,他是伊斯兰
  • 噜摩噜摩(梵语:रुमा,IAST:Rumā)是印度史诗《罗摩衍那》中的角色,为猴王须羯哩婆妻子。在书中第四卷《猴国篇》中,噜摩与须羯哩婆相爱并准备结婚,但是噜摩的父亲不同意两人的婚事。
  • 2月15日2月15日是阳历一年中的第46天,离全年的结束还有319天(闰年则还有320天)。
  • 环辛四烯三羰基铁环辛四烯三羰基铁是一种有机铁化合物,化学式为(C8H8)Fe(CO)3。它和其它(二烯)Fe(CO)3配合物一样,是反磁性的橙色固体。尽管它的一些异构体有可能存在,目前只观测到了η4-C8H8的
  • 蒙古国家话剧院蒙古国家话剧院(英语:National Academic Drama Theatre)设在蒙古国首都乌兰巴托,是蒙古国专业演出话剧的团体。蒙古国家话剧院成立于1931年,最初名为国家中心剧院(State Central T
  • 姜乐静姜乐静(1962年-),是台湾台中市第二位开业的女性建筑师,九二一地震后,致力推动学校重建之“新校园运动”。姜乐静出生于台湾台中市,晓明女中杰出校友,求学期间受到修泽兰、王秋华等女
  • 比尔·沃克比尔·沃克(英语:Bill Walker;1951年4月16日-)是美国的一位律师和政治人物。比尔·沃克自2014年到2018年担任第11任阿拉斯加州州长。他曾经是共和党党员,但现在是一位无党籍政治家