Nachdem Sie diese vier Bücher gelesen haben, werden Sie die Logik hinter KI besser verstehen

Künstliche Intelligenz formt die Welt neu. Wir staunen über die flüssigen Dialogfähigkeiten großer Sprachmodelle und die Fähigkeit von Agenten, Aufgaben autonom auszuführen, und zugleich ärgern wir uns über ihre "Black-Box"-Eigenschaften - welche Logik folgt die Maschine, wenn sie schließt?

Tatsächlich ist KI keine aus dem Nichts erscheinende "Black-Box-Magie". Ihre zugrunde liegende Struktur gründet tief in alten und rigorosen Wissensgebieten wie mathematischer Logik, Sprachphilosophie und formalen Systemen. Von Turings Rechenmodell bis hin zur modalen Logik hinter modernen Inferenz-Engines ist die Entwicklung der KI eigentlich eine Geschichte, in der Logik und Intelligenzentwicklung miteinander verflochten sind.

Das Verständnis dieser Zusammenhänge hilft nicht nur, die Entwicklung der KI zu verstehen, sondern auch, ihre Grenzen zu erkennen. Deshalb hat Yixiu aus drei Perspektiven vier Bücher ausgewählt, die sowohl theoretische Tiefe als auch Lesbarkeit aufweisen: Sie gehen auf die Grundlagen der Logik zurück und helfen Ihnen, die Denkweise der KI zu verstehen; sie konzentrieren sich auf die wechselseitige Entwicklung von KI und Logik und enthüllen, wie Inferenz, Lernen und kognitive Modelle in der Technologie umgesetzt werden; sie bieten eine kritische Perspektive und weisen uns darauf hin, dass wir bei Bewunderung der logischen Fähigkeiten der KI auch auf ihre Grenzen und Fehlurteile achten sollten.

«Tractatus Logico-Philosophicus»

Der «Tractatus Logico-Philosophicus» ist das Hauptwerk von Ludwig Wittgenstein und ein frühes, wichtiges Werk des logischen Positivismus. Obwohl das Buch nur etwa 20.000 Wörter umfasst, gilt es als Meisterwerk.

Das Buch ist in Aphorismen geschrieben und behandelt mit äußerst prägnanter und poetischer Sprache die Beziehung zwischen Sprache, Logik und Wirklichkeit. Die Inhaltsanordnung folgt einem einzigartigen Nummerierungssystem, bei dem jeder Satz eine spezifische Nummer zugewiesen bekommt, was die logische Hierarchie und die strukturelle Beziehung zwischen den Sätzen widerspiegelt. Mit Hilfe dieses Systems können Leser die Argumentationslinie und den Aufbau des Autors nachvollziehen.

Wittgenstein argumentiert im Buch, dass die Sprache die Welt über Sätze abbildet und ihre Bedeutung darin besteht, Tatsachen der Welt zu beschreiben. Diese Ansicht wird als "Bildtheorie" bezeichnet - Sätze sind wie Bilder, deren Struktur mit den Tatsachen übereinstimmt, was zeigt, dass die Sprache im Wesentlichen ein Mittel zum Verstehen und Aufbau der Welt ist. Allerdings gibt es Grenzen in der sprachlichen Ausdrucksfähigkeit, wie etwa in ethischen oder ästhetischen Fragen, deren Sätze nicht exakt in Sprache gefasst werden können.

Er betont, dass die Wahrheit eines Satzes von seiner Übereinstimmung mit den Tatsachen in der Wirklichkeit abhängt und führt den Begriff der "atomaren Tatsachen" ein. Er meint, dass die Welt aus diesen unteilbaren Grundtatsachen besteht und dass komplexe Sätze durch ihre logische Kombination ausgedrückt werden können. Auf diese Weise hat er ein logisches System aufgebaut, das auf Präzision und Konsistenz abzielt.

Wittgensteins Philosophie zeigt einen einzigartigen doppelten Weg: Einerseits definiert er durch strenge logische Analyse die Grenzen der Sprache, andererseits weist er auf metaphysische Erfahrungen jenseits der Sprache hin.

