Lexikon
Typentheorie
[griechisch]
Stufenlogikeine 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.
Wissenschaft
Warum Zecken bakterielle Helfer benötigen
Zecken ernähren sich von menschlichem und tierischem Blut und können bei ihren Bissen Krankheitserreger übertragen. Nun haben Forschende einen möglichen Weg gefunden, den Zeckenbestand künftig besser regulieren zu können und damit das Erkrankungsrisiko zu senken. Als Angriffspunkt könnten dabei spezielle Bakterien dienen, die im...
Wissenschaft
Helium-Regen und ausgefranster Kern
Das Innere der Riesenplaneten im Sonnensystem ist äußerst exotisch, wie Daten von Raumsonden und Laborexperimenten zeigen. von THOMAS BÜHRKE Jupiter, Saturn, Uranus und Neptun sind die Riesen im äußeren Sonnensystem. Diese Gasplaneten besitzen 99,5 Prozent der Gesamtmasse aller Planeten. Im Inneren Jupiters fänden mehr als 1300...
