非古典逻辑

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

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

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

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


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


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

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


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

相关

  • 化学捕捉化学捕捉(chemical trap)是化学中用来侦测其他分子的化合物,以下的情形才会用到化学捕捉:配合化学捕捉反应后的产物,可以
  • 密苏里号战列舰坐标:21°21′44″N 157°57′12″W / 21.36222°N 157.95333°W / 21.36222; -157.95333密苏里号战列舰(英语:USS Missouri BB-63)是一艘隶属于美国海军的战列舰,为衣阿华级战列
  • 1991年冬季世界大学生运动会第十五届冬季世界大学生运动会于1991年3月2日至3月10日在日本的札幌举行,这也是冬季大学生运动会首次在亚洲举行。吉祥物为沙比(Sappy,是一种鹿)值得注意的是,一种以检测DNA的方
  • 双唇闪音双唇闪音是一种不常见的非R音(英语:Rhotic consonant)的闪音,国际音标(IPA)写作⟨ⱱ̟⟩或⟨b̆⟩。在一般情况下,它几乎总是作为唇齿闪音的同位异音出现,但在班达语(英语:Banda langu
  • 吴苏苏,文献纪载多称为吴苏(缅甸语:ဦးစော 或 ဂဠုန်ဦးစော发音:,英文译成U Saw或Galon U Saw,; 1900年-1948年5月8日),缅甸政治人物,曾密谋暗杀抵抗运动领袖翁山。与其他缅甸
  • 华顶宫博厚亲王华顶宫博厚亲王(日语:かちょうのみや ひろあつしんのう/華頂宮博厚親王;1875年1月18日-1883年2月15日),是日本皇族。华顶宫博厚亲王是(日语:華頂宮博経親王/華頂宮博經親王)的第一子
  • 关明玉关明玉( Melinda Gant,1970年-) 中美混血儿,来自新加坡。在80年代到90年代演出了不少电影。妹妹关珍妮亦是演员。1988年:《点指贼贼》 1988年:《女子监狱》 1989年:《求爱夜惊魂》
  • ALWAYS《ALWAYS》,日本女歌手中岛美嘉的第31张单曲。2010年1月20日发行。前月29日-5日(合算周) 初恋(福山雅治) | 12日 Butterfly(木村KAELA) | 19日、26日 ALWAYS(中岛美嘉)2日 Butterfly(木
  • 释延能释延能(1978年12月27日-),本名张淑武,生于山东章丘。十余岁投少林寺出家为僧,法号释行宇,成为少林寺第32代弟子。后进入演艺界并还俗,成为武打演员,2011年更名释延能,2014年在广东深圳
  • 朱安世朱安世,俗称梅花大盗(因其在作案后留下梅花)。西汉京师阳陵(今陕西省西安市高陵区西南)人,知名游侠。他参与了汉武帝初期绑架卫青一案,与巫蛊之祸的始作俑者江充充隶属于文帝皇后窦