| 演绎推理 deductive inference 旧译“外籀”。有时亦称“演绎法”。传统逻辑中指称由一般性知识的前提推出特殊性或个别性知识的结论的推理。由于在这种推理中，其结论所涉及知识的范围至少不大于前提所涉及知识的范围，故其前提与结论间具有蕴涵关系，在推理形式合乎逻辑规则的条件下，由断定其前提的真必然可以推出其结论的真，即前提真而结论假是不可能的，故演绎推理亦即必然性推理。传统逻辑的三段论(直言推理)、运用直言命题变形法的直接推理和依据“逻辑方阵”中命题间关系而进行的直接推理，以及各种关系推理、模态推理、联言推理、选言推理、假言推理等等，都属于演绎推理。 |