対象の同定が、一定不変の基準(必要十分条件)によって行われるものであるとするならば(言い替えれば、すべてのメンバーが一定の共通点・内包を共有することによってのみ、同一視されるのであれば)、結果として、一定の事物は一定の最低限の共通点、すなわち本質を有する、ということは必然になる。このような論点からの本質主義の擁護は、一見して反駁困難に感じられる。とりわけ、定義によって語の意味が明確化されているような状況においてはそうである。またこの論点は固有名による、あるいは時間による同一性が孕む難点とも関連する。多くの場合、固有名による、あるいは時間をまたいでの、ものの同定には、少なくとも意味論的には、同定の基準となる性質というものが含意されていないように見えるからである。参照:スワンプマン、テセウスの船これに関連して、同定は既存事例との類似性によってなされるが、その際の類似性という基準においては、どの既存例のどの属性(の集合)との同一性によって、同定がなされるかは、その都度異なりうる、という考え方もできる。いいかえればこれは、新しい事例がその集合に属するかの判断は、以前の事例がその集団に属するかどうか判断された際の判断基準によってではなく、現に存在する事例の集合から新たに引き出されるということである。すでに存在する事例のうちの、何をもって典型的属性・要素・典型的事例とするかは、集合の範囲やメンバーを変えることなく変動しうる。それは内包が無限の事例にかかわるものであるのに対し、外延は有限の事例にかかわるものだからである。