Bewertung:
Das Buch ist eine formale und strenge Untersuchung der Prädikatenlogik, die sich eher auf ihre philosophischen Grundlagen als auf ihre praktische Anwendung konzentriert. Obwohl es für ein fortgeschrittenes Studium der Philosophie oder Logik wertvoll sein kann, fehlen praktische Übungen und Lernhilfen, die für Anfänger oder diejenigen, die Prädikatenlogik direkt anwenden wollen, unerlässlich sind.
Vorteile:⬤ Bietet umfangreiche Informationen zu den philosophischen Grundlagen der Prädikatenlogik.
⬤ Geeignet für Lehrveranstaltungen auf höherem Niveau im Grund- oder Hauptstudium.
⬤ Könnte für diejenigen interessant sein, die sich intensiv mit der Logik und ihren Annahmen beschäftigen.
⬤ Kein praktischer Leitfaden zum Erlernen der Prädikatenlogik.
⬤ Die Übungen sind nur unzureichend mit der praktischen Anwendung verbunden und es werden keine Antworten gegeben.
⬤ Hoher Preis im Vergleich zu anderen, leichter zugänglichen und praktischen Logik-Texten.
(basierend auf 3 Leserbewertungen)
Predicate Logic
Die Formen und der Umfang der Logik beruhen auf Annahmen darüber, wie Sprache und Argumentation mit der Erfahrung verbunden sind. In diesem Band liefert eine Analyse von Bedeutung und Wahrheit eine Grundlage für das Studium moderner Aussagen- und Prädikatenlogiken.
Die Kapitel über Aussagenlogik, Parsing von Sätzen und Bedeutung, Wahrheit und Referenz bieten eine Grundlage für Kriterien, die zur Beurteilung von Formalisierungen von Argumenten in gewöhnlicher Sprache verwendet werden können. Über 120 Beispiele für die Formalisierung von Sätzen und Argumenten veranschaulichen den Umfang und die Grenzen der modernen Logik, die in den Kapiteln über Identität, Quantoren, beschreibende Namen, Funktionen und Logik zweiter Ordnung analysiert werden.
Das Kapitel über die Logik zweiter Ordnung veranschaulicht, wie unterschiedliche Auffassungen von Prädikaten und Sätzen nicht zu einer gemeinsamen Grundlage für die Quantifizierung über Prädikate führen, wie sie es für die Quantifizierung über Dinge tun. Dieser Band, der sich durch seine klare Darstellung auszeichnet und durch zahlreiche Übungen ergänzt wird, eignet sich für Philosophen, Linguisten, Mathematiker und Informatiker, die die Werkzeuge, die sie bei der Formalisierung des Denkens verwenden, besser verstehen wollen.
| ISBN: | 9780983452188 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
Derzeit verfügbar, auf Lager.
