直接推理

immediateinference

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