Einführung in die mathematische Logik

Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es soll eine Einf hrung in die klassische zweiwertige Pr dikaten- logik geben. Die Beschr nkung 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 Einf hrung in die Logik wegen ihrer Einfachheit und als Fundament f r die Anwendung deshalb, weil sie der klassischen Mathematik und damit den darauf aufgebauten exakten Wissenschaften zugrunde liegt. Das Buch wendet sich prim r an Studierende der Mathematik, die in den An- f ngervorlesungen bereits einige grundlegende mathematische Begriffe, wie den Gruppenbegriff, kennengelernt haben. Der Leser soll dazu gef hrt 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 einge bt. Die Analyse desmathemati- schen Umgangs mit den grundlegenden mathematischen Strukturen f hrt in zwangloser Weise zum semantisch begr ndeten Folgerungsbegriff.