Einfhrung in die mathematische Logik

Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es soll eine Einfhrung in die klassische zweiwertige Prdikaten logik geben. Die Beschrnkung auf die klassische Logik soll nicht besagen, da diese Logik prinzipiell einen Vorzug vor anderen, nichtklassischen Logiken besitzt. Die klassische Logik empfiehlt sich jedoch als Einfhrung in die Logik wegen ihrer Einfachheit und als Fundament fr die Anwendung deshalb, weil sie der klassischen Mathematik und damit den darauf aufgebauten exakten Wissenschaften zugrunde liegt. Das Buch wendet sich primr an Studierende der Mathematik, die in den An fngervorlesungen bereits einige grundlegende mathematische Begriffe, wie den Gruppenbegriff, kennengelernt haben. Der Leser soll dazu gefhrt werden, da er die Vorteile einer Formalisierung einsieht. Der bergang von der Umgangssprache zu einer formalisierten Sprache, welcher erfahrungsgem gewisse Schwierigkeiten bereitet, wird eingehend besprochen und eingebt. Die Analyse desmathemati schen Umgangs mit den grundlegenden mathematischen Strukturen fhrt in zwangloser Weise zum semantisch begrndeten Folgerungsbegriff.