Wittgenstein betrachtet Philosophie zunächst als eine Aktivität der logischen Klärung, nicht als die Konstruktion eines theoretischen Systems. Durch die Analyse der Bedeutung von Sätzen unterscheidet er zwischen dem Aussprechbaren und dem Unaussprechbaren: Das Aussprechbare ist die Welt der Tatsachen, die von der Wissenschaft beschrieben werden kann, während das Unaussprechbare logische Formen und metaphysische Wahrheiten sind. Die Aufgabe der Philosophie besteht nicht darin, neue Theorien aufzustellen, sondern durch logische Analyse die Gedanken klarer zu machen und so die Natur der Äußerung aufzudecken.

Wittgenstein stellt am Ende des Buches eine überraschende These auf: Alle philosophischen Sätze, einschließlich seines eigenen «Tractatus Logico-Philosophicus», sind im Wesentlichen sinnlos, weil sie versuchen, das zu sagen, was stumm bleiben sollte. Doch diese Sätze sind nicht wertlos. Sie sind wie Leitern, die uns helfen, die logische Struktur der Welt zu erkennen: Wissenschaftliche Sätze beschreiben Tatsachen, logische Sätze zeigen Formen. Sobald wir mit Hilfe dieser Sätze ein höheres Verständnis erreichen, müssen wir die "Leiter" wegwerfen und über die Sprache hinausgehen in die Sphäre des Unaussprechbaren. Hier tritt der logischen Analyse eine irrationale Erkenntnis gegenüber, und nur durch diese transzendentale Erfahrung können wir die mysteriösen Dinge, die nicht ausgesprochen werden können, wirklich verstehen.

Die Schwierigkeit beim Lesen dieses Buches liegt darin, dass es Wittgensteins Überlegungen zu modernen logischen und mathematischen Problemen enthält und technische Symbole und Diagramme zur Darstellung seiner Ansichten verwendet. Das Buch bietet die ersten philosophischen Grundlagen für die Entstehung und Entwicklung der Künstlichen Intelligenz. Das Lesen dieses Buches ist wie ein Einstieg in die unterste Schicht der logischen Welt der KI.

Chinesische Ausgabe: Ludwig Wittgenstein. (1996). Tractatus Logico-Philosophicus (Übers. von He Shaojia). Shangwu Yinshuguan.

«Gödel, Escher, Bach: An Eternal Golden Braid»

«Gödel, Escher, Bach: An Eternal Golden Braid» (kurz «GEB») ist ein interdisziplinäres Klassikerwerk des amerikanischen Autors Douglas Hofstadter, das den Pulitzer-Preis für Nicht-Fiktion gewann.

Der Titel "GEB" ist die Abkürzung der Namen des Mathematikers Kurt Gödel, des Grafikers M. C. Escher und des Musikers Johann Sebastian Bach. Das Buch geht anhand dieser drei Persönlichkeiten auf die Selbstreferenz, Rekursion und hierarchische Strukturen ein, die in der Natur und im menschlichen Denken weit verbreitet sind, und entwickelt daraus Überlegungen zur Künstlichen Intelligenz, zur Natur des Lebens und zu philosophischen Fragen.

Hofstadter meint, dass Gödel's Unvollständigkeitssatz, Eschers paradoxe Gemälde und die komplexen Kontrapunkte in Bachs Musik, obwohl sie aus verschiedenen Bereichen stammen, alle die tiefe Logik der Selbstreferenz und Rekursion widerspiegeln. Gödel's Unvollständigkeitssatz zeigt, dass in jedem widerspruchsfreien mathematischen System Sätze existieren, die weder bewiesen noch widerlegt werden können. Diese "Selbstursächlichkeit" geht über die Grenzen der formalen Logik hinaus. Eschers Gemälde wie "Relativity" zeigen durch visuelle Paradoxien die Selbstverschachtelung von Raum und Hierarchie. Bachs Kanons und Fugen bilden durch die Wiederholung und Variation der Melodien eine mehrstimmige rekursive Struktur. Hofstadter verbindet diese drei scheinbar verschiedenen Bereiche mit der Metapher des "ewigen goldenen Bandes".

