Typentheorie
Die Typentheorie bezeichneteine von Bertrand Russell und Alfred North Whitehead begründete Theorie, deren Grundprinzip darin besteht, daß die logischen Objekte wie Mengen, Funktionenen, Relationen,Prädikate in eine Hierarchie von "Typen" aufgegliedert werden.
Als Elemente einer Menge, als Argumente und Werte einer Funktion oder als Glieder einer Relation dürfen nur Objekte auftreten, die niederen Typus als diese Menge, diese Funktion oder Relation selbst sind.
Diese Typenunterscheidung hat den Zweck, die im Zusammenhang mit der Mengenlehre aufgetretenen Antinomien konsequent zu beseitigen.
Die Frage z.B., ob eine Menge Element von sich selbst ist, ob eine Funktion auf sich selbst angewendbar ist, sind in der Typentheorie nicht sinnvoll gestellt, in der Sprache der Typentheorie nicht formulierbar.
siehe auch Logizismus