| 衍推逻辑 entailment logic 现代逻辑分支之一。它的一个重要特性是可以消除各种“蕴涵怪论”。衍推逻辑的建立工作至少可追溯到1956年阿克曼(W. Ackermann)在《严密蕴涵基础》一文中建立的几个逻辑系统。在修改阿克曼系统的基础之上，50年代末逻辑学家安德森和贝尔纳普建立了衍推逻辑系统E和带量词的系统EQ。在衍推逻辑中，不仅相干原理成立(即A→B作为定理的必要条件是A、B有共同的命题变元)，而且可以由衍推“→”来定义模态概念“必然”，从而使得每一个定理都是必然真的命题。因此，衍推逻辑就是相干与必然的逻辑，它既顾及了蕴涵式前、后件之间内容上的联系，也顾及了前、后件之间的必然联系。 |