関係の論理（読み）かんけいのろんり（その他表記）logic of relations

ブリタニカ国際大百科事典 小項目事典

関係の論理
かんけいのろんり
logic of relations

関係文の推理 (「銀は鉄より重い」 → 「銀は木より重い」) は，中名辞 (「鉄より重い」「鉄」) の不一致のため議論できない。このため，項とその間に成立する関係を形式化して表示し (「 x は y より大きい」 →xRy ) ，その対称性，推移性，連結性，対応性に注目して推理の論理構造を吟味することが特に論理学で問題となった一時期があった。現在では，特に関係論理学といわれるものはなく，述語論理の関係に関する諸公理を加えた公理系を考察する。

出典　ブリタニカ国際大百科事典 小項目事典