トップ «前の日記(2003-08-25) 最新 次の日記(2003-08-27)» 編集

日々の破片

Subscribe with livedoor Reader
著作一覧

2003-08-26

_ やさしい荀子入門

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

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

_ 白馬は馬ではない

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

_ やさしい韓非子入門

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

_ 追記(8/30)

上のは、公孫龍(ちなみに韓非子の外儲説左上篇14では児説)の「形式論理」、荀子の「正名」(実際には「単名」の馬に対して白馬は「兼名」に属するので上のはでたらめ)、韓非子からの自由な引用であり、これが意味することは、
虚辞に籍れば、則ち能く一国に勝つも、実を考え形を按ずれば、一人をも謾こと能わず。
やれやれ。

2003|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|

ジェズイットを見習え