クラス論理学(読み)クラスろんりがく(英語表記)logic of classes

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

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

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

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

関連語をあわせて調べる

今日のキーワード

肉肉しい

肉料理に対する形容の一つ。しっかりした食感や肉汁が溢れるなど、強く「肉っぽさ」を感じさせる料理を表すのに用いられる。2010年代後半に、塊肉や熟成肉、肉バルなど様々な肉料理の流行に伴い、テレビや雑誌な...

続きを読む

コトバンク for iPhone

コトバンク for Android