授業（哲学）

クラスとは、メンバーが述語に該当するか、規則によって分類される集合です。したがって、集合は要素によってのみ外延的に定義できますが、クラスにはメンバーを結合する内包的次元もあります。「クラス」という用語が、共通の述語や規則なしに要素が収集されることを意図した集合を含むように適用される場合、そのような集合を「不適切なクラス」と呼ぶことで区別できます。

哲学者は、クラスをタイプや種類と区別することがあります。タイプ(または自然種)、人間、人類性について話すことができるのと同じように、人間のクラスについて話すことができます。では、クラスはタイプとどのように異なるのでしょうか。実際には、それらは存在の異なるカテゴリではないと考える人もいるかもしれませんが、通常、両方とも抽象的なオブジェクトとして扱われますが、クラスは通常は普遍的として扱われませんが、タイプは通常普遍的として扱われます。自然種が普遍的であると考えられるべきかどうかは難しい問題です。自然種を参照してください。

いずれにせよ、型や種類について話す方法には違いがあります。私たちは、ソクラテスは自然種である人間という型のトークン、またはインスタンスであると言います。しかし、代わりにソクラテスは人間のクラスのメンバーであると言うことに注意してください。ソクラテスは人間という型または種類の「メンバー」であるとは言いません。また、彼がクラスの型 (または種類) であるとも言いません。彼は型 (種類) のトークン (インスタンス) です。したがって、言語上の違いは、型 (または種類) にはトークン (またはインスタンス) があり、一方、クラスにはメンバーがあるということです。

クラスの概念は、そのメンバーによって定義される集合の概念に似ています。^[1]ここで、クラスは外延的です。ただし、集合が内包的に定義される場合、それはメンバーになるための何らかの要件を満たすものの集合です。したがって、そのような集合は型を作成すると見なすことができます。内包集合の外延からクラスも作成することに注意してください。型には常に対応するクラスがありますが (そのクラスにはメンバーがいない場合もあります)、クラスには必ずしも対応する型があるわけではありません。

• 哲学における分析用語としての「階級」、Philosophypages.com
• 「クラス」は、演繹的推論の言語における、カテゴリまたはカテゴリ用語の分析的特徴である。
• 論理学の一側面としての「クラス」、特にバートランド・ラッセルの『プリンキピア・マテマティカ』
• 「アリストテレスから EA へ: EA のための型理論」2014 年 10 月 26 日引用。