直言推理(Categorical reasoning)是一种基于直言命题的推理。直言命题,也称为性质判断,是断定对象具有或者不具有某种性质的简单命题。例如,“所有金属都是导体”就是一个直言命题,因为它断定了“金属”这一类对象具有“导电”这一性质。
直言推理可以分为直接推理和间接推理:
直接推理:
根据一个直言命题推出一个新的直言命题。
间接推理:
包含两个或两个以上的直言命题,并从中推出一个新的直言命题。
在间接推理中,有一种特殊的形式称为 直言三段论,它由两个前提推出一个结论。
假言直言推理是直言推理的一种,其中包含一个假言判断(如果...那么...)和两个直言判断,这些直言判断分别肯定或否定假言判断的前件或后件。
简而言之,直言推理是一种逻辑推理方法,用于从直言命题推导出新的直言命题,是分析和思考过程中不可或缺的一部分