（63）サンマは目黒に限る（目黒が美味い）：「話題」と「焦点」。

（01）
話題は基本的には、談話の相手にとって何らかの情報がある「既知」のもの、つまり典型的には英語でいえば定冠詞つき名詞や代名詞で示されるもの、日本語でいえば助詞「は」で示されるものである（ウィキペディア）。
従って、
（01）により、
（02）
日本語でいえば助詞「は」で示されるものの中の、あるものは「話題」である。
然るに、
（03）
① サンマは目黒が美味い。
といふことは、
①（他の魚のことは、さて置き、）サンマは目黒が美味い。
といふことである。
然るに、
（04）
①（他は、さて置き、）サンマは目黒が美味い。
といふことは、
①（サンマを、話題にするならば）サンマは目黒が美味い。
といふことである。
従って、
（01）～（04）により、
（05）
① サンマは目黒が美味い。
に於いて、
①「サンマは」は、「話題」である。
然るに、
（06）
①（サンマを話題にするならば）サンマは目黒が美味い。
②（象を話題にするならば）象は鼻が長い。
といふことは、
①（サンマに限って言へば）サンマは目黒が美味い。
②（象に限って言へば）象は鼻が長い。
といふことである。
然るに、
（07）
①（サンマに限って言へば）サンマは目黒が美味い。
②（象に限って言へば）象は鼻が長い。
といふことは、
①（すべてのｘについて、）ｘがサンマならば、ｘは目黒が美味い。
②（すべてのｘについて、）ｘが象ならば、ｘは鼻が長い。
といふことである。
然るに、
（08）
日本橋魚河岸から取り寄せた新鮮なさんまが、家臣のいらぬ世話により醍醐味を台なしにした状態で出され、これはかえって不味くなってしまった。殿様はそのさんまがまずいので、「いずれで求めたさんまだ?」と聞く。「はい、日本橋魚河岸で求めてまいりました」「ううむ。それはいかん。さんまは目黒に限る」（ウィキペディア：目黒のさんま）。
然るに、
（09）
① サンマは目黒に限る。
② サンマは目黒が美味い。
③ サンマは目黒は美味い。
に於いて、
①＝② であるが、
②＝③ ではない。
然るに、
（10）
①（サンマは）目黒に限る。
といふことは、
①（サンマは）目黒だけが美味い。
といふことである。
然るに、
（11）
①（サンマは）目黒だけが美味い。
といふことは、
①（サンマは）目黒以外は美味くない。
といふことである。
然るに、
（12）
①（サンマは）目黒以外は美味くない。
といふことは、
①（サンマは）目黒でなければ美味くない。
といふことである。
然るに、
（13）
①（サンマは）目黒でなければ美味くない。
といふことは、
①（ｘはサンマであるとして、）すべてのｚについて、ｚが目黒のｘでないならば、ｚは美味くない。
といふことである。
然るに、
（14）
①（すべてのｘについて、）ｘがサンマならば、ｘは目黒が美味い。
といふことは、
①（すべてのｘについて、）ｘがサンマならば、あるｙは目黒のｘのｙであって、ｙは美味い。
といふことである。
従って、
（05）（06）（07）（14）により、
（15）
① サンマは目黒が美味い。
といふ「日本語」に於いて
①「サンマは」は、「話題」であって、
① サンマは目黒が美味い。
といふ「日本語」は、
① ∀ｘ｛サンマｘ→∃ｙ（目黒ｙｘ＆美味ｙ）＆∀ｚ（～目黒ｚｘ→～美味ｚ）｝＝
① すべてのｘについて、ｘがサンマならば、あるｙは目黒のｘであって、ｘは美味く、すべてのｚについて、ｚが目黒のｘでないならば、ｚは美味くない。
といふ「述語論理」に、「翻訳」される。
然るに、
（16）
１　　　　（１）∀ｘ｛サンマｘ→∃ｙ（目黒ｙｘ＆美味ｙ）＆∀ｚ（～目黒ｚｘ→～美味ｚ）｝　Ａ
１　　　　（２）　　　サンマａ→∃ｙ（目黒ｙａ＆美味ｙ）＆∀ｚ（～目黒ｚａ→～美味ｚ）　　１ＵＥ
　３　　　（３）∃ｘ｛サンマｘ＆∃ｚ（日本橋ｚｘ＆～目黒ｚｘ）　　　　　　　　　　　　　　Ａ
　　４　　（４）　　　サンマａ＆∃ｚ（日本橋ｚａ＆～目黒ｚａ）　　　　　　　　　　　　　　Ａ
　　４　　（５）　　　サンマａ　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　４＆Ｅ
　　４　　（６）　　　　　　　　∃ｚ（日本橋ｚａ＆～目黒ｚａ　　　　　　　　　　　　　　　４＆Ｅ
　　　７　（７）　　　　　　　　　　　日本橋ｃａ＆～目黒ｃａ　　　　　　　　　　　　　　　Ａ
　　　７　（８）　　　　　　　　　　　日本橋ｃａ　　　　　　　　　　　　　　　　　　　　　７＆Ｅ
　　　７　（９）　　　　　　　　　　　　　　　　　～目黒ｃａ　　　　　　　　　　　　　　　７＆Ｅ
１　４　　（ア）　　　　　　　　∃ｙ（目黒ｙａ＆美味ｙ）＆∀ｚ（～目黒ｚａ→～美味ｚ）　　２５ＭＰＰ
１　４　　（イ）　　　　　　　　∃ｙ（目黒ｙａ＆美味ｙ）　　　　　　　　　　　　　　　　　ア＆Ｅ
　　　　ウ（ウ）　　　　　　　　　　　目黒ｂａ＆美味ｂ　　　　　　　　　　　　　　　　　　Ａ
１　４　　（エ）　　　　　　　　　　　　　　　　　　　　　∀ｚ（～目黒ｚａ→～美味ｚ）　　ア＆Ｅ
１　４　　（オ）　　　　　　　　　　　　　　　　　　　　　　　　～目黒ｃａ→～美味ｃ　　　エＵＥ
１　４７　（カ）　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　～美味ｃ　　　９オＭＰＰ
　　４　ウ（キ）　　　　　　サンマａ＆目黒ｂａ＆美味ｂ　　　　　　　　　　　　　　　　　　５ウ＆Ｉ
　　４　ウ（ク）　　　∃ｙ（サンマａ＆目黒ｙａ＆美味ｙ）　　　　　　　　　　　　　　　　　キＥＩ
　　４　ウ（ケ）　∃ｘ∃ｙ（サンマｘ＆目黒ｙｘ＆美味ｙ）　　　　　　　　　　　　　　　　　クＥＩ
１　４　　（コ）　∃ｘ∃ｙ（サンマｘ＆目黒ｙｘ＆美味ｙ）　　　　　　　　　　　　　　　　　イウケＥＥ
１３　　　（サ）　∃ｘ∃ｙ（サンマｘ＆目黒ｙｘ＆美味ｙ）　　　　　　　　　　　　　　　　　３４コＥＥ
　　４７　（シ）　　　　　　サンマａ＆日本橋ｃａ　　　　　　　　　　　　　　　　　　　　　５８＆Ｉ
１　４７　（ス）　　　　　　サンマａ＆日本橋ｃａ＆～美味ｃ　　　　　　　　　　　　　　　　カシ＆Ｉ
１　４７　（セ）　　　∃ｚ（サンマａ＆日本橋ｚａ＆～美味ｚ）　　　　　　　　　　　　　　　スＥＩ
１　４７　（ソ）　∃ｘ∃ｚ（サンマｘ＆日本橋ｚｘ＆～美味ｚ）　　　　　　　　　　　　　　　セＥＩ
１　４　　（タ）　∃ｘ∃ｚ（サンマｘ＆日本橋ｚｘ＆～美味ｚ）　　　　　　　　　　　　　　　６７ソＥＥ
１３　　　（チ）　∃ｘ∃ｚ（サンマｘ＆日本橋ｚｘ＆～美味ｚ）　　　　　　　　　　　　　　　３４タ
１３　　　（ツ）　∃ｘ∃ｙ（サンマｘ＆　目黒ｙｘ＆　美味ｙ）＆
　　　　　　　　　∃ｘ∃ｚ（サンマｘ＆日本橋ｚｘ＆～美味ｚ）　　　　　　　　　　　　　　　サチ＆Ｉ　
従って、
（16）により、
（17）
すべてのｘについて、ｘがサンマならば、あるｙは目黒のｘであって、ｘは美味く、すべてのｚについて、ｚが目黒のｘでないならば、ｚは美味くない。
然るに、あるｘは、サンマであって、あるｚは、日本橋のｘであって、目黒のｘではない。
故に、　あるｘは、サンマであって、あるｙは、　目黒のｘであって、美味く、
　　　　あるｘは、サンマであって、あるｚは、日本橋のｘであって、美味くない。
といふ「推論」は、「正しい」。
従って、
（15）（17）により、
（18）
サンマは目黒が美味い。
然るに、日本橋は目黒ではない。
故に、　目黒のサンマは美味く、日本橋のサンマは美味くない。
といふ「推論」は、「正しい」。
然るに、
（19）
１　　　　（１）∃ｘ｛花子ｘ＆象ｘ＆∃ｚ（耳ｚｘ＆～鼻ｚｘ）｝　　　　　　　　Ａ
　２　　　（２）　　　花子ａ＆象ａ＆∃ｚ（耳ｚａ＆～鼻ｚａ）　　　　　　　　　Ａ
　　３　　（３）　　　花子ａ＆象ａ＆　　　耳ｃａ＆～鼻ｃａ　　　　　　　　　　Ａ　　
　　　４　（４）∀ｘ｛象ｘ→∃ｙ（鼻ｙｘ＆長ｙ）＆∀ｚ（～鼻ｚｘ→～長ｚ）｝　Ａ　　　
　　　４　（５）　　　象ａ→∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　４ＵＥ
　　３　　（６）　　　象ａ　　　　　　　　　　　　　　　　　　　　　　　　　　３＆Ｅ
　　３４　（７）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）＆∀ｚ（～鼻ｚａ→～長ｚ）　　５６ＭＰＰ
　　３４　（８）　　　　　　∃ｙ（鼻ｙａ＆長ｙ）　　　　　　　　　　　　　　　７＆Ｅ
　　　　９（９）　　　　　　　　　鼻ｂａ＆長ｂ　　　　　　　　　　　　　　　　Ａ
　　３４　（ア）　　　　　　　　　　　　　　　　　∀ｚ（～鼻ｚａ→～長ｚ）　　７＆Ｅ
　　３４　（イ）　　　　　　　　　　　　　　　　　　　　～鼻ｃａ→～長ｃ　　　アＵＥ
　　３　　（ウ）　　　　　　　　　　　　　　　　　　　　～鼻ｃａ　　　　　　　３＆Ｅ
　　３４　（エ）　　　　　　　　　　　　　　　　　　　　　　　　　～長ｃ　　　イウＭＰＰ
　　３　　（オ）　　　花子ａ　　　　　　　　　　　　　　　　　　　　　　　　　３＆Ｅ
　　３　９（カ）　　　花子ａ＆鼻ｂａ＆長ｂ　　　　　　　　　　　　　　　　　　９オ＆Ｉ
　　３　　（キ）　　　　　　　　　　　　　耳ｃａ　　　　　　　　　　　　　　　３＆Ｅ
　　３　９（ク）　　　花子ａ＆鼻ｂａ＆長ｂ＆耳ｃａ　　　　　　　　　　　　　　カキ＆Ｉ
　　３４９（ケ）　　　花子ａ＆鼻ｂａ＆長ｂ＆耳ｃａ＆～長ｃ　　　　　　　　　　エク＆Ｉ
　　３４９（コ）∃ｚ（花子ａ＆鼻ｂａ＆長ｂ＆耳ｚａ＆～長ｚ）　　　　　　　　　ケＥＩ
　　３４９（サ）∃ｙ∃ｚ（花子ａ＆鼻ｙａ＆長ｙ＆耳ｚａ＆～長ｚ）　　　　　　　コＥＩ
　　３４９（シ）∃ｘ∃ｙ∃ｚ（花子ｘ＆鼻ｙｘ＆長ｙ＆耳ｚｘ＆～長ｚ）　　　　　サＥＩ
　　３４　（ス）∃ｘ∃ｙ∃ｚ（花子ｘ＆鼻ｙｘ＆長ｙ＆耳ｚｘ＆～長ｚ）　　　　　８９シＥＥ
　２　４　（セ）∃ｘ∃ｙ∃ｚ（花子ｘ＆鼻ｙｘ＆長ｙ＆耳ｚｘ＆～長ｚ）　　　　　２３スＥＥ
１　　４　（ソ）∃ｘ∃ｙ∃ｚ（花子ｘ＆鼻ｙｘ＆長ｙ＆耳ｚｘ＆～長ｚ）　　　　　１２セＥＥ
従って、
（19）により、
（20）
あるｘは花子であって、ｘは象であって、あるｚはｘの耳であって、ｚはｘの鼻ではない。
然るに、すべてのｘについて、ｘが象ならば、あるｙはｘの鼻であって、ｘは長く、すべてのｚについてｚがｘの鼻でないならば、ｚは長くない。
故に、　あるｘは花子であって象であり、あるｙはｘの鼻であって長く、あるｚはｘの耳であって、長くない。
従って、
（07）（20）により、
（21）
花子は象であり、花子の耳は鼻ではない。
然るに、象は鼻が長い。
故に、　花子は鼻が長く、耳は長くない。
といふ「推論」も、「正しい」。
従って、
（16）（18）（19）（21）により、
（22）
① サンマは目黒が美味い。
② 象は鼻が長い。
といふ「日本語（二重主語文）」は、両方とも、「論理的」には、
① ∀ｘ｛Ｆｘ→∃ｙ（Ｇｙｘ＆Ｈｙ）＆∀ｚ（～Ｇｚｘ→～Ｈｚ）｝。
② ∀ｘ｛Ｆｘ→∃ｙ（Ｇｙｘ＆Ｈｙ）＆∀ｚ（～Ｇｚｘ→～Ｈｚ）｝。
といふ「構造」をしてゐる。
然るに、
（23）
話題は基本的には、談話の相手にとって何らかの情報がある「既知」のもの、つまり典型的には英語でいえば定冠詞つき名詞や代名詞で示されるもの、日本語でいえば助詞「は」で示されるものである（定性参照）。それに対し、文の与える情報として一番重要な部分として強調したいものは焦点（Focus）と呼ばれ、言語によっては話題と区別しにくいこともあるが、焦点は一般に談話の相手にとって「未知」のものである（ウィキペディア）。
然るに、
（24）
① サンマは目黒が美味い。
といふ「落ち」である、
① 目黒が美味い。
に於いて、
① 目黒が
が、「一番重要な部分として強調したいものは焦点（Focus）」である。
といふのであれば、確かに、さうであると、言へそうである。