3 Review(s)

Das vorliegende, 1963 in erster Auflage erschienene Buch ist aus Vorlesungen hervorgegangen. Es soll eine Einfuehrung in die klassische zweiwertige Praedikaten- logik geben. Die Beschraenkung auf die klassische Logik soll nicht besagen, dass diese Logik prinzipiell einen Vorzug vor anderen, nichtklassischen Logiken besitzt. Die klassische Logik empfiehlt sich jedoch als Einfuehrung in die Logik wegen ihrer Einfachheit und als Fundament fuer die Anwendung deshalb, weil sie der klassischen Mathematik und damit den darauf aufgebauten exakten Wissenschaften zugrunde liegt. Das Buch wendet sich primaer an Studierende der Mathematik, die in den An- faengervorlesungen bereits einige grundlegende mathematische Begriffe, wie den Gruppenbegriff, kennengelernt haben. Der Leser soll dazu gefuehrt werden, dass er die Vorteile einer Formalisierung einsieht. Der uebergang von der Umgangssprache zu einer formalisierten Sprache, welcher erfahrungsgemaess gewisse Schwierigkeiten bereitet, wird eingehend besprochen und eingeuebt. Die Analyse desmathemati- schen Umgangs mit den grundlegenden mathematischen Strukturen fuehrt in zwangloser Weise zum semantisch begruendeten Folgerungsbegriff.