一个基于事实的假设推理框架逻辑学论文

一个基于事实的假设推理框架_逻辑学论文 摘要：本文从Poole的信念出发：非单调性并不是逻辑系统的 问题 ，而是假设集的问题。接下来介绍了现量、比量和因明论的概念，并把它们分别对应为事实、逻辑和假设推