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

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

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

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

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

大辞林 第三版の解説

かんけいのろんり【関係の論理】

ブール・ド=モルガン・パースらが展開した記号論理学の一分野。二つ以上の対象間に成り立つ規定を関係として形式化し、その論理構造や法則性を取り扱う。今日の述語論理学へと発展した。

出典 三省堂大辞林 第三版について 情報

関連語をあわせて調べる

今日のキーワード

ブラックフライデー

米国などで、感謝祭(11月第4木曜日)の翌日の金曜日のこと。休日とする職場が多く、商店にとってはクリスマス商戦の初日に当たる。「ブラック」は、買い物客による混雑、または黒字を連想させることから。→サイ...

続きを読む

コトバンク for iPhone

コトバンク for Android

関係の論理の関連情報