日本語は論理的である。述語論理訓読。

（ａ）『返り点と括弧』については、『「括弧」の「順番」（https://kannbunn.blogspot.com/2018/01/blog-post.html）』他をお読み下さい。
（ｂ）『返り点』については、『「返り点」の「付け方」を教へます（https://kannbunn.blogspot.com/2018/01/blog-post_3.html）』他をお読み下さい。
（01）
「量化子の関係」により、
① ∃ｘ　∀ｙ　囗（ｘｙ）
② ∃ｘ～∃ｙ～囗（ｘｙ）
③ ～∀ｘ∃ｙ～囗（ｘｙ）
に於いて、
①＝②＝③ である。
従って、
（01）により、
（02）
ｘ＝人
ｙ＝人
囗＝愛す
であるとして、
① ∃ｘ　∀ｙ　愛（ｘｙ）＝ある人はすべての人を愛す。
② ∃ｘ～∃ｙ～愛（ｘｙ）＝ある人が愛さない人はゐない。
③ ～∀ｘ∃ｙ～愛（ｘｙ）＝すべての人がある人を愛さない。といふことはない。
に於いて、
①＝②＝③ である。
（03）
① ∃ｘ　∀ｙ　愛（ｘｙ）
② ∃ｘ～∃ｙ～愛（ｘｙ）
③ ～∀ｘ∃ｙ～愛（ｘｙ）
といふ「関係」を、説明する上で都合が良いため、「取税人」について、引用すると、次の通りである。
（04）
これらの取税人たちはユダヤ人であって、しかも異邦人（ローマ人）の政府につかえており、民衆を搾取したので、人々により罪人、遊女、異邦人と一緒に考えられた。しかし、主イエスは取税人の友であられた。たとえばマタイやザアカイ等の取税人を愛されたことが福音書に記されている（日本基督教団出版局、聖書辞典、1961年、５１５頁改）。
従って、
（05）
２０００年前の、ユダヤ人社会にあって、「嫌われ者の最たる者」が、「取税人」であったにも拘らず、イエスだけは、そのやうな「取税人」をも愛された。
といふことになる。
従って、
（06）
ｘ＝２０００年前のユダヤ人
ｙ＝２０００年前のユダヤ人
であるとして、
① ∃ｘ　∀ｙ　愛（ｘｙ）＝ある人（イエス）は（取税人を含む）すべての人を愛す。
② ∃ｘ～∃ｙ～愛（ｘｙ）＝ある人（イエス）が愛さない人は（、たとえ、取税人であっても）ゐない。
③ ～∀ｘ∃ｙ～愛（ｘｙ）＝（イエスを含む）すべての人がある人を（、たとへば、取税人を）を愛さない。といふことはない。
に於いて、
①＝②＝③ である。
従って、
（02）（06）により、
（07）
もう一度、確認すると、
① ∃ｘ　∀ｙ　愛（ｘｙ）＝ある人はすべての人を愛す。
② ∃ｘ～∃ｙ～愛（ｘｙ）＝ある人が愛さない人はゐない。
③ ～∀ｘ∃ｙ～愛（ｘｙ）＝すべての人がある人を愛さない。といふことはない。
であるものの、この場合、「左辺」である、
① ∃ｘ　∀ｙ　愛（ｘｙ）
② ∃ｘ～∃ｙ～愛（ｘｙ）
③ ～∀ｘ∃ｙ～愛（ｘｙ）
といふ「論理式」が、「非論理的」である。といふことは、有り得ない。
従って、
（07）により、
（08）
① ∃ｘ　∀ｙ　愛（ｘｙ）＝ある人はすべての人を愛す。
② ∃ｘ～∃ｙ～愛（ｘｙ）＝ある人が愛さない人はゐない。
③ ～∀ｘ∃ｙ～愛（ｘｙ）＝すべての人がある人を愛さない。といふことはない。
といふ「等式」の「右辺」である、
① 　　　　　　　　　　　　ある人はすべての人を愛す。
② 　　　　　　　　　　　　ある人が愛さない人はゐない。
③ 　　　　　　　　　　　　すべての人がある人を愛さない。といふことはない。
といふ「日本語」が「非論理的な言語」である。といふことは、有り得ない。
然るに、
（09）
論理思考から連想される、「論理学」は哲学、数学、計算機科学等の一部となる学問分野である。― 中略 ―、これら学問的な文脈からは、「論理的」という表現や「論理的思考」が何かは規定されておらず、これらは学術用語であるとは認められない。学問的な意味での論理は、日常的に使われる論理のイメージとは異なったものであることは、広く指摘されている（ウィキペディア）。
それ故、
（10）
「英語やフランス」は「論理的な言語」であって、「日本語」は「非論理的な言語」である。と言はれるとき、何を以て、「論理的」であるとか、「非論理的」である。と言ふのかが、私には、分からない。
然るに、
（11）
（ａ）
１　　　（１）　　　∃ｘ∀ｙ囗（ｘｙ）　Ａ
　２　　（２）　　　　　∀ｙ囗（ａｙ）　Ａ
　２　　（３）　　　　　　　囗（ａｂ）　２ＵＥ
　　４　（４）　　　　∃ｙ～囗（ａｙ）　Ａ
　　　５（５）　　　　　　～囗（ａｂ）　Ａ
　２　５（６）囗（ａｂ）＆～囗（ａｂ）　３５＆Ｉ
　２４　（７）囗（ａｂ）＆～囗（ａｂ）　４５６ＥＥ
　２　　（８）　　　～∃ｙ～囗（ａｙ）　４７ＲＡＡ
　２　　（９）　∃ｘ～∃ｙ～囗（ｘｙ）　８ＥＩ
１　　　（ア）　∃ｘ～∃ｙ～囗（ｘｙ）　１２９ＥＥ
（ｂ）
１　　　（１）　∃ｘ～∃ｙ～囗（ｘｙ）　　Ａ
　２　　（２）　　　～∃ｙ～囗（ａｙ）　　Ａ
　　３　（３）　　　　　　～囗（ａｂ）　　Ａ
    ３　（４）　　　　∃ｙ～囗（ａｙ）　　３ＥＩ
