非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 酒令酒令,或称行酒令,最早是在酒宴中限制饮酒的规定。周代设有“立之监”、“佐主史”的令官,是酒令的执法者。但酒令后来却成为酒酣耳热时,朋友间喝酒时助兴图开心所玩的游戏。世界
  • 查克拉脉轮(梵语:चक्र cakraṃ,音chakra 察喀拉,标准藏语:འཁོར་ལོ་ khor lo),字根源自“圆”、“轮子”,意译为脈輪或气卦,粤语译作卓羅,在印度瑜伽的观念中是指分布于人体各部
  • 韩国生命工学研究院韩国生命工学研究院是所总部位于韩国大田广域市大德科学园区的非营利政府资助科研机构。KRIBB成立于1985年,主要从事前沿生物技术和平台的基础研究、开发、和技术实用化。KRI
  • 互斥在逻辑学中,互斥(Mutually Exclusive)是一种逻辑关系,指几个变量或事件之中的任一个不可能与其它一个或多个同时为真,或同时发生的情况。对于逻辑函数,其变量互斥,意味着两个以上变
  • 第五共和国 (大韩民国)第五共和国(朝鲜语:제5공화국/第五共和國)是大韩民国历史上的政权。1979年10月26日,韩国总统朴正熙被暗杀身亡后,时任总理崔圭夏继任总统,不久国军保安司令官全斗焕少将发动双十二
  • 新北市私立东海高级中学东海中学学校财团法人新北市东海高级中学,简称东海高中,是位于新北市三重区的一所私立高级中学。
  • 迎角迎角(英语:Angle of attack,缩写为AOA,常用希腊字母α表示)为空气动力学名词,为机翼之翼弦与自由流(或是相对风流的方向)之夹角;如为飞机迎角,定义则为机轴对相对风流之夹角。当机翼向
  • 斜杠青年斜杠青年,亦作Slash族、弹性就业青年或斜杠族,指一种始自美国纽约女专栏作家及咨询师马奇·艾波赫(英语:Marci Alboher)的畅销书《不能只打一份工︰多重压力下的职场求生术》的一种
  • 台州中学台州中学,简称台中,建于清朝同治六年(1867年),老校区位于浙江省临海市北山路112号,新校区位于临海市双林南路220号,是有悠久历史的名校。求真、务实、敬业、乐群中国科学院院士 中
  • 阿南友亮阿南友亮(1972年-)是一名日本的政治学家,东北大学大学院法学研究科・法学部教授。出身于东京都,由于父亲担任外交官的关系,小学5年级到中学2年级的时在中华人民共和国生活。毕业于