词条 | 直接推理 |
释义 | 直接推理 immediate inference 传统逻辑里某些只有一个前提的演绎推理。直接推理主要包括3类:①根据直言命题的对应关系的推理,有16种形式。②换质和换位。传统逻辑称这类推理为eduction,意为引申、推断,也译为直接推理。对直言命题交替使用换质换位可以得到各种结论,见下表。在日常思维中容易发生的错误是从SAP推出PAS。现代逻辑认为,换质和SEP、SIP的换位是有效的,但如果考虑到空类,换位从全称前提得出特称结论就是无效的。③其他直接推理。主要有附性法和复杂概念推理两种。附性法的形式为:所有S是P,所以,所有AS是AP。AS中的A与AP中的A表示同一性质,否则就产生歧义而推理无效。复杂概念推理的形式为:凡S是P,所以,凡与S有关系R者是与P有关系R者。结论中两处关系R表示同一种关系,否则就会产生歧义而推理无效。 表:直接推理 |
随便看 |
百科全书收录594082条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。