Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Die Theorie der logischen Konsequenz ist von zentraler Bedeutung für die moderne Logik und ihre Anwendungen. Sie ist jedoch meist in einer Fülle von oft schwer zugänglichen Abhandlungen verstreut und wird selten mit Blick auf Anwendungen behandelt.
Dieses Buch sammelt die grundlegendsten Aspekte dieser Theorie und bietet dem Leser die Grundlagen ihrer Anwendungen in der Informatik, der künstlichen Intelligenz und der Kognitionswissenschaft, um nur die wichtigsten Bereiche zu nennen, in denen dieser Begriff seine zahlreichen Anwendungen findet. Es werden sowohl deduktive als auch nicht-deduktive Konsequenzen diskutiert. Ausgangspunkt ist die klassische deduktive Konsequenz: Die klassische Logik ist das Referenzsystem, und die nichtklassischen deduktiven Systeme werden als Erweiterungen, Abweichungen oder Variationen davon betrachtet.
Die Diskussion der nicht-klassischen deduktiven Konsequenz konzentriert sich auf vielwertige, intuitionistische, modale, parakonsistente und substrukturelle logische Konsequenzen. Das Thema der nicht-deduktiven Konsequenz wird unter dem Gesichtspunkt der abduktiven, induktiven und probabilistischen Logik behandelt.
Insgesamt werden hier die wichtigsten zeitgenössischen (Klassen von) logischen Systemen diskutiert. Der Ansatz ist im Wesentlichen mathematisch, und der mathematische Hintergrund, der hauptsächlich auf Ordnungsrelationen beruht, wird gründlich und in einer für Nicht-Mathematiker zugänglichen Weise behandelt.
| ISBN: | 9781848902367 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
