無矛盾性

無矛盾性とは、ある形式体系の中で、一つの命題とその否定がともに証明されることは決してない、という性質を指す。一見地味な要請に見えるが、これは体系が意味を持つための最低ラインである。矛盾を一つでも抱え込めば、論理の力によってあらゆる命題が証明可能になってしまうからだ。20世紀初頭、数学の土台を絶対に安全なものとして基礎づけようとした試みは、まさにこの無矛盾性の証明をめぐって、最大の壁に突き当たることになる。

爆発律――矛盾はなぜ破滅的か

論理学ではこれを爆発律(ex falso quodlibet、「偽からは何でも導かれる」)と呼ぶ。命題Pとその否定¬Pが同時に証明できる体系では、選言三段論法などの基本的な推論規則を組み合わせるだけで、任意の命題Qを証明できてしまう。証明可能性が真偽の区別を失った体系は、もはや何も主張していないのと同じである。だからこそ無矛盾性は、完全性や決定可能性など体系に求められるどんな性質にも先立つ、最低限にして最重要の条件とされる。

ヒルベルト・プログラムの野心

20世紀初頭、集合論のパラドックスが相次いで発見され、数学の基礎は大きく揺らいでいた。数学者ダフィット・ヒルベルトは、数学全体を厳密な体系として書き下し、その無矛盾性を「有限の立場」――記号の有限個の操作だけを認める、誰も疑いえない安全な方法――によって証明するという計画を掲げた。これがヒルベルトのプログラムである。無限集合や超限的な推論を自由に使う「カントールの楽園」を手放さずに済むよう、その安全性を体系の外側に立つメタ数学の立場から保証しようとしたのだ。証明さえ得られれば、数学は二度と自己矛盾に脅かされることのない、絶対に信頼できる基盤の上に立つはずだった。

ゲーデルが突きつけたもの

1931年、クルト・ゲーデルはこの計画の急所を撃ち抜いた。彼が証明した不完全性定理のうち第二の定理は、算術を展開できる程度に強力な無矛盾な体系は、自分自身の無矛盾性をその体系の内部では証明できない、という事実である。鍵となるのは自己言及だ――「この体系は矛盾しない」という主張そのものを、体系内部の算術命題として符号化してしまう。もしある体系が自らの無矛盾性を証明できてしまうなら、その体系は矛盾している場合に限られる。有限の立場による証明は算術で形式化できる範囲に収まると考えられていたため、もし数学の無矛盾性を有限の方法で証明できるなら、その証明は体系自身の中で再現できるはずだった。ゲーデルの結果は、まさにその再現が不可能であることを示していた。数学の外に立って数学の安全性を保証するという発想そのものが、成り立たない望みだったのである。もっとも、これはあらゆる無矛盾性証明を封じたわけではない。ゲルハルト・ゲンツェンは1936年、超限帰納法という有限の立場を超えた手法で算術の無矛盾性証明に成功しており、以後は「絶対に外へ出られない」ではなく「同じ強さの資源では自分を保証できない」という、より繊細な限界として理解されている。

確実性を差し出した後で

ゲーデルの第二不完全性定理が突きつけたのは、単なる数学の一結果ではない。「自分の土台が安全かどうかを、自分自身によっては保証できない」という構造は、論理体系にとどまらず、あらゆる自己言及的なシステムに影を落とす普遍的な限界として読まれてきた。書籍『ゲーデルの哲学』は、この定理がヒルベルトの見た「絶対確実な数学」という夢をどう終わらせたかを軸に、確実性とは何かという哲学的な問いへ読者を導く。無矛盾性という一見形式的な性質が、実は「私たちは何を根拠に何かを信じてよいのか」という、数学の外にまで及ぶ問いに直結している――それがこの概念が今なお読み継がれる理由である。