SE: Weiterführende Logik - Einzelansicht

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)

Wird im Seminar bekannt gegeben.

Magister: B2

Master: Modul I

Voraussetzung für die Teilnahme an der Veranstaltung ist die erfolgreiche Absolvierung der "Einführung in die Logik und Argumentationstheorie" oder einer dazu äquivalenten Veranstaltung an einer anderen Universität. Scheinerwerb erfolgt durch Bestehen einer Klausur am Ende des Semesters.