非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 无法理解别人的话感觉性失语症 ,又被称为韦尼克氏失语症 , 流畅失语症 ,或接受性失语症。此类患者有语言理解障碍,患者的阅读能力或了解他人谈话内容的能力低下。虽然患者能够说初具语法、速
  • 开尔文探针力开尔文探针力显微镜(Kelvin probe force microscope, KPFM)是一种原子力显微镜,于1991年问世。开尔文探针力显微镜利用微悬臂感受和放大悬臂上尖细探针与受测样品原子之间的作
  • 生技生物技术(英语:biotechnology),又称为生物科技,指利用生物体(含动物,植物及微生物的细胞)来生产有用的物质或改进制程,改良生物的特性,以降低成本及创新物种的科学技术。根据不同的工
  • 狂犬病疫苗狂犬病疫苗是指用来预防狂犬病的疫苗。目前已有很多有效且安全的疫苗。在暴露于病毒(例如被狗或蝙蝠咬)之前或之后一段时间都可以施打狂犬病疫苗。在接种三剂后可以有长期的免
  • 宋思衡宋思衡(1981年-),出生在中国上海,中国青年钢琴家。宋思衡三岁开始学习钢琴。后来进入上海音乐学院,跟随盛一奇教授和艺术家许忠学习钢琴。2002年前往法国,于巴黎高等师范音乐学院(é
  • 克里米亚的亚美尼亚人自中世纪以来,已有亚美尼亚人居于克里米亚(现为俄罗斯和乌克兰争议领土)。11世纪中期,亚美尼亚人开始移民到克里米亚;虽然这批移民的政治、经济和社会条件并没有随着时间的推移而
  • 巴拉诺夫桑多米尔斯基巴拉诺夫桑多米尔斯基 (Baranów Sandomierski)是波兰的一座城市。2009年,有人口1,440人。坐标:50°29′55″N 21°32′08″E / 50.49861°N 21.53556°E / 50.49861; 21.53556
  • 罗江 (主持人)罗江(1944年-),出生于广州市,是台湾男歌手、主持人,现已退休。罗江家有六个兄妹,他排行老二。他从高职毕业后,原本想报考国立艺专编导科,以求得他在舞台事业的一技之长;他父亲认为这
  • 哈利·波特:魔法史哈利·波特:魔法史(英语:Harry Potter: A History of Magic)是一个展出与《哈利·波特》系列小说相关的书籍、手稿、物品的展览,2017年10月至2018年2月间在英国大英图书馆展出,201
  • 阿派朗阿派朗( /əˈpaɪrɒn/ ἄπειρον )是古希腊的哲学术语,意思是“无限”或“不确定” πέρας的爱奥尼亚希腊形式peras ,“结束、限制、边界”。 它类似于波斯语piramo