返り点に対する「括弧」の用法。

2019年8月4日日曜日

「矛盾・韓非子」の「述語論理」（Ⅲ）。

（01） ― 矛盾・韓非子 ― 楚人有鬻盾与矛者。誉之曰、吾盾之堅、莫能陥也。又誉其矛曰、矛之利、於物無不陥也。或曰、以子之矛、陥子之盾、何如。其人弗能応也＝楚人有［鬻〔盾与（矛）〕者］。誉（之）曰、吾盾之堅、莫（能陥）也。又誉（其矛）曰、矛之利、於（物）無〔不（陥）〕也。或曰、以（子之矛）、陥（子之盾）、何如。其人弗〔能（応）〕也⇒ 楚人に［〔盾と（矛）とを〕鬻ぐ者］有り。（之を）誉めて曰く、吾が盾の堅きこと、（能く陥す）莫きなり。又た（其の矛を誉めて）曰く、吾が矛の利なること、（物に）於いて〔（陥さ）不る〕無きなり。或ひと曰く、（子の矛を）以て、（子の盾を）陥さば、何如ん。其の人〔（応ふる）能は〕ざるなり＝楚の国の人で盾と矛とを売る者がゐた。自分の盾を誉めて言った。私の盾を突き通すことができるものはない。又其の矛を誉めて言った。私の矛の鋭いことには、どんな物でも突き通すことができないものはない。或るひとが言った。あなたの矛で、あなたの盾を突いたらどうなるのか。其の（盾と矛を売る）人は、答へることが、出来なかった。然るに、（02）１　　　　　　　（１）∃ｘ（盾ｘ）＆∃ｙ（矛ｙ）　　　　　　Ａ１　　　　　　　（２）∃ｘ（盾ｘ）　　　　　　　　　　　　　１＆Ｅ　３　　　　　　（３）　　　盾ａ　　　　　　　　　　　　　　Ａ１　　　　　　　（４）　　　　　　　∃ｙ（矛ｙ）　　　　　　１＆Ｅ　　５　　　　　（５）　　　　　　　　　　矛ｂ　　　　　　　Ａ　　　６　　　　（６）∀ｙ｛矛ｙ→∃ｘ（盾ｘ＆～陥ｙｘ）｝　Ａ　　　６　　　　（７）　　　矛ｂ→∃ｘ（盾ｘ＆～陥ｂｘ）　　６ＵＥ　　５６　　　　（８）　　　　　　∃ｘ（盾ｘ＆～陥ｂｘ）　　５７ＭＰＰ　　　　９　　　（９）　　　　　　　　　盾ａ＆～陥ｂａ　　　Ａ　　　　９　　　（ア）　　　　　　　　　　　　～陥ｂａ　　　９＆Ｅ　　　　　イ　　（イ）∀ｘ｛盾ｘ→∃ｙ（矛ｙ＆　陥ｙｘ）｝　Ａ　　　　　イ　　（ウ）　　　盾ａ→∃ｙ（矛ｙ＆　陥ｙａ）　　イＵＥ　３　　　イ　　（エ）　　　　　　∃ｙ（矛ｙ＆　陥ｙａ）　　３ウＭＰＰ　　　　　　オ　（オ）　　　　　　　　　矛ｂ＆　陥ｂａ　　　Ａ　　　　　　オ　（カ）　　　　　　　　　　　　　陥ｂａ　　　オ＆Ｅ　　　　９　オ　（キ）　　　　　　　　～陥ｂａ＆陥ｂａ　　　アカ＆Ｉ　　５６　　オ　（ク）　　　　　　　　～陥ｂａ＆陥ｂａ　　　８９キＥＥ　３５６　イ　　（ケ）　　　　　　　　～陥ｂａ＆陥ｂａ　　　エオクＥＥ１　５６　イ　　（コ）　　　　　　　　～陥ｂａ＆陥ｂａ　　　２３ケＥＥ１　　６　イ　　（サ）　　　　　　　　～陥ｂａ＆陥ｂａ　　　４５コＥＥ　　　６　イ　　（シ）～｛∃ｘ（盾ｘ）＆　∃ｙ（矛ｙ）｝　　１サＲＡＡ　　　６　イ　　（ス）　～∃ｘ（盾ｘ）∨～∃ｙ（矛ｙ）　　　シ、ド・モルガンの法則　　　６　イ　　（セ）　　∃ｘ（盾ｘ）→～∃ｙ（矛ｙ）　　　ス含意の定義　　　　　　ソ　（ソ）　　　　　　　　　　∃ｙ（矛ｙ）　　　Ａ　　　　　　ソ　（タ）　　　　　　　　～～∃ｙ（矛ｙ）　　　ソＤＮ　　　６　イソ　（チ）　～∃ｘ（盾ｘ）　　　　　　　　　　　セタＭＴＴ　　　６　イ　　（ツ）　　∃ｙ（矛ｙ）→～∃ｘ（盾ｘ）　　　ソチＣＰ　　　６　イ　　（テ）　　∃ｘ（盾ｘ）→～∃ｙ（矛ｙ）＆　　　　　　　　　　　　　∃ｙ（矛ｙ）→～∃ｘ（盾ｘ）　　　セツ＆Ｉ（03）（ⅰ）１　　　　　　　（１）　　∃ｘ（盾ｘ）→～∃ｙ（矛ｙ）　　Ａ　２　　　　　　（２）　　∃ｘ（盾ｘ）＆　∃ｙ（矛ｙ）　　Ａ　２　　　　　　（３）　　∃ｘ（盾ｘ）　　　　　　　　　　２＆Ｅ　２　　　　　　（４）　　　　　　　　　　∃ｙ（矛ｙ）　　２＆Ｅ１２　　　　　　（５）　　　　　　　　　～∃ｙ（矛ｙ）　　１３ＭＰＰ１２　　　　　　（６）　　∃ｙ（矛ｙ）＆～∃ｙ（矛ｙ）　　４５＆Ｉ１　　　　　　　（７）～｛∃ｘ（盾ｘ）＆　∃ｙ（矛ｙ）｝　２６ＲＡＡ（ⅱ）１　　　　　　　（１）～｛∃ｘ（盾ｘ）＆　∃ｙ（矛ｙ）｝　２６ＲＡＡ　２　　　　　　（２）　　∃ｘ（盾ｘ）　　　　　　　　　　Ａ　　３　　　　　（３）　　　　　　　　　　∃ｙ（矛ｙ）　　Ａ　２３　　　　　（４）　　∃ｘ（盾ｘ）＆　∃ｙ（矛ｙ）　　２３＆Ｉ　１２３　　　　　（５）～｛∃ｘ（盾ｘ）＆　∃ｙ（矛ｙ）｝　　　　　　　　　　　　＆（∃ｘ（盾ｘ）＆　∃ｙ（矛ｙ）｝　１４＆Ｉ１２　　　　　　（６）　　　　　　　　　～∃ｙ（矛ｙ）　　３５ＲＡＡ１　　　　　　　（７）　　∃ｘ（盾ｘ）→～∃ｙ（矛ｙ）　　２６ＣＰ従って、（03）により、（04） ① ∃ｘ（盾ｘ）→～∃ｙ（矛ｙ） ② ～｛∃ｘ（盾ｘ）＆　∃ｙ（矛ｙ）｝に於いて、 ①＝② である。従って、（04）により、（05） ③ ∃ｘ（矛ｘ）→～∃ｙ（盾ｙ） ④ ～｛∃ｘ（矛ｘ）＆　∃ｙ（盾ｙ）｝に於いて、 ③＝④ である。従って、（02）～（05）により、（06）１　　　　　　　（１）∃ｘ（盾ｘ）＆∃ｙ（矛ｙ）　　　　　　Ａ１　　　　　　　（２）∃ｘ（盾ｘ）　　　　　　　　　　　　　１＆Ｅ　３　　　　　　（３）　　　盾ａ　　　　　　　　　　　　　　Ａ１　　　　　　　（４）　　　　　　　∃ｙ（矛ｙ）　　　　　　１＆Ｅ　　５　　　　　（５）　　　　　　　　　　矛ｂ　　　　　　　Ａ　　　６　　　　（６）∀ｙ｛矛ｙ→∃ｘ（盾ｘ＆～陥ｙｘ）｝　Ａ　　　６　　　　（７）　　　矛ｂ→∃ｘ（盾ｘ＆～陥ｂｘ）　　６ＵＥ　　５６　　　　（８）　　　　　　∃ｘ（盾ｘ＆～陥ｂｘ）　　５７ＭＰＰ　　　　９　　　（９）　　　　　　　　　盾ａ＆～陥ｂａ　　　Ａ　　　　９　　　（ア）　　　　　　　　　　　　～陥ｂａ　　　９＆Ｅ　　　　　イ　　（イ）∀ｘ｛盾ｘ→∃ｙ（矛ｙ＆　陥ｙｘ）｝　Ａ　　　　　イ　　（ウ）　　　盾ａ→∃ｙ（矛ｙ＆　陥ｙａ）　　イＵＥ　３　　　イ　　（エ）　　　　　　∃ｙ（矛ｙ＆　陥ｙａ）　　３ウＭＰＰ　　　　　　オ　（オ）　　　　　　　　　矛ｂ＆　陥ｂａ　　　Ａ　　　　　　オ　（カ）　　　　　　　　　　　　　陥ｂａ　　　オ＆Ｅ　　　　９　オ　（キ）　　　　　　　　～陥ｂａ＆陥ｂａ　　　アカ＆Ｉ　　５６　　オ　（ク）　　　　　　　　～陥ｂａ＆陥ｂａ　　　８９キＥＥ　３５６　イ　　（ケ）　　　　　　　　～陥ｂａ＆陥ｂａ　　　エオクＥＥ１　５６　イ　　（コ）　　　　　　　　～陥ｂａ＆陥ｂａ　　　２３ケＥＥ１　　６　イ　　（サ）　　　　　　　　～陥ｂａ＆陥ｂａ　　　４５コＥＥ　　　６　イ　　（シ）～｛∃ｘ（盾ｘ）＆　∃ｙ（矛ｙ）｝　　１サＲＡＡ　　　６　イ　　（ス）　～∃ｘ（盾ｘ）∨～∃ｙ（矛ｙ）　　　シ、ド・モルガンの法則　　　６　イ　　（セ）　　∃ｘ（盾ｘ）→～∃ｙ（矛ｙ）　　　ス含意の定義　　　　　　ソ　（ソ）　　　　　　　　　　∃ｙ（矛ｙ）　　　Ａ　　　　　　ソ　（タ）　　　　　　　　～～∃ｙ（矛ｙ）　　　ソＤＮ　　　６　イソ　（チ）　～∃ｘ（盾ｘ）　　　　　　　　　　　セタＭＴＴ　　　６　イ　　（ツ）　　∃ｙ（矛ｙ）→～∃ｘ（盾ｘ）　　　ソチＣＰ　　　６　イ　　（テ）　　∃ｘ（盾ｘ）→～∃ｙ（矛ｙ）＆　　　　　　　　　　　　　∃ｙ（矛ｙ）→～∃ｘ（盾ｘ）　　　セツ＆Ｉ　　　６　イ　　（ト）～｛∃ｘ（盾ｘ）＆　∃ｙ（矛ｙ）｝＆　　　　　　　　　　　～｛∃ｘ（矛ｘ）＆　∃ｙ（盾ｙ）｝　　テ含意の定義従って、（06）により、（07）（１）ある盾ｘが存在し、ある矛ｙが存在する。　と「仮定」して、（６）すべてのｙについて、ｙが矛ならば、あるｘは盾であって、ｙはｘを陥さない。と「仮定」して、（イ）すべてのｘについて、ｘが盾ならば、あるｙは矛であって、ｙはｘを陥す。　　と「仮定」すると、（テ）ある盾ｘが存在するならば、ある矛ｙは存在せず、　　　ある矛ｙが存在するならば、ある盾ｘは存在しない。が故に、（ト）盾ｘと矛ｙが、「同時に、存在する」といふことはない。然るに、（08）夫不可陷之盾与無不陷之矛、不可同世而立。今堯舜之不可両譽、矛盾之説也＝夫不〔可（陷）〕之楯與［無〔不（陷）〕之矛］、不［可〔同（世）而立〕］。今堯舜之不〔可（両譽）〕、矛楯之説也⇒ 夫れ〔（陷す）可がら〕不るの楯と［〔（陷さ）不る〕無きの矛］とは、［〔（世を）同じくして立つ〕可から］不。今堯舜の〔（両つながら譽む）可から〕不るは、矛楯の説なり＝いかなる矛であっても、突き通すことが出来ない「盾」と、いかなる盾であってあっても、突き通さないことが無い「矛」とは、同時に存在することはできない。堯と舜とを同時に誉めたたへることが出来ないのは、この「盾と矛の例へ」と同じである。ｃｆ. 儒教思想を批判した韓非は、儒者が堯・舜を、万人を感化した聖人であるとして賞賛するのを反対して、堯が万人を感化したなら、もはや舜はその後をうけて人民を感化する必要はないし、舜が堯にかわって万人を感化する必要があったとするならば、堯は聖人として不十分であったという証拠になる。という。したがって堯・舜ふたりとも聖人であるというのは矛盾であるとして、この話を引用したのである。（旺文社、漢文の基礎、1973年、３４頁）従って、（06）（07）（08）により、（09）この場合の「韓非子の説」は、「漢文」としても、「日本語」としても、「述語論理」としても、「正しい」。令和元年０８月０４日、毛利太。

