Mathematische Logik

Im Buch werden Struktur und Anliegen verschiedener Logiken behandelt. Dazu gehören Syntax und Semantik der Sprache und Begriffe wie Interpretation, Modell, Folgern, Ableiten, Theorie, Kalkül.

Begonnen wird mit einer skurrilen Logik, die nur den Zweck hat, obige Begriffe zu erläutern. Es folgen die Gentzenlogik, die Aussagenlogik und die Prädikatenlogik. Um die Verbindung zur Informatik anzudeuten, wird in einem kurzen Abschnitt dargelegt, wie in der Sprache PROLOG mittels Resolutionsprinzip Wissen beschrieben und gefolgert wird.

Abschließend werden in der Modalen und Temporalen Aussagenlogik nicht-klassische Ansätze beschrieben, die auch in der künstlichen Intelligenz nützlich sind.