Logische Folgerungen: Theorie und Anwendungen: Eine Einführung. 2. Auflage

Logische Folgerungen: Theorie und Anwendungen: Eine Einführung. 2. Auflage (M. Augusto Luis)

Originaltitel:

Logical Consequences: Theory and Applications: An Introduction. 2nd Edition

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9781848902367
Autor:
Verlag:
Sprache:Englisch
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Vielwertige Logik: Eine mathematische und rechnerische Einführung. Zweite Auflage - Many-Valued...
Vielwertige Logiken sind Logiken, die mehr als die...
Vielwertige Logik: Eine mathematische und rechnerische Einführung. Zweite Auflage - Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Sprachen, Maschinen und klassisches Rechnen - Languages, Machines, and Classical...
Languages, machines, and classical computation ist ein neues...
Sprachen, Maschinen und klassisches Rechnen - Languages, Machines, and Classical Computation
Computergestützte Logik: Band 1: Klassisches Deduktives Rechnen mit klassischer Logik. Zweite...
Obwohl eine Reihe neuerer technologischer...
Computergestützte Logik: Band 1: Klassisches Deduktives Rechnen mit klassischer Logik. Zweite Auflage - Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Logische Folgerungen: Theorie und Anwendungen: Eine Einführung. 2. Auflage - Logical Consequences:...
Die Theorie der logischen Konsequenz ist von...
Logische Folgerungen: Theorie und Anwendungen: Eine Einführung. 2. Auflage - Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Formale Logik: Klassische Probleme und Beweise - Formal Logic: Classical Problems and...
In der Logik geht es zweifellos um Beweise, aber...
Formale Logik: Klassische Probleme und Beweise - Formal Logic: Classical Problems and Proofs

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)