（01）
１ （１）∃ｘ∃ｙ｛Ｓｘ＆Ｐｙ＆Ｔｘｙ＆∀ｚ（Ｔｚｙ→ｘ＝ｚ）｝ Ａ
２ （２） ∃ｙ｛Ｓａ＆Ｐｙ＆Ｔａｙ＆∀ｚ（Ｔｚｙ→ａ＝ｚ）｝ Ａ
３ （３） Ｓａ＆Ｐｂ＆Ｔａｂ＆∀ｚ（Ｔｚｂ→ａ＝ｚ） Ａ
３ （４） ∀ｚ（Ｔｚｂ→ａ＝ｚ） ３＆Ｅ
３ （５） Ｔｃｂ→ａ＝ｃ １ＵＥ
６ （６） ∃ｚ（Ａｚ＆～Ｓｚ） Ａ
７ （７） Ａｃ＆～Ｓｃ Ａ
３ （８） Ｓａ ３＆Ｅ
７ （９） ～Ｓｃ ８＆Ｅ
ア（ア） ａ＝ｃ Ａ
７ア（イ） ～Ｓａ ９ア＝Ｅ
３ ７ア（ウ） Ｓａ＆～Ｓａ ８イ＆Ｉ
３ ７ （エ） ａ≠ｃ アウＲＡＡ
３ ７ （オ） ～Ｔｃｂ ５エＭＴＴ
３ （カ） Ａｃ ７＆Ｅ
３ （キ） Ｐｂ ３＆Ｅ
３ （ク） Ａｃ＆Ｐｂ カキ＆Ｉ
３ ７ （ケ） Ａｃ＆Ｐｂ＆～Ｔｃｂ オク＆Ｉ
３ ７ （コ） ∃ｙ（Ａｃ＆Ｐｙ＆～Ｔｃｙ） ケＥＩ
３６ （サ） ∃ｙ（Ａｃ＆Ｐｙ＆～Ｔｃｙ） ６７コＥＥ
３６ （シ）∃ｚ∃ｙ（Ａｚ＆Ｐｙ＆～Ｔｚｙ） サＥＩ
２ ６ （ス）∃ｚ∃ｙ（Ａｚ＆Ｐｙ＆～Ｔｚｙ） ２３シＥＥ
１ ６ （セ）∃ｚ∃ｙ（Ａｚ＆Ｐｙ＆～Ｔｚｙ） １２スＥＥ
従って、
（01）により、
（02）
（ⅰ）∃ｘ∃ｙ｛Ｓｘ＆Ｐｙ＆Ｔｘｙ＆∀ｚ（Ｔｚｙ→ｘ＝ｚ）｝。然るに、
（ⅱ） ∃ｚ（Ａｚ＆～Ｓｚ）。従って、
（ⅲ）∃ｚ∃ｙ（Ａｚ＆Ｐｙ＆～Ｔｚｙ）。
といふ「三段論法」、すなはち、
（ⅰ）あるｘとあるｙについて｛ｘはソクラテスであって、ｙはプラトンであって、すべてのｚについて、ｚがｙを教へたのであれば、ｘとｚは「同一」である｝。然るに、
（ⅱ）あるｚについて（ｚはアリストテレスであって、ソクラテスではない）。故に、
（ⅲ）あるｚとあるｙについて（ｚはアリストテレスであって、ｙはプラトンであって、ｚはｙを教へなかった）。
といふ「三段論法」は、「妥当」である。
従って、
（02）により、
（03）
（ⅰ）Socrates is the only philosopher who taught Plato.
（ⅱ）Aristotle is not Socrates. therefore,
（ⅲ）Aristotle did not teach Plato.
といふ「三段論法」は、「妥当」である。
然るに、
（04）
（１）Socrates is a philosopher.
（２）Paris is a city.
（３）Courage is a virtue.
（４）Socrates is the philosopher who taught Plato.
（５）Paris is the capital of France.
（６）Courage is the virtue I most admire.
（１）―（３）の文は単純な主語・述語の文である。特定の対象が（ソクラテス、パリ、勇気）がある性質（哲学者であること、都市であること、徳であること）をもつ、と言われるのである。従って、（１）―（３）における「である」のことを、述語の作用する「である」（'is' of predication）とよぶ。この「である」の用法は（４）―（６）における「である」と比較対照される必要がある。ここでは、その意味はむしろ、「同じ対象である」（「対象：という語をある広い、中立的な意味に用いて）である。この「である」をわれわれは同一性の「である」（'is' of identity）として区別する。
（E.J.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年、２０５頁）
然るに、
（05）
（４）Socrates is the philosopher who taught Plato.
に於いて、
（４）「ソクラテス」と「ソクラテスはプラトンを教えた哲学者」が「同一」である。
といふことは、
（４）「ソクラテスだけが、プラトンを教えた哲学者である。」
といふことに、他ならない。
従って、
（03）（04）（05）により、
（06）
①「Socrates is the philosopher who taught Plato.」といふ「英語」は、実質的には、
②「Socrates is the only philosopher who taught Plato.」といふ「意味」である。
従って、
（06）により、
（07）
「英語の話者」は、
① Socrates is the philosopher who taught Plato.
といふ「英語」を、
② Socrates is the only philosopher who taught Plato.
といふ「意味」で、用ひてゐる。
然るに、
（08）
② Socrates is the only philosopher who taught Plato.
② ソクラテスだけがプラトンを教えた哲学者である。
に対して、
② Socrates is a only philosopher who taught Plato.
② ソクラテスだけはプラトンを教えた哲学者である。
といふ、少なくとも、「日本語」は無いし、「英語」も、無いはずである。
従って、
（06）（07）（08）により、
（09）
① Socrates is the philosopher who taught Plato.
① ソクラテスがプラトンを教えた哲学者である。
といふ「英語」と「日本語」が、それぞれ、
② Socrates is the only philosopher who taught Plato.
② ソクラテスだけがプラトンを教えた哲学者である。
といふ「意味」であるとしても、「不思議」ではない。
従って、
（09）により、
（10）
② Socrates is the only philosopher who taught Plato.
② ソクラテスだけがプラトンを教えた哲学者である。
に於いて、
② only
② だけ
を「省略」した形が、
① Socrates is the philosopher who taught Plato.
① ソクラテスがプラトンを教えた哲学者である。
であるとしても、「不思議」ではない。
（01）
問題５：ラッセルの「確定記述の理論」を用いて、つぎの論証の健全性を確立せよ。
（ａ）マイン・カンプの著者は１９４５年に死んだ。ヒトラーはマイン・カンプを書いた。故にヒトラーは１９４５年に死んだ。
Exercise 5: Using Russell's theory of definite description, establish the soundness of the following argument.
（ａ）The author of the Mein Kampf died in 1945; Histler wrote Mein Kampf; therefore Histler died in 1945.
（E.J.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年、２１５頁と原文）。
（02）
１ （１）∃ｘ（我が闘争ｘ＆４５年死ｘ） Ａ
２ （２） 我が闘争ａ＆４５年死ａ Ａ
３ （３）∃ｙ｛ヒトラーｙ＆我が闘争ｙ＆∀ｘ（我が闘争ｘ→ｘ＝ｙ）｝ Ａ
４（４） ヒトラーｂ＆我が闘争ｂ＆∀ｘ（我が闘争ｘ→ｘ＝ｂ） Ａ
４（５） ∀ｘ（我が闘争ｘ→ｘ＝ｂ） ４＆Ｅ
４（６） 我が闘争ａ→ａ＝ｂ ５ＵＥ
２ （７） 我が闘争ａ ２＆Ｅ
２ ４（８） ａ＝ｂ ６７ＭＰＰ
４（９） ヒトラーｂ ４＆Ｅ
２ ４（ア） ヒトラーａ ８９＝Ｅ
２ （イ） ４５年死ａ ２＆Ｅ
２ ４（ウ） ヒトラーａ＆４５年死ａ アイ＆Ｉ
２ ４（エ）∃ｘ（ヒトラーｘ＆４５年死ｘ） ウＥＩ
２３ （オ）∃ｘ（ヒトラーｘ＆４５年死ｘ） ３４エＥＥ
１ ３ （カ）∃ｘ（ヒトラーｘ＆４５年死ｘ） １２オＥＥ
１ ３ （〃）あるｘはヒトラーであって１９４５年に死んだ。 １２オＥＥ
（03）
問題□：ラッセルの「確定記述の理論」を用いて、つぎの論証の健全性を確立せよ。
（ｂ）マイン・カンプの著者は１９４５年には死んでいない。ヒトラーがマイン・カンプを書いた。故にヒトラーは１９４５年に死ななかった。
Exercise 5: Using Russell's theory of definite description, establish the soundness of the following argument.
（ｂ）The author of the Mein Kampf did not die in 1945; Hitler wrote Mein Kampf; therefore Hisler did not die in 1945.
（04）
１ （１）∃ｘ（我が闘争ｘ＆～４５年死ｘ） Ａ
２ （２） 我が闘争ａ＆～４５年死ａ Ａ
３ （４）∃ｙ｛ヒトラーｙ＆我が闘争ｙ＆～∃ｘ（我が闘争ｘ＆ｘ≠ｙ）｝ Ａ
４（４） ヒトラーｂ＆我が闘争ｂ＆～∃ｘ（我が闘争ｘ＆ｘ≠ｂ） Ａ
４（５） ～∃ｘ（我が闘争ｘ＆ｘ≠ｂ） ４＆Ｅ
４（６） ∀ｘ～（我が闘争ｘ＆ｘ≠ｂ） ５量化子の関係
４（７） ～（我が闘争ａ＆ａ≠ｂ） ６ＵＥ
４（８） ～我が闘争ａ∨ａ＝ｂ ７ド・モルガンの法則
４（９） 我が闘争ａ→ａ＝ｂ ８含意の定義
２ （ア） 我が闘争ａ ２＆Ｅ
２ ４（イ） ａ＝ｂ ９アＭＰＰ
４（ウ） ヒトラーｂ ４＆Ｅ
２ ４（エ） ヒトラーａ イウ＝Ｅ
２ （オ） ～４５年死ａ ２＆Ｅ
２ ４（カ） ヒトラーａ＆～４５年死ａ エオ＆Ｉ
２ ４（キ）∃ｘ（ヒトラーｘ＆～４５年死ｘ） カＥＩ
２３ （ク）∃ｘ（ヒトラーｘ＆～４５年死ｘ） ３４キＥＥ
１ ３ （ケ）∃ｘ（ヒトラーｘ＆～４５年死ｘ） １２９ＥＥ
１ ３ （コ）あるｘはヒトラーであって１９４５年には死ななかった。 １２９ＥＥ
従って、
（01）～（04）により、
（05）
「ラッセルの確定記述の理論」は、
「マイン・カンプの著者」が「ヒトラー」と「同一人物」であるならば、
「マイン・カンプの著者」に対して「起こったこと」は、「ヒトラー」にも「起こったこと」であり、
「マイン・カンプの著者」に対して「起こったらなかったこと」は、「ヒトラー」にも「起こらなかったこと」である。
といふことを、示してゐる。
然るに、
（06）
いづれにせよ、
「マイン・カンプの著者（The author of the Mein Kampf）」は、「一人しかゐない」。
従って、
（06）により、
（07）
① ヒトラーは「マイン・カンプの著者」であって、
② 「マイン・カンプの著者」はヒトラーである。
然るに、
（08）
② 「マイン・カンプの著者」はヒトラーである。
③ ヒトラー以外は「マイン・カンプの著者」ではない。
に於いて、
②＝③ は「対偶（Contraposition）」である。
然るに、
（04）により、
（09）
③ ∃ｙ｛ヒトラーｙ＆我が闘争ｙ＆～∃ｘ（我が闘争ｘ＆ｘ≠ｙ）｝⇔
③ あるｙはヒトラーであって、我が闘争の著者であり、あるｘが我が闘争の著者であって、ｘがｙ以外である、といふことはない。
然るに、
（10）
② 「マイン・カンプの著者」はヒトラーである。
③ ～∃ｘ（我が闘争ｘ＆ｘ≠ｙ）⇔
③ あるｘが我が闘争の著者であって、ｘがｙ以外である、といふことはない。
に於いて、
②＝③ は「対偶（Contraposition）」である。
（01）～（10）により、
（11）
① Histler is the author of the Mein Kampf.
といふ「英語」は、
② ヒトラーは「マイン・カンプの著者」であって、ヒトラー以外は「マイン・カンプの著者」ではない。
といふ「日本語」に相当し、
② ヒトラーは「マイン・カンプの著者」であって、ヒトラー以外は「マイン・カンプの著者」ではない。
といふ「日本語」は、
③ ∃ｙ｛ヒトラーｙ＆我が闘争ｙ＆～∃ｘ（我が闘争ｘ＆ｘ≠ｙ）｝⇔
③ あるｙはヒトラーであって、我が闘争の著者であり、あるｘが我が闘争の著者であって、ｘがｙ以外である、といふことはない。
といふ「述語論理式」に相当する。
然るに、
（07）により、
（12）
① Hitler is the author of the Mein Kampf.
② The author of the Mein Kampf is Hitler.
に於いて、
①＝② である。
然るに、
（13）
（ｂ）「である（ｉｓ）」の両側にならぶ語句は、近似値的に同じ意味をたもちつつ入れ換えることができるか―もしできるならば、その「である（ｉｓ）」は同一性の「である」（'is' of identity）である。
（E.J.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年、２０５頁改）
従って、
（13）により、
（14）
「Ａ is Ｂ.」であって、
「Ｂ is Ａ.」ならば、「Ａ＝Ｂ」であって、その場合の、「ｉｓ」は、同一性の「である」（'is' of identity）である。
ｃｆ.
「交換法則（commutative law）」。
然るに、
（15）
（１）Socrates is a philosopher.
（２）Paris is a city.
（３）Courage is a virtue.
（４）Socrates is the philosopher who taught Plato.
（５）Paris is the capital of France.
（６）Courage is the virtue I most admire.
Sentences（１）－（３）are simple subjects-predicate sentences; a particular objects（Socrates,Paris,courage）is said to have a certain property（being a philosopher,being a city,being a virtue）. We accordingly call the 'is' in（１）－（３）the 'is' of predication. This use of 'is' must be contrasted with the 'is' in（４）－（６）, where rather the sense is 'is' the same object as（with 'object' used in some broad neutral sense）. This 'is' we distinguish as the 'is' of identity.
（E.J.Lemmon, Beginning Logic,1978/6/1,p160）
（１）―（３）の文は単純な主語・述語の文である。特定の対象が（ソクラテス、パリ、勇気）がある性質（哲学者であること、都市であること、徳であること）をもつ、と言われるのである。従って、（１）―（３）における「である」のことを、述語の作用する「である」（'is' of predication）とよぶ。この「である」の用法は（４）―（６）における「である」と比較対照される必要がある。ここでは、その意味はむしろ、「同じ対象である」（「対象：という語をある広い、中立的な意味に用いて）である。この「である」をわれわれは同一性の「である」（'is' of identity）として区別する。
（E.J.レモン 著、武生治一郎・浅野楢英 訳、論理学初歩、1973年、２０５頁）
従って、
（14）（15）により、
（16）
（４）Socrates is the philosopher who taught Plato.
（５）Paris is the capital of France.
（６）Courage is the virtue I most admire.
であれば、
（４）Socrates is the philosopher who taught Plato.
（５）Paris is the capital of France.
（６）Courage is the virtue I most admire.
（４）The philosopher who taught Plato is Socrates
（５）The capital of France is Paris.
（６）The virtue I most admire is Courage.
に於ける「ｉｓ」が、同一性の「である（'is' of identity）」である。
従って、
（16）により、
（17）
（４）ソクラテスがプラトンを教えた哲学者である。
（５）パりがフランスの首都である。
（６）勇気が私が最も賛美する徳である。
に於ける「が」は、同一性の「が」（'が' of identity）である。
然るに、
（18）
（６）私が最も賛美する徳。
に於ける「が」は、
（６）我が家。
（６）博士が愛した数式。
に於ける「が」と同じく、「連体助詞」の「が」であるため、同一性の「が」（'が' of identity）ではない。