Lexikon

Typentheorie

[griechisch]
Stufenlogik
eine Theorie, die geschaffen wurde, um die Antinomien der Mengenlehre auszuschließen. Die Typentheorie geht nach B. Russell und A. M. Whitehead von der syntaktischen Regel aus, dass in Aussagen sich immer nur Prädikate des gleichen Typs vertreten können. So ist z. B. in den Sätzen „Das Kleid ist blau“ und „Blau ist eine Farbe“ das Individuum „Kleid“ vom Typus 0, das Prädikat „blau“ vom Typus 1 und das Prädikat „Farbe“ vom Typus 2. Der Satz „Das Kleid ist eine Farbe“ wäre unsinnig, da „blau“ und „Farbe“ nicht vom gleichen Typus sind. In der Mengenlehre haben Mengen 1. Stufe Elemente, die nicht selbst Mengen sind; Mengen 2. Stufe haben als Elemente Mengen 1. Stufe usw.
Im Eis sind Mammutleichen gut konserviert (Illustration). ©Colossal Biosciences
Wissenschaft

Wiederauferstehung der Tiere

Als Mammut und Beutelwolf ausstarben, hinterließen sie Lücken im Ökosystem. Mit moderner Genchirurgie könnten Forscher Nachbildungen erschaffen.

Der Beitrag Wiederauferstehung der Tiere erschien zuerst auf...

Hannover Messe, Technik
Wissenschaft

Forschung trifft Industrie

Coronapandemie, Krieg in der Ukraine und Klimakrise bedeuten für die Industrie unterbrochene Lieferketten, explodierende Energiepreise und steigende Anforderungen an eine nachhaltige Produktion. Neue Lösungen werden dringend gebraucht. von ANDREA STEGEMANN Über Jahre wirkte die große Industriemesse in Hannover wie ein...

Weitere Lexikon Artikel

Weitere Artikel aus dem Wahrig Herkunftswörterbuch

Weitere Artikel aus dem Vornamenlexikon