Eine Klasse ist eine Menge, deren Elemente entweder unter ein Prädikat fallen oder durch eine Regel klassifiziert werden. Während eine Menge extensional nur durch ihre Elemente definiert werden kann, besitzt eine Klasse zusätzlich eine intensionale Dimension, die ihre Elemente verbindet. Wird der Begriff „Klasse“ so angewendet, dass er auch Mengen umfasst, deren Elemente ohne gemeinsames Prädikat oder Regel zusammengefasst werden sollen, so kann diese Unterscheidung durch die Bezeichnung „uneigentliche Klasse“ verdeutlicht werden.

Philosophen unterscheiden mitunter zwischen Klassen, Typen und Arten . Diskutiert werden die Klasse der Menschen sowie der Typus (oder die natürliche Art ) Mensch oder Menschheit. Während beide typischerweise als abstrakte Objekte und nicht als unterschiedliche Seinskategorien betrachtet werden , gelten Typen – im Gegensatz zu Klassen – üblicherweise als Universalien . Ob natürliche Arten als Universalien anzusehen sind, ist umstritten; siehe natürliche Art .

Typen und Arten werden unterschiedlich behandelt. Sokrates gilt als Vertreter eines Typs (oder als Instanz der natürlichen Art Mensch), aber als Mitglied der Klasse der Menschen. Er ist ein Vertreter (Instanz), nicht Mitglied des Typs (der Art) Mensch. Er ist Mitglied, nicht Typ (oder Art) einer Klasse. Die Terminologie besagt, dass Typen (oder Arten) Vertreter (oder Instanzen) haben, während Klassen Mitglieder haben.

Eine Klasse wird ähnlich wie eine durch ihre Elemente definierte Menge konzeptualisiert. [ 1 ] Die Klasse ist extensional. Eine intensional definierte Menge ist eine Menge von Elementen, die eine bestimmte Bedingung erfüllen, um ein Element zu sein. Eine solche Menge erzeugt einen Typ. Sie erzeugt außerdem eine Klasse aus der Extension der intensionalen Menge. Jedem Typ ist stets eine (möglicherweise leere) Klasse zugeordnet, aber eine Klasse besitzt nicht notwendigerweise einen zugeordneten Typ.

Referenzen

  1. ^ Antony Flew . Dictionary of Philosophy . S. 64.