2019年8月2日金曜日

「他ならぬ君に踊って欲しい。」の「述語論理」と「強調形」と「ラテン語」。

― 長い間、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、（α）「返り点」と「括弧」に付いて。　：（https://kannbunn.blogspot.com/2017/12/blog-post_11.html）（β）「返り点」と「括弧」の条件。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_15.html）（γ）「返り点」と「括弧」の条件（Ⅱ）：（https://kannbunn.blogspot.com/2017/12/blog-post_16.html）（δ）「返り点」は、下には戻らない。　：（https://kannbunn.blogspot.com/2017/12/blog-post_20.html）（ε）「下中上点」等が必要な「理由」。：（https://kannbunn.blogspot.com/2017/12/blog-post_22.html）（ζ）「返り点・モドキ」について。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_24.html）⇒ 　Ｗｅｂ上には存在しますが、何故か、アクセス出来ません。（η）「一二点・上下点」に付いて。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_26.html）（θ）「括弧」の「順番」。　　　　　　：（https://kannbunn.blogspot.com/2018/01/blog-post.html）（ι）「返り点」と「括弧」の関係　　　：（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）等々、「その他、諸々」を、お読み下さい。― （01）（ⅰ）１　　　（１）∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（欲踊ｘｚ→ｚ＝ｙ｝　　　Ａ　２　　（２）　　∃ｙ｛我ａ＆汝ｙ＆∀ｚ（欲踊ａｚ→ｚ＝ｙ｝　　　Ａ　　３　（３）　　　　　我ａ＆汝ｂ＆∀ｚ（欲踊ａｚ→ｚ＝ｂ）　　　Ａ　　３　（４）　　　　　我ａ＆汝ｂ　　　　　　　　　　　　　　　　３＆Ｅ　　３　（５）　　　　　　　　　　　∀ｚ（欲踊ａｃ→ｃ＝ｂ）　　　３＆Ｅ　　３　（６）　　　　　　　　　　　　　　欲踊ａｃ→ｃ＝ｂ　　　　５ＵＥ　　　７（７）　　　　　　　　　　　　　　　　　　　ｃ≠ｂ　　　　Ａ　　３７（８）　　　　　　　　　　　　　～欲踊ａｃ　　　　　　　　６７ＭＴＴ　　３　（９）　　　　　　　　　　　　　　ｃ≠ｂ→～欲踊ａｃ　　　７８ＣＰ　　３　（ア）　　　　　　　　　　　∀ｚ（ｚ≠ｂ→～欲踊ａｚ）　　９ＵＩ　　３　（イ）　　　　　我ａ＆汝ｂ＆∀ｚ（ｚ≠ｂ→～欲踊ａｚ）　　４ア＆Ｉ　　３　（ウ）　　∃ｙ｛我ａ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ａｚ）｝　イＥＩ　２　　（エ）　　∃ｙ｛我ａ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ａｚ）｝　２３ウＥＥ　２　　（オ）∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝　エＥＩ１　　　（カ）∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝　１２オＥＥ（ⅱ）１　　　（１）∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝　１　２　　（２）　　∃ｙ｛我ａ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ａｚ）｝　Ａ　　３　（３）　　　　　我ａ＆汝ｂ＆∀ｚ（ｚ≠ｙ→～欲踊ａｚ）　　Ａ　　３　（４）　　　　　我ａ＆汝ｂ　　　　　　　　　　　　　　　　３＆Ｅ　　３　（５）　　　　　　　　　　　∀ｚ（ｚ≠ｙ→～欲踊ａｚ）　　３＆Ｅ　　３　（６）　　　　　　　　　　　　　　ｃ≠ｙ→～欲踊ａｃ　　　５ＵＥ　　　７（７）　　　　　　　　　　　　　　　　　　　欲踊ａｃ　　　Ａ　　　７（８）　　　　　　　　　　　　　　　　　～～欲踊ａｃ　　　７ＤＮ　　３７（９）　　　　　　　　　　　　～（ｃ≠ｙ）　　　　　　　　６８ＭＴＴ　　３７（ア）　　　　　　　　　　　　　　ｃ＝ｙ　　　　　　　　　６ＤＮ　　３　（イ）　　　　　　　　　　　　　　欲踊ａｃ→ｃ＝ｙ　　　　７アＣＰ　　３　（ウ）　　　　　　　　　　　∀ｚ（欲踊ａｚ→ｚ＝ｂ）　　　イＵＩ　　３　（エ）　　　　　我ａ＆汝ｂ＆∀ｚ（欲踊ａｚ→ｚ＝ｂ）　　　４ウ＆Ｉ　　３　（オ）　　∃ｙ｛我ａ＆汝ｙ＆∀ｚ（欲踊ａｚ→ｚ＝ｙ｝　　　エＥＩ　２　　（カ）　　∃ｙ｛我ａ＆汝ｙ＆∀ｚ（欲踊ａｚ→ｚ＝ｙ｝　　　２３オＥＥ　２　　（キ）∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（欲踊ｘｚ→ｚ＝ｙ｝　　　カＥＩ１　　　（ケ）∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（欲踊ｘｚ→ｚ＝ｙ｝　　　１２キＥＥ従って、（01）により、（02） ① ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（欲踊ｘｚ→ｚ＝ｙ）｝ ② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝に於いて、 ①＝② である。然るに、（03）（ⅱ）１　　　（１）　∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ｝　　Ａ　２　　（２）　　　∃ｙ｛我ａ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ａｚ｝　　Ａ　　３　（３）　　　　　　我ａ＆汝ｂ＆∀ｚ（ｚ≠ｂ→～欲踊ａｚ）　　Ａ　　３　（４）　　　　　　我ａ＆汝ｂ　　　　　　　　　　　　　　　　３＆Ｅ　　３　（５）　　　　　　　　　　　　∀ｚ（ｚ≠ｂ→～欲踊ａｚ）　　３＆Ｅ　　３　（６）　　　　　　　　　　　　　　　ｃ≠ｂ→～欲踊ａｃ　　　５ＵＥ　　３　（７）　　　　　　　　　　　　　　～ｃ≠ｂ∨～欲踊ａｃ　　　６含意の　　３　（８）　　　　　　　　　　　　　～（ｃ≠ｂ＆　欲踊ａｃ）　　７ド・モルガンの法則　　３　（９）　　　　　　　　　　　∀ｚ～（ｚ≠ｂ＆　欲踊ａｚ）　　８ＵＩ　　　３　（ア）　　　　　　　　　　　～∃ｚ（ｚ≠ｂ＆　欲踊ａｚ）　　９量化子の関係　　３　（イ）　～～（我ａ＆汝ｂ）　　　　　　　　　　　　　　　　　４ＤＮ　　３　（ウ）　～～（我ａ＆汝ｂ）＆～∃ｚ（ｚ≠ｂ＆　欲踊ａｚ）　　９イ＆Ｉ　　３　（エ）～｛～（我ａ＆汝ｂ）∨　∃ｚ（ｚ≠ｂ＆　欲踊ａｚ）｝　ウ、ド・モルガンの法則　　３　（オ）～｛　　我ａ＆汝ｂ　→　∃ｚ（ｚ≠ｂ＆　欲踊ａｚ）｝　エ含意の定義　　３　（カ）　　∃ｙ～｛我ａ＆汝ｙ→∃ｚ（ｚ≠ｙ＆　欲踊ａｚ）｝　オＥＩ　２　　（キ）　　∃ｙ～｛我ａ＆汝ｙ→∃ｚ（ｚ≠ｙ＆　欲踊ａｚ）｝　２３カＥＥ　２　　（ク）∃ｘ∃ｙ～｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆　欲踊ｘｚ）｝　キＥＩ１　　　（ケ）∃ｘ∃ｙ～｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆　欲踊ｘｚ）｝　１２クＥＥ１　　　（コ）∃ｘ～∀ｙ｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆　欲踊ｘｚ）｝　ケ量化子の関係１　　　（サ）～∀ｘ∀ｙ｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆　欲踊ｘｚ）｝　コ量化子の関係（ⅲ）１　　　（１）～∀ｘ∀ｙ｛我ｘ＆汝ｙ　→∃ｚ（ｚ≠ｙ＆欲踊ｘｚ）｝　Ａ１　　　（２）∃ｘ～∀ｙ｛我ｘ＆汝ｙ　→∃ｚ（ｚ≠ｙ＆欲踊ｘｚ）｝　１量化子の関係１　　　（３）∃ｘ∃ｙ～｛我ｘ＆汝ｙ　→∃ｚ（ｚ≠ｙ＆欲踊ｘｚ）｝　２量化子の関係　４　　（４）　　∃ｙ～｛我ａ＆汝ｙ　→∃ｚ（ｚ≠ｙ＆欲踊ａｚ）｝　Ａ　　５　（５）　　　　～｛我ａ＆汝ｂ　→∃ｚ（ｚ≠ｂ＆欲踊ａｚ）｝　Ａ　　５　（６）　　～｛～（我ａ＆汝ｂ）∨∃ｚ（ｚ≠ｂ＆欲踊ａｚ）｝　５含意の定義　　５　（７）　　～～（我ａ＆汝ｂ）＆～∃ｚ（ｚ≠ｂ＆欲踊ａｚ）　　６ド・モルガンの法則　　５　（８）　　　　（我ａ＆汝ｂ）＆～∃ｚ（ｚ≠ｂ＆欲踊ａｚ）　　７ＤＮ　　５　（９）　　　　（我ａ＆汝ｂ）　　　　　　　　　　　　　　　　８＆Ｅ　　５　（ア）　　　　　　　　　　　　～∃ｚ（ｚ≠ｂ＆欲踊ａｚ）　　８＆Ｅ　　５　（イ）　　　　　　　　　　　　∀ｚ～（ｚ≠ｂ＆欲踊ａｚ）　　ア量化子の関係　　５　（ウ）　　　　　　　　　　　　　　～（ｃ≠ｂ＆欲踊ａｃ）　　５ＵＥ　　５　（エ）　　　　　　　　　　　　　　～ｃ≠ｂ∨～欲踊ａｃ　　　ウ、ド・モルガンの法則　　５　（オ）　　　　　　　　　　　　　　　ｃ≠ｂ→～欲踊ａｃ　　　エ含意の定義　　５　（カ）　　　　　　　　　　　　∀ｚ｛ｚ≠ｂ→～欲踊ａｚ）　　オＵＩ　　５　（キ）　　　　　　我ａ＆汝ｂ＆∀ｚ｛ｚ≠ｂ→～欲踊ａｚ）　　９カ＆Ｉ　　５　（ク）　　　∃ｙ｛我ａ＆汝ｙ＆∀ｚ｛ｚ≠ｙ→～欲踊ａｚ）｝　キＥＩ　４　　（ケ）　　　∃ｙ｛我ａ＆汝ｙ＆∀ｚ｛ｚ≠ｙ→～欲踊ａｚ）｝　４５クＥＥ　４　　（コ）　∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝　ケＥＩ１　　　（サ）　∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝　３４コＥＥ従って、（03）により、（04） ② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝ ③ ～∀ｘ∀ｙ｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆欲踊ｘｚ）｝に於いて、 ②＝③ である。従って、（02）（04）により、（05） ① ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（欲踊ｘｚ→ｚ＝ｙ）｝ ② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝ ③ ～∀ｘ∀ｙ｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆欲踊ｘｚ）｝に於いて、 ①＝②＝③ である。従って、（05）により、（06） ① あるｘは私であり、あるｙは汝であり、すべてのｚについて、ｘ（私）がｚに踊って欲しいのであれば、そのｚはｙ（汝）である。 ② あるｘは私であり、あるｙは汝であり、すべてのｚについて、ｚが、ｙ（汝）でないならば、ｘ（私）はｚに踊って欲しくはない。 ③ すべてのｘとｙについて、ｘが私であり、ｙが汝であるならば、あるｚがｙ（汝）でなくて、ｘ（私）がそのｚに対して、踊って欲しい、といふことはない。に於いて、 ①＝②＝③ である。然るに、（07） ② あるｘは私であり、あるｙは汝であり、すべてのｚについて、ｚが、ｙ（汝）でないならば、ｘ（私）はｚに踊って欲しくはない。といふことは、 ② 私は、あなた以外に、踊って欲しいとは思はない。といふ、ことである。従って、（05）（06）（07）により、（08） ① ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（欲踊ｘｚ→ｚ＝ｙ）｝ ② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝ ③ ～∀ｘ∀ｙ｛我ｘ＆汝ｙ→∃ｚ（ｚ≠ｙ＆欲踊ｘｚ）｝といふ「論理式」は、三つとも、 ② 私は、あなた以外に、踊って欲しくない。といふ、「意味」である。然るに、（09） ② 私は、あなた以外に、踊って欲しくない。といふだけでは、 ② 私は、あなたに、踊って欲しい。といふことには、ならない。然るに、（10） ② 私は、あなたに、踊って欲しく、あなた以外に踊って欲しくない。⇔ ② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆欲踊ｘｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝⇔ ② あるｘは私であり、あるｙは汝であり、ｘ（私）はｙ（汝）に踊って欲しく、すべてのｚについて、ｚが、ｙ（汝）でないならば、ｘ（私）はｚに踊って欲しくはない。従って、（10）により、（11） ② 私は、あなたに、踊って欲しく、あなた以外に踊って欲しくない。といふ「日本語」は、 ② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆欲踊ｘｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝といふ「論理式」に、相当する。然るに、（12） ① 私は、あなたに、踊って欲しい。といふ「日本語」に於いて、 ① 　　「あなたに」を、殊更、「強く発音」するならば、 ② 私は、あなたに、踊って欲しく、あなた以外に踊って欲しくない。 ② ∃ｘ∃ｙ｛我ｘ＆汝ｙ＆欲踊ｘｙ＆∀ｚ（ｚ≠ｙ→～欲踊ｘｚ）｝といふ「意味」になる。然るに、（13） ② 私は、あなたに、踊って欲しく、あなた以外に踊って欲しくない。といふことは、すなはち、 ② 私は、あなたに、踊って欲しいのであって、あなた以外に踊って欲しくはない。といふことは、 ② 私は、他ならぬ、あなたに、踊って欲しい。といふ、ことである。従って、（12）（13）により、（14） ① 私は、あなたに、踊って欲しい。といふ「日本語」に於いて、 ① 　　「あなたに」を、殊更、「強く発音」するならば、 ② 私は、他ならぬ、あなたに、踊って欲しい。といふ「意味」になる。従って、（14）により、（15） ① 私は、あなたに、踊って欲しい。といふ「日本語」に於いて、 ① 　　「あなたに」を、「強調」するならば、 ② 私は、他ならぬ、あなたに、踊って欲しい。といふ「意味」になる。然るに、（16）Ｂ：Ｔｅ　ｂｅｎｅ　ｓａｌｔａｒｅ　ａｕｄｉｖｉ．Ｓａｌｔａ，　ｏｂｓｅｃｒｏ．Ａ：Ａｌｉｕｍ　ｒｏｇａ．Ｂ：Ｔｅ　ｉｐｓｕｍ　ｓａｌｔａｒｅ　ｖｉｄｅｒｅ　ｖｏｌｏ．（白水社、ＣＤエクスプレスラテン語、2004年、６６頁）然るに、（17）Ｂ：君は踊りがうまいと聞いたことがあるぞ、お願いだ、踊ってくれ。Ａ：ほかの人に頼めよ。Ｂ：君自身が踊るのを見たいんだよ。（白水社、ＣＤエクスプレスラテン語、2004年、６７頁）然るに、（18）Ａ：ほかの人に頼めよ。Ｂ：君自身が踊るのを見たいんだよ。といふことは、Ａ：他の人に頼めよ。Ｂ：私は、他ならぬ、あなたに、踊って欲しい。といふ、ことである。従って、（16）（17）（18）により、（19）Ｂ：Ｔｅ　ｉｐｓｕｍ　ｓａｌｔａｒｅ　ｖｉｄｅｒｅ　ｖｏｌｏ．といふ「ラテン語」は、Ｂ：私は、他ならぬ、あなたに、踊って欲しい（意訳）。といふ「日本語」に、訳すことが出来る。然るに、（20）Ｂ：Ｔｅ　ｉｐｓｕｍ　の、　　　　　ｉｐｓｕｍ　は、ｉｐｓｅ　の「対格」であって、　　　　　　　　　　　　　ｉｐｓｅ　は「強意代名詞」である。然るに、（21）上述の指示代名詞のほかに、「～自身、自体」「他ならぬ～」を意味する強意代名詞のｉｐｓｅも、三人称代名詞になります（大西英文、はじめてのラテン語、1997年、１７４頁改）。従って、（19）（20）（21）により、（22） ① Ｔｅ　ｓａｌｔａｒｅ　ｖｉｄｅｒｅ　ｖｏｌｏ． ② Ｔｅ　ｉｐｓｕｍ　ｓａｌｔａｒｅ　ｖｉｄｅｒｅ　ｖｏｌｏ．といふ「ラテン語」は、 ① 私は、　　　　　あなたに、踊って欲しい。 ② 私は、他ならぬ、あなたに、踊って欲しい。といふ「日本語」に、相当する。従って、（15）（20）（21）（22）により、（23） ① 私は、あなたに、踊って欲しい。 ① Ｔｅ　ｓａｌｔａｒｅ　ｖｉｄｅｒｅ　ｖｏｌｏ．に於いて、 ① あなたに、　　　を「強調」し、 ① Ｔｅ（ｙｏｕ）　を「強調」すると、 ② 私は、他ならぬ、あなたに、踊って欲しい。 ② 私は、他ならぬ、あなたに、踊って欲しい。といふ「意味」になる。令和元年０８月０２日、毛利太。

