可废止推理

可废止推理是对推理形式的研究，它尽管令人信服，却不如演绎推理那么形式化和严格。它已经在哲学中，和最近在人工智能中讨论过了。其他演绎推理的替代者包括归纳推理和逆推推理。它们在传统上不被术语“可废止推理”所覆盖。尽管亚里士多德把对逻辑和哲学有效的推理形式同在日常生活中使用的更常见的推理(区分了开来，后来的哲学家主要关心演绎推理。