Einf?hrung in Die Mathematische Logik: Klassische Pr?dikatenlogik

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.

Author: Hans Hermes

Publisher: Vieweg+teubner Verlag

Publication Date: Jan 01, 1991

Number of Pages: 208 pages

Binding: Paperback or Softback

ISBN-10: 3519222019

ISBN-13: 9783519222019