Nach einer (kurzen) Rekapitulation der Prädikatenlogik erster Stufe (insbesondere Natürliches Schließen und Semantische Bäume), wird sich das Seminar 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). |
