質問: 三段論法のトリック (a=b)は正しい? 質問が長くなります。済みません。お時間ない方は飛ばして下さいね。 三段論法の説明でこんな話がありますよね。 「ソクラテスは人間である」 「人間はみんないつか死ぬ」 導き出される結論は・・・ 「ソクラテスはいつか死ぬ」 「つまり、a=b、b=c、従い、a=cというのが論理的な考え方です」 ところが、今朝の電車の中でこんなことを思いました。 「ソクラテスは人間である」とは、果たして「a=b」なのか? そうであるなら、 「b=a」 つまり、 「人間はソクラテスである」 という等式が成り立つ筈です。 となると、例えば 「人間はソクラテスである」 (b=a) 「山田花子は人間である」 (c=b) 「ソクラテスは山田花子である」(a=c) という論法も成り立つ筈なのですが、山田花子はソクラテスでないことは明白です。 ということは、「ソクラテスは人間である」とは「a=b」である、という内容に論理の飛躍があるのでしょうか? なにかがおかしいのですが、なんだか分りません。お知恵を拝借できませんか? 宜しくお願い致します。
回答: 「ソクラテスは集合『人間』の要素である」 「集合『人間』の要素はみんないつか死ぬ」 「ソクラテスはいつか死ぬ」 と理解するといいのではないでしょうか? 当然、 「集合『人間』はソクラテスの要素である」 わけはないので、ソクラテスは山田花子にはならずめでたし、めでたし。 論理学は専門外なので間違いがあるかもしれませんので、okwebの碩学の方々の回答も待ちましょう。