Die Arbeit entwickelt eine Theorie der Satzbedeutung fur die Alltagssprache auf der Grundlage von Arbeiten Wittgensteins und des Wiener Kreises. Im ersten Teil werden in einem einheitlichen System Begriffe geklart wie: Bedeutung eines Satzes, analytische, notwendige, sinnlose Satze. Implizit zeigt sich dabei die Form der Bedeutungstheorie. Ferner wird gefragt: Wie funktionieren grammatische Satze? Wie hangen Bedeutung und Referenz zusammen? Bedingt Unvorstellbarkeit Unmoglichkeit? Der zweite Teil gibt nach einer Kurzdarstellung der (modalen) Aussagenlogik eine Deutung der mathematischen Logik aus der Alltagssprache. Gefragt wird: Gibt die Subjunktion das alltagssprachliche Wenn-dann korrekt wieder? Ist die mathematische Logik exakter als die Alltagssprache? Inwieweit ist die Logik formal?