Einfuhrung in Die Aussagenlogik

Die moderne Gestalt einer logischen Theorie, die ihre Anwendung auf verschiedensten wissenschaftlichen Gebieten fordert, konnte fur die Verbreitung der Meinung verantwortlich sein, dass Begriffe und Prinzipien der traditionellen formalen Logik entbehrlich sind. Wahrend das Studieren dieser Prinzipien so gut wie keine besonderen Vorkenntnisse voraussetzt, verlangt jede Auseinandersetzung mit einem logischen Formalismus, dass man gewisse logische Techniken beherrscht. Manchmal wird dadurch der Eindruck erweckt, dass nur diejenigen, die schon bestimmte Erfahrungen im Umgang mit Formalismen haben, Nutzen aus der Analyse logischer Theorien ziehen konnten. Der Wunsch, einerseits die Kontinuitat der logischen Problematik aufzudecken und andererseits die Aneignung von logischen Vorgehensmethoden und Fertigkeiten zu fordern, bestimmten die Thematik dieses Buches. Hier wurde der Versuch unternommen, eine aussagenlogische Theorie im Hinblick auf historische Umstande ihrer modernen Formulierung darzulegen. Diese Aufgabenstellung fuhrte insbesondere dazu, dass die Analyse der zu betrachtenden Begriffe auf logischen und semantischen Konzepten Freges und Russells, sowie auf Ideen mancher ihrer Zeitgenossen basiert oder auf diese Bezug nimmt. Dieses Bezugnehmen soll der Feststellung spezifischer Merkmale der modernen Gestalt der Logik dienen. Durch das Erfassen dieses Spezifischen kann die Erkenntnis der logischen Grundbegriffe erleichtert werden. Im Buch werden Begriffe und Prinzipien der traditionellen formalen Logik sowie einige der bei ihrer Anwendung entstehenden Probleme analysiert. Am Beispiel eines logischen Kalkuls werden die konstruktiven Prinzipien des Aufbaus einer logischen Theorie untersucht. Anschliessend werden Besonderheiten des Aussagenkalkuls von Principia Mathematica analysiert, wobei diese Analyse auf einer der Ideen Churchs basiert. Diese Arbeit wurde als ein Lehrbuch konzipiert und basiert auf den Erfahrungen einer Einfuhrungsveranstaltung, die an der Universitat Augsburg fur Studierende verschiedener Fachrichtungen angeboten wird.