（143）「雑説、韓愈」に於ける「連言の否定」（Ⅲ）。

―「昨日の記事（142)」を書き直します。―
（01）
（ａ）
１　　（１）～（Ｑ＆Ｐ）　　Ａ
　２　（２）　　Ｑ　　　　　Ａ
　　３（３）　　　　Ｐ　　　Ａ
　２３（４）　　Ｑ＆Ｐ　　　２３＆Ｉ
１２３（５）～（Ｑ＆Ｐ）＆
　　　　　　　（Ｑ＆Ｐ）　　１４＆Ｉ
１２　（６）　　　～Ｐ　　　３５ＲＡＡ
１　　（７）　Ｑ→～Ｐ　　　２６ＣＰ
（ｂ）
１　（１）　　Ｑ→～Ｐ　　　Ａ
　２（２）　　Ｑ＆　Ｐ　　　Ａ
　２（３）　　Ｑ　　　　　　２＆Ｅ　　　　
　２（４）　　　　　Ｐ　　　２＆Ｅ
１２（５）　　　　～Ｐ　　　１３ＭＰＰ
１２（６）　　Ｐ＆～Ｐ　　　４５＆Ｉ
１　（７）～（Ｑ＆　Ｐ）　　２６ＲＡＡ
（02）
（ｃ）
１　　（１）　Ｑ→～Ｐ　　　Ａ
　２　（２）　　　　Ｐ　　　Ａ
　　３（３）　Ｑ　　　　　　Ａ
１　３（４）　　　～Ｐ　　　１３ＭＰＰ
１２３（５）　Ｐ＆～Ｐ　　　２４＆Ｉ
１２　（６）～Ｑ　　　　　　３５ＲＡＡ
１　　（７）　Ｐ→～Ｑ　　　２６ＣＰ
（ｄ）
１　　（１）　Ｐ→～Ｑ　　　Ａ
　２　（２）　　　　Ｑ　　　Ａ
　　３（３）　Ｐ　　　　　　Ａ
１　３（４）　　　～Ｑ　　　１３ＭＰＰ
１２３（５）　Ｑ＆～Ｑ　　　２４＆Ｉ
１２　（６）～Ｐ　　　　　　３５ＲＡＡ
１　　（７）　Ｑ→～Ｐ　　　２６ＣＰ
従って、
（01）（02）により、
（03）
① ～（Ｑ＆　Ｐ）＝Ｑであって、Ｐである。といふことはない。
② 　　Ｑ→～Ｐ　＝Ｑであるならば、Ｐでない。
③ 　　Ｐ→～Ｑ　＝Ｐであるならば、Ｑでない。
に於いて、
①＝②＝③ であるが、このとき、
①＝② を、「含意の定義」と言ひ、
　　②＝③ を、　「対偶」と言ふ。
然るに、
（04）
１　（１）　　Ｐ　　　　　Ａ
　２（２）～（Ｑ＆　Ｐ）　Ａ
　２（３）　　Ｑ→～Ｐ　　２含意の定義
　２（４）　　Ｐ→～Ｑ　　３対偶
１２（５）　　　　～Ｑ　　１４ＭＰＰ
∴　（６）Ｐ，～（Ｑ＆Ｐ）├ ～Ｑ
ｃｆ.
１　（１）　　　　　Ｐである。　　　　　　　　　　仮定
　２（２）ＱであってＰである。といふことはない。　仮定
　２（３）Ｑならば、Ｐでない。　　　　　　　　　　２含意の定義
　２（４）Ｐならば、Ｑでない。　　　　　　　　　　３対偶
１２（５）　　　　　Ｑでない。　　　　　　　　　　１４前件肯定。
∴　（６）Ｐである。ＱであってＰである。といふことはない。├ Ｑでない。　
従って、
（03）（04）により、
（05）
① Ｐである。ＱであってＰである。といふことはない。├ Ｑでない。　
といふ「連式（sequent）」、すなはち、
① Ｐ，～（Ｐ＆Ｑ）├ ～Ｑ
といふ「連式（sequent）」は、「妥当（valid）」である。
然るに、
（06）
～ ＝ 不
＆ ＝ 而
├ ＝ 故
である。
従って、
（05）（06）により、
（07）
① Ｐ、不（Ｑ而Ｐ）故 不Ｑ。
といふ「連式」は、「妥当」である。
従って、
（07）により、
（08）
Ｐ＝食馬（馬を養ふ）。
Ｑ＝知其能千里（其の能の千里なるを知る）。
であるとして、
① 食馬、不（知其能千里而食馬）。故、不知其能千里。
といふ「連式」は、「妥当」である。
然るに、
（09）
① 馬を養ふ者（食馬者） は、当然、
① 馬を養ふ（食馬）。
従って、
（08）（09）により、
（10）
① 食馬者、不（知其能千里而食馬）。故、不知其能千里。
といふ「連式」は、「妥当」である。
然るに、
（11）
也（断定） は、「・・・・・であるのだ」といふ「肯定」を「意味」する。
従って、
（10）（11）により、
（12）
① 食馬者、不（知其能千里而食馬）也。故、不知其能千里也。
といふ「連式」は、「妥当」である。
然るに、
（13）
（ⅰ）
① 食（馬）者、不〔知（其能千里）而食〕也。
に於いて、
① 食（　）⇒（　）食
① 不〔　〕⇒〔　〕不
① 知（　）⇒（　）知
といふ「移動」を行ふと、
① 食（馬）者、不〔知（其能千里）而食〕也⇒
① （馬）食者、〔（其能千里）知而食〕不也＝
① （馬を）食ふ者は、〔（其の能の千里なるを）知りて食は〕ざるなり＝
① 馬を養ふ者は、〔（其の馬の能力が千里であることを）知って養ふ。〕といふわけではないのだ。
（ⅱ）
① 不〔知（其能千里也）〕也。
① 不〔　〕⇒〔　〕不
① 知（　）⇒（　）知
といふ「移動」を行ふと、
① 不〔知（其能千里也）〕也⇒
① 〔（其能千里也）知〕不也＝
① 〔（其の能の千里なるを）知ら〕ざるなり＝
① 〔（其の馬の能力が千里であることを）知ら〕ないのだ。
従って、
（12）（13）により、
（14）
① 食（馬）者、不〔知（其能千里）而食〕也。故、不〔知（其能千里也）〕也。⇔
① （馬を）養ふ者は、〔（其の馬の能力が千里であることを）知って養ふ。〕といふわけではないのだ。故に、〔（其の馬の能力が千里であることを）知ら〕ないのだ。
といふ「連式（漢文・訓読）」は、「妥当」である。
然るに、
（15）
① 馬を養ふ者は、〔（其の馬の能力が千里であることを）知って養ふ。〕といふわけではないのだ。
といふのであれば、
①「知る・知らない」の「主語」は、
①「馬を養ふ者」である。
従って、
（14）（15）により、
（16）
① 食（馬）者、不〔知（其能千里）而食〕也。故、不〔知（其能千里也）〕也。⇔
① （馬を）養ふ者は、〔（其の馬の能力が千里であることを）知って養ふ。〕といふわけではないのだ。故に、馬を養ふ者は、〔（其の馬の能力が千里であることを）知ら〕ないのだ。
といふ「連式（漢文・訓読）」は、「妥当」である。
然るに、
（17）
① （馬を）養ふ者は、〔（其の馬の能力が千里であることを）知って養ふ。〕といふわけではないのだ。故に、馬を養ふ者は、〔（其の馬の能力が千里であることを）知ら〕ないのだ。
といふ「連式（訓読）」が、「妥当」である。以上、当然、
② （馬を）養ふ者は、〔（其の馬の能力が千里であることを）知ら〕ずに養ふのだ。故に、馬を養ふ者は、〔（其の馬の能力が千里であることを）知ら〕ないのだ。
といふ「連式（訓読）」も、「妥当」である、はずである。
然るに、
（17）により、
（18）
① 故に、馬を養ふ者は、〔（其の馬の能力が千里であることを）知ら〕ないのだ。
② 故に、馬を養ふ者は、〔（其の馬の能力が千里であることを）知ら〕ないのだ。
といふ風に、「結論が等しい」といふのであれば、
① （馬を）養ふ者は、〔（其の馬の能力が千里であることを）知って養ふ。〕といふわけではないのだ。
② （馬を）養ふ者は、〔（其の馬の能力が千里であることを）知ら〕ずに養ふのだ。
といふ「前提」は、「同じ意味」であるに、違ひない。
然るに、
（19）
① 馬を養ふ者は、其の馬の能力が千里であることを知って養ふ。といふわけではない。
といふのであれば、
② 馬を養ふ者は、其の馬の能力が千里であることを知らずに、養ふ。
といふことになるし、
② 馬を養ふ者は、其の馬の能力が千里であることを知らずに、養ふ。
といふのであれば、
① 馬を養ふ者は、其の馬の能力が千里であることを知って養ふ。といふわけではない。
といふ、ことになる。
従って、
（19）（20）により、
（21）
① 故に、馬を養ふ者は、〔（其の馬の能力が千里であることを）知ら〕ないのだ。
② 故に、馬を養ふ者は、〔（其の馬の能力が千里であることを）知ら〕ないのだ。
といふ風に、「結論が等しい」が故に、
① （馬を）養ふ者は、〔（其の馬の能力が千里であることを）知って養ふ。〕といふわけではないのだ。
② （馬を）養ふ者は、〔（其の馬の能力が千里であることを）知ら〕ずに養ふのだ。
といふ「前提」は、「同じ意味」になる。
ｃｆ
１　（１）　　Ｐ　　　　　Ａ
　２（２）～（Ｑ＆　Ｐ）　Ａ
　２（３）　　Ｑ→～Ｐ　　２含意の定義
　２（４）　　Ｐ→～Ｑ　　３対偶
１２（５）　　　　～Ｑ　　１４ＭＰＰ
１２（６）　　Ｐ＆～Ｑ　　１５＆Ｉ
∴　（７）Ｐ，～（Ｐ＆Ｑ）├ Ｐ＆～Ｑ
　　（〃）食馬者、不（知其能千里＆食馬）。故、食馬者＆不（知其能千里）。
　　（〃）食馬者、不（知其能千里＆食馬）。故に、馬を食ふ者は、其の能の千里なるを知らず。
　　（〃）食馬者、不（知其能千里＆食馬）。故に、馬を養ふ者は、其の能の千里なるを知らずに養ふのだ。
然るに、
（22）
② 食（馬）者、不〔知（其能千里）〕而食也。
に於いて、
② 食（　）⇒（　）食
② 不〔　〕⇒〔　〕不
② 知（　）⇒（　）知
といふ「移動」を行ふと、
② 食（馬）者、不〔知（其能千里）〕而食也⇒
② （馬）食者、〔（其能千里）知〕不而食也＝
② （馬を）食ふ者は、〔（其の能の千里なるを）知ら〕ずして食ふなり＝
② 馬を養ふ者は、（其の馬の能力が千里であることを知ら）ずに養ふ。のだ。
（13）（21）（22）により、
（23）
① 食（馬）者、不〔知（其能千里）而食〕也。⇔（馬を）食ふ者は、〔（其の能の千里なるを）知りて食は〕ざるなり。
② 食（馬）者、不〔知（其能千里）〕而食也。⇔（馬を）食ふ者は、〔（其の能の千里なるを）知ら〕ずして食ふなり。
といふ「二つの、漢文訓読」は、「書き下し文」は違ってゐても、「意味」としては、「同じ」である。
然るに、
（24）
◆ 不_下 知_二 其能千里_一 而食_上 也　この句は、別に、
「不_レ 知_二 其能千里_一 而食 也」と返り点をつけて「その能の千里なるを知らずして食ふなり。」（＝その能力が千里もあるのを知らずに養っている。）と訓読することができる（赤塚忠・遠藤哲夫、漢文の基礎、1973、１５６頁）。
従って、
（23）（24）により、
（25）
① 食（馬）者、不〔知（其能千里）而食〕也。
② 食（馬）者、不〔知（其能千里）〕而食也。
といふ「漢文」に対する、
① 不_下 知_二 其能千里_一 而食_上 也。
② 不_レ 知_二 其能千里 而食 也。
といふ「二つの、返り点」は、「意味としては同じである。」といふ、ことからすれば、「どちらでも良い」。