ゲーデル‐の‐ふかんぜんせいていり【ゲーデルの不完全性定理】
1931年、オーストリア出身の数学者・論理学者ゲーデルが証明した数学基礎論における重要な定理。自然数論を含む公理系が無矛盾性をもつならば、真偽を決定できない命題が必ず存在するという第一不完全性定...
こう‐がい【慷慨／忼慨】
［名・形動］(スル) １ 世間の悪しき風潮や社会の不正などを、怒り嘆くこと。「社会の矛盾を—する」「悲憤—」 ２ 意気が盛んなこと。また、そのさま。「岸本の心は—な口調を帯びた僧侶の説教の方へ行...
こうきょう‐の‐ふくし【公共の福祉】
社会全体に共通する幸福・利益。基本的人権と矛盾することがあり、その調和が問題とされる。
こうり‐けい【公理系】
一つの理論体系の出発点となっている公理の集まり。それぞれの公理は互いに独立し、かつ矛盾のないことが必要。公理群。
こじ‐せいご【故事成語】
故事をもとにしてできた言葉。特に、中国の故事からできた語。「五十歩百歩」「矛盾」の類。
こと‐よさ・す【言寄さす／事寄さす】
［動サ四］《「ことよす」の尊敬語》ご命令になる。お任せになる。「天の沼矛(ぬぼこ)をたまひて—・し給ひき」〈記・上〉
コンドルセ‐の‐パラドックス【Condorcet's paradox】
多数決により三つ以上の選択肢から一つを選ぶ場合に生じる矛盾。たとえば候補者A、B、Cの中から三人の投票者により多数決で選出する場合、投票者の選好順序がそれぞれ、A＞B＞C、B＞C＞A、C＞A＞B...
コンピュテーショナル‐デザイン【computational design】
高度の数学的手法とコンピューターシミュレーションを取り入れた設計手法。デザインの自由度を高めると同時に、構造的・機能的に問題や矛盾のない設計が可能となる。飛行機、自動車、建築物の設計で導入が進ん...
さか‐ほこ【逆鉾／逆矛】
１ 《「天(あま)の逆鉾」の略》「天(あま)の瓊矛(ぬほこ)」に同じ。 ２ 《1になぞらえて》宮崎県の霧島山頂に逆さに立ててある約3メートルほどのほこ。
しこう‐の‐げんり【思考の原理】
《(ドイツ)Denkgesetze》論理学で、正しい思考をするために従わなければならない基本法則。通常は同一原理・矛盾原理・排中原理・充足理由の原理の四つをさす。思考の法則。
