Bewertung:

In den Rezensionen wird Quines „Mathematische Logik“ aus unterschiedlichen Blickwinkeln betrachtet, wobei seine historische Bedeutung und seine eloquente Darstellung hervorgehoben, aber auch auf seine Grenzen in der modernen mathematischen Logik hingewiesen wird. Das Buch wird für seine Klarheit und die Behandlung bestimmter logischer Konzepte geschätzt, aber es wird auch für seine veraltete Notation und Auslassungen kritisiert.
Vorteile:** Schön geschrieben und eloquent ** Gutes historisches Interesse ** Klarer als 'Principia Mathematica' ** Beste Behandlung der wahrheitsfunktionalen und quantifizierenden Logik vor der natürlichen Deduktion ** Aufmerksamkeit für linguistische Aspekte der Logik ** Wertvoll für Studenten der Logik
Nachteile:** Veraltete Notationen, die die Lektüre vor allem für jüngere Leser erschweren ** Begrenzte moderne Relevanz, wird fast als „archäologisches“ Werk betrachtet ** Schwache Behandlung von Konzepten der Metatheorie und Auslassungen in Bezug auf die Modelltheorie ** Die erste Ausgabe wird als ungeeignet für den praktischen Gebrauch angesehen, da sie erhebliche Widersprüche aufweist
(basierend auf 5 Leserbewertungen)
Mathematical Logic
Mathematische Logik von Willard Van Orman Quine ist eine umfassende Einführung in das Studium der mathematischen Logik. Das Buch deckt ein breites Spektrum von Themen der Logik ab, darunter Aussagenlogik, Prädikatenlogik, Mengenlehre und die Grundlagen der Mathematik.
Quines Ansatz zur Logik ist sehr formal und mathematisch und betont die Verwendung von Symbolen und die Manipulation formaler Systeme. Das Buch beginnt mit einem Überblick über die Aussagenlogik, einschließlich Wahrheitstabellen und den Gesetzen der Logik. Danach geht Quine zur Prädikatenlogik über und stellt Quantoren und das Konzept der logischen Äquivalenz vor.
Anschließend behandelt er die Mengenlehre, wobei er die Axiome der Mengenlehre und die sich daraus ergebenden Paradoxien erörtert. Während des gesamten Buches betont Quine die Bedeutung formaler Systeme und die Verwendung von Symbolen beim logischen Schlussfolgern.
Er erörtert auch die philosophischen Implikationen der mathematischen Logik, einschließlich der Beziehung zwischen Logik und Sprache und der Rolle der Logik in den Grundlagen der Mathematik. Insgesamt ist Mathematische Logik eine strenge und gründliche Einführung in das Studium der Logik, die sich für fortgeschrittene Studenten und Doktoranden der Mathematik, Philosophie und Informatik eignet.
Dieses seltene antiquarische Buch ist ein Faksimile-Nachdruck des alten Originals und kann einige Unvollkommenheiten wie Bibliotheksmarkierungen und Notizen enthalten. Da wir dieses Werk für kulturell wichtig halten, haben wir es im Rahmen unseres Engagements für den Schutz, die Bewahrung und die Förderung der Weltliteratur in erschwinglichen, qualitativ hochwertigen, modernen und werkgetreuen Ausgaben zur Verfügung gestellt.