（908）「ＡはＢがＣである」について。：三上文法批判。

（01）
「偶数」は、「無限個」有る。
従って、
（02）
Ｑ：「何が偶数か。」
といふ「質問」対しては、「答へ」ようが無い。
然るに、
（03）
｛２、３｝を「対象」とするならば、
Ｑ：「何が偶数か。」
Ａ：「２が偶数である。」
従って、
（02）（03）により、
（04）
｛２、３｝を「対象」とするならば、
① ２が偶数である。
② ２は偶数であり、２以外（３）は偶数ではない。
に於いて、
①＝② である。
然るに、
（05）
（ⅱ）
１　　（１）　～２→～偶　Ａ
　２　（２）　　　　　偶　Ａ
　　３（３）　～２　　　　Ａ
１　３（４）　　　　～遇　１３ＭＰＰ
１２３（５）　　偶＆～遇　２４＆Ｉ
１２　（６）～～２　　　　３５ＲＡＡ
１２　（７）　　２　　　　６ＤＮ
１　　（８）　　偶→　２　２７ＣＰ
（ⅲ）
１　　（１）　　偶→　２　Ａ
　２　（２）　　　　～２　Ａ
　　３（３）　　偶　　　　Ａ
１　３（４）　　　　　２　１３ＭＰＰ
１２３（５）　　～２＆２　２４＆Ｉ
１２　（６）　～遇　　　　３５ＲＡＡ
１　　（７）　～２→～遇　２６ＣＰ
従って、
（05）により、
（06）
（ⅱ）
１　　（１）２でないならば偶数でない。　仮定
　２　（２）　　　　　　　偶数である。　仮定
　　３（３）２でない。　　　　　　　　　仮定
１　３（４）　　　　　　　偶数でない。　１３肯定肯定式
１２３（５）偶数であって、偶数でない。　２４連言導入
１２　（６）２でないでない。　　　　　　３５背理法
１２　（７）２である。　　　　　　　　　６二重否定
１　　（８）偶数であるならば２である。　２７条件法
（ⅲ）
１　　（１）偶数であるならば２である。　仮定
　２　（２）　　　　　　　　２でない。　仮定
　　３（３）偶数である。　　　　　　　　仮定
１　３（４）　　　　　　　　２である。　１３肯定肯定式
１２３（５）２でなくて、２である。　　　２４連言導入
１２　（６）偶数でない。　　　　　　　　３５背理法
１　　（７）２でないならば偶数でない。　２６条件法
従って、
（06）により、
（07）
② ２でないならば偶数でない。
③ 偶数であるならば２である。
に於いて、
②＝③ は、「対偶（Contraposition）」である。
従って、
（07）により、
（08）
② ２以外は偶数でない。
③ 偶数は２である。
に於いて、
②＝③ は、「対偶（Contraposition）」である。
従って、
（08）により、
（09）
① ２が偶数である。
② ２は偶数であり、２以外は偶数ではない。
③ ２は偶数であり、偶数は２である。
に於いて、
①＝②＝③ である。
従って、
（10）
① ＡがＢである。
② ＡはＢであり、ＢはＡである。
③ ＡはＢであり、Ａ以外はＢでない。
に於いて、
①＝②＝③ である。
従って、
（11）
① 私が理事長です。
② 私は理事長であり、理事長は私です。
③ 私は理事長であり、私以外は理事長でない。
に於いて、
①＝②＝③ である。
然るに、
（12）
よく知られているように、「私が理事長です」は語順を変え、
　理事長は、私です。
と直して初めて主辞賓辞が適用されのである。また、かりに大倉氏が、
　タゴール記念会は、私が理事長です。
と言ったとすれば、これは主辞「タゴール記念会」を品評するという心持ちの文である。
（三上章、日本語の論理、1963年、４０・４１頁）
従って、
（11）（12）により、
（13）
三上章先生は、
① 私が理事長です。
② 私は理事長であり、理事長は私です。
に於いて、
①＝② である。
といふことに関しては、「知ってゐた」としても、
（14）
① 私が理事長です。
② 私は理事長であり、理事長は私です。
③ 私は理事長であり、私以外は理事長でない。
に於いて、
①＝②＝③ である。
といふことに関しては、「知っては、ゐなかった」。
従って、
（12）（13）（14）により、
（15）
三上章先生は、
① タゴール記念会は、私が理事長です。
② タゴール記念会は、私は理事長であり、私以外は理事長ではない。
に於いて、
①＝② である。
といふことに、気付くことは、なかった。
従って、
（15）により、
（16）
三上章先生は、
① 象は、鼻が長い。
② 象は、鼻は長く、鼻以外は長くない。
に於いて、
①＝② である。
といふことに、気付くことは、なかった。
従って、
（16）により、
（17）
三上章先生は、
① 象は、鼻が長い。⇔
① 象は、鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない｝。
といふ「等式」に、気付くことは、なかった。
然るに、
（18）
① すべてのｘについて｛ｘが象であるならば、
② これから象について、述べますよう、
に於いて、
①＝② である。
従って、
（17）（18）により、
（19）
① 象は、
② これから象について、述べますよう、
に於いて、
①＝② である。
然るに、
（20）
② これから象について、述べますよう、
といふのであれば、
① 象は、
は、「主題（話題）」である。
然るに、
（21）
「主題」であることを、「主語」であることは、「矛盾」しない。
と、私は、思ってゐる。
然るに、
（22）
どういう順序で主語を廃止するか。具体的なプログラムを書いてみよう。
（三上章、日本語の論理、1963年、１３３頁）
従って、
（20）（21）（22）により、
（23）
三上章先生は、
① 象は、鼻が長い。⇔
① 象は、鼻は長く、鼻以外は長くない。⇔
① ∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝⇔
① すべてのｘについて｛ｘが象であるならば、あるｙはｘの鼻であって、長く、すべてのｚについて、ｚがｘの鼻でないならば、ｚは長くない｝。
に於ける、
①「象は」は、「話題」であるとし、
私自身は、
①「象は」は、「主語・話題」であると、思ってゐる。