间接关系推理
逻辑学术语
间接关系推理通常指以两个关系命题为前提而推出另一个关系命题的结论的推理。有以下两种:(1)传递性关系推理。即根据传递性关系而进行推演的关系推理。如“孔子早于孟子,孟子早于荀子,所以孔子早于荀子。”其逻辑形式为:“aRb,bRc,所以aRc”。(2)反传递关系推理,即根据反传递关系而进行推演的关系推理。如“陆九渊比杨简大两岁,杨简比陈亮大两岁,所以,陆九渊不比陈亮大两岁”。其逻辑形式为:“aRb, bRc,所以,a—Rc”。此外,混合关系推理也是一种间接关系推理。
定义介绍
间接关系推理(indirect relational inference)纯关系推理的一种.指由两个关系判断为前提推出另一个关系判断的推理.常见的间接关系推理有三种:反对称性推理(关系R是自返的)、传递性关系推理与反传递性关系推理.它们分别可用如下公式表示:
其中,Ro,R,与R2分别为反对称性关系、传递性关系与反传递性关系.
参考资料
最新修订时间:2023-09-01 22:01
目录
概述
参考资料