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.

Kurzpräsentationen, 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.

Detaillierte Literaturangaben zu Beginn des Seminars.

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