Langer, Susanne K. An Introduction to Symbolic Logic

'An Introduction to Symbolic Logic' von Susanne K. Langer ist ein grundlegendes Werk, das sich mit den Prinzipien und Methoden der symbolischen Logik auseinandersetzt. In diesem Buch bietet Langer eine umfassende Einführung in die formalen Systeme der Logik, einschließlich Aussagenlogik und Prädikatenlogik. Sie erklärt die Verwendung von Symbolen zur Darstellung logischer Aussagen und zeigt, wie diese Symbole genutzt werden können, um komplexe Argumente zu analysieren und zu bewerten. Das Buch behandelt Themen wie logische Konstanten, Quantoren, die Struktur von Argumenten sowie die Regeln der Ableitung und Beweisführung. Langer legt besonderen Wert darauf, die Konzepte klar und verständlich darzustellen, sodass auch Leser ohne Vorkenntnisse in Logik einen Zugang finden können. Durch zahlreiche Beispiele und Übungen wird das Verständnis des Materials gefördert. Insgesamt bietet 'An Introduction to Symbolic Logic' eine fundierte Grundlage für das Studium der Logik und deren Anwendung in verschiedenen wissenschaftlichen Disziplinen.