LFU:online

Vermittlung der wesentlichen Positionen in der Philosophie der Logik und der Philosophie der Mathematik. Einführung in die philosophischen Fragen und Hintergründe der formalen Logik sowie in die philosophischen Grundlagen der Mathematik.

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

Das Seminar ist vorlesungsbegleitend und dient, neben einer Einführung in die Philosophie der Mathematik, der Diskussion von philosophischen Themen des Inhalts der Vorlesung.

Bis anderslautende Ankündigungen erfolgen findet das Seminar regulär in Präsenzform statt  mit Lektüre und Diskussion der jeweiligen Texte/Themen.

Geforderte Seminarleistungen sind Kurzstatements im Seminar (schriftlich) sowie eine abschließende Seminararbeit.

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.

Keine besonderen Voraussetzungen, aber Logikkenntnisse oder der gleichzeitige Besuch der Vorlesung 'Formale Logik' können hilfreich sein.