Classical Logic as Intuitionistic Logic with Duality

ビッグアイデア：ゲームとしての論理（「はい」と「いいえ」のやり取り）

想像してみてください。あなたは友人に論理学の仕組みを説明しようとしています。通常、私たちは論理とは、何が**真（True）であり、何が偽（False）**であるかを決定するためのルールの集合であると考えます。

この論文は、それとは異なる視点を提案しています。著者は「この命題は真か？」と問うのではなく、「これを主張できるか？（『はい』と言えるか）」、あるいは**「これを否定できるか？（『いいえ』と言えるか）」**と問いかけているのです。

彼らのメインスローガンはこうです：

古典論理 ＝ 直観主義論理 ＋ 双対性（Duality）

平易な言葉で言えば、彼らはこう主張しています。数学や科学で使われる複雑な「古典論理」とは、実は、より厳格な証明に基づいたシンプルな「直観主義論理」に、「『はい』と『いいえ』を最初から等しく相反する力として扱う」という特別なルールを加えたものに過ぎない、ということを。

登場人物たち

彼らの議論を理解するために、物語に登場する3つの主要なキャラクターを紹介します。

1. 内容（Content / 「何を」）： これは「コンサートは素晴らしい」といった、生のアイデアのことです。
2. 力（Force / 「どのように」）： これはアイデアの届け方です。あなたはそれを**主張（Assert）**することもできれば、**否定（Deny）**することもできます（例：「コンサートは素晴らしい！」と言うか、「コンサートは良くない！」と言うか）。
3. 公式（Formula / 「構造」）： これは、それらのアイデアから組み立てられた複雑な文章です（例：「もしコンサートが素晴らしければ、私は残る」）。

古い方法 vs 新しい方法

古い方法（伝統的な論理学）：
電灯のスイッチを想像してください。それは**ON（真）かOFF（偽）**のどちらかです。

• 「いいえ」と言いたいときは、単にスイッチをOFFに切り替えます。
• この見方では、「否定」とは単に「反対の事柄を主張すること」と同じです。
• 問題点： 著者たちは、これは単純すぎると指摘しています。これは、議論を始める前に、すでに答えが「はい」か「いいえ」のどちらかであると仮定してしまっているからです。これは、プラグをコンセントに差し込む前に、スイッチが必ず動作することを前提としているようなものです。

新しい方法（著者たちのアプローチ）：
「イエス・セイヤー（肯定する人）」と「ノー・セイヤー（否定する人）」の間の会話を想像してください。

• 彼らは電灯のスイッチから始めるのではありません。まず**リテラル（Literals / 字句）**から始めます。
• リテラルとは、基本的な発話行為のことです。
  • 肯定的リテラル： 「私は主張する：コンサートは素晴らしい」
  • 否定的リテラル： 「私は否定する：コンサートは素晴らしい」（これは「コンサートは良くない」と言うことに相当します）
• 重要な点： これら二つは、互いに定義されているわけではありません。「否定は主張の反対である」とは考えません。これらは、ハンマーとドライバーのように、それぞれ独立した原始的なツールなのです。ハンマーをひっくり返したからといって、自動的にドライバーになるわけではありません。それらは根本的に異なる道具なのです。

「双対性」という秘伝のソース

論文では、シンプルな論理（直観主義論理）から複雑な論理（古典論理）へと移行するには、最も基礎的なレベル（原子レベル）における、これら「はい」と「いいえ」のツールの相互作用に関するルールを追加するだけでよいと論じています。

彼らは、これらの基本的なツールに対して2つのシンプルなルールを導入しています：

1. 「排除（Exclusion）」のルール： まったく同じ事柄に対して「はい」と「いいえ」を同時に言うことはできません。もし「コンサートは素晴らしい」と主張し、かつ「コンサートは素晴らしい」を否定しようとすれば、システムはクラッシュします（矛盾、あるいは「不条理」が生じます）。
2. 「ケース分析（Case Analysis）」のルール： もし、「はい」と仮定した場合でも、「いいえ」と仮定した場合でも、どちらの結果も導き出せると証明できるなら、どちらが真であるかを知る必要はありません。「どちらにせよ証明された」と言えるのです。

例え話：
クラブに入ろうとしている場面を想像してください。

• 直観主義論理： 入場するには、特定の招待状（証明）が必要です。それを持っていなければ、入れません。
• 古典論理（双対性を用いた場合）： 「はい」パス、または「いいえ」パス（これは「いいえ、私は外にいない」というパスとして機能します）のどちらかを持っていれば、入ることができます。
• 著者たちは、これら2つのパス（主張と否定）と上記の2つのルールがあれば、あらかじめ存在する「真/偽」の世界を想定することなく、古典論理の全構造を構築できることを示しています。

なぜこれが重要なのか（「なぜ関心を持つべきか？」）

著者たちは、ある哲学的なパズルを解いています。

• パズル： 私たちが「真理とは証明を通じて構築されるものであり、空中に浮いている既成の事実ではない」と考える「反実在論者」であるならば、どうして「すべては真か偽のいずれかである」と仮定する古典論理を使うことができるのでしょうか？
• 解決策： 「はい」と「いいえ」を、等しく原始的な発話行為として扱うことで、古典論理が、あらかじめ存在する「真/偽」の世界を想定する必要がないことを彼らは示しています。ただ、私たちが「はい」と「いいえ」を用いてどのように議論するかというルールさえあればよいのです。

技術的な達成

この論文は、数学的に非常に巧妙なことを行っています：

1. 標準的でシンプルな「直観主義論理」のルールを取り入れます（これらはすでに十分に理解されています）。
2. 「双対性」のルール（排除とケース分析）を、最も低いレベル（リテラル）にのみ追加します。
3. この単純な追加によって、強力なフル機能の古典論理が作り出されることを証明します。

彼らはこれを**「基底拡張意味論（Base-Extension Semantics）」**と呼んでいます。家を建てることに例えてみましょう：

• 直観主義論理は、土台と骨組みです。
• 古典論理は、同じ家ですが、一番下の部分に特別な「双対のドア」が設置されています。
• 一度そのドアが設置されれば、家全体の機能が変化し、古典的な数学で使うようなあらゆる複雑な推論が可能になります。しかし、それはあくまで、シンプルな直観主義論理のレンガを使って建てられているのです。

まとめ

この論文はこう述べています。古典論理とは、神秘的で既成の真理ではありません。それは、直観主義論理（証明に基づく論理）に、「『はい』と『いいえ』は、私たちが複雑な議論を組み立てるために使える、等しく相反する力である」という単純な合意を加えたものなのです。

「否定」を単なる「反対の主張」ではなく、一つの原始的なツールとして扱うことで、彼らは、魔法のような「真/偽」の世界を信じることなく、古典的な推論がどのように機能するかについての、新鮮で構成的な理解を提供しているのです。