Typentheorie

eine von Bertrand Russell und Alfred North Whitehead begründete Theorie deren Grundprinzip darin besteht die logischen Objekte wie Mengen Funktionen Relationen Prädikate in eine Hierarchie von "Typen" aufgegliedert

Als Elemente einer Menge als Argumente Werte einer Funktion oder als Glieder einer dürfen nur Objekte auftreten die niederen Typus diese Menge diese Funktion oder Relation selbst

Diese Typenunterscheidung hat den Zweck die Zusammenhang mit der Mengenlehre aufgetretenen Antinomien konsequent zu beseitigen.

Die Frage z.B. ob eine Menge von sich selbst ist ob eine Funktion sich selbst angewendbar ist sind in der nicht sinnvoll gestellt in der Sprache der nicht formulierbar.

siehe auch Logizismus

Bücher zum Thema Typentheorie

Dieser Artikel von Wikipedia unterliegt der GNU FDL.