LFU:online

Vertrautheit mit den philosophischer Aspekte und Hintergründe der formalen Logik sowie den wichtigsten Positionen in der Philosophie der Mathematik.

Diskussion ausgewählter Themen aus der Philosophie der Logik und der Philosophie der Mathematik.

Das Seminar ist vorlesungsbegleitend und dient u.a. der Diskussion von philosophischen Themen des Inhalts der Vorlesung.

verschiedene Formate digitaler Lehre (digitale Kursunterlagen, Arbeitsaufträge, virtuelles Klassenzimmer)

Fragen zu Kurseinheiten und Essay

Wolfgang Künne: Die Philosophische Logik Gottlob Freges; Frankfurt a.M., Klostermann, 2010.

Oystein Linnebo: Philosophy of Mathematics; Princeton (NJ), Princeton UP, 2017.

John P. Burgess: Philosophical Logic; Princeton (NJ), Princeton UP, 2009.

Jean Van Heijenoort: From Frege to Gödel. A Source Book in Mathematical Logic 1879 - 1931; Cambridge (Mass.), Harvard University Press, 2002.

K. Berka/L. Kreiser: Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik; Berlin, Akademie Verlag, 1971.

Grundkenntnisse in Logik oder Teilnahme an der Vorlesung Formale Logik

Der Kurs wird ausschließlich virtuell über distant teaching abgehalten. Einzelheiten werden zu Semesterbeginn mitgeteilt.