请输入您要查询的百科知识:

 

词条 直接推理
释义 直接推理

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条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。

 

Copyright © 2004-2023 Cnenc.net All Rights Reserved
更新时间:2024/9/21 17:53:19