2019年7月30日火曜日

「他ならぬ・～ガ」の「が（既知）」について（Ⅱ）。

2019年7月27日土曜日

「他ならぬ・～ガ」の「が（既知）」について：大野文法批判。

2019年7月26日金曜日

「私は大野です。」の「～は」は「既知・未知」とは関係ない。

（01） ― 長い間、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、（α）「返り点」と「括弧」に付いて。　：（https://kannbunn.blogspot.com/2017/12/blog-post_11.html）（β）「返り点」と「括弧」の条件。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_15.html）（γ）「返り点」と「括弧」の条件（Ⅱ）：（https://kannbunn.blogspot.com/2017/12/blog-post_16.html）（δ）「返り点」は、下には戻らない。　：（https://kannbunn.blogspot.com/2017/12/blog-post_20.html）（ε）「下中上点」等が必要な「理由」。：（https://kannbunn.blogspot.com/2017/12/blog-post_22.html）（ζ）「返り点・モドキ」について。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_24.html）⇒ 　Ｗｅｂ上には存在しますが、何故か、アクセス出来ません。（η）「一二点・上下点」に付いて。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_26.html）（θ）「括弧」の「順番」。　　　　　　：（https://kannbunn.blogspot.com/2018/01/blog-post.html）（ι）「返り点」と「括弧」の関係　　　：（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）等々、「その他、諸々」を、お読み下さい。― （01）（３）　未知と既知この組み合わせは次のような場合に現われる。　私が大野です。これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「大野」なる人物はすでに登場していて既知である。ところが、それが実際にどの人物なのか、その帰属する先が未知である。その未知の対象を「私」と表現して、それをガで承けた。それゆえこの形は、　大野は私です。に置きかえてもほぼ同じ意味を表わすといえる（大野晋、日本語の文法を考える、1978年、３４頁）。従って、（01）により、（02） ① 私が大野です。 ② 大野は私です。に於いて、 ①＝② である。然るに、（03） ② 大野は私です。といふことは、 ② 大野ならば私である。といふことである。然るに、（04）（ⅱ）１　　（１）　Ｐ→　Ｑ　Ａ　２　（２）　Ｐ　　　　Ａ　　３（３）　　　～Ｑ　Ａ１２　（４）　　　　Ｑ　１２ＭＰＰ１２３（５）　～Ｑ＆Ｑ　３４＆Ｉ１　３（６）～Ｐ　　　　２５ＲＡＡ１　　（７）～Ｑ→～Ｐ　３６ＣＰ（ⅱ）１　　（１）～Ｑ→～Ｐ　Ａ　２　（２）～Ｑ　　　　Ａ　　３（３）　　　　Ｐ　Ａ１２　（４）　　　～Ｐ　１２ＭＰＰ１２３（５）　Ｐ＆～Ｐ　３４＆Ｉ１　３（６）　　～～Ｑ　２５ＲＡＡ１　３（７）　　　　Ｑ　６ＤＮ１　　（８）　Ｐ→　Ｑ　３７ＣＰ従って、（04）により、（05）（ⅱ）１　　（１）ＰならばＱである　　　　Ａ　２　（２）Ｐである　　　　　　　　Ａ　　３（３）　　　　Ｑでない　　　　Ａ１２　（４）　　　　Ｑである　　　　１２ＭＰＰ１２３（５）ＱでなくてＱである　　　３４＆Ｉ１　３（６）Ｐでない　　　　　　　　２５ＲＡＡ１　　（７）ＱでないならばＰでない　３６ＣＰ（ⅲ）１　　（１）ＱでないならばＰでない　Ａ　２　（２）Ｑでない　　　　　　　　Ａ　　３（３）　　　　　　　Ｐである　Ａ１２　（４）　　　　　　　Ｐでない　１２ＭＰＰ１２３（５）ＰであってＰでない　　　３４＆Ｉ１　３（６）Ｑでないでない　　　　　２５ＲＡＡ１　３（７）Ｑである　　　　　　　　６ＤＮ１　　（８）ＰであるならばＱである　３７ＣＰ従って、（05）により、（06）（ⅱ）１　　（１）大野ならば私である　　　　Ａ　２　（２）大野である　　　　　　　　Ａ　　３（３）　　　　　私でない　　　　Ａ１２　（４）　　　　　私である　　　　１２ＭＰＰ１２３（５）私でなくて私である　　　　３４＆Ｉ１　３（６）大野でない　　　　　　　　２５ＲＡＡ１　　（７）私でないならば大野でない　３６ＣＰ（ⅲ）１　　（１）私でないならば大野でない　Ａ　２　（２）私でない　　　　　　　　　Ａ　　３（３）　　　　　　　大野である　Ａ１２　（４）　　　　　　　大野でない　１２ＭＰＰ１２３（５）　大野であって大野でない　３４＆Ｉ１　３（６）私でないでない　　　　　　２５ＲＡＡ１　３（７）私である　　　　　　　　　６ＤＮ１　　（８）大野であるならば私である　３７ＣＰ従って、（04）（05）（06）により、（07） ② 大野ならば私である。 ③ 私でないならば大野でない。に於いて、「両者」は、「対偶（Contraposition）」である。然るに、（08） ③ 私でないならば大野でない。といふことは、 ③ 私以外は大野ではない。といふことである。従って、（02）（03）（07）（08）により、（09） ① 私が大野です。 ② 大野は私です。 ③ 私以外は大野ではない。に於いて、 ①＝②＝③ である。然るに、（10） ③ 私以外は大野ではない。 ④ 私以外も大野である。に於いて、 ③と④ は「矛盾」する。然るに、（11）（ⅲ）１　　（１）∃ｘ｛私ｘ＆大野ｘ＆～∀ｙ（ｘ≠ｙ→～大野ｙ）｝　Ａ　２　（２）　　　私ａ＆大野ａ＆～∀ｙ（ａ≠ｙ→～大野ｙ）　　Ａ　２　（３）　　　私ａ＆大野ａ　　　　　　　　　　　　　　　　２＆Ｅ　２　（４）　　　　　　　　　　～∀ｙ（ａ≠ｙ→～大野ｙ）　　２＆Ｅ　２　（５）　　　　　　　　　　∃ｙ～（ａ≠ｙ→～大野ｙ）　　４量化子の関係　　６（６）　　　　　　　　　　　　～（ａ≠ｂ→～大野ｂ）　　Ａ　　６（７）　　　　　　　　　　　　～（ａ＝ｂ∨～大野ｂ）　　６含意の定義　　６（８）　　　　　　　　　　　　　　ａ≠ｂ＆　大野ｂ　　　７ド・モルガンの法則　　６（９）　　　　　　　　　　　∃ｙ（ａ≠ｙ＆　大野ｙ）　　８ＥＩ　２　（ア）　　　　　　　　　　　∃ｙ（ａ≠ｙ＆　大野ｙ）　　５６９ＥＥ　２　（イ）　　　　私ａ＆大野ａ＆∃ｙ（ａ≠ｙ＆　大野ｙ）　　２９＆Ｉ　２　（ウ）　∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝　イＥＩ１　　（エ）　∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝　１２ウＥＥ（ⅳ）１　　（１）∃ｘ｛私ｘ＆大野ｘ＆～∃ｙ（ｘ≠ｙ＆　大野ｙ）｝　Ａ　２　（２）　　　私ａ＆大野ａ＆～∃ｙ（ａ≠ｙ＆　大野ｙ）　　Ａ　２　（３）　　　私ａ＆大野ａ　　　　　　　　　　　　　　　　２＆Ｅ　２　（４）　　　　　　　　　　～∃ｙ（ａ≠ｙ＆　大野ｙ）　　２＆Ｅ　２　（５）　　　　　　　　　　∀ｙ～（ａ≠ｙ＆　大野ｙ）　　４量化子の関係　２　（６）　　　　　　　　　　　　～（ａ≠ｂ＆　大野ｙ）　　５ＵＥ　２　（７）　　　　　　　　　　　　　～ａ≠ｂ∨～大野ｂ　　　６ド・モルガンの法則　２　（８）　　　　　　　　　　　　　　ａ≠ｂ→～大野ｂ　　　７含意の定義　２　（９）　　　　　　　　　　　∀ｙ（ａ≠ｂ→～大野ｂ）　　８ＵＩ　２　（ア）　　　　私ａ＆大野ａ＆∀ｙ（ａ≠ｂ→～大野ｂ）　　２９＆Ｉ　２　（イ）　∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝　アＥＩ１　　（ウ）　∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝　１２イＥＥ従って、（10）（11）により、（12） ③ 私以外は大野ではない。 ④ 私以外も大野である。 ③ ∃ｘ｛私ｘ＆大野ｘ＆∀ｙ（ｘ≠ｙ→～大野ｙ）｝ ④ ∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝ ③ あるｘは私であって、大野であって、すべてｙについて、ｙがｘでないならば、ｙは大野ではない。 ④ あるｘは私であって、大野であって、あるｙは、ｘではないが、大野である。に於いて、 ③と④ は「矛盾」する。然るに、（13） ④ あるｘは私であって、大野であって、あるｙは、ｘではないが、大野である。といふことは、 ④ 私も大野です。といふことである。従って、（14） ① 私が大野です＝∃ｘ｛私ｘ＆大野ｘ＆∀ｙ（ｘ≠ｙ→～大野ｙ）｝ ④ 私も大野です＝∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝であって、両者は、「矛盾」する。然るに、（15）だから文はその二つの要素の組み合せによって、成り立ち、そこには四つの型がつくられる。　（１）既知（扱い）と未知（扱い）　（２）既知（扱い）と既知（扱い）　（３）未知（扱い）と既知（扱い）　（４）未知（扱い）と未知（扱い）はじめに既知がくる（１）と（２）では、既知（あるいは既知扱い）の下にハという助詞を使う。また（３）と（４）では未知（あるいは未知扱い）の下にガという助詞を使う。これが現代日本語の文の基本構造である。まず（１）の文例を示そう。（１）　既知と未知　私は大野です。という文は、檀の上に立って私なるものが聴衆に見えている。それで、私なる存在については相手もこれをみて知っている、すると、それを既知扱いにして「私は大野です」という。この「大野です」という部分は実は未知の部分にあたり、「私は（ダレカトイウト）大野です」の意味である。たとえば、初めての家を訪問した場合に、「私は大野というものですが、御主人は御在宅でしょうか。」という。その場合、「私が大野ですが・・・・・」といえば、対応に出た人は怪訝な顔をする（大野晋、日本語の文法を考える、1978年、２４・２５頁）。然るに、（16） ① 初めて、「渡辺さん」の家を訪問した場合に、「私も渡辺という者ですが、御主人は御在宅でしょうか。」 ② 初めて、「渡辺さん」の家を訪問した場合に、「私も大野という者ですが、御主人は御在宅でしょうか。」といふ場合、 ① であれば、対応に出た人は怪訝な顔はせずに、 ② であれば、対応に出た人は怪訝な顔をする。然るに、（17） ② 初めて、「渡辺さん」の家を訪問した場合に、「私も大野という者ですが、御主人（渡辺さん）は御在宅でしょうか。」 ③ 初めて、「渡辺さん」の家を訪問した場合に、「私が大野という者ですが、御主人（渡辺さん）は御在宅でしょうか。」といふ場合、 ② であっても、対応に出た人は怪訝な顔はするし、 ③ であっても、対応に出た人は怪訝な顔をする。然るに、（18）「～が」に関しては、「私が（未知・未知扱い）」であったとしても。「～も」に関しては、「私も（未知・未知扱い）」ではないはずである。従って、（17）（18）により、（19） ③ 初めて、「渡辺さん」の家を訪問した場合に、「私が大野という者ですが、御主人（渡辺さん）は御在宅でしょうか。」といふ場合に、 ③「対応に出た人は怪訝な顔をする」際の「理由」が、「既知（扱い）と未知（扱い）」に関連してゐる。といふ「証拠」は無い。然るに、（20）初めての家を訪問した場合に、いきなり、 ③ 私が大野です（私以外は大野でない）＝∃ｘ｛私ｘ＆大野ｘ＆∀ｙ（ｘ≠ｙ→～大野ｙ）｝ ② 私も大野です（私以外も大野である）＝∃ｘ｛私ｘ＆大野ｘ＆∃ｙ（ｘ≠ｙ＆　大野ｙ）｝といふのであれば、「対応に出た人が怪訝な顔をするの」は、「当然」である。令和元年０７月２６日、毛利太。

