Fortgeschrittene formale Logik

Dozent/in:

Sebastian Krebs

Angaben:

Proseminar/Hauptseminar, 2 SWS, Das Seminar findet alle 2 Wochen statt!

Termine:

jede 2. Woche Do, 14:00 - 18:00, Raum n.V.

Inhalt:

Dieser Kurs baut auf der Einführung in die formale Logik von Prof. Dr. Gabriele de Anna aus dem Sommersemester auf und bietet Ihnen die Möglichkeit, Ihre dort geweckten Interessen für die Lehre vom vernünftigen Schließen zu vertiefen. Unter anderem werden wir uns mit Beweisen in der Prädikatenlogik, der propositionalen und der quantifzierten Modallogik beschäftigen, dabei unterschiedliche Systeme der Modallogik betrachten und die breitere philosophische Relevanz für jüngere Debatten rund um den Identitätsbegriff oder Fragen des Essentialismus und der Sprachphilosophie diskutieren.
Dieser Kurs baut unmittelbar auf dem Einführungskurs von Prof. Dr. de Anna auf; die Teilnahme wird daher nur empfohlen, wenn Sie diesen erfolgreich abgeschlossen haben oder aus Ihrem Nebenfach o.ä. Vorkenntnisse im Bereich der formalen Logik mitbringen. Das Seminar findet auf Deutsch statt.
Das Seminar findet im Raum Ho2/02.04, in der Hornthalstraße 2, zweiter Stock, statt.

Empfohlene Literatur:

Harry J. Gensler: Introduction to Logic. Routledge: London, New York 2002. Weitere Literatur wird im Laufe des Semesters bekannt gegeben.