全能の逆説（ぜんのうのぎゃくせつ、英: omnipotence paradox、全能のパラドックス）とは、論理学・哲学・神学等において、全能と論理学的不可能との関係を扱った問題[1]。この逆説は全能者の論理学的矛盾を示しており[2]、極端な例で言えば、全能者は自分自身を《永遠にいかなる意味でも存在しない》ようにすることはできない[3]。他の例で言えば、全能者は「四角い円」や「7+5=75」を成立させることができるように見えるが、それらは論理学的不可能であり、全能者は矛盾している[4]。全能者はどんなことでもなし得る、と考えることは論理学的に正しくない[3]。 もし全能が《論理学を超越した能力》である、または《神（全能者）の論理》であると言うなら、全能とは、「四角い丸」のような形をも作成できる《非論理学的能力》である[5][注 1]。この場合、全能についての主張・議論等から論理学を切り捨てる
問題： スワミ（ヒンズー教の坊さん）が，一つの封筒に $x$ 円，もう一つの封筒に $2x$ 円を入れ，一方をあなたに，もう一方を相手に渡した。どちらの封筒を渡される確率も 1/2 である。あなたが封筒を開けたら $y$ 円入っていた。相手の封筒の中身を $Y$ とする。あなたは考えた。封筒は等確率で渡されたのだから，確率 1/2 で $Y = y/2$ または $Y = 2y$ のはずだ。その期待値 $(1/2)(y/2 + 2y) = 5y/4$ は，あなたの封筒の中身 $y$ より明らかに大きい。あなたは目をキラリとさせて，相手に封筒を交換しようと持ちかけた。相手も同じ計算をして，同意した。 この問題は Ronald Christensen and Jessica Utts, Bayesian Resolution of the "Exchange Paradox", The Ame
（１）質的比較分析について 質的比較分析（qualitative comparative analysis: QCA）は、Ragin（1987）によって提唱された分析手法であり、社会現象における事例を複数の特性の組み合わせとしてとらえ、事例間の類似と差異を体系的に検討することを可能にする手法として、社会学や政治学の世界を中心に注目を集めています。 例えば「AIを使った人材の採用を行なっている企業はどういう企業なのか？」というように、ある事象の帰結がすでにわかっており、それを数量的に把握することができるような場合、通常分析に用いられるのは、回帰分析をはじめとする多変量解析になります。 この場合、例えば「AIを使った人材の採用を行なっている企業かどうか？」を０、１の２値からなる従属変数として設定し、種々の説明変数を投入したプロビット（もしくはロジスティック）回帰モデルを組んで、パラメータを推定
数理論理学入門 高崎金久（京都大学） 〜京都大学での全学共通科目講義に基づく〜 目次 読み物 参考書 講義資料 読み物 E.T. ベル「数学をつくった人々（下）」（田中勇・銀林浩訳，東京図書） 著名な数学者の生涯と仕事を紹介するベルのこの有名な本は 19世紀のイギリス・アイルランドの数学者（ハミルトン，ケイリー， シルベスター，ブール）にかなりのページを費やしている． ジョージ・ブールについても生い立ちから数学以外の教養も含めて 詳しく紹介している． 竹内外史「現代集合論入門」（日本評論社，1971） これはもともと公理的集合論の本格的な解説を目的とした本であり， その意味でも重要だが，序章の「Logician小伝」はゲーデル以降の 有名な数理論理学者の履歴や業績を紹介していて，評伝としても読める． 筆者はほとんどの人たちと直接・間接に交流があったので， かなり生々しい話も出てくる． ダグ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
