直接推理
直接推理
immediate inference
传统逻辑里某些只有一个前提的演绎推理。直接推理主要包括3类：①根据直言命题的对应关系的推理，有16种形式。②换质和换位。传统逻辑称这类推理为eduction，意为引申、推断，也译为直接推理。对直言命题交替使用换质换位可以得到各种结论，见下表。在日常思维中容易发生的错误是从SAP推出PAS。现代逻辑认为，换质和SEP、SIP的换位是有效的，但如果考虑到空类，换位从全称前提得出特称结论就是无效的。③其他直接推理。主要有附性法和复杂概念推理两种。附性法的形式为：所有S是P，所以，所有AS是AP。AS中的A与AP中的A表示同一性质，否则就产生歧义而推理无效。复杂概念推理的形式为：凡S是P，所以，凡与S有关系R者是与P有关系R者。结论中两处关系R表示同一种关系，否则就会产生歧义而推理无效。