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

ブリタニカ国際大百科事典 小項目事典 「関係の論理」の意味・わかりやすい解説

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

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

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

今日のキーワード

イチロー

[1973~ ]プロ野球選手。愛知の生まれ。本名、鈴木一朗。平成3年(1991)オリックスに入団。平成6年(1994)、当時のプロ野球新記録となる1シーズン210安打を放ち首位打者となる。平成13年(...

イチローの用語解説を読む

コトバンク for iPhone

コトバンク for Android