Bewertung:
Das Buch gilt als ein Klassiker der symbolischen Logik und wird für seine Tiefe und die Integration verschiedener verwandter Themen gelobt. Es gilt jedoch als anspruchsvoll, vor allem für diejenigen, die kein ausgeprägtes mathematisches Hintergrundwissen haben.
Vorteile:⬤ Starke Darstellung der symbolischen Logik
⬤ deckt viele verwandte Themen mit Klarheit ab
⬤ gilt als Klassiker und wichtiger Beitrag zur Philosophie
⬤ nützlich für das Verständnis tieferer Konzepte in der Logik
⬤ umfassende Behandlung axiomatischer Theorien.
⬤ Schwierig zu verstehen für Nicht-Mathematiker
⬤ manche finden es pedantisch und veraltet
⬤ mangelnde Abdeckung bestimmter moderner Methoden in der Logik
⬤ enthält keine praktischen Anwendungen wie natürliche Deduktion oder Rekursion.
(basierend auf 8 Leserbewertungen)
Introduction to Symbolic Logic and Its Applications
Dieses Buch ist eine der klarsten, umfassendsten und strengsten Einführungen in die moderne symbolische Logik, die es in irgendeiner Sprache gibt. Professor Carnap, eine weltweite Autorität auf dem Gebiet der symbolischen Logik, entwickelt das Thema von elementaren Konzepten und einfachen Übungen über die Konstruktion und Analyse einer Reihe von relativ komplexen logischen Sprachen.
Anschließend geht er sehr ausführlich auf die Anwendung der symbolischen Logik zur Klärung und Axiomatisierung verschiedener Theorien in der Mathematik, Physik und Biologie ein. Themen wie die Art und Verwendung von Konstanten und Variablen, Prädikaten, Satzkonnektiven, Wahrheitstabellen, universellen und existentiellen Sätzen, Definitionen, Identität, Isomorphismus, syntaktischen und semantischen Systemen und den Beziehungen zwischen ihnen, dem System der Typen, Varianten von Beziehungen, lineare Ordnung, spezielle Operatoren, Strukturen und Kardinalzahlen, Beschreibungen, endliche und unendliche Begriffe, Kontinuität, Dingsprachen, Koordinatensprachen, Axiomensysteme für Mengenlehre, Arithmetik, Geometrie, Raum-Zeit-Topologie, biologische Begriffe und viele andere Themen werden ausführlich behandelt.
Besonders ausführlich wird die Logik der Beziehungen behandelt. Hunderte von Problemen, Beispielen und Übungen sind enthalten, um den Studenten die Techniken der symbolischen Logik und ihre Anwendung zu vermitteln.
| ISBN: | 9780486604534 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
