Logic and its Limits

Gegenstand ist zum einen die natürliche Sprache und die Analyse ihrer Form und Gestalt und zum anderen die sog. Mathematische Logik. Die Studierenden lernen die Reichhaltigkeit der natürlichen Sprache kennen und auch die Grenzen ihrer Analyse. Sie erkennen, wie wichtig und hilfreich eine formale Grammatik (=Logik) sein kann, aber auch, dass es mehre Grammatiken gibt und jede gewissen Grenzen gehorchen muss. Schließlich stellt sich die Frage nach universellen Grammatiken oder Logiken. Basierend auf der Sprachanalyse wird ein Logikkalkül aufgebaut und seine Grenzen analysiert (Gödel'sche Sätze) und auch auf Fragen der Spezifikation und automatischer Theorembeweiser eingegangen.

Nach dem Kurs sollten Sie die folgenden Fragen beantworten können: a) Sprache und Logik, was haben diese gemeinsam, was grenzt diese ab? b) Argumentation und Form c) Gibt es nur eine Logik? d) Was ist propositionale Logik? e) Was sind Quantoren und Prädikate und wie viele gibt es davon? f) Was ist Beweistheorie und was macht sie? g) Was kann die Logik oder einzelne Logiken und was nicht?

Klausur

Gruppenarbeit, Projekte, Aufgaben, Plenumsvortrag und Einweisung