Dieses Lehrbuch der formalen Logik wendet sich primär an einen philosophisch interessierten Leserkreis ohne spezielle Logik-Vorkenntnisse. Es führt in die klassische Junktoren- und Quantorenlogik ein. Anhand zahlreicher philosophischer Anwendungsbeispiele soll den Leserinnnen und Lesern der besondere Nutzen verdeutlicht werden, den die Logik für die philosophische Forschung hat.