@niftyトップ

辞書、事典、用語解説などを検索できる無料サービスです。

クラス論理学【クラスろんりがく】

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

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

出典:ブリタニカ国際大百科事典 小項目事典
Copyright (c) 2014 Britannica Japan Co., Ltd. All rights reserved.
それぞれの記述は執筆時点でのもので、常に最新の内容であることを保証するものではありません。

クラス論理学」の用語解説はコトバンクが提供しています。

クラス論理学の関連情報

他サービスで検索

(C)The Asahi Shimbun Company /VOYAGE MARKETING, Inc. All rights reserved.
No reproduction or republication without written permission.

アット・ニフティトップページへ アット・ニフティ会員に登録

ウェブサイトの利用について | 個人情報保護ポリシー
©NIFTY Corporation