2019年7月24日水曜日

「私が大野です（大野は私です）。」の「述語論理」。

― 長い間、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、（α）「返り点」と「括弧」に付いて。　：（https://kannbunn.blogspot.com/2017/12/blog-post_11.html）（β）「返り点」と「括弧」の条件。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_15.html）（γ）「返り点」と「括弧」の条件（Ⅱ）：（https://kannbunn.blogspot.com/2017/12/blog-post_16.html）（δ）「返り点」は、下には戻らない。　：（https://kannbunn.blogspot.com/2017/12/blog-post_20.html）（ε）「下中上点」等が必要な「理由」。：（https://kannbunn.blogspot.com/2017/12/blog-post_22.html）（ζ）「返り点・モドキ」について。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_24.html）⇒ 　Ｗｅｂ上には存在しますが、何故か、アクセス出来ません。（η）「一二点・上下点」に付いて。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_26.html）（θ）「括弧」の「順番」。　　　　　　：（https://kannbunn.blogspot.com/2018/01/blog-post.html）（ι）「返り点」と「括弧」の関係　　　：（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）等々、「その他、諸々」を、お読み下さい。― （01） ② 大野は私です。 ③ 私以外は大野ではありません。に於いて、「日本語話者」の「直観」として、明らかに、 ②＝③ である。然るに、（02） ②（Ｐであって、Ｑでない。） ③（Ｑでなくて、Ｐである。）に於いて、 ②＝③ である。従って、（02）により、（03） ②（Ｐであって、Ｑでない。）といふことはない。 ③（Ｑでなくて、Ｐである。）といふことはない。に於いて、 ②＝③ である。然るに、（04） ②（Ｐであって、Ｑでない。）といふことはない。 ③（Ｑでなくて、Ｐである。）といふことはない。といふことは、 ②　Ｐであるならば、Ｑである。 ③　Ｑでないならば、Ｐでない。といふことに、他ならない。従って、（03）（04）により、（05） ②　Ｐであるならば、Ｑである。 ③　Ｑでないならば、Ｐでない。に於いて、 ②＝③ である。然るに、（06）（ⅰ）１　　（１）　Ｐ→　Ｑ　Ａ　２　（２）　Ｐ　　　　Ａ　　３（３）　　　～Ｑ　Ａ１２　（４）　　　　Ｑ　１２ＭＰＰ１２３（５）　～Ｑ＆Ｑ　３４＆Ｉ１　３（６）～Ｐ　　　　２５ＲＡＡ１　　（７）～Ｑ→～Ｐ　３６ＣＰ（ⅱ）１　　（１）～Ｑ→～Ｐ　Ａ　２　（２）～Ｑ　　　　Ａ　　３（３）　　　　Ｐ　Ａ１２　（４）　　　～Ｐ　１２ＭＰＰ１２３（５）　Ｐ＆～Ｐ　３４＆Ｉ１　３（６）　　～～Ｑ　２５ＲＡＡ１　３（７）　　　　Ｑ　６ＤＮ１　　（８）　Ｐ→　Ｑ　３７ＣＰ従って、（06）により、（07） ② 　Ｐ→　Ｑ＝Ｐであるならば、Ｑである。 ③ ～Ｑ→～Ｐ＝Ｑでないならば、Ｐでない。に於いて、 ②＝③ である。然るに、（08）命題「ＰならばＱ」の真偽とその対偶「ＱでないならＰでない」の真偽とは必ず一致する(すなわち真理値が等しい）。（ウィキペディア改）従って、（06）（07）（08）により、（09） ② Ｐであるならば、Ｑである。 ③ Ｑでないならば、Ｐでない。に於いて、 ②と③ は、「対偶（Contraposition）」であって、それ故、必然的に、 ②＝③ である。従って、（09）により、（10） ② 大野ならば、私です。 ③ 私でないならば、大野ではありません。に於いて、 ②＝③ である。然るに、（11） ② 大野ならば、私です。 ③ 私でないならば、大野ではありません。といふことは、 ② 大野は私です。 ③ 私以外は大野ではありません。といふ、ことである。従って、（01）～（11）により、（12） ② 大野は私です（大野ならば私である）。 ③ 私以外は大野ではない（私でないならば大野ではない）。といふ「対偶（Contraposition）」に於いて、 ②＝③ である。といふ「直観」は、「論理的」にも、「正しい」。従って、（13） ② 大野は私です（大野ならば私である）。 ③ 私以外は大野ではない（私でないならば大野ではない）。に於いて、 ②＝③ であることは、「対偶（Contraposition）」として、 ②＝③ であるため、この「等式」を、「否定」することは、出来ない。然るに、（14）（３）　未知と既知この組み合わせは次のような場合に現われる。　私が大野です。これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「大野」なる人物はすでに登場していて既知である。ところが、それが実際にどの人物なのか、その帰属する先が未知である。その未知の対象を「私」と表現して、それをガで承けた。それゆえこの形は、　大野は私です。に置きかえてもほぼ同じ意味を表わすといえる（大野晋、日本語の文法を考える、1978年、３４頁）。従って、（14）により、（15） ① 私が大野です。 ② 大野は私です。 ③ 私以外は大野ではない。に於いて、 ①＝②＝③ である。然るに、（16） ② 大野は私です。 ③ 私以外は大野ではない。といふ「日本語」は、 ② ∃ｘ｛私ｘ＆　∀ｙ（大野ｙ→ｘ＝ｙ）｝ ③ ∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝といふ「述語論理式」に、相当する。（17） ② 私は大野であって、大野は私です。 ③ 私は大野であって、私以外は大野ではない。といふ「日本語」は、 ② ∃ｘ｛私ｘ＆大野ｘ＆　∀ｙ（大野ｙ→ｘ＝ｙ）｝ ③ ∃ｘ｛私ｘ＆大野ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝といふ「述語論理式」に、相当する。ｃｆ. 記述の理論（theory of descriptions）。然るに、（18）「正確に（exactly）」に、「大野といふ唯一の人間がゐる。」といふ場合には、 ② 大野は私です。 ③ 私以外は大野ではない。ではなく、 ② 私は大野であって、大野は私です。 ③ 私は大野であって、私以外は大野ではない。とするのが、「正しい」。然るに、（19）今、知りたいのは、 ② 大野は私です。 ③ 私以外は大野ではない。といふ「日本語」は、「 ② ∃ｘ｛私ｘ＆　∀ｙ（大野ｙ→ｘ＝ｙ）｝ ③ ∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝といふ「述語論理式」に、相当するか、否か、であるため、取り上げるべきは、 ② 大野は私です。 ③ 私以外は大野ではない。であって、 ② 私は大野であって、大野は私です。 ③ 私は大野であって、私以外は大野ではない。ではない。然るに、（20）（ⅱ）１（１）∃ｘ｛私ｘ＆ ∀ｙ（大野ｙ→ｘ＝ｙ）｝Ａ２（２）私ａ＆ ∀ｙ（大野ｙ→ａ＝ｙ）Ａ２（３）私ａ２＆Ｅ２（４） ∀ｙ（大野ｙ→ａ＝ｙ）２＆Ｅ２（５）大野ｂ→ａ＝ｂ４ＵＥ２（６）～大野ｂ∨ａ＝ｂ５含意の定義７（７）大野ｂ＆ａ≠ｂＡ８（８）～大野ｂＡ７（９）大野ｂ７＆Ｅ７８（ア）～大野ｂ＆大野ｂ８９＆Ｉ８（イ）～（大野ｂ＆ａ≠ｂ）７アＲＡＡウ（ウ）ａ＝ｂＡ７（エ）ａ≠ｂ７＆Ｉ７ウ（オ）ａ＝ｂ＆ａ≠ｂウエ＆Ｉウ（カ）～（大野ｂ＆ａ≠ｂ）７オＲＡＡ２（キ）～（大野ｂ＆ａ≠ｂ）２８イウカ∨Ｅ２（ク） ∀ｙ～（大野ｙ＆ａ≠ｙ）キＵＩ２（ケ）～∃ｙ（大野ｙ＆ａ≠ｙ）ク含意の定義２（コ）私ａ＆～∃ｙ（大野ｙ＆ａ≠ｙ）３ケ＆Ｉ２（サ）∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝コＥＩ１（シ）∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝１２サＥＥ（ⅲ）１（１）∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝Ａ２（２）私ａ＆～∃ｙ（大野ｙ＆ａ≠ｙ）Ａ２（３）私ａ２＆Ｅ２（４）～∃ｙ（大野ｙ＆ａ≠ｙ）２＆Ｅ２（５） ∀ｙ～（大野ｙ＆ａ≠ｙ）４含意の定義２（６）～（大野ｂ＆ａ≠ｂ）５ＵＥ２（７）～大野ｂ∨～（ａ≠ｂ）６ド・モルガンの法則２（８）～大野ｂ∨ａ＝ｂ７ＤＮ２（９）大野ｂ→ａ＝ｂ８含意の定義２（ア） ∀ｙ（大野ｙ→ａ＝ｙ）９ＵＩ２（イ）私ａ＆ ∀ｙ（大野ｙ→ａ＝ｙ）３ア＆Ｉ２（ウ）∃ｘ｛私ｘ＆ ∀ｙ（Ｆｙ→ｘ＝ｙ）｝イＥＩ１（エ）∃ｘ｛私ｘ＆ ∀ｙ（Ｆｙ→ｘ＝ｙ）｝１２ウＥＥ＆従って、（20）により、（21） ② ∃ｘ｛私ｘ＆ ∀ｙ（大野ｙ→ｘ＝ｙ）｝ ③ ∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝に於いて、 ②＝③ である。従って、（21）により、（22） ② あるｘは私であり、すべてのｙについて、ｙが大野であるならば、ｙ（大野）はｘ（私）に等しい。 ③ あるｘは私であり、あるｙが大野であって、そのｙ（大野）がｘ（私）と等しくない。といふことはない。に於いて、 ②＝③ である。従って、（22）により、（23） ② あるｘは私であり、すべてのｙについて、ｙが大野であるならば、ｙ（大野）はｘ（私）に等しい。 ③ あるｘは私であり、あるｙが大野であって、そのｙ（大野）がｘ（私）以外である。といふことはない。に於いて、 ②＝③ である。然るに、（24） ② すべてのｙについて、ｙが大野であるならば、ｙ（大野）はｘ（私）に等しい。 ③ あるｙが大野であって、そのｙ（大野）がｘ（私）以外である。といふことはない。といふことは、要するに、 ② 大野は私である。 ③ 私以外は大野ではない。といふ、ことである。従って、（22）～（24）により、（25） ② 大野は私である　　　＝∃ｘ｛私ｘ＆ ∀ｙ（大野ｙ→ｘ＝ｙ）｝。 ③ 私以外は大野ではない＝∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝。に於いて、 ②＝③ である。然るに、（26） ②「私」は「１人しかゐない」。従って、（27） ②「大野は私です。」といふ風に、「私（１人）」が、「本当のこと」を言ふのであれば、 ③「私以外は大野ではない。」といふことに、ならざるを得ない。従って、（25）（26）（27）により、（28）わざわざ、 ② 大野は私である　　　＝∃ｘ｛私ｘ＆ ∀ｙ（大野ｙ→ｘ＝ｙ）｝。 ③ 私以外は大野ではない＝∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝。といふ「等式」を、「計算（Predicate calculation）」によって、「証明」しなくとも、 ② 大野は私です。 ③ 私以外は大野ではない。に於いて、 ②＝③ である。といふことは、固より、「当然」である。令和元年０７月２４日、毛利太。

