标签：#形式逻辑

非經典邏輯

非经典邏輯（），也称为替代逻辑（），概括了在经典邏輯體系之外的各種形式系統，這些系統在命題及謂詞等方面，與经典邏輯不同。 哲学逻辑被理解为包含并专注于非经典逻辑，尽管该术语还有其他含义。 此外，可以将理论计算机科学的某些部分视为使用非经典推理，尽管这因学科领域而异。隨著現代哲學邏輯與理論計算機科學的發展，推動了非经典邏輯發展。 简介 经典逻辑基于公理化的四个基本原理：同一律、排中律、无矛盾律（也被称为矛盾律）和充足理由律。经典逻辑也被特…