＜私＞論理学による＜私＞論の形式化
　　　　　（２００１年２月発表・２００４年１２月１９日最終更新）

　　　　　　　　　　　　　　　　　　　　　　　　by　名本哲也

（１）＜私＞論理学の定義
＜私＞論を形式化するため、独自の＜私＞論理学を導入する。

・項の定義
Ｗ：「私」
Wn：＜私n＞　（nは特定の自然数）
Wx：任意の＜私＞（xは、命題の内部で使われていない任意の自然数）
Wn（α）：αの属性（身体、心など）を持つ＜私n＞
Ｕ（a,b）：aとbから成る宇宙　（a,bは、Ｕを除く任意の項）

＜私a＞自体は属性を持たないが、＜私a＞と対応する属性が存在する。

・真理値の定義
１：真
０：偽

・命題の定義（a,b,cは、Ｕを除く任意の項）
W1□（Ｕ（a,b））−−W1は、Ｕ（a,b）を認識している。
　W1□（Ｕ（W1,W2））≡W1□（Ｕ（W1,Ｗ））≡１
　W1□（Ｕ（W2,W3））≡W1□（Ｕ（Ｗ,Ｗ））≡０

W1□（a≠b＝c）
　−−W1は、aとbは異なり、bとcは同一であると認識している。
　W1□（W1≠W2＝Ｗ）≡１
　W1□（W1＝W2＝Ｗ）≡０

W1□（Ｕ（a,b））⇒Ｕ（a,c））
　−−W1は、Ｕ（a,b）からＵ（a,c）への変化を認識している。
　W1□（Ｕ（W1（α）,W2））⇒Ｕ（W1（β）,W2））≡１
　W1□（Ｕ（W1,W2））⇒Ｕ（W2,W1））≡０

□（Ｕ（a,b））
　−−宇宙の外から、Ｕ（a,b）を認識している。
　□（Ｕ（W1,W2））≡□（Ｕ（W1,Ｗ））≡□（Ｕ（Ｗ,Ｗ））≡１
（Ｕの内容に関わらず、常に１）

□（a≠b＝c）
　−−宇宙の外から、aとbは異なり、bとcは同一であると認識している。
　□（W1＝W2＝Ｗ）≡１
　□（W1≠W2＝Ｗ）≡０

□（Ｕ（a,b））⇒Ｕ（a,c））
　−−宇宙の外から、Ｕ（a,b）からＵ（a,c）への変化を認識している。
　□（Ｕ（W1（α）,Ｗ））⇒Ｕ（W1（β）,Ｗ））≡１
　□（Ｕ（W1,Wx））⇒Ｕ（Wx,W1））≡０


（２）独我論の種類
１．独＜我＞論＝＜私＞の独我論＝存在論的独我論
・W2、W3は「存在」するが、W1とは違う。
W1□（W1≠W2＝W3＝Ｗ）≡１

２．普遍的存在論的独我論（造語）−−１と３の中間
・他者を知り得ない。仮に「存在」するとしても、＜私＞と見分けがつかない。
□（W1＝W2＝W3＝Ｗ）≡１

３．独「我」論＝「私」の独我論＝認識論的独我論
・他人（の心）を知り得ない。（α、βを心とする。）
W1□（Ｕ（W1,W2（α））⇒Ｕ（W1,W2（β））≡０


（３）＜私＞に関する思考実験
・２種類の宇宙の比較
□（Ｕ（W1（α）,W2（β）,W3））⇒Ｕ（W2（α）,W1（β）,W3））≡０
□（W1＝W2＝W3＝Ｗ）

W1□（Ｕ（W1（α）,W2（β）,W3））⇒Ｕ（W2（α）,W1（β）,W3））≡１
W1□（W1≠W2＝Ｗ＝W3）

W2□（Ｕ（W1（α）,W2（β）,W3））⇒Ｕ（W2（α）,W1（β）,W3））≡１
W2□（W2≠W1＝Ｗ＝W3）

W3□（Ｕ（W1（α）,W2（β）,W3））⇒Ｕ（W2（α）,W1（β）,W3））≡０
W3□（W1＝W2＝Ｗ≠W3）

・全宇宙において成立しているあらゆる事実をすべて記載した書物には、
 ＜私＞は記載されない。
□（W1＝W2＝W3＝Ｗ）≡１

・＜私＞が世界から消滅しても、誰もその変化に気付かない。
　その世界も変化しない。
W2□（Ｕ（W1（α）,W2（β））⇒（Ｕ（W3（α）,W2（β）））≡０

・＜私＞の属性がすべて（身体、心、空間）変化しても、
それに気付くことはない。
W1□（Ｕ（W1（α）,W2（β））⇒（Ｕ（W2（α）,W1（β）））≡０


（４）＜私＞の＜存在＞−−＜奇跡＞と＜偶然＞と偶然
・＜私＞が＜存在＞することの＜奇跡＞及び＜偶然＞
Ｕ（Ｗ,Ｗ,Ｗ）ではなく、Ｕ（W1,Ｗ,Ｗ）であることの＜奇跡＞

・＜私＞が特定の人物であることの偶然
Ｕ（W1（α）,Ｗ,Ｗ）が、αであることの偶然


（５）２つの変質
・人間実在依拠型の＜私＞把握
（W1（α）＝W2（α））≡１（実際は０）

・「私」概念依拠型の＜私＞把握
□（W1＝W2＝W3＝Ｗ）≡１