白馬非馬
20世紀中期の論理学者前原昭二は、〈白馬〉という概念を F、〈馬〉という概念を G で表すと、〈白馬は馬にあらず〉という言葉は以下の (1)~(4) の 4 通りに解釈できると説明した。
そして、〈白馬は馬にあらず〉という言葉の解釈を上記の (1)~(4) の 4 通りに限った場合には、正しい命題として理解するには (4) による解釈しかないと解説した。