日々の破片

_ やさしい荀子入門

白馬は馬ではない？ そりゃ、インスタンスとクラスの区別がついてないということだな。白馬は馬のインスタンスで白という属性を持ってるだけのことだ。論理を明らかにするためには、概念と実体の区別をつけるってことが重要だろう。

と、荀子は3000年前に言った。

_ 白馬は馬ではない

もしも、白馬が馬ならば、どうして黒馬が馬でありえようか？ 白馬が馬なら馬は白いという命題が導かれるからだ。しかし、それはおかしい。だから、白馬は馬ではない。

_ やさしい韓非子入門

白馬が馬かどうかなんてどうでも良い。そんなタワゴトに時間を使うのは無駄なこった。とりあえず、そこの白馬を連れて関門を出てみろ。課税されたら、馬だ。

_ 追記(8/30)

上のは、公孫龍（ちなみに韓非子の外儲説左上篇14では児説）の「形式論理」、荀子の「正名」（実際には「単名」の馬に対して白馬は「兼名」に属するので上のはでたらめ）、韓非子からの自由な引用であり、これが意味することは、

虚辞に籍れば、則ち能く一国に勝つも、実を考え形を按ずれば、一人をも謾こと能わず。

やれやれ。