In der interdisziplinären Erforschung bringt das Buch viele einsichtreiche Ansichten auf. Bezüglich der Künstlichen Intelligenz weist es darauf hin, dass die nicht-formalisierbaren Merkmale des menschlichen Denkens (wie Intuition und Kreativität) ähnlich der Unbeweisbarkeit in Gödel's Satz sind, was darauf hindeutet, dass starke KI möglicherweise an ähnlichen logischen Grenzen stoßen könnte. Im Bereich der Biologie zeigt sich die Selbstreferenz als ein wesentliches Merkmal des Lebens, von der molekularen Selbstreplikation bis zur Reflexivität des Bewusstseins. Darüber hinaus vergleicht das Buch die "Unbeweisbarkeit" in Gödel's Satz mit der "weder wahr noch falsch" -Denkweise in Zen-Koans und zeigt die Übereinstimmung zwischen östlicher und westlicher Philosophie bei der Überwindung des dualistischen Denkens.

Beim Studium von formalen Systemen und der Natur des Bewusstseins argumentiert das Buch, dass, wenn das Bewusstsein vollständig formalisierbar wäre, es in ein gödelianisches Selbstreferenzparadoxon geraten würde, was darauf hindeutet, dass das Bewusstsein eine "Unkomprimierbarkeit" jenseits von Algorithmen aufweist. Gleichzeitig betont das Buch, dass die tiefen Strukturen von Sprache, Kunst und Denken von der dynamischen Beziehung zwischen symbolischen Systemen und Bedeutung abhängen. Diese Ansicht steht in Einklang mit Wittgensteins Sprachphilosophie.

Als eines der einflussreichsten Populärwissenschaftswerke des 20. Jahrhunderts bricht «GEB» mit seinen herausragenden interdisziplinären Fähigkeiten und seiner originellen Darstellung die Grenzen zwischen Mathematik, Kunst, Wissenschaft und Philosophie auf und erweitert das Verständnis der Öffentlichkeit über Fragen wie Künstliche Intelligenz, Bewusstsein und selbstorganisierte Systeme. Es beeinflusst bis heute die Forschung in den Bereichen Kognitionswissenschaft, Philosophie und komplexe Systeme.

Chinesische Ausgabe: Douglas Hofstadter. (1996). Gödel, Escher, Bach: An Eternal Golden Braid (Übers. von Yan Yong, Liu Haoming und Mo Dawei). Shangwu Yinshuguan.

«Logic, Language, and Cognition»

Der Autor dieses Buches, Johan van Benthem, ist einer der einflussreichsten Logiker unserer Zeit und erhielt den Spinoza-Preis in den Niederlanden. Er hat nicht nur in den Bereichen modale Logik, Sprachlogik und dynamische kognitive Logik bemerkenswerte Leistungen erbracht, sondern auch in der Philosophie der Logik viele tiefgründige Einsichten beigetragen.

Dieses Buch konzentriert sich auf das Schnittfeld von Logik, Linguistik, Kognitionswissenschaft und Informatik und enthält 17 klassische Artikel von van Benthem über die Logik der natürlichen Sprache und die Beziehung zwischen Logik und Kognition. Es ist in drei Teile unterteilt: "Quantoren in natürlicher und formaler Sprache", "Kategoriale Grammatik und Beweistheorie" und "Logik, Berechnung und Kognition".

Van Benthem betont, dass die Logik nicht ein abstraktes System ist, das von der alltäglichen Sprache getrennt ist, sondern eng mit der Verwendung der natürlichen Sprache verbunden ist. Beispielsweise können die kategoriale Grammatik und die Semantik von Quantoren in der natürlichen Sprache durch logische Rahmen formalisiert werden, und die impliziten Inferenzmuster in Dialogprozessen (wie die Aufrechterhaltung eines gemeinsamen kognitiven Zustands) zeigen die praktische Anwendung der Logik.

Van Benthem untersucht insbesondere die Anwendung der modalen Logik in der Kognitionswissenschaft und analysiert, wie das menschliche Denken die komplexen Interaktionen in der realen Welt durch modale Operationen simuliert. Diese Forschung bietet wichtige Anregungen für das Design von Inferenzsystemen in der Künstlichen Intelligenz.

Van Benthem sieht die Logik als eine "allgemeine Sprache" für interdisziplinäre Forschung. In der Philosophie wird die Rolle der Logik in der Erkenntnistheorie und der wissenschaftlichen Methodologie neu bewertet. In der Informatik wird die Interaktionslogik zwischen Mensch und Maschine durch logisches Programmieren und Spieltheorie erklärt. In der Linguistik wird die Beziehung zwischen der semantischen Struktur und der logischen Form in der natürlichen Sprache anhand der kategorialen Grammatik analysiert.

Das Buch bricht mit dem antipsychologischen Dogma. Ende des 19. bis Anfang des 20. Jahrhunderts trennte die herrschende analytische Philosophie streng Logik und Psychologie, um die Objektivität der Logik zu begründen. Dieses Buch plädiert für die Verschmelzung von logischen Theorien und empirischer Praxis, beispielsweise durch die Überprüfung von logischen Hypothesen in kognitiven Experimenten und die Ableitung von logischen Regeln aus der tatsächlichen Sprachgebrauch.

Chinesische Ausgabe: Johan van Benthem. (2009). Logic, Language, and Cognition (Übers. von Liu Xinwen). Science Press.

«Engines of Logic»

Der Autor dieses Buches, Martin Davis, ist ein Pionier in der Entwicklung der Informatik und ein weltweit bekannter mathematischer Logiker. Sein Buch «Computability and Unsolvability» gilt als eines der wenigen echten Klassiker in der Informatik, und «Engines of Logic» wird als das beste populäre Buch über die Geschichte der Informatik aus logischer Perspektive bezeichnet.

Davis meint, dass Computer eigentlich logische Maschinen sind, deren Schaltungsentwurf die Ideen vieler Logiker aus Jahrhunderten zusammenfasst. Von Leibniz bis Turing sind die Hardware und Software der Computer mit den Kernkonzepten dieser Logiker durchsetzt. Dieses Buch verfolgt die Entwicklung dieser Ideen, die die Grundlage für die Entwicklung der Computer bilden. Anhand lebendiger historischer Quellen zeigt es das Leben und die Leistungen von Genies wie Leibniz, Boole, Cantor, Hilbert, Gödel und Turing und enthüllt, wie diese Mathematiker die Schlüsselideen entwickelt haben, bevor sie in die Praxis umgesetzt wurden.

Im Buch wird implizit eine tiefgreifende Reflexion angestellt: Könnte unser Vertrauen in die "Logik" selbst ein Fehlurteil sein? Leser können diese Frage von folgenden Aspekten aus betrachten:

Haben logische Systeme Grenzen?

Das Buch diskutiert Gödel's Unvollständigkeitssatz, der beweist, dass in jedem hinreichend starken formalen System wahre Sätze existieren, die innerhalb des Systems nicht bewiesen werden können. Dies erschüttert die Bemühungen von Hilbert und anderen um ein vollständiges und widerspruchsfreies logisches System und zeigt, dass die Logik selbst nicht in der Lage ist, die absolute Wahrheit vollständig zu erfassen.

Das Turingmaschinenmodell zeigt die Existenz von unentscheidbaren Problemen (wie dem Halteproblem) und weist darauf hin, dass es wesentliche Grenzen bei der logischen Schlussfolgerung gibt. Dies zeigt, dass unsere Erwartungen an die Allmacht der Logik möglicherweise zu einfach sind.

Bestünde ein Abstand zwischen Logik und Wirklichkeit?

Das Buch erwähnt, dass Frege versuchte, die Mathematik vollständig zu formalisieren, aber Russells Paradoxon ließ diesen Versuch scheitern. Dieser Misserfolg zeigt, dass logische