Einführung in die Aussagenlogik

More about the book

Die moderne Gestalt einer logischen Theorie, die in verschiedenen wissenschaftlichen Bereichen Anwendung findet, könnte den Eindruck erwecken, dass traditionelle formale Logik überflüssig ist. Während das Studium dieser Prinzipien kaum Vorkenntnisse erfordert, verlangt die Auseinandersetzung mit logischen Formalismen spezifische Techniken. Dies kann den Eindruck erwecken, dass nur erfahrene Nutzer von Formalismen von der Analyse logischer Theorien profitieren. Das Buch zielt darauf ab, die Kontinuität logischer Probleme zu beleuchten und die Aneignung logischer Methoden zu fördern. Es wird eine aussagenlogische Theorie im Kontext ihrer historischen Formulierung dargestellt. Die Analyse stützt sich auf die logischen und semantischen Konzepte von Frege und Russell sowie deren Zeitgenossen, um spezifische Merkmale der modernen Logik zu identifizieren. Dadurch wird das Verständnis grundlegender logischer Begriffe erleichtert. Es werden die Prinzipien der traditionellen formalen Logik und die damit verbundenen Probleme untersucht. Ein logisches Kalkül dient als Beispiel zur Analyse der konstruktiven Prinzipien des Aufbaus einer logischen Theorie. Zudem werden Besonderheiten des Aussagenkalküls von Principia Mathematica behandelt, basierend auf einer Idee Churchs. Das Buch ist als Lehrbuch konzipiert und basiert auf Erfahrungen einer Einführungsveranstaltung an der Universität Augsburg für Studierende verschiedener Fachrichtungen.