―「返り点と括弧」に関しては、『「返り点」と「括弧」の関係（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）』他をお読み下さい。―
（01）
① 君子不以其所以養人者害人＝
① 君子不｛以［其所‐以〔養（人）〕者］害（人）｝⇒
① 君子｛［其〔（人）養〕所‐以者］以（人）害｝不＝
① 君子は｛［其の〔（人を）養ふ〕所‐以の者を］以て（人を）害せ｝ず。
は、「孟子、梁惠王章句下」である。
従って、
（01）により、
（02）
④ 君子以其所以養人者不害人＝
④ 君子以［其所‐以〔養（人）〕者］不〔害（人）〕⇒
④ 君子［其〔（人）養〕所‐以者］以〔（人）害〕不＝
④ 君子は［其の〔（人を）養ふ〕所‐以の者を］以て〔（人を）害せ〕ず。
は、「孟子、梁惠王章句下」ではない。
従って、
（01）（02）により、
（03）
「（137）「君子不以其所以養人者害人」等の「不」について。」でも、書いたと思ふものの、
① 君子不以其所以養人者害人。
④ 君子以其所以養人者不害人。
に対する「訓読」は、「両方」とも、
① 君子は其の人を養ふ所以の者を以て人を害せず。
④ 君子は其の人を養ふ所以の者を以て人を害せず。
であるものの、「漢文」としては、
①＝④ では、決してない。
（04）
① 君子不以其所以養人者害人＝
① 君子→～（以其所‐以養人者＆害人）。
であって、
④ 君子以其所以養人者不害人＝
④ 君子→以其所‐以養人者＆～（害人）。
であるため、
① に対しては、「ド・モルガンの法則、含意の定義、交換法則」を適用することが、出来るものの、
④ に対しては、「ド・モルガンの法則、含意の定義、交換法則」を適用することが、出来ない。
すなはち、
（05）
④ ではなく、
① であれば、
１ （１）君子→～（以其所‐以養人者＆害人） Ａ
２（２）君子 Ａ
１２（３） ～（以其所‐以養人者＆害人） １２ＭＰＰ
１２（４） ～以其所‐以養人者∨～害人 ３ド・モルガンの法則
１２（５） 以其所‐以養人者→～害人 ４含意の定義
１ （６）君子→（以其所‐以養人者→～害人） ２５ＣＰ
１２（７） ～害人∨～以其所‐以養人者 ４交換法則
１２（８） 害人→～以其所‐以養人者 ７含意の定義
1 （９）君子→（害人→～以其所‐以養人者） ２８ＣＰ
である。
従って、
（05）により、
（06）
① 君子不以其所以養人者害人＝
① 君子→～（以其所‐以養人者＆害人）。
② 君子→（以其所‐以養人者→～害人）。
③ 君子→（害人→～以其所‐以養人者）。
に於いて、
①＝②＝③ である。
従って、
（06）により、
（07）
① 君子不以其所以養人者害人＝
① 君子不｛以［其所‐以〔養（人）〕者］害（人）｝⇒
① 君子｛［其〔（人）養〕所‐以者］以（人）害｝不＝
① 君子は｛［其の〔（人を）養ふ〕所‐以の者を］以て（人を）害せ｝ず＝
① 君子であるならば、彼が人々を養ふための所以である土地のために、人々を害する。といふことはしない。
といふ「漢文・訓読」は、
② 君子であるならば、彼が人々を養ふための所以である土地のためにするならば、その時は、人々を害さない。
③ 君子であるならば、人々を害するのであれば、その時は、彼が人々を養ふための所以である土地のためにしない。
といふ「意味」である。
ｃｆ.
其の＝ｈｉｓ＝君子の。
然るに、
（08）
② 君子であるならば、彼が人々を養ふための所以である土地のためにするならば、その時は、人々を害さない。
③ 君子であるならば、人々を害するのであれば、その時は、彼が人々を養ふための所以である土地のためにしない。
といふことは、
① 君子であること、と、
② 彼が、人々を養ふための所以である土地のためにしつつ、人々を害すること、と、
は、「両立しない」。
といふ、意味」である。
然るに、
（09）
ここに至って大王は都の長老を集めて告げました、『蛮族が欲しがっているのは、わが国の土地だ。余はこう聞いている。君子は人々の生活する元（つまり土地）をめぐって争い人命を損ねたりはしない、と。諸君、君主がいなくなっても憂うな。余はこれからこの都を去って、梁山を越え岐山のふもとへ拠点を作って落ちのびようと思う。』と（十五 - 孟子を読む）。
従って、
（08）（09）により、
（10）
③ 大王は、君子であったため、それまで住んでゐた「土地」を「放棄」しなければ、人々を害することになると判断して、その「土地」を「放棄」した。
といふ、ことになる。
然るに、
（11）
（ⅰ）
１ （１） ∀ｘ∀ｙ｛君ｘｙ＆人ｙｘ→～∃ｚ（養ｚｙ＆害ｚｙ＆所ｚｘｙ）｝ Ａ
１ （２） ∀ｙ｛君ａｙ＆人ｙａ→～∃ｚ（養ｚｙ＆害ｚｙ＆所ｚａｙ） １ＵＥ
１ （３） ｛君ａｂ＆人ｂａ→～∃ｚ（養ｚｂ＆害ｚｂ＆所ｚａｂ） ２ＵＥ
４ （４） 君ａｂ＆人ｂａ Ａ
１４ （５） ～∃ｚ（養ｚｂ＆害ｚｂ＆所ｚａｂ） ３４ＭＰＰ
１４ （６） ∀ｚ～（養ｚｂ＆害ｚｂ＆所ｚａｂ） ５量化子の関係
１４ （７） ～（養ｃｂ＆害ｃｂ＆所ｃａｂ） ６ＵＥ
１ （８） 君ａｂ＆人ｂａ→ ～（養ｃｂ＆害ｃｂ＆所ｃａｂ） ４７ＣＰ
９ （９） 君ａｂ＆人ｂａ Ａ
ア（ア） （養ｃｂ＆害ｃｂ＆所ｃａｂ） Ａ
１ ９ （イ） ～（養ｃｂ＆害ｃｂ＆所ｃａｂ） ８９ＭＰＰ
１ ９ア（ウ） （養ｃｂ＆害ｃｂ＆所ｃａｂ）＆～（養ｃｂ＆害ｃｂ＆所ｃａｂ） アイ＆Ｉ
１ ア（エ） ～（君ａｂ＆人ｂａ） ９ウＲＡＡ
１ （オ） （養ｃｂ＆害ｃｂ＆所ｃａｂ）→～（君ａｂ＆人ｂａ） アエＣＰ
１ （カ） ∀ｙ｛（養ｃｙ＆害ｃｙ＆所ｃａｙ）→～（君ａｙ＆人ｙａ）｝ オＵＩ
１ （キ） ∀ｘ∀ｙ｛（養ｃｙ＆害ｃｙ＆所ｃｘｙ）→～（君ｘｙ＆人ｙｘ）｝ カＵＩ
１ （ク）∀ｚ∀ｘ∀ｙ｛（養ｚｙ＆害ｚｙ＆所ｚｘｙ）→～（君ｘｙ＆人ｙｘ）｝ キＵＩ
（ⅱ）
１ （１）∀ｚ∀ｘ∀ｙ｛（養ｚｙ＆害ｚｙ＆所ｚｘｙ）→～（君ｘｙ＆人ｙｘ）｝ Ａ
１ （２） ∀ｘ∀ｙ｛（養ｃｙ＆害ｃｙ＆所ｃｘｙ）→～（君ｘｙ＆人ｙｘ）｝ １ＵＥ
１ （３） ∀ｙ｛（養ｃｙ＆害ｃｙ＆所ｃａｙ）→～（君ａｙ＆人ｙａ）｝ ２ＵＥ
１ （４） （養ｃｂ＆害ｃｂ＆所ｃａｂ）→～（君ａｂ＆人ｂａ） ３ＵＥ
５ （５） ∃ｚ（養ｚｂ＆害ｚｂ＆所ｚａｂ） Ａ
６ （６） （養ｃｂ＆害ｃｂ＆所ｃａｂ） Ａ
７（７） （君ａｂ＆人ｂａ） Ａ
１ ６ （８） ～（君ａｂ＆人ｂａ） ４６ＭＰＰ
１ ６７（９） （君ａｂ＆人ｂａ）＆～（君ａｂ＆人ｂａ） ７８＆Ｉ
１５ ７（ア） （君ａｂ＆人ｂａ）＆～（君ａｂ＆人ｂａ） ５６９ＥＥ
１ ７（イ） ～∃ｚ（養ｚｂ＆害ｚｂ＆所ｚａｂ） ５アＲＡＡ
１ （ウ） 君ａｂ＆人ｂａ→～∃ｚ（養ｚｂ＆害ｚｂ＆所ｚａｂ） ７イＣＰ
１ （エ） ∀ｙ｛君ａｙ＆人ｙａ→～∃ｚ（養ｚｙ＆害ｚｙ＆所ｚａｙ）｝ ウＵＩ
１ （オ） ∀ｘ∀ｙ｛君ｘｙ＆人ｙｘ→～∃ｚ（養ｚｙ＆害ｚｙ＆所ｚｘｙ）｝ エＵＩ
従って、
（11）により、
（12）
（ⅰ） ∀ｘ∀ｙ｛君ｘｙ＆人ｙｘ→～∃ｚ（養ｚｙ＆害ｚｙ＆所ｚｘｙ）｝
（ⅱ）∀ｚ∀ｘ∀ｙ｛（養ｚｙ＆害ｚｙ＆所ｚｘｙ）→～（君ｘｙ＆人ｙｘ）｝
に於いて、
（ⅰ）＝（ⅱ） である。
従って、
（12）により、
（13）
（ⅰ）すべてのｘとｙについて、ｘがｙの君子であって、ｙがｘの人民であるならば、あるｚが、ｙを養ひ、ｙを害ふ、ｘとｙの所以である。といふことはない。
（ⅱ）すべてのｚとｘとｙについて、ｚがｙを養ひ、ｚがｙを害ふ、ｘとｙの所以であるならば、ｘがｙの君子であって、ｙがｘの人民である。といふことはない。
に於いて、
（ⅰ）＝（ⅱ） である。
然るに、
（14）
（ⅰ）すべてのｘとｙについて、ｘがｙの君子であって、ｙがｘの人民であるならば、あるｚが、ｙを養ひ、ｙを害ふ、ｘとｙの所以である。といふことはない。
（ⅱ）すべてのｚとｘとｙについて、ｚがｙを養ひ、ｚがｙを害ふ、ｘとｙの所以であるならば、ｘがｙの君子であって、ｙがｘの人民である。といふことはない。
といふことは、
（ⅲ）ｘがｙの君子で、ｙがｘの人民であること。
（ⅳ）ｚが、ｙを養ひ、ｙを害ふ、ｘとｙの所以（理由・目的・手段）であること。
に於いて、
（ⅲ）と（ⅳ）は、「両立しない」。
といふ、「意味」である。
従って、
（08）（14）により、
（15）
① 君子不以其所以養人者害人＝
① 君子不｛以［其所‐以〔養（人）〕者］害（人）｝⇒
① 君子｛［其〔（人）養〕所‐以者］以（人）害｝不＝
① 君子は｛［其の〔（人を）養ふ〕所‐以の者を］以て（人を）害せ｝ず＝
① 君子であるならば、彼が人々を養ふための所以である土地のために、人々を害する。といふことはしない。
といふ「漢文・訓読」は、
② ∀ｘ∀ｙ｛君ｘｙ＆人ｙｘ→～∃ｚ（養ｚｙ＆害ｚｙ＆所ｚｘｙ）｝。
③ ∀ｚ∀ｘ∀ｙ｛（養ｚｙ＆害ｚｙ＆所ｚｘｙ）→～（君ｘｙ＆人ｙｘ）｝。
といふ「述語論理」に、相当する。
令和元年０５月０８日、毛利太。
0 件のコメント:
コメントを投稿