かんせつ‐すいり【間接推理】
論理学で、二つ以上の判断を前提として結論を導く推理。三段論法がその典型。→直接推理
がい‐えん【外延】
論理学で、概念が適用される事物の集合。例えば、惑星という概念の外延は水星・金星・地球・火星・木星・土星など。⇔内包。
がい‐かつ【概括】
［名］(スル) １ 内容のあらましをまとめること。「意見を—する」 ２ 論理学で、さまざまな事物に共通する性質を抽象し、その性質を一つの概念にまとめること。一般化。
がいぜん‐はんだん【蓋然判断】
論理学で、判断の様相の一。主語と述語の関係が、可能性によってのみ示される判断。「sはpであろう」という形式をとる。→実然判断 →必然判断
がい‐ねん【概念】
１ 物事の概括的な意味内容。「—をつかむ」「文学という—から外れる」 ２ 《concept》形式論理学で、事物の本質をとらえる思考の形式。個々に共通な特徴が抽象によって抽出され、それ以外の性質は...
がいねん‐ほうがく【概念法学】
制定法の無欠陥性と論理的完結性とを仮定し、法令の条文を忠実に検討し、法概念の体系を形式論理によって構成することを法学の任務とする立場。19世紀後半から20世紀初頭にかけて欧州で主流であった法学傾...
がん‐い【含意】
［名］(スル) １ 表面に現れない意味を含みもつこと。また、その意味。「—を読みとる」 ２ 論理学で、任意の命題p・qについて、pが真であれば常にqも真であるとき、pはqを含意するという。
きごう‐ろん【記号論】
１ 《semiotics／semiology》一般に記号といわれるものの本質・在り方・機能を探究する学問。米国のパースとスイスのソシュールに始まるとされ、論理学・言語学・人類学・芸術などに関連す...
きごう‐ろんりがく【記号論理学】
命題・概念・推論などを、その要素と関係に還元して記号で表記し、論理的展開を数学的演算の形で明らかにする論理学の一分野。哲学・数学などに応用される。数学的論理学。数理論理学。→論理学
きのう‐ろんりがく【帰納論理学】
帰納法を取り扱う論理学。与えられた仮説がどの程度確証されているかを明らかにするもの。カルナップによって発展。
