矛盾許容論理（むじゅんきょようろんり、Paraconsistent Logic）とは、矛盾を特別な方法で扱う論理体系。また、矛盾に対して耐性のある論理を研究・構築する論理学の一分野を指す。矛盾許容型論理とも。 矛盾許容論理は1910年ごろにはすでに存在していた（原始的な形ではアリストテレスまで遡る）。しかし、矛盾許容（Paraconsistent）という用語が使われるようになったのは 1976年であり、ペルー人哲学者 Francisco Miró Quesada が最初である[1]。

悪魔の証明（あくまのしょうめい、ラテン語：probatio diabolica、英語：devil's proof）とは、証明することが不可能か非常に困難な事象を悪魔に例えたものをいう。中世ヨーロッパのローマ法の下での法学者らが、土地や物品等の所有権が誰に帰属するのか過去に遡って証明することの困難さを、比喩的に表現した言葉が由来である[1][2]。 ローマ法以来、いわゆる probatio diabolica すなわち悪魔の証明とは、「所有権の証明責任を負う当事者が、無限に連鎖する継承取得のいきさつを証明することの不能性および困難性によって必ずや敗訴する」という理屈を意味していた[2]。 ローマ法での所有物返還訴権（rei vindicatio）は、以下の1から3へと次第に発展した[2]。 legisactio sacramenti（神聖賭金訴訟） 古典期のper sponsionem（=誓

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "パレート効率性" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2009年10月) パレート効率性（パレートこうりつせい、英: Pareto efficiency）は、経済学（ミクロ経済学）の中でも資源配分に関する概念のひとつ。パレート最適（英: Paretian optimum）ともいう[1]。イタリアの経済学者であり社会学者のヴィルフレド・パレート（Vilfredo Federico Damaso Pareto、1848 - 1923）がこれを提唱した。 ある集団が、1つの社会状態（資源配分）を選択するとき、集団内の誰かの効用（満

世界恐慌後の世界では、各国が通貨切下げや関税障壁構築により自国経済からの需要漏出を防ごうとした（通貨安競争）が、主要国がこぞってこのような政策を採用した結果、ブロック経済が出現し、思うような改善を図れなかった。そのうえ、自由貿易の利益も喪失されて各国経済は著しく非効率な状態へ陥り、フランスやアメリカでは厳しい不景気が長引いた。それまでどおりの均衡財政を維持しようとしたアメリカ政府は、自らの歳出削減による経済縮小と歳入減少に苦しんだ。 ただし、このような通貨安競争が景気の後退要因になったとの説には、否定的な意見もある[4][5]。 世界恐慌の時期には全ての国において拡張的金融政策がとられた結果、外需拡大の効果は相殺されあうこととなったが、国際学派のバリー・アイケングリーンとジェフリー・サックスによると、世界的な拡張的金融政策は世界的なマネーサプライの増加をもたらし、その結果、各国で内需の拡大

まず Pa の利得に注目すると、Pb がどちらの戦略を選ぼうが、Pa は A1 戦略を選んだ方がより大きな利得を得ることができる。このような関係が成り立つとき、A1 は強支配戦略であると表現する。支配するとは、ある戦略を選ぶことが他方の戦略を選ぶより有利であるという意味である。 次に Pb の利得に注目すると、Pa がどちらに戦略を選んでも、B2 戦略を選んだ方が B1 戦略のとき以上の利得を得られる。Pa が A2 戦略を選んだ場合には B1 と B2 は同等になるので、このような関係のとき B2 は弱支配戦略であるという。 結果として、Pa にとっての最適戦略は A1、Pb にとっての最適戦略は B2 となり、両者ともここから戦略を変更しても利得は減る。この組み合わせ (A1, B2) が支配戦略均衡となる。 Pa、Pb が (A1, B2) という戦略をとった場合、Paは戦略を変更し