ゲーデル‐の‐ふかんぜんせいていり【ゲーデルの不完全性定理】
1931年、オーストリア出身の数学者・論理学者ゲーデルが証明した数学基礎論における重要な定理。自然数論を含む公理系が無矛盾性をもつならば、真偽を決定できない命題が必ず存在するという第一不完全性定...
こうさ‐がいねん【交差概念／交叉概念】
論理学で、外延の一部が相互に重なり合っている二つ以上の概念。例えば、「学者と教育家」「家畜とペット」など。交錯概念。
こうぞうか‐プログラミング【構造化プログラミング】
論理構造が明確で、わかりやすいプログラムを作成するための手法。1960年代後半、オランダの計算機科学者エドガー＝ダイクストラが提唱。プログラム全体を機能ごとに分割し、処理の手順を順次・選択・反復...
こうたいてき‐ろんしょう【後退的論証】
論理学で、結論からその前提となる理由をさかのぼり、一般的な真理へ到達することによって、その結論が真であることを論証する方法。背進的論証。逆進的論証。分析的論証。→前進的論証
こう‐てい【肯定】
［名］(スル) １ そのとおりであると認めること。また、積極的に意義を認めること。「現世を—する」⇔否定。 ２ 論理学で、ある命題の主語と述語の関係が成立すること。また、その関係を承認すること。...
こうていてき‐がいねん【肯定的概念】
論理学で、ある性質が存在していることを示す概念。例えば、知識・幸福など。肯定概念。積極的概念。⇔否定的概念。
こうてい‐はんだん【肯定判断】
論理学で、主語と述語の関係をそのまま肯定する判断。「sはpである」という形式をとる。⇔否定判断。
こしょうのき‐かいせき【故障の木解析】
事故や故障を系統的・論理的に分析する手法の一。もっとも望ましくない最上位の事象を定義し、この事象の要因となる中間事象を系統的に重複なく列挙する。次に、中間事象を、さらにこれ以上展開できない基本事...
こてん‐コンピューター【古典コンピューター】
古典物理学に依拠する論理回路で演算を行うコンピューターの総称。情報の最小単位ビットを0か1だけで表す。スーパーコンピューターを含む従来型のコンピューターをさし、量子コンピューターに対していう。古...
コノテーション【connotation】
１ 言外の意味。含意。含蓄。 ２ 論理学で、内包。⇔ディノテーション。