　２３　（５）　　　～∃ｙ～囗（ａｙ）＆
　　　　　　　　　　　∃ｙ～囗（ａｙ）　　２４＆Ｉ
　２　　（６）　　　　　～～囗（ａｂ）　　３５ＲＡＡ
　２　　（７）　　　　　　　囗（ａｂ）　　６ＤＮ
１　　　（８）　　　　　　　囗（ａｂ）　　１２７ＥＥ
１　　　（９）　　　　　∀ｙ囗（ａｙ）　　８ＵＩ
１　　　（ア）　　　∃ｘ∀ｙ囗（ｘｙ）　　９ＥＩ
（12）
（ａ）
１　　　（１）　　　∃ｘ∀ｙ囗（ｘｙ）　Ａ
　２　　（２）　　　　　∀ｙ囗（ａｙ）　Ａ
　２　　（３）　　　　　　　囗（ａｂ）　２ＵＥ
　　４　（４）　　∀ｘ∃ｙ～囗（ｘｙ）　Ａ
　　４　（５）　　　　∃ｙ～囗（ａｙ）　４ＵＥ
　　　６（６）　　　　　　～囗（ａｂ）　Ａ
　　４　（７）　　　　　　～囗（ａｂ）　５６６ＥＥ
　２４　（８）囗（ａｂ）＆～囗（ａｂ）　３７＆Ｉ
　２　　（９）　～∀ｘ∃ｙ～囗（ｘｙ）　４８ＲＡＡ
１　　　（ア）　～∀ｘ∃ｙ～囗（ｘｙ）　１２９ＥＥ
（ｂ）
１　　　　（１）～∀ｘ∃ｙ～囗（ｘｙ）　　Ａ
　２　　　（２）　～∃ｘ∀ｙ囗（ｘｙ）　　Ａ
　　３　　（３）　　　　∀ｙ囗（ａｙ）　　Ａ
　　３　　（４）　　∃ｘ∀ｙ囗（ｘｙ）　　３ＥＩ
　２３　　（５）　～∃ｘ∀ｙ囗（ｘｙ）＆
　　　　　　　　　　∃ｘ∀ｙ囗（ｘｙ）　　２４＆Ｉ
　２　　　（６）　　　～∀ｙ囗（ａｙ）　　３５ＲＡＡ
　　　７　（７）　　～∃ｙ～囗（ａｙ）　　Ａ
　　　　８（８）　　　　　～囗（ａｂ）　　Ａ
　　　　８（９）　　　∃ｙ～囗（ａｙ）　　８ＥＩ
　　　７８（ア）　　～∃ｙ～囗（ａｙ）＆
　　　　　　　　　　　∃ｙ～囗（ａｙ）　　７９＆Ｉ
　　　７　（イ）　　　　～～囗（ａｂ）　　８アＲＡＡ
　　　７　（ウ）　　　　　　囗（ａｂ）　　イＤＮ
　　　７　（エ）　　　　∀ｙ囗（ａｙ）　　ウＵＩ
　２　７　（オ）　　　～∀ｙ囗（ａｙ）＆
　　　　　　　　　　　　∀ｙ囗（ａｙ）　　６エ＆Ｉ
　２　　　（カ）　～～∃ｙ～囗（ａｙ）　　７オＲＡＡ
　２　　　（キ）　　　∃ｙ～囗（ａｙ）　　カＤＮ
　２　　　（ク）　∀ｘ∃ｙ～囗（ｘｙ）　　キＵＩ
１２　　　（ケ）～∀ｘ∃ｙ～囗（ｘｙ）＆
　　　　　　　　　∀ｘ∃ｙ～囗（ｘｙ）　　１ク＆Ｉ
１　　　　（コ）～～∃ｘ∀ｙ囗（ｘｙ）　　２ケＲＡＡ
１　　　　（サ）　　∃ｘ∀ｙ囗（ｘｙ）　　コＤＮ
従って、
（01）（11）（12）により、
（13）
① ∃ｘ　∀ｙ　囗（ｘｙ）
② ∃ｘ～∃ｙ～囗（ｘｙ）
③ ～∀ｘ∃ｙ～囗（ｘｙ）
に於いて、
①＝②＝③ である。
といふ、「量化子の関係」は、「述語論理学的」である。
従って、
（02）（13）により、
（14）
ｘ＝人
ｙ＝人
囗＝愛す
であるとして、
① ∃ｘ　∀ｙ　愛（ｘｙ）＝ある人はすべての人を愛す。
② ∃ｘ～∃ｙ～愛（ｘｙ）＝ある人が愛さない人はゐない。
③ ～∀ｘ∃ｙ～愛（ｘｙ）＝すべての人がある人を愛さない。といふことはない。
に於いて、
①＝②＝③ である。
といふ、ことからすれば、
① ある人はすべての人を愛す。
② ある人が愛さない人はゐない。
③ すべての人がある人を愛さない。といふことはない。
といふ「日本語」は、「述語論理学的」である。
（15）
① ∃ｘ　∀ｙ　愛（ｘｙ）
② ∃ｘ～∃ｙ～愛（ｘｙ）
③ ～∀ｘ∃ｙ～愛（ｘｙ）
といふ「述語論理」を、
① ある人はすべての人を愛す。
② ある人が愛さない人はゐない。
③ すべての人がある人を愛さない。といふことはない。
といふ風に「読む」、「読み方」は、「E.J.ﾚﾓﾝ 著、論理学初歩、竹尾治一郎・浅野楢英、1973年」他に載ってゐるわけではない。
（16）
① ある人はすべての人を愛す。
② ある人が愛さない人はゐない。
③ すべての人がある人を愛さない。といふことはない。
といふ風に「読む」のは、
① ∃ｘ　∀ｙ　愛（ｘｙ）
② ∃ｘ～∃ｙ～愛（ｘｙ）
③ ～∀ｘ∃ｙ～愛（ｘｙ）
といふ「述語論理」の「意味」を考へると、『日本語』では、そのやうな『語順』になるので、私自身は、そのやうに読んでゐる。
（17）
④ 無親不愛其子＝親にして其の子を愛せ不るは無し。
といふ「漢文訓読」であれば、
④ 二　一レ　二　一
といふ「返り点」が付くやうに、
② ∃ｘ～∃ｙ～愛（ｘｙ）＝ある人が愛さない人はゐない。
といふ「述語論理訓読」であれば、
② レ　二－　レ　一
といふ「返り点」が、付くことになる。
平成３０年０８月１８日、毛利太。