特殊化
概念 B が 概念 A の特殊化であるとは、以下が成り立つ場合のみである。
概念 B の全てのインスタンスが、概念 A のインスタンスでもある。
概念 A のインスタンスの中には、概念 B のインスタンスでないものがある。
例えば、「鳥類」は「動物」の特殊化である。なぜなら、全ての鳥は動物だが、鳥ではない動物も存在するからである(例えば、イヌ)。
論理学では、次のような文が特殊化を誘発するとされる。
「全ての自動車は緑色だ」
そして、以下のような文を引き出すのに使う。
「私の自動車は赤い」
「フレッドの自動車は赤い」