ゾンビ論証とミラー論証とは何か——哲学的意識論の核心
心の哲学において、ゾンビ論証とミラー論証は、物理主義（フィジカリズム）の真偽をめぐる最も重要な思考実験のひとつとして知られている。ゾンビ論証はDavid Chalmersが整備した議論で、「物理的にまったく同一でありながら、意識的経験（クオリア）をもたない存在（哲学的ゾンビ）は思考可能か」という問いから出発し、物理主義の否定へと至る。一方、ミラー論証はFrankishやBrownらが展開した対抗戦略で、逆方向の思考可能性主張を用いてゾンビ論証の決定力を弱めようとする。
本記事では、両論証の形式的な対称性と実質的な非対称性を丁寧に解きほぐし、物理主義側の反論（型A・型B・現象概念戦略・ミラー戦略）の論理的強さと弱点を整理する。さらに、Yauta（2024・2025）や柴田正良（2003）といった日本語圏の論考も視野に入れながら、この論争の現在地を示す。
ゾンビ論証の構造——思考可能性から形而上学的結論へ
ゾンビ論証の三段論法
ゾンビ論証の標準的な形式は次の三段階で成立する。
- Z1（思考可能性）： 物理的事実がすべて成立しながら現象的事実が成立しない状態（P ∧ ¬Q）は思考可能である。
- Z2（CP テーゼ）： 理想的に思考可能であれば、形而上学的に可能である。
- Z3（存在論的含意）： そのような世界が形而上学的に可能であれば、物理的事実は現象的事実を必然化しない。
- 結論： 物理主義は偽である。
Chalmersはとくに「ideal primary conceivability」——反省的に吟味しても矛盾が見出せない思考可能性——が様相的ガイドとして機能すると主張する。この点が、単なる「想像できる気がする」という素朴な直観とは区別される。
ゾンビ論証が問いかけるもの
この論証が哲学的に重要なのは、**説明ギャップ（explanatory gap）**の問題と直結しているからだ。Joseph Levine（1983）が指摘したように、たとえ脳科学が意識のすべての相関物を特定したとしても、「なぜその物理プロセスがあの感覚的経験を生むのか」という問いへの答えは、依然として自明でない。ゾンビ論証はこのギャップを形而上学的問題として鋭く突きつける。
ミラー論証の二つの型——様相的ミラーと分析的ミラー
様相的ミラー（Marton / Sturgeon 型）
様相的ミラーは次の構造をとる。
- 物理主義命題「□(P→Q)」の思考可能性から、◇□(P→Q)を導出する。
- 様相論理S5の公理（◇□A → □A）を用いて、□(P→Q)を帰結する。
この論証が成立するには、S5 公理の採用と様相的命題への思考可能性原理（CP）の適用という二つの追加前提が必要になる。これらはゾンビ論証の標準形には含まれておらず、この点でミラー側の前提コストはより高い。
分析的ミラー（Frankish 型・アンチゾンビ論証）
Frankish（2007）の分析的ミラーは異なる構造をとる。
- 「総体性条項（totality clause）付き物理的事実 P_t と現象的事実 Q が同時に成立する」という状態（P_t ∧ Q）が思考可能であると主張する。
- CPテーゼにより、その世界が形而上学的に可能であることを導く。
- そこから、物理的事実が現象的事実を必然化するという□(P→Q)を帰結する。
ここで重要なのが**総体性条項（”that’s all” clause）**である。単に「P と Q が共存する世界」を考えるのではなく、「非物理的真理は存在しない」ことを含むシナリオを思考可能とすることが要求される。この追加的な負荷がゾンビ論証との非対称性を生む。
対称性と非対称性——どこで議論は分岐するか
高次構造は対称的
両論証は「C(S) → ◇S → 存在論的結論」という三段の橋渡し構造を共有している。この点で形式的には対称的といえる。
しかし前提内容は非対称
| 次元 | ゾンビ論証 | ミラー論証 |
|---|---|---|
| 思考可能性の対象 | P ∧ ¬Q（世界内記述） | P_t ∧ Q または □(P→Q) |
| 追加負荷 | 意識の不在を「引く」だけ | 総体性条項や様相的主張を「足す」必要がある |
| 様相論理依存 | S5 不要 | 様相的ミラーはS5が必要 |
| 議論の主な役割 | 二元論への直接推論 | ゾンビ論証の独立的説得力を削ぐアンダーカッター |
この非対称性の根源は、「思考可能性の質」にある。Chalmersはアンチゾンビや物理主義の思考可能性はせいぜいprima facie negative conceivability（一見矛盾がないように見える程度）であり、ゾンビに必要なideal positive conceivability（吟味しても矛盾が見えない）とは異なると示唆する。
ただしYauta（2025）が明確化するように、二元論者はこの差を主張するだけでは不十分であり、アンチゾンビや物理主義がなぜ真に思考不可能なのかを独立に論証する必要がある。
物理主義側の反論戦略——四つのアプローチとその評価
型A反論——思考可能性そのものを否定する
型A機能主義・表象主義は、Z1（ゾンビの思考可能性）そのものを否定する。「クオリアは本質的に内省的・知覚的・行動的役割を持つため、機能的複製がクオリアを欠くことは不可能だ」という立場である。
Shoemaker（1975・1982）の absent qualia 反駁もこの系譜にある。痛みなどの質的状態は「その質感についての信念を生み出す傾向」を因果的役割に含むため、機能的複製がクオリアを欠くことは論理的に不可能だ、という議論である。
評価： 受け入れれば論証は鋭く、Z1 を出発点で遮断できる。しかし、クオリアを機能役割に本質的に組み込む強いアプリオリ前提を要するため、健全性が最も争われる。「そもそも hard problem を見ていない」と二元論者から批判されやすい。
型B反論——思考可能性から可能性への遷移を否定する
型B物理主義は、Z1（ゾンビの思考可能性）を一定程度認めつつ、Z2（CPテーゼ）を拒否する立場である。Hill & McLaughlin（1999）、Block & Stalnaker（1999）、Papineau（2002）らが代表的論者である。
核心は「概念的独立性は存在論的独立性を含意しない」という主張だ。水が H₂O と概念的に独立して語られても、水と H₂O は形而上学的に同一であるように、心身関係もアポステリオリな必然的同一性として成立しうる。
評価： 物理主義に最も持続的な防御線を与える。説明ギャップの存在を認めつつ物理主義を保持できる点で柔軟性が高い。ただし Chalmers は「これは通常の Kripke 型必然的アポステリオリとは異なる『強い必然性（strong necessity）』を要求する」と批判する。この問題は未解決部分を残す。
現象概念戦略（PCS）——ギャップを概念の特殊性で説明する
Loar（1997）とPapineau（2002）が核を提示した現象概念戦略は、説明ギャップが性質の非物理性ではなく概念の特殊な形式（直接指示的・索引的・引用的）から生じると論じる。現象概念は物理的概念と異なる仕方で同一の物理的対象を捉えるため、概念間にギャップがあっても指示対象の非物理性は帰結しない。
評価： Mary の知識論証・説明ギャップ・ゾンビ直観を統一的に処理できる点で非常に魅力的。しかし Chalmers（2007）のマスター論証によれば、PCS がギャップを本当に説明しようとすると概念の記述が厚くなり、その厚さ自体が非物理的に見えてくるという問題が生じる。PCS は単独の反駁というより、型B物理主義の心理意味論的補完物として読むのが最も公正である。
ミラー／パリティ戦略——論証の独立的説得力を剥奪する
Frankish（2007）、Brown（2013）、Campbell et al.（2017）らによるミラー／パリティ戦略は、物理主義の直接証明を目指すのではなく、ゾンビ論証が単独で二元論を支持するという見方を不可能にすることを狙う。
論理の核心は次のようなものだ。アンチゾンビ論証がゾンビ論証と同じ規則を使って逆の結論を導けるなら、一方だけを直観的に採用する根拠は何か。二元論者がアンチゾンビの思考可能性を否定するには独立の根拠が必要であり、その根拠が単独で二元論を含意するならゾンビ論証は冗長になる。
評価： 物理主義の証明力としてではなく、**弁証法的テスト（dialectical test）**として非常に強い。ゾンビ論証が「それだけで二元論を支持する」という主張を持続不能にする力がある。
柴田の「控えめな物理主義」——日本語圏の独自貢献
柴田正良（2003）は「控えめな物理主義（modest physicalism）」を提案し、物理主義が必ずしも「すべての論理的可能世界で P が Q を必然化する（□(P→Q)）」を要求するわけではないと論じた。物理主義は自然法則的依存で足り、ゾンビ世界は論理的には可能でも自然法則的には不可能でありうる。これにより Z3（形而上学的可能性から反物理主義へ）が弱体化される。
Yauta（2024）はこれをさらに発展させ、ハード問題から直ちに「物理主義は理想的に思考不可能だ」とは言えないと主張した。物理主義の ideal conceivability は未決定に留まる、という指摘は、ミラー論証を証明として弱くしながらも、二元論側のハードルもまた高いことを示す重要な貢献である。
まとめ——ゾンビ論証とミラー論証の現在地
本記事の要点を整理する。
- 形式的対称性： 両論証は「思考可能性→形而上学的可能性→存在論的結論」という高次構造を共有する。
- 実質的非対称性： 総体性条項・様相論理S5・conceivability の質的差によって、ミラー側の前提コストはより重い。
- 物理主義の最強防御： 型B的 CP テーゼの切断、現象概念戦略による概念論化、ミラー／パリティによる独立的説得力の剥奪——この三つを組み合わせた立場が最もバランスよく成立する。
- ミラー論証の位置： 物理主義の直接証明としては中程度以下だが、ゾンビ論証の決定性を崩すアンダーカッターとしては非常に強い。
コメント