Elementare Logik

In der formalen Logik hat sich seit der zweiten HaUte des vorigen Jahrhunderts eine tiefgreifende Entwicklung vollzogen, so daB sich die modeme mathematische oder symbolische Logik ihren Methoden wie ihrem Inhalt nach wesentlich von der tradition ellen Logik unterscheidet. In ihrer modernen Gestalt hat sich die Logik eine Reihe neuer Anwendungs­ gebiete erschlossen, insbesondere in der mathematischen Grundlagen­ forschung und in der analytischen Philo sophie und Wissenschaftstheorie der Gegenwart und hat so Uber die Grenzen ihres Fachs hinaus ein weites Interesse gefunden. An einen weiteren Kreis von logisch Interessierten mochte sich auch diese EinfUhrung in die Grundlehren der modernen Logik wenden. Sie nimmt daher besondere RUcksicht auf die Schwierigkeiten des mathe­ matisch nicht vorgebildeten Lesers im Umgang mit Formalismen und entwickelt die Methode der Formalisierung in aller AusfUhrlichkeit. Unter diesem didaktischen Gesichtspunkt wird auch nicht so sehr Wert gelegt auf die schnelle Gewinnung von Resultaten, als auf die grUndliche EinUbung der Methoden, mit denen sie gewonnen werden. Daher werden gelegentlich verschiedene Beweise fUr das gleiche Resultat angegeben und Semantik wie Beweisbegriff der elementaren Logik werden auf verschiedenen Wegen aufgebaut. Besonderer Wert wird auch auf die semantische Deutung der Formalismen gelegt, die gleichwertig neb en der Beweistechnik steht, und auf die Methoden des natUrlichen SchlieBens, die sowohl fUr die Anwendungen wie auch fUr die BegrUndung der Logik wichtig sind. Einfache Dbungsaufgaben am Ende der einzelnen Ab­ schnitte sollen dem Leser die Moglichkeit geben, sein Verstandnis der Darlegungen zu kontrollieren und zu vertiefen.