（01）
（ａ）
１ （１）～（Ｑ＆Ｐ） Ａ
２ （２） Ｑ Ａ
３（３） Ｐ Ａ
２３（４） Ｑ＆Ｐ ２３＆Ｉ
１２３（５）～（Ｑ＆Ｐ）＆
（Ｑ＆Ｐ） １４＆Ｉ
１２ （６） ～Ｐ ３５ＲＡＡ
１ （７） Ｑ→～Ｐ ２６ＣＰ
（ｂ）
１ （１） Ｑ→～Ｐ Ａ
２（２） Ｑ＆ Ｐ Ａ
２（３） Ｑ ２＆Ｅ
２（４） Ｐ ２＆Ｅ
１２（５） ～Ｐ １３ＭＰＰ
１２（６） Ｐ＆～Ｐ ４５＆Ｉ
１ （７）～（Ｑ＆ Ｐ） ２６ＲＡＡ
（02）
（ｃ）
１ （１） Ｑ→～Ｐ Ａ
２ （２） Ｐ Ａ
３（３） Ｑ Ａ
１ ３（４） ～Ｐ １３ＭＰＰ
１２３（５） Ｐ＆～Ｐ ２４＆Ｉ
１２ （６）～Ｑ ３５ＲＡＡ
１ （７） Ｐ→～Ｑ ２６ＣＰ
（ｄ）
１ （１） Ｐ→～Ｑ Ａ
２ （２） Ｑ Ａ
３（３） Ｐ Ａ
１ ３（４） ～Ｑ １３ＭＰＰ
１２３（５） Ｑ＆～Ｑ ２４＆Ｉ
１２ （６）～Ｐ ３５ＲＡＡ
１ （７） Ｑ→～Ｐ ２６ＣＰ
従って、
（01）（02）により、
（03）
① ～（Ｑ＆ Ｐ）＝Ｑであって、Ｐである。といふことはない。
② Ｑ→～Ｐ ＝Ｑであるならば、Ｐでない。
③ Ｐ→～Ｑ ＝Ｐであるならば、Ｑでない。
に於いて、
①＝②＝③ であるが、このとき、
①＝② を、「含意の定義」と言ひ、
②＝③ を、 「対偶」と言ふ。
然るに、
（04）
１ （１） Ｐである。 仮定
２（２）ＱであってＰである。といふことはない。 仮定
２（３）Ｑならば、Ｐでない。 ２含意の定義
２（４）Ｐならば、Ｑでない。 ３対偶
１２（５） Ｑでない。 １４前件肯定。
∴ （６）Ｐである。ＱであってＰである。といふことはない。├ Ｑでない。
従って、
（04）により、
（05）
（ａ）
１ （１） Ｐ Ａ
２（２）～（Ｑ＆ Ｐ） Ａ
２（３） Ｑ→～Ｐ ２含意の定義
２（４） Ｐ→～Ｑ ３対偶
１２（５） ～Ｑ １４ＭＰＰ
∴ （６）Ｐ，～（Ｑ＆Ｐ）├ ～Ｑ
従って、
（04）（05）により、
（06）
① Ｐである。ＱであってＰである。といふことはない。├ Ｑでない。
といふ「連式（sequent）」、すなはち、
① Ｐ，～（Ｐ＆Ｑ）├ ～Ｑ
といふ「連式（sequent）」は、「妥当（valid）」である。
然るに、
（07）
（ｂ）
１（１）Ｐ＆～（Ｑ＆Ｐ） Ａ
１（２）Ｐ １＆Ｅ
１（３） ～（Ｑ＆Ｐ） １＆Ｅ
１（４） Ｑ→～Ｐ ３含意の定義
１（５） Ｐ→～Ｑ ４対偶
１（６） ～Ｑ ２５ＭＰＰ
１（７） Ｐ＆～Ｑ ２６＆Ｉ
∴（８）Ｐ＆～（Ｑ＆Ｐ）├ Ｐ＆～Ｑ
（ｂ）
１（１）Ｐ＆～（Ｑ）＆Ｐ Ａ
１（２）Ｐ １＆Ｅ
１（３） ～Ｑ １＆Ｅ
１（４）Ｐ＆ ～Ｑ ２３＆Ｉ
∴（５）Ｐ＆～（Ｑ）＆Ｐ├ Ｐ＆～Ｑ
従って、
（07）により、
（08）
① Ｐ＆～（Ｑ＆Ｐ）├ Ｐ＆～Ｑ
② Ｐ＆～（Ｑ）＆Ｐ├ Ｐ＆～Ｑ
といふ「連式（sequents）」は、「妥当（valid）」である。
従って、
（06）（08）により、
（09）
① Ｐ，～（Ｐ＆Ｑ）├ ～Ｑ
① Ｐ＆～（Ｑ＆Ｐ）├ Ｐ＆～Ｑ
② Ｐ＆～（Ｑ）＆Ｐ├ Ｐ＆～Ｑ
といふ「連式（sequents）」は、「妥当（valid）」である。
従って、
（09）により、
（10）
① Ｐ，～（Ｑ＆Ｐ）├ Ｐ＆～Ｑ
② Ｐ，～（Ｑ）＆Ｐ├ Ｐ＆～Ｑ
といふ「連式（sequents）」は、「妥当（valid）」である。
然るに、
（11）
～ ＝ 不
＆ ＝ 而
├ ＝ 故、
である。
従って、
（12）
「論理式」は、「漢字」で書くことが、出来る。
従って、
（10）（11）(12)により、
（13）
① Ｐ、不（Ｑ而Ｐ）。故、Ｐ、不Ｑ。
② Ｐ、不（Ｑ）而Ｐ。故、Ｐ、不Ｑ。
といふ「連式（sequents）」は、「妥当（valid）」である。
従って、
（13）により、
（14）
Ｐ＝食馬（馬を養ふ）。
Ｑ＝知其能千里（其の能の千里なるを知る）。
であるとして、
① 食馬、不〔知其能千里而食馬〕。故、食馬、不〔知其能千里〕。
② 食馬、不〔知其能千里〕而食馬。故、食馬、不〔知其能千里〕。
といふ「連式（sequents）」は、「妥当（valid）」である。
然るに、
（15）
馬を養ふ者（食馬者） は、当然、
馬を養ふ （食馬）。
従って、
（14）（15）により、
（16）
① 食馬者、不〔知其能千里而食馬〕。故、食馬者、不〔知其能千里〕。
② 食馬者、不〔知其能千里〕而食馬。故、食馬者、不〔知其能千里〕。
といふ「連式（sequents）」は、「妥当（valid）」である。
然るに、
（17）
（ⅰ）
① 食（馬）者、不〔知（其能千里）而食〕也。
に於いて、
① 食（ ）⇒（ ）食
① 不〔 〕⇒〔 〕不
① 知（ ）⇒（ ）知
といふ「移動」を行ふと、
① 食（馬）者、不〔知（其能千里）而食〕也⇒
① （馬）食者、〔（其能千里）知而食〕不也＝
① （馬を）食ふ者は、〔（其の能の千里なるを）知りて食は〕ざるなり＝
① 馬を養ふ者は、〔（其の馬の能力が千里であることを）知って養ふ。〕といふわけではないのだ。
（ⅱ）
② 食（馬）者、不〔知（其能千里）〕而食也。
に於いて、
② 食（ ）⇒（ ）食
② 不〔 〕⇒〔 〕不
② 知（ ）⇒（ ）知
といふ「移動」を行ふと、
② 食（馬）者、不〔知（其能千里）〕而食也⇒
② （馬）食者、〔（其能千里）知〕不而食也＝
② （馬を）食ふ者は、〔（其の能の千里なるを）知ら〕ずして食ふなり＝
② 馬を養ふ者は、〔（其の馬の能力が千里であること）を知ら〕ずに養ふ。のだ。
（ⅲ）
③ 食（馬）者、不〔知（其能千里）〕也。
に於いて、
③ 食（馬）⇒（ ）食
③ 不〔 〕⇒〔 〕不
③ 知（ ）⇒（ ）知
といふ「移動」を行ふと、
③ 食（馬）者、不〔知（其能千里）〕也⇒
③ （馬）食者、〔（其能千里）知〕不也＝
③ （馬）を食ふ者は、〔（其の能の千里なるを）知ら〕ざるなり＝
③ （馬）を養ふ者は、〔（其の馬の能力が千里であることを）知ら〕ないのだ＝
② 馬を養ふ者は、〔（其の馬の能力が千里であること）を知ら〕ずに養ふ。のだ。
ｃｆ.
① Ｐ＆～（Ｑ＆Ｐ）├ Ｐ＆～Ｑ
② Ｐ＆～（Ｑ）＆Ｐ├ Ｐ＆～Ｑ
③ Ｐ＆～（Ｑ） ├ Ｐ＆～Ｑ
従って、
（16）（17）により、
（18）
① 食馬、不〔知其能千里而食馬〕。故、食馬、不〔知其能千里〕。
② 食馬、不〔知其能千里〕而食馬。故、食馬、不〔知其能千里〕。
といふ「連式（sequents）」は、「妥当（valid）」である。が故に、
① 馬を養ふ者は、〔其の馬の能力が千里であることを知って養ふ。〕といふわけではないのだ。故に、馬を養ふ者は、〔其の馬の能力が千里であることを知ら〕ないのだ。
② 馬を養ふ者は、〔其の馬の能力が千里であることを知ら〕ずに養ふ。のだ。故に、馬を養ふ者は、〔其の馬の能力が千里であることを知ら〕ないのだ。
といふ「連式（sequents）」は、「妥当（valid）」である。
然るに、
（19）
① 食馬者、不〔知其能千里而食馬〕。故、食馬者、不〔知其能千里〕。
② 食馬者、不〔知其能千里〕而食馬。故、食馬者、不〔知其能千里〕。
といふ「連式（sequents）」の「結論（conclision）」が、両方とも、
① 故、食馬者、不〔知其能千里〕。
② 故、食馬者、不〔知其能千里〕。
である。といふことからすると、
① 食馬者、不〔知其能千里而食馬〕。
② 食馬者、不〔知其能千里〕而食馬。
といふ「前提（premisses）」に於いて、
①＝② であるとしも、ヲカシクはない。
然るに、
（20）
① 馬を養ふ者は、其の馬の能力が千里であることを知って養ふ。といふわけではない。
といふのであれば、
② 馬を養ふ者は、其の馬の能力が千里であることを知らずに、養ふ。
といふことになるし、
② 馬を養ふ者は、其の馬の能力が千里であることを知らずに、養ふ。
といふのであれば、
① 馬を養ふ者は、其の馬の能力が千里であることを知って養ふ。といふわけではない。
といふ、ことになる。
従って、
（18）（19）（20）により、
（21）
① 食馬、不〔知其能千里而食馬〕。故、食馬、不〔知其能千里〕。
② 食馬、不〔知其能千里〕而食馬。故、食馬、不〔知其能千里〕。
といふ「連式（漢文）」は、「結論」が「等しい」が故に、
① 食馬、不〔知其能千里而食馬〕。
② 食馬、不〔知其能千里〕而食馬。
といふ「漢文（命題）」は、「同じ」であると、すべきである。
従って、
（17）（21）により、
（22）
① 食（馬）者、不〔知（其能千里）而食〕也。⇔（馬を）食ふ者は、〔（其の能の千里なるを）知りて食は〕ざるなり。
② 食（馬）者、不〔知（其能千里）〕而食也。⇔（馬を）食ふ者は、〔（其の能の千里なるを）知ら〕ずして食ふなり。
といふ「二つの、漢文訓読」は、「書き下し文」は違ってゐても、「意味」としては、「同じ」である。
然るに、
（23）
◆ 不下 知二 其能千里一 而食上 也 この句は、別に、
a「不レ 知二 其能千里一 而食 也」と返り点をつけて「その能の千里なるを知らずして食ふなり。」（＝その能力が千里もあるのを知らずに養っている。）と訓読することができる（赤塚忠・遠藤哲夫、漢文の基礎、1973、１５６頁）。
従って、
（22）（23）により、
（24）
① 食（馬）者、不〔知（其能千里）而食〕也。
② 食（馬）者、不〔知（其能千里）〕而食也。
といふ「漢文」に対する、
① 不下 知二 其能千里一 而食上 也。
② 不レ 知二 其能千里一 而食 也。
といふ「二つの、返り点」は、「意味としては同じである。」といふ、ことからすれば、「どちらでも良い」。
平成３１年０１月２６日、毛利太。
0 件のコメント:
コメントを投稿