論理をゆさぶった逆説たち ― 嘘つきとラッセル

論理学は、いかにも堅牢で揺るがないものに思える。ところがその歴史をのぞくと、たった一文、たった一つの集合のせいで地面がぐらりと揺れた瞬間が何度もある。揺らしたのは難解な定理ではなく、子どもでも口にできるような短い文 ―― 「パラドックス（逆説）」だった。

この記事では、論理学を記号と規則の体系へと作り直す動きを決定的に後押しした、有名な逆説を二つ眺めてみたい。難しい記号は使わない。「なぜこんな短い文が大の大人たちを困らせたのか」を、肩の力を抜いて味わってもらえればよい。

「この文は偽である」

まずは古代ギリシャまでさかのぼる、いちばん有名な逆説から。次のたった一文を、じっくり読んでみてほしい。

「この文は偽である。」

この文は本当だろうか、それとも嘘だろうか。もし本当（真）だとすると、文が言っているとおり「この文は偽である」が成り立つので、文は偽でなければならない。逆に嘘（偽）だとすると、「この文は偽である」が成り立たないのだから、文は真でなければならない。真と置けば偽になり、偽と置けば真になる ―― ぐるぐる回って、どちらにも落ち着けないのである。

からくりは自己言及にある。文が、ほかの何かではなく「自分自身」について語っているのだ。ふだん私たちは「真か偽か、どちらかには決まるはずだ」と素朴に信じている。だがこの一文は、その素朴な信頼が無条件には通用しないことを、見事に突いてくる。

自分を含まない集合、ぜんぶ集めると

嘘つきの逆説は「文」の話だった。これを「集合」の世界に持ち込んで、二十世紀初頭の数学を本当に揺るがしたのが、バートランド・ラッセルである。1901年のことだ。

当時は「どんな性質を思いついても、それを満たすものを全部集めれば一つの集合になる」と素朴に考えられていた。たとえば「赤いもの全体」「偶数全体」のように。ラッセルはそこに、ひとひねりした性質を放り込んだ。

「自分自身を要素として含まない集合」を、すべて集めた集合 $R$

たいていの集合は自分自身を含まない。たとえば「すべての本」を集めた集合は、それ自体は本ではないので、自分を含まない。「偶数全体」の集合も、集合であって偶数ではないから、やはり自分を含まない。そういう“ふつうの”集合を残らず袋詰めにしたのが $R$ だ。さて問題は ―― この $R$ は、自分自身を含むだろうか？

もし $R$ が自分を含むなら、$R$ は「自分を含まない集合」の仲間のはずなのに自分を含んでおり、おかしい。逆に $R$ が自分を含まないなら、$R$ はまさに「自分を含まない集合」なのだから、$R$ に入る資格があり、含まれていないのはおかしい。どちらに転んでも矛盾する。嘘つきの逆説とそっくりの堂々巡りが、今度は数学の土台である集合論で起きてしまったのだ。

揺れた地面を、どう作り直したか

面白いのはここからだ。数学者たちは「やっかいだ」と逆説を投げ捨てたのではなく、逆説を真剣に受け止めて土台を建て直した。

反省の的になったのは、「どんな言葉も無条件に意味を持つ」「どんな性質にも対応する集合がある」という、それまで疑われなかった素朴な前提である。逆説が教えてくれたのは、何を文として認め、何を集合として認め、どの規則で推論を進めてよいのかを、あらかじめきちんと定めておかねばならない、ということだった。

こうして、「記号をどう並べてよいか（構文）」と「それが何を意味するか（意味）」を厳密に切り分け、推論を規則の体系として組み直す動きが加速する。こうした形式化の試み自体はフレーゲやペアノらによって逆説以前から始まっていたが、逆説はその必要性を誰の目にも明らかにし、流れを決定づけた。素朴な直感に任せるのをやめ、許される操作を最初に宣言してから議論を始める ―― いまの数理論理学の流儀は、こうした逆説への応答として整えられた面が大きい。集合論の側でも、「どんな性質にも集合がある」という前提を慎重な公理に置き換えることで、$R$ のような怪物を最初から作れないようにした。

逆説は敵ではなく道しるべ

逆説というと、論理の“バグ”や“落とし穴”のように聞こえる。けれど見方を変えれば、これほど親切な道しるべもない。逆説は、私たちが無意識に置いている前提を、いちばん痛いところでつついてくれるからだ。

「真か偽かは必ず決まる」「どんな性質にも集合がある」「言葉はいつでも意味を持つ」 ―― ふだん意識すらしない思い込みが、たった一文によって炙り出される。論理学が記号と規則の体系として丁寧に作られているのは、几帳面さのためではない。素朴さが招いた痛みを、二度と踏まないための工夫なのである。

結び ― 短い一文の重み

「この文は偽である」。「自分を含まない集合をすべて集める」。どちらも一行で書ける。なのに、その一行が数学の土台をゆさぶり、論理学を記号と規則の精密な体系へと作り直させた。逆説とは、論理が自分自身を見つめ直すための、いちばん小さくていちばん鋭い鏡なのである。

では、ぐらつかない土台はどう組み上げればよいのか。「記号の操作（構文）」と「それが意味すること（意味）」を分けるという、まさに逆説への応答そのものから、入門の旅は始まる。次の一歩は、その切り分けを正面から学ぶ構文と意味だ。土台を固めたら、初級で証明の規則を一つひとつ自分の手で組み立てていこう。