对演绎推理两个定义的质疑

关于演绎推理的定义,在我圈现今的形式逻辑(指传统逻辑,下同)论著中,有两个定义广为流行。其一,“演绎推理就是前提与结论之间有蕴涵关系的推理”,其二,“演绎推理就是前提与结论之间有必然联系的推理”。本文拟对这两个定义发表不同意见,并最后论证笔者的观点:演绎推理就是前提与结论具有充分条件或充分必要条件必然联系的推理。