カリーのパラドックスのソースを表示

'''カリーのパラドックス'''（{{lang-en-short|Curry's paradox}}）は、[[素朴集合論]]や素朴[[論理学]]で見られる[[パラドックス]]であり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生されることを示す。名称の由来は論理学者の[[ハスケル・カリー]]から。

ドイツの数学者マルティン・フーゴー・レープ（[[:en:Martin Hugo Löb|Martin Hugo Löb]]）の名をとって '''レープのパラドックス'''とも呼ばれている<ref>Barwise, Jon and John Etchemendy, 1987, '''''The Liar'''''. Oxford University Press, p.23.</ref>。

== 自然言語の場合 ==
カリーのパラドックスの[[自然言語]]版は次のような文である。

:''この文が真なら、サンタクロースは実在する。''

この文が真であると仮定する。すると、その内容からサンタクロースが実在するということが結論として得られる。これは ''conditional derivation''（条件付き演繹）と呼ばれる[[自然演繹]]技法を使った推論である。

つまり、この文が真であるなら、サンタクロースは実在する — これはその文そのものと全く同じである。従ってこの文は真であり、サンタクロースは実在しなければならない。

この文形を使えばどんな主張も「証明」される。これがパラドックスである。

== 数理論理学の場合 ==
証明しようとしている命題を Y とし、ここでは「サンタクロースは実在する」という命題を表すとする。次に X が真であれば Y が成り立つという文を X で表す。数学的にはこれを X = (X → Y) と記し、X が自分自身を使って定義されていることがわかる。証明は以下のようになる。

1. X → X
:''[[恒真式]]''
2. X → (X → Y)
:X = X → Y であることから、''1 の右辺を置換''
3. X → Y
:2 に''[[縮約規則]]''を適用
4. X
:X = X → Y であることから ''3 を置換''
5. Y
:4 と 3 に''[[モーダスポネンス]]''を適用

派生として、Y が Z∧¬Z のような矛盾した形式の場合もある。この場合、X が X = (X → (Z∧¬Z)) となる。これに推論規則を適用していくと最終的に X = ¬X となり、[[嘘つきのパラドックス]]と等価である。

== 素朴集合論の場合 ==
数理論理学的には[[自己言及]]文を含まなくとも、素朴集合論では次の集合 X から任意の論理式 Y を証明できる。

<math>X \ \stackrel{\mathrm{def}}{=}\  \left\{ x | ( x \in x ) \to Y \right\}.</math>

証明は以下の通り。

<math>
\begin{matrix}

\mbox{1.} & ( X \in X ) \iff ( ( X \in X ) \to Y ) & \mbox{definition of X} \\
\mbox{2.} & ( X \in X ) \to  ( ( X \in X ) \to Y ) & \mbox{from 1} \\
\mbox{3.} & ( X \in X ) \to Y                  & \mbox{from 2, contraction} \\
\mbox{4.} & ( ( X \in X ) \to Y) \to ( X \in X )   & \mbox{from 1} \\
\mbox{5.} & X \in X                        & \mbox{from 3 and 4, modus ponens} \\
\mbox{6.} & Y                              & \mbox{from 3 and 5, modus ponens}

\end{matrix}
</math>

この場合も Y 自身が矛盾した論理式の派生形式がある。その場合の X は <math> \left\{ x | ( x \in x ) \to ( Z \wedge \neg Z ) \right\}</math> となり、最終的に <math> \left\{ x | ( x \notin x ) \right\} </math> が得られる。これは自分自身を含まない全集合の集合を表している。これは[[ラッセルのパラドックス]]と等価である。

== 議論 ==
カリーのパラドックスは以下のような条件を満たす任意の言語で表現できる。
# 何らかの機構（疑問符、名詞、あるいは「この文」などの表現）により、その文自身に言及できるようになっている。
# [[真理]]述語を記述できる。つまり、言語名を "L" としたとき、"true-in-L" という意味の述語を記述できる。
# [[縮約規則]]が認められている。大まかに言えば、適当な仮説を必要に応じて何度でも適用できることを意味する。
# 同一性の規則（A ならば A である）が認められ、モーダスポネンス（「Aである」と「AならばBである」から「Bである」が得られる）が認められる。

これ以外にも条件の組合せは考えられる。自然言語はほとんど必ずこれらの特徴を備えている。一方、数理論理学は一般に自己言及を明確に支持しないが、[[ゲーデルの不完全性定理]]は自己言及を行う方法が常に存在することを示唆している。真理述語も一般に存在しないが、素朴集合論では無制限の包含関係が許されることから真理述語も出てくる。縮約規則は一般に認められているが、[[線形論理]]ではこのパラドックスで必要とするような推論を許さない。

嘘つきのパラドックスやラッセルのパラドックスとは異なり、カリーのパラドックスは使われている「否定」のモデルに依存しない。このため、[[矛盾許容論理]]は嘘つきのパラドックスには耐性があるが、カリーのパラドックスには弱い。

カリーのパラドックスの解法は、自明でない解法であって難解で直観的でないため、議論がある。このような文が許容されるべきか否か、許容されない場合どうやって消し去るのか、あるいは無意味なのか、それとも真理という概念そのものが間違っているのか、論理学者らは結論を出すに至っていない。

== 出典 ==
<references />

== 外部リンク ==
*[[スタンフォード哲学百科事典]]: "[http://plato.stanford.edu/entries/curry-paradox/ Curry's Paradox]" -- by J. C. Beall.
*Grossman, Jason, University of Sydney History & Philosophy of Science: [http://luddite.cst.usyd.edu.au/cgi-bin/twiki/view/Jason/PenguinsRuleTheUniverse A Proof that Penguins Rule the Universe.]

{{パラドックス}}

{{DEFAULTSORT:かりのはらとつくす}}
[[Category:自己言及のパラドックス]]
[[Category:集合論のパラドックス]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]