コトバンクはYahoo!辞書と技術提携しています。

クラス論理学 クラスろんりがくlogic of classes

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

クラス論理学
クラスろんりがく
logic of classes

命題論理学を前提とし,同一の論理的結合子を用いる。しかし命題論理学が命題を一つの単位となすため,その内部構造を問題にしえないのに対し,命題の構造すなわち主語,述語の関係を名辞外延 (→クラス ) の関係で表現し,論じることができる。この意味ではおのおの独立に展開されうるし,また実際そうであったものではあるが,述語論理学と密接な関係があり,理論的には名辞の外延を定める規準が性質すなわち述語であることから述語論理学によって基礎づけられ,他方実際の推理において,クラス論理学は,クラス関係の直観的把握や機械的操作の可能なところにその利点をもつ。

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

クラス論理学の関連キーワード伝統的論理学名辞論理学結合子