关系推理

关系推理(relational inference)亦称关系判断的推理，是与关系有关的一种推理，指以关系判断为前提和结论的推理。例如，a=b，所以，b=a，关系推理可分为纯关系推理和混合关系推理两类，在纯关系推理中又可分为直接关系推理和间接关系推理，关系推理在日常思维和科学研究中有很重要的作用，在数学中就经常要使用这种推理。关系推理是用关系判断作为前提和结论的演绎推理。例如：“孔子早于孟子，孟子早于荀子，所以，孔子早于荀子。”“我们反对一切不正之风，以权谋私是不正之风，所以，我们反对任何以权谋私。”在逻辑史上很早就有人提出过关系推理(例如亚里士多德)，但在传统逻辑中，关系推理长期被忽视。传统逻辑往往把关系命题还原为直言命题，从而把关系推理还原为前提与结论都是直言命题的推理。这种处理方法是很不自然的。直到19世纪末，关系推理才为人们所重视，并得到迅速发展。关系推理的形式很多，有些也很复杂，在符号逻辑中得到了较充分的研究。在普通逻辑中，常见的关系推理有纯关系推理(前提与结论都是关系命题的推理，如第一个例子)与混合关系推理(前提中既有直言命题又有关系命题的推理，如第二个例子)。