2019年7月22日月曜日

大野晋先生の言う「が・は」は、「既知・未知」とは「関係」が無い。

― 長い間、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、（α）「返り点」と「括弧」に付いて。　：（https://kannbunn.blogspot.com/2017/12/blog-post_11.html）（β）「返り点」と「括弧」の条件。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_15.html）（γ）「返り点」と「括弧」の条件（Ⅱ）：（https://kannbunn.blogspot.com/2017/12/blog-post_16.html）（δ）「返り点」は、下には戻らない。　：（https://kannbunn.blogspot.com/2017/12/blog-post_20.html）（ε）「下中上点」等が必要な「理由」。：（https://kannbunn.blogspot.com/2017/12/blog-post_22.html）（ζ）「返り点・モドキ」について。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_24.html）⇒ 　Ｗｅｂ上には存在しますが、何故か、アクセス出来ません。（η）「一二点・上下点」に付いて。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_26.html）（θ）「括弧」の「順番」。　　　　　　：（https://kannbunn.blogspot.com/2018/01/blog-post.html）（ι）「返り点」と「括弧」の関係　　　：（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）等々、「その他、諸々」を、お読み下さい。― （01）「含意の定義」により、 ① ∀ｘ｛　大野ｘ→∃ｙ（私ｙ＆ｘ＝ｙ）｝ ② ∀ｘ｛～大野ｘ∨∃ｙ（私ｙ＆ｘ＝ｙ）｝に於いて、 ①＝② である。然るに、（02） ② ∀ｘ｛～大野ｘ∨∃ｙ（私ｙ＆ｘ＝ｙ）｝であれば、仮に、 ②「大野なる人物」が、「存在」しないとしても、「本当（真）」である。然るに、（03） ① ∀ｘ｛大野ｘ→∃ｙ（私ｙ＆ｘ＝ｙ）｝ではなく、 ② ∃ｘ｛私ｘ＆∀ｙ（大野ｙ→ｘ＝ｙ）｝であるならば、 ②「大野なる人物」が、「存在」しなければ、「ウソ（偽）」である。従って、（01）（02）（03）により、（04） ① すべてのｘについて、ｘが大野であるならば、あるｙは私であって、ｘはｙに等しい。 ② あるｘは私であり、　すべてのｙについて、ｙが大野であるならば、ｘはｙに等しい。に於いて、 ① の場合は、「大野なる人物」が「存在」しないとしても、「本当（真）」であり、 ② の場合は、「大野なる人物」が「存在」しなければ、　　「ウソ（偽）」である。従って、（03）（04）により、（05） ① ∀ｘ｛大野ｘ→∃ｙ（私ｙ＆ｘ＝ｙ）｝ ② ∃ｘ｛私ｘ＆∀ｙ（大野ｙ→ｘ＝ｙ）｝に於いて、「どちらでも良い」やうに、思へるものの、厳密に言へば、 ② が、「正しい」。然るに、（06）（ⅱ）１　　　　（１）∃ｘ｛私ｘ＆　∀ｙ（大野ｙ→ｘ＝ｙ）｝　Ａ　２　　　（２）　　　私ａ＆　∀ｙ（大野ｙ→ａ＝ｙ）　　Ａ　２　　　（３）　　　私ａ　　　　　　　　　　　　　　　２＆Ｅ　２　　　（４）　　　　　　　∀ｙ（大野ｙ→ａ＝ｙ）　　２＆Ｅ　２　　　（５）　　　　　　　　　大野ｂ→ａ＝ｂ　　　４ＵＥ　２　　　（６）　　　　　　　　　～大野ｂ∨ａ＝ｂ　　　５含意の定義　　７　　（７）　　　　　　　　　　大野ｂ＆ａ≠ｂ　　　Ａ　　　８　（８）　　　　　　　　　～大野ｂ　　　　　　　Ａ　　７　　（９）　　　　　　　　　　大野ｂ　　　　　　　７＆Ｅ　　７８　（ア）　　　　　　　　　～大野ｂ＆大野ｂ　　　８９＆Ｉ　　８　（イ）　　　　　　　　～（大野ｂ＆ａ≠ｂ）　　７アＲＡＡ　　　　ウ（ウ）　　　　　　　　　　　　　　ａ＝ｂ　　　Ａ　　７　　（エ）　　　　　　　　　　　　　　ａ≠ｂ　　　７＆Ｉ　　７　ウ（オ）　　　　　　　　　　ａ＝ｂ＆ａ≠ｂ　　　ウエ＆Ｉ　　　　ウ（カ）　　　　　　　　～（大野ｂ＆ａ≠ｂ）　　７オＲＡＡ　２　　　（キ）　　　　　　　　～（大野ｂ＆ａ≠ｂ）　　２８イウカ∨Ｅ　２　　　（ク）　　　　　　∀ｙ～（大野ｙ＆ａ≠ｙ）　　キＵＩ　２　　　（ケ）　　　　　　～∃ｙ（大野ｙ＆ａ≠ｙ）　　ク含意の定義　２　　　（コ）　　　私ａ＆～∃ｙ（大野ｙ＆ａ≠ｙ）　　３ケ＆Ｉ　２　　　（サ）∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝　コＥＩ１　　　　（シ）∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝　１２サＥＥ（ⅲ）１　　　　（１）∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝　Ａ　２　　　（２）　　　私ａ＆～∃ｙ（大野ｙ＆ａ≠ｙ）　　Ａ　２　　　（３）　　　私ａ　　　　　　　　　　　　　　　２＆Ｅ　２　　　（４）　　　　　　～∃ｙ（大野ｙ＆ａ≠ｙ）　　２＆Ｅ　２　　　（５）　　　　　　∀ｙ～（大野ｙ＆ａ≠ｙ）　　４含意の定義　２　　　（６）　　　　　　　　～（大野ｂ＆ａ≠ｂ）　　５ＵＥ　２　　　（７）　　　　　　　～大野ｂ∨～（ａ≠ｂ）　　６ド・モルガンの法則　２　　　（８）　　　　　　　　　～大野ｂ∨ａ＝ｂ　　　７ＤＮ　２　　　（９）　　　　　　　　　　大野ｂ→ａ＝ｂ　　　８含意の定義　２　　　（ア）　　　　　　　∀ｙ（大野ｙ→ａ＝ｙ）　　９ＵＩ　２　　　（イ）　　　私ａ＆　∀ｙ（大野ｙ→ａ＝ｙ）　　３ア＆Ｉ　２　　　（ウ）∃ｘ｛私ｘ＆　∀ｙ（Ｆｙ→ｘ＝ｙ）｝　　イＥＩ１　　　　（エ）∃ｘ｛私ｘ＆　∀ｙ（Ｆｙ→ｘ＝ｙ）｝　　１２ウＥＥ＆従って、（06）により、（07） ② ∃ｘ｛私ｘ＆　∀ｙ（大野ｙ→ｘ＝ｙ）｝ ③ ∃ｘ｛私ｘ＆～∃ｙ（大野ｙ＆ｘ≠ｙ）｝に於いて、 ②＝③ である。従って、（07）により、（08） ② あるｘは私であり、すべてのｙについて、ｙが大野であるならば、ｘはｙに等しい。 ③ あるｘは私であり、あるｙが大野であって、そのｙがｘと等しくない。といふことはない。に於いて、 ②＝③ である。然るに、（09） ② あるｘは私であり、すべてのｙについて、ｙが大野であるならば、ｙ（大野）はｘ（私）に等しい。 ③ あるｘは私であり、あるｙが大野であって、そのｙ（大野）がｘ（私）と等しくない。といふことはない。といふことは、要するに、 ② 大野は私である。 ③ 私以外は大野ではない。といふ、ことである。然るに、（10） ② 大野は私である。 ③ 私以外は大野ではない。といふことは、 ② 大野ならば私である。 ③ 私でないならば大野ではない。といふことに、他ならない。然るに、（11）命題「ＡならばＢ」の真偽とその対偶「ＢでないならＡでない」の真偽とは必ず一致する(すなわち真理値が等しい）。（ウィキペディア）従って、（06）～（11）により、（12） ② 大野は私である（大野ならば私である）。 ③ 私以外は大野ではない（私でないならば大野ではない）。は、「対偶（Contraposition）」であるため、「必然的」に、「等しい」。る。然るに、（13）（３）　未知と既知この組み合わせは次のような場合に現われる。　私が大野です。これは、「大野さんはどちらですか」というような問いに対する答えとして使われる。つまり文脈において、「大野」なる人物はすでに登場していて既知である。ところが、それが実際にどの人物なのか、その帰属する先が未知である。その未知の対象を「私」と表現して、それをガで承けた。それゆえこの形は、　大野は私です。に置きかえてもほぼ同じ意味を表わすといえる（大野晋、日本語の文法を考える、1978年、３４頁）。従って、（12）（13）により、（14） ① 私が大野です。 ② 大野は私です。 ③ 私以外は大野ではない。に於いて、 ①＝②＝③ である。従って、（14）により、（15） ③ 私以外は大野ではない。といふことを、言ひたければ、その場合は、 ① 私が大野です（大野は私です）。と、言へば良い。従って、（16） ③ 私以外は大野ではない。といふことを、言ひたくなければ、その場合は、 ④ 私は大野です。と、言へば良い。然るに、（17） ⑤ 大野さんはどちらですか。といふのであれば、 ⑤ 大野さんはどちらですか。といふ「質問」をする人物は、自分の目の前に、 ⑤ 「大野といふ人物」と、「大野以外の人物」がゐる。といふ風に、「想定」してゐる。といふ、ことになる。従って、（15）～（17）により、（18） ③ 私以外は大野ではない。といふことが、「本当」である際に、 ⑤ 大野さんはどちらですか。といふ「質問」に対して、 ① 私が大野です（私以外は大野ではない）。といふ風に、答へることは、「自然」である。従って、（18）により、（19）逆に言へば、 ⑤ 大野さんはどちらですか。といふ「質問」がされてゐる、わけでは無いにも、拘らず、いきなり、 ① 私が大野です（私以外は大野ではない）。と、言ふのであれば、「自然」はなく、そのため、相手の側が、怪訝な顔するのは、「当然」である。従って、（18）（19）により、（20）たとえば、初めての家を訪問した場合に、「私は大野というものですが、御主人は御在宅でしょうか。」という。その場合、「私が大野ですが・・・・・」といえば、対応に出た人は怪訝な顔をする（大野晋、日本語の文法を考える、1978年、２５頁）。といふことは、「当然」である。（21）だから文はその二つの要素の組み合せによって、成り立ち、そこには四つの型がつくられる。　（１）既知（扱い）と未知（扱い）　（２）既知（扱い）と既知（扱い）　（３）未知（扱い）と既知（扱い）　（４）未知（扱い）と未知（扱い）はじめに既知がくる（１）と（２）では、既知（あるいは既知扱い）の下にハという助詞を使う。また（３）と（４）では未知（あるいは未知扱い）の下にガという助詞を使う。（大野晋、日本語の文法を考える、1978年、２５頁）。然るに、（22）「既知と未知」ではない、「既知（扱い）と未知（扱い）」といふ「言ひ方」が、「良く分からない（曖昧である）」。（23）（１）　既知と未知　私は大野です。という文は、檀の上に立って私なるものが聴衆に見えている。それで、私なる存在については相手もこれをみて知っている、すると、それを既知扱いにして「私は大野です」という。この「大野です」という部分は実は未知の部分にあたり、「私は（ダレカトイウト）大野です」の意味である。（大野晋、日本語の文法を考える、1978年、２４・２５頁）従って、（23）により、（24） ① 私（既知）は大野（未知）です。である。然るに、（24）により、（25） ① 私（既知）は大野（未知）です。といふのであれば、 ② 大野（未知）＝私の名前（未知）でなければ、ならない。従って、（24）（25）により、（26） ① 　　　私（既知）は大野（未知）です。 ② 私の名前（未知）は大野（未知）です。に於いて、 ①＝② である。ｃｆ. ① I am 大野。 ② My name is 大野。従って、（24）（25）（26）により、（27） ② 大野（未知・未知扱い）＝私の名前（未知・未知扱い）ではない。といふことが、「証明」されなければ、ならない。従って、（23）～（27）（28） ② 私の名前（未知・未知扱い）＝大野（未知・未知扱い）ではない。といふことを、「証明」できないのであれば、　（１）既知（扱い）と未知（扱い）　（２）既知（扱い）と既知（扱い）　（３）未知（扱い）と既知（扱い）　（４）未知（扱い）と未知（扱い）はじめに既知がくる（１）と（２）では、既知（あるいは既知扱い）の下にハという助詞を使う。といふ、大野晋先生の「説明」は、「最初の説明」に於いて、「破綻」してゐる。令和元年０７月２２日、毛利太。

2019年7月21日日曜日

「私が大野です（大野は私です）。」は「既知・未知」とは関係がない。

登録: 投稿 (Atom)