非经典逻辑
非经典逻辑挑战经典逻辑的一个或多个假设——二值性、排中律、爆炸原理——以更好地模拟模糊性、构造性证明、相关性和不一致性。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
非经典逻辑是一种逻辑推论系统，它拒绝或修改了经典逻辑的至少一个原则——例如二值性、排中律、不矛盾律或从假可推任意（ex falso quodlibet）——通常是出于哲学原因。
Scope
本领域概述了偏离经典逻辑的主要系统及其哲学动因。它涵盖了基于建构主义理由拒绝排中律的直觉主义逻辑，为处理模糊性而放弃二值性的多值逻辑和模糊逻辑，限制或拒绝从矛盾到任何事物的推理的相关逻辑和次协调逻辑，以及修正非指称项和存在性的经典处理的自由逻辑。
Sub-topics
Core questions
- 应该放弃哪个经典原则，基于什么理由？
- 逻辑的选择是否取决于形而上学、意义或数学实践？
- 拒绝经典定律是关于逻辑的真正分歧，还是仅仅改变了主题？
- 这些系统如何处理模糊性、构造性证明和不一致性？
Key concepts
- 二值性
- 排中律
- 从假可推任意（爆炸原理）
- 构造性证明
- 真值度
- 真值空缺与真值过剩
Key theories
- 修正的意义理论论证
- 达米特认为，一个以验证而非真值条件为基础的意义理论，倾向于直觉主义逻辑而非经典逻辑，使得逻辑的选择取决于语言哲学。
- 逻辑修正主义与保守主义
- 哈克将关于模糊性、语义悖论和量子现象等异常现象是否证明修正经典逻辑的争论，区分为真正的竞争性逻辑和仅仅是补充的逻辑。
History
非经典逻辑兴起于20世纪早期：布劳威尔的直觉主义和卢卡西维茨的多值系统出现在20世纪20年代，相关逻辑始于20世纪50年代（安德森和贝尔纳普），次协调逻辑则出现得更晚。达米特将这个问题重新定义为意义理论中的一个问题，而普里斯特和哈克则将该领域及其动因系统化。
Debates
- 逻辑是否可修正？
- 经典逻辑的定律是否不受修正，或者如奎因的信念之网图景和达米特的意义理论论证所暗示的，可以根据哲学或经验压力合理地放弃。
Key figures
- L. E. J. Brouwer
- Arend Heyting
- Michael Dummett
- Graham Priest
- Susan Haack
- Jan Lukasiewicz
Related topics
Seminal works
- priest2008
- haack1978
- dummett1991
Frequently asked questions
- 采用非经典逻辑是否意味着经典逻辑是错误的？
- 不一定。一些哲学家是逻辑多元论者，他们认为经典逻辑和非经典逻辑各自适用于不同的目的或领域，而修正主义者则认为只有一个系统是真正正确的。通常，非经典逻辑是作为针对特定现象（如模糊性或不一致性）的正确逻辑而提出的，而不是作为全面的替代品。