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
Intervallfasten hilft nur bedingt
Wer hofft, mit Essen in Intervallen leichter abzunehmen, sollte einige Fakten kennen. Dr. med. Jürgen Brater stellt die neueren Studienergebnisse vor. Ein relativ neuer Trend zur Gewichtsabnahme ist das sogenannte Intervallfasten. Das Prinzip: Der Übergewichtige verzichtet nur zeitweise auf Nahrung – je nach Fastenmethode 16...
Wissenschaft
Nacht-Beleuchtung verhärtet Insektenfutter
Der ökologische Schaden von künstlicher Nacht-Beleuchtung kann vielschichtig sein, verdeutlicht eine Studie: Im nächtlichen Licht von Straßenlaternen entwickeln Bäume demnach vergleichsweise harte Blätter, die von Insekten offenbar weniger gefressen werden. Dieser Effekt könnte die Grundlage der Nahrungskette in...
