Logic and Information

Dieses Element betrachtet zwei Projekte, die Logik und Information miteinander verbinden: das Projekt, Logik zu nutzen, um Informationen zu integrieren, zu manipulieren und zu interpretieren, und das Projekt, den Begriff der Information zu verwenden, um Interpretationen logischer Systeme bereitzustellen. Das Element definiert 'Information' in einer Weise, die Fehlinformationen und Desinformation einschliesst, und nutzt dieses allgemeine Konzept von Information, um eine Interpretation verschiedener parakonsistenter und relevanter Logiken anzubieten. Es integriert diese Logiken auch in zeitgenössische Theorien der Informationsaktualisierung, Wahrscheinlichkeitstheorie und (eher informell) einige Ideen aus der Theorie der Komplexität von Beweisen. Das Element setzt ein gewisses Vorwissen über modale Logik und deren Semantik möglicher Welten voraus, aber alle anderen notwendigen Hintergründe werden bereitgestellt.