Vielleicht liegt eine Entschuldigung vor, dass ich eine andere Frage zu den Voraussetzungen gestellt habe, aber ich war über die Ausgangspunkte verwirrt. Ich bin auf verschiedene Begriffe gestoßen, wie "Modale Logik", "Zeitliche Logik", "Logik erster Ordnung", "Logik zweiter Ordnung" und "Logik höherer Ordnung".
Was genau bedeutet "Logik" in diesem Zusammenhang? Wie definieren wir das Wort "Logik" konsequent?
Nachdem ich die ersten Seiten einiger Bücher durchgesehen habe, kann ich grob feststellen, dass eine "Logik eine Möglichkeit ist, zu entscheiden, was aus was folgt, und beim Entwerfen von Programmiersprachen von Bedeutung ist, da sie das Entwerfen von Programmen zum automatischen Schließen und Verstehen von Programmen diktiert und erleichtert. Ich möchte den zweiten Punkt etwas ausführlicher zu verstehen.
Kommen wir nun zu diesen Logiken.
Sind alle diese Logiken "zeitliche Logik", "modale Logik", "Logik erster Ordnung", "Logik höherer Ordnung" unabhängig voneinander oder müssen wir einige dieser Logiken verstehen, um einige andere in dieser Gruppe zu verstehen? Kurz gesagt, was sind die Voraussetzungen für sie? (Es wird toll sein, wenn ich auch Vorschläge für einige Materialien bekomme.)
PS: Vielen Dank für Ihre Freundlichkeit
quelle
Antworten:
Grundsätzlich besteht eine Logik aus zwei Dingen.
Der Unterschied zwischen verschiedenen Logiken liegt am einfachsten in der Wahl der Syntax und der Semantik. Die meisten Logiken sind Erweiterungen der Aussagenlogik oder der Logik erster Ordnung . In gewisser Weise können Sie diese Erweiterungen als "Hinzufügen weiterer Funktionen" zur Logik ansehen. Beispielsweise befassen sich zeitliche Logiken mit Wahrheiten, die sich im Laufe der Zeit ändern können.
Da so ziemlich alle Logiken auf Aussagenlogik und Logik erster Ordnung basieren, würde ich empfehlen, diese zuerst zu lernen.
quelle
Während Bereiche wie Informatik, Mathematik und Physik relativ gut organisiert sind, hat die Logik eine chaotische Geschichte. Die Organisation ist sehr verwirrend, daher denke ich, dass es wichtig ist, etwas Geschichte zu lesen, um die dichte Struktur des Feldes zu verstehen.
Der Weg, den Sie wählen sollten, hängt von Ihrem Hintergrund und Ihren Zielen ab .
Was ist eine Logik?
Die traditionelle Sichtweise besagt, dass eine Logik ein formales System mit einer formalen Sprache (Syntax), einer Semantik (externe Bedeutung, denke an Interpreter von Programmen) und einem Satz von Regeln ist, um Aussagen von anderen abzuleiten (denke an die Regeln von Kürzungen von Programmen). Eine Logik wird lediglich als bloßes mathematisches Objekt angesehen.
Die moderne Sichtweise besagt, dass eine Logik durch den berühmten Curry-Howard-Isomorphismus ein kohärentes Typensystem ist (Beweise sind Programme und Typen sind Formeln). Genauer gesagt: Ein Inferenzsystem unterliegt dem Cut-Elimination-Theorem und dem Church-Rosser-Theorem / Confluence-Theorem, was impliziert, dass sich das zugrunde liegende Programmiersystem gut verhält.
Im Allgemeinen besteht kein Konsens darüber, was eine Logik wirklich ist. Einige Philosophen verwenden Systeme, denen kein kohärentes Programmiersystem zugrunde liegt. Eigentlich würde ich sagen, dass jedes Feld, das Logik verwendet, eine eigene Vorstellung von Logik hat. Und den meisten Mathematikern ist es wahrscheinlich egal, was eine Logik ist.
Die Struktur des Feldes
Die Geschichte von Logic ist zu groß, deshalb werde ich nur die Struktur des Feldes angeben. Das Feld der formalen Logik ist unterteilt in: den philosophischen, mathematischen und rechnerischen Gebrauch. Die formale Logik beginnt im 19. und 20. Jahrhundert.
Sie sollten zuerst Aussagenlogik und Logik erster Ordnung studieren . Sie sind die Standard. Sie wurden geschaffen, um der alten Logik der Zeit des antiken Griechenlands einen formalen / mathematischen Bericht zu geben.
Logik zweiter Ordnung ist eine Erweiterung der Logik erster Ordnung, die eine Erweiterung der Aussagenlogik ist. Es ist besonders interessant, weil Arithmetik in der zweiten Ordnung "lebt" (Prädikate auf Prädikate mit Induktion). Ebenso lebt die Topologie in der "dritten Ordnung" (Prädikate auf Mengen, die als Prädikate selbst angesehen werden können).
Dann kam LEJ Brouwer, der die Logik in zwei Teile teilte:
In anderen Zusammenhängen interessierten sich Philosophen für formale Logik und dachten, sie könne philosophische Fragen beantworten (analytische Philosophie). Sie stellten ihre eigenen unabhängigen logischen Systeme her (parakonsistente Logik, Relevanzlogik und modale Logik wie deontische Logik, zeitliche Logik, epistemische Logik, ...). Modale Logik funktioniert nicht mit Wahrheit, sondern mit Modalitäten wie Möglichkeit, Notwendigkeit, Zeit, Wissen. Sie sind alle unabhängig von der obigen Logik.
Informatiker wollten die Lautstärke von Systemen auf formale Weise verifizieren und beweisen, und es scheint, dass modale Logik relevant ist. Heute verwenden sie zeitliche und modale Logiken, um auf Systemen zu argumentieren (siehe: formale Methoden, Modellprüfung). Systeme werden beispielsweise durch die Automatentheorie modelliert und mit logischen Werkzeugen verifiziert. Es führte zu Linear Temporal Logic (LTL) und Computational Tree Logic (CTL) .
Aus der gleichen Motivation heraus wollten Informatiker die Solidität überprüfen und Eigenschaften von Programmen nachweisen. Deshalb haben wir die Hoare-Logik für imperative Programme und allgemeiner die Trennungslogik erfunden .
Durch das Studium des Curry-Howard-Isomorphismus entstand eine neue Logik: Lineare Logik, die strukturelle Regeln (Schwächung und Kontraktion) einschränkt, die als Löschung und Vervielfältigung in Beweisen und Programmen gelten. Die potentielle Unendlichkeit der Wahrheit wird aufgeklärt. Es scheint, dass diese Logik eine Verallgemeinerung der klassischen und intuitionistischen Logik ist und eine völlig neue Konzeption der Logik auf der Grundlage von Berechnungen und eines prozeduralen Paradigmas liefert. Es wird hauptsächlich von Informatikern studiert.
Die lineare Logik kommt auch von der sogenannten Substrukturlogik, die strukturelle Regeln der Logik ablehnt. Relevante Logik und Affine Logik sind Beispiele für solche Systeme.
Zusammenfassung und Pfadauswahl
Jede Logik kann sein: Aussagenlogik, erste Ordnung, zweite Ordnung, dritte Ordnung, ..., höhere Ordnung (jede Erweiterung der vorhergehenden).
Wir können Regeln hinzufügen oder entfernen, um Varianten bestehender Systeme zu erstellen:
Lernen Sie zuerst Aussagenlogik und Logik erster Ordnung und:
Referenzen (Bücher)
Ich persönlich empfehle, Referenzen nach Möglichkeit zu mischen.
Referenzen (Wikipedia)
quelle
Alle diese Logiken gehören zur mathematischen Logik .
Außerdem kann dieser Artikel hilfreich sein , wenn Sie die Logik allgemein kennenlernen möchten .
quelle