クラス（くらす、英：class）とは、構成物（メンバー）がある述語に当てはまるか、ある規則によって分類される集まり。集合がその要素だけで外延的に定義されるのに対し、クラスは構成物を結びつける内包的側面をもつ。もし共通の述語や規則なしに、集められた要素からなる集合まで含む意味で用いるなら、そのような集まりは「インプロパー・クラス(英：improper class)」と呼ぶ。

クラスとタイプ（種）の違い 哲学者は、クラスをタイプや種と区別することがある。たとえば、人間のクラスと、タイプまたは自然種としての人類が論じられる。クラスと型はいずれも抽象的対象としてカテゴリーが異なるものとはされないが、普遍として扱われるのはふつうクラスではなくタイプである。自然種を普遍と見なすべきかは難問である。

タイプや種は次のように区別される。ソクラテスは、タイプのトークン（あるいは自然種としての人間の例化(インスタンス)）とみなされる一方で、人間のクラスの構成員（メンバー）でもある。つまり、ソクラテスはタイプ（種）の構成員ではなくそのトークン（例化）であり、クラスでは構成員である。用語法として、タイプ（種）にはトークン（例化）が対応し、クラスには構成員（メンバー）が対応すると言う。

クラスと集合とタイプ クラスは、その構成物によって定義される集合と概念的に似ている。Antony Flew. Dictionary of Philosophy. p. 64.クラスは構成物の集合であるという意味で外延的である。内包的に定義された集合とは、成員であるためのある要件を満たす事物の集合のことだ。そのような集合はその要件の抽象化としてのタイプを生み出し、同時にその内包的集合の外延からクラスを生み出す。要件の抽象物としてのタイプには、常に（具体的個物が存在しない＝空である場合もあるが）個物の集合としての対応するクラスがあるが、個物の集合としてのクラスに対応する性質としてのタイプが必ずあるとは限らない。

関連項目 存在論 タイプとトークンの区別 外延的定義と内包的定義 内包と外延

脚注