math and applied math : Literary Writing : propaganda Consensus study > immediacy consecution



Contents ·No. 1 ·No. 2 ·百科辞典 ·More results... No. 1 　　"Indirect Inference," symmetry. Premise that only a judge's reasoning. Mainly: (1) determine the nature of the premise is a direct inference, including for quality law, conversion method, for quality digital method. (2) provided that a judge's direct inference relations. Such as: "a ratio of b large, so, b than a little." (3) provided that a false statement to judge the direct inference. If by "if the two triangles congruent, then their corresponding angle equal to" push "the corresponding angle of only two triangles are equal, only the two triangles congruent." Translated by Google No. 2 　　直接推理 　　immediate inference 　　传统逻辑里某些只有一个前提的演绎推理。直接推理主要包括3类：①根据直言命题的对应关系的推理，有16种形式。②换质和换位。传统逻辑称这类推理为eduction，意为引申、推断，也译为直接推理。对直言命题交替使用换质换位可以得到各种结论，见下表。在日常思维中容易发生的错误是从sap推出pas。现代逻辑认为，换质和sep、sip的换位是有效的，但如果考虑到空类，换位从全称前提得出特称结论就是无效的。③其他直接推理。主要有附性法和复杂概念推理两种。附性法的形式为：所有s是p，所以，所有as是ap。as中的a与ap中的a表示同一性质，否则就产生歧义而推理无效。复杂概念推理的形式为：凡s是p，所以，凡与s有关系r者是与p有关系r者。结论中两处关系r表示同一种关系，否则就会产生歧义而推理无效。 百科辞典 　　　　zhijie tuili 　　　　直接推理 　　　　immediate inference 　　　　传统逻辑里某些只有一个前提的演绎推理。古希腊的亚里士多德在《工具论》中讨论过对当关系及换位等直接推理。 　　　　直接推理主要包括3类:①根据直言命题的对当关系的推理，有16种形式。其中属反对关系方面的,如：SAP，所以，并非SEP。属矛盾关系的，如：SAP，所以，并非SOP；并非SAP，所以，SOP。属差等关系的,如：SAP,所以，SIP；并非SIP,所以,并非SAP。属下反对关系的,如：并非SIP，所以，SOP。日常思维中容易发生的错误，是从并非SAP推出SEP；从并非SEP推出SAP。考虑到 S可以是空类，现代逻辑认为上述各形式中,只有8种根据矛盾关系的推理是有效的,而其他推理都无效。例如,从“并非有飞马是有翼的”推不出“有飞马不是有翼的”。 　　　　② 换质和换位。传统逻辑称这类推理为eduction,意为引申、推断，也译为直接推理。换质分别以 SAP、SEP、SIP、SOP为前提,其结论的质与前提不同，结论的谓项为P'，结论的量与前提相同；换位分别以SAP、SEP、SIP为前提，结论的质与前提相同，结论的主项为P，谓项为S，在前提中不周延的项在结论中也不周延。但SOP不能换位。换质和换位可以交替进行，得到结论的主项为P'的推理叫换质位，而得到结论的主项为S'的推理叫戾换。例如,SAP换质得SEP'；再换位得P'ES；再换质得P'AS' ，等等。对直言命题交替使用换质换位可以得到各种结论，有如下表：在日常思维中容易发生的错误是从 SAP推出 PAS。欧拉图解可用以说明换位的有效性，其步骤是：先给出前提为真的图解，然后说明在所有情况下结论都真。例如，SAP可换位为PIS,因为SAP为真的图解是：在情况i、ii下，PIS都真。但又由于在情况i、ii下PAS并非都真，因而从SAP不能有效地推出PAS。由于欧拉图解不涉及全类和空类，因之不能用以说明换质。而文恩图解（见逻辑代数）则可以说明传统逻辑的换质和换位。现代逻辑认为，换质和SEP、SIP的换位是有效的，但如果考虑到空类，换位从全称前提得出特称结论就是无效的。 　　　　③ 其他直接推理。主要有附性法和复杂概念推理两种。附性法的形式为：所有S是P，所以，所有AS是AP。AS中的A与AP中的A表示同一性质，否则就产生歧义而推理无效。例如，凡象是动物,所以,凡小象是小动物。若小象的小和小动物的“小”含义有所不同，推理就无效。复杂概念推理的形式为：凡S是P,所以,凡与S有关系R者是与P有关系R者。结论中两处关系R表示同一种关系,否则就会产生歧义而推理无效。例如，哲学系的学生是大学生，所以，身长高于哲学系学生的都身长高于大学生。 　　　　 　（诸葛殷同）