出处:哲学卷 • 逻 辑 学 • 总 论
词条 | 非经典逻辑 |
释义 | 非经典逻辑 非经典逻辑 亦称“非标准逻辑”“非古典逻辑”。泛指一切不属于古典形式逻辑(传统的亚里士多德逻辑)和由弗雷格、罗素所完成的经典数理逻辑(以二值逻辑为基础的经典命题演算和谓词演算系统)的现代逻辑学分支系统。与“经典逻辑”相对。主要包括诸如模态逻辑、时态逻辑、规范逻辑、认知逻辑、问句逻辑等经典逻辑的“扩充”系统,也包括诸如直觉主义逻辑、多值逻辑、相干逻辑,模糊逻辑等“异常”系统。前者的特征是以经典逻辑为基础,增加属于某一特殊领域的非逻辑常项、公理及推理规则,从而得到一些不同的包含经典逻辑的全部定理在内的扩大系统。后者的特征是在经典逻辑的基础上,去掉或修改或增加一些必要的公理和推理规则,增加逻辑常项或给予它们以不同的解释,从而得到与经典逻辑在一系列基本点上不同的异常系统。 出处:哲学卷 • 逻 辑 学 • 总 论 非经典逻辑 即“非标准逻辑”。 出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
随便看 |
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。