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
Lokalrunde für die Ewigkeit
Wo geht man hin, wenn man sehr viel Alkohol benötigt? Zum Oktoberfest in München? Ballermann auf Mallorca? Dort würde man wahrscheinlich fündig werden, muss aber auch damit rechnen, auf bayerische Ministerpräsidenten oder betrunkene Touristenhorden zu treffen. Die Wissenschaft kennt aber einen anderen Ort, an dem sehr viel mehr...
Wissenschaft
Gibt es Leben auf K2-18b?
Der Nachweis von Planeten bei anderen Sternen ist inzwischen Routine. Nun können Astronomen sogar deren Atmosphären analysieren – und vielleicht bald Lebensspuren entdecken. von RÜDIGER VAAS Der Titel einer Pressemitteilung, die die renommierte Cambridge University im April 2025 verschickt hat, war so spektakulär wie irreführend...
