Nach einer (kurzen) Rekapitulation der Prädikatenlogik erster Stufe (insbesondere Natürliches Schließen und Semantische Bäume), wird sich die Vorlesung Erweiterungen des logischen Apparates widmen, welche (zusammen genommen) erstmals die Analyse, Formalisierung und Überprüfung von Argumenten erlauben, die logisch sehr komplexe Aussagen wie beispielsweise die folgende enthalten: "Sokrates ist weise, und weise zu sein ist möglicherweise eine Tugend, die lobenswerter ist als manche Tugend, die jeder gute Philosoph haben muss."
Im Einzelnen werden wir im Seminar behandeln:
1. Höherstufige Prädikatenlogik (Quantifizieren und Prädizieren über Eigenschaften und
Relationen, einfache Typentheorie)
2. Logik der Gleichheit (Identität)
3. Modallogik (modelltheoretische Semantik, Semantische Bäume und Natürliches Schließen)
Voraussetzung für die Teilnahme an der Veranstaltung ist das erfolgreiche Absolvieren der "Einführung in die Logik und Argumentationstheorie" oder einer dazu äquivalenten Veranstaltung an einer anderen Universität. Ein Scheinerwerb ist nicht möglich. |
