次协调逻辑
次协调逻辑（）是尝试处理矛盾的逻辑。是不瑣碎的（non-trivial）逻辑，它允许矛盾。更加特殊的，它允许断言一个陈述和它的否定，而不导致谬论。在经典逻辑中，从矛盾中可以推导出任何东西；这叫做ex contradictione quodlibet（ECQ），也叫做爆炸原理。次协调逻辑就是ECQ不成立的逻辑系统。 次协调逻辑可以用来建模有矛盾的系统，但不是任何东西都能从它推导出来的。在标准逻辑中，必须小心的防止形成说谎者悖论的陈述；次协…
标签：#信念修正
共 3 篇文章
溯因推理
溯因法或溯因推理（英语：，也译作反绎推理、反向推理），是從事實推理到最佳解释的过程。换句话说，它是开始于事实的集合-{}-，并推导出其最佳解释的推理过程。有时使用术语溯因（abduction）意味生成假设来解释观察或结论，但是前者定义在哲学和计算二者中更常见。 演绎和溯因区别在于推理中使用“a 蕴涵b”这种规则的方向（与归纳的比较请参见逻辑推理）: （以下b=结果）。（a=原因） :演绎：允许推导b作为a的结论，换句话说，演绎是推导已知…
可废止推理
有疏漏性推理（Defeasible reasoning）是对推理形式的研究，它尽管令人信服，却不如演绎推理那么形式化和严格。它已经在哲学中，和最近在人工智能中讨论过了。 其他演绎推理的替代者包括归纳推理和逆推推理。它们在传统上不被术语「有疏漏性推理」所覆盖。 哲学起源 尽管亚里士多德把对逻辑和哲学有效的推理形式同在日常生活中使用的更常见的推理（参见辩证法和修辞学）区分了开来，后来的哲学家主要关心演绎推理。 直到逻辑实证主义开始失宠，哲学…