「未有仁而遺其親者也。」の「述語論理」と「再読文字（未）」。

―「返り点と括弧」に関しては、『「返り点」と「括弧」の関係（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）』他をお読み下さい。―
（01）
未
読み方：いまダ～ず
訳：まだ～ない
再読文字とは、返り点に関係なくまず副詞として読み、その後、返り点に従って、下から戻って動詞・助動詞として読む漢字のことです。
（ViCOLLA Magazine 改）
然るに、
（02）
ｎｅｖｅｒ［副詞］
《ｎｅ「・・・でない＋ｅｖｅｒ「かつて」》
① 一度も・・・ない。いまだかつて・・・ない。
② 決して・・・ない。少しも・・・ない。
（フェイバリット英和辞典、1996年）
従って、
（01）（02）により、
（03）
① I have never been to New York.⇔
① 私は未だかつてニューヨークに行ったことがない。
に於ける、
① ｎｅｖｅｒ＝未だかつて・・・ない。
は、「英語の、再読文字（未）」である。
従って、
（01）（02）（03）により、
（04）
「再読文字」自体が、「不自然な読み方」である。といふわけではない。
（05）
① 未有仁而遺其親者也＝
① 未不［有〔仁而遺（其親）者〕］也⇒
① 未［〔仁而（其親）遺者〕有］不也＝
① 未だ仁にして其の親を遺つる者は有らざるなり＝
① 昔から仁に志すもので親をすてさったものは一人もいない（孟子・梁惠王章句上、小林勝人 訳）。
然るに、
（06）
① 昔から仁に志すもので親をすてさったものは一人もいない。
といふことは、
① 仁者であって、自分の親を遺棄する者はゐない。
といふことである。
然るに、
（07）
① 仁者であって、自分の親を遺棄する者はゐない。
といふことは、
① ∀ｘ｛仁ｘ→～∃ｙ（親ｙｘ＆遺ｘｙ）｝⇔
① すべてのｘについて、ｘが仁者であるならば、あるｙはｘの親であって、ｘがｙを遺棄するといふ、そのやうなｙは存在しない。
といふことに、他ならない。
然るに、
（08）
（ⅰ）
１　　　（１）∀ｘ｛仁ｘ→～∃ｙ（親ｙｘ＆遺ｘｙ）｝　Ａ
１　　　（２）　　　仁ａ→～∃ｙ（親ｙａ＆遺ａｙ）　　１ＵＥ
　３　　（３）　　　仁ａ　　　　　　　　　　　　　　　Ａ
１３　　（４）　　　　　　～∃ｙ（親ｙａ＆遺ａｙ）　　２３ＭＰＰ
１３　　（５）　　　　　　∀ｙ～（親ｙａ＆遺ａｙ）　　４量化子の関係
１３　　（６）　　　　　　　　～（親ｂａ＆遺ａｂ）　　５ＵＥ
１３　　（７）　　　　　　　　～親ｂａ∨～遺ａｂ　　　６ド・モルガンの法則
１３　　（８）　　　　　　　　　親ｂａ→～遺ａｂ　　　７含意の定義
１３　　（９）　　　　　　∀ｙ（親ｙａ→～遺ａｙ）　　８ＵＩ
１　　　（ア）　　  仁ａ→∀ｙ（親ｙａ→～遺ａｙ）    ３９ＣＰ
１　　　（イ）∀ｘ｛仁ｘ→∀ｙ（親ｙｘ→～遺ｘｙ）｝　アＵＩ
（ⅱ）
１　　　（１）∀ｘ｛仁ｘ→∀ｙ（遺ｘｙ→～親ｙｘ）｝　Ａ
１　　　（２）　　　仁ａ→∀ｙ（遺ａｙ→～親ｙａ）　　１ＵＥ
　３　　（３）　　　仁ａ　　　　　　　　　　　　　　　Ａ
１３　　（４）　　　　　　∀ｙ（遺ａｙ→～親ｙａ）　　２３ＭＰＰ
１３　　（５）　　　　　　　　　遺ａｂ→～親ｂａ　　　４ＵＥ
１３　　（６）　　　　　　　　～遺ａｂ∨～親ｂａ　　　５含意の定仁
１３　　（７）　　　　　　　～（遺ａｂ＆　親ｂａ）　　６ド・モルガンの法則
１３　　（８）　　　　　∀ｙ～（遺ａｂ＆　親ｂａ）　　７ＵＩ
１３　　（９）　　　　　～∃ｙ（遺ａｙ＆　親ｙａ）　　８量化子の関係
１　　　（ア）　　　仁ａ→～∃ｙ（遺ａｙ＆親ｙａ）　　３９ＣＰ
１　　　（イ）∀ｘ｛仁ｘ→～∃ｙ（親ｙｘ＆遺ｘｙ）　　アＵＩ
従って、
（08）により、
（09）
① ∀ｘ｛仁ｘ→～∃ｙ（親ｙｘ＆遺ｘｙ）｝
② ∀ｘ｛仁ｘ→∀ｙ（親ｙｘ→～遺ｘｙ）｝
に於いて、
①＝② である。
従って、
（07）（09）により、
（10）
① 仁者であって、自分の親を遺棄する者はゐない。
といふことは、
① ∀ｘ｛仁ｘ→～∃ｙ（親ｙｘ＆遺ｘｙ）｝⇔
② ∀ｘ｛仁ｘ→∀ｙ（親ｙｘ→～遺ｘｙ）｝⇔
① すべてのｘについて、ｘが仁者であるならば、あるｙはｘの親であって、ｘがｙを遺棄するといふ、そのやうなｙは存在しない。
② すべてのｘについて、ｘが仁者であるならば、すべてのｙについて、ｙがｘの親であるならば、ｘはｙを遺棄しない。
といふことに、他ならない。
従って、
（10）により、
（11）
② ∀ｘ｛仁ｘ→∀ｙ（親ｙｘ→～遺ｘｙ）｝⇔
② すべてのｘについて、ｘが仁者であるならば、すべてのｙについて、ｙがｘの親であるならば、ｘはｙを遺棄しない。
といふ「述語論理」は、
② すべてのｘについて、・・・・・・、ｘは、・・・しない。
といふ「形」をしてゐる。
然るに、
（11）により、
（12）
② ∀ｘ｛仁ｘ→∀ｙ（親ｙｘ→～遺ｘｙ）｝
に於いて、
② ∀ｘ
といふ「 量化子 」は、「二度、読まれてゐて、二度目に、否定で、文を終へてゐる。」
然るに、
（01）（05）により、
（13）
① 未だ仁にして其の親を遺つる者は有らず。
に於いて、
① 未だ
といふ「再読文字」は、「二度、読まれてゐて、二度目に、否定で、文を終へてゐる。」
従って、
（12）（13）により、
（14）
① 未だ仁にして其の親を遺つる者は有らず。
② ∀ｘ｛仁ｘ→∀ｙ（親ｙｘ→～遺ｘｙ）｝
に於いて、
「再読文字と量化子」は、「二度、読まれてゐて、二度目に、否定で、文を終へてゐる。」
従って、
（14）により、
（15）
① 未だ仁にして其の親を遺つる者は有らず。
② ∀ｘ｛仁ｘ→∀ｙ（親ｙｘ→～遺ｘｙ）｝
に於いて、
① 未だ　の「働き」と、
② ∀ｘ　の「働き」は、「似てゐる。」
従って、
（01）（14）（15）により、
（16）
② ∀ｘ｛仁ｘ→∀ｙ（親ｙｘ→～遺ｘｙ）｝
に於ける、
② ∀ｘ
といふ「量化子」は、「再読文字」ではないにせよ、「再読文字的」である。
平成３１年０４月１８日、毛利太。