| Kommentar |
Im Seminar werden wir gemeinsam Auszüge aus dem Buch Set Theory and its Philosophy von Michael Potter lesen. Das Buch richtet sich explizit sowohl an philosophisch interessierte Mathematiker als auch an mathematisch interessierte Philosophen. Potter stellt darin eine Axiomatisierung der Mengenlehre, das System ZU, vor und zeigt, wie das System zur Grundlegung der Arithmetik genutzt werden kann. Somit arbeitet sich Potter hier an einem Grundlegungsprojekt ab, wie man es auch schon im 19. Jahrhundert etwa von Dedekind, Frege und später Russell kennen. Natürlich geht Potter dabei auf die klassischen Probleme, wie etwa die Russellsche Antinomie, ein. Darüber hinaus werden aber auch sorgfältig die technischen und methodischen Entscheidungen diskutiert, die ganz zu Beginn eines solchen Grundlegungsprojekts getroffen werden. Dazu gehören etwa Fragen nach dem Sinn und Zweck axiomatischer Grundlegung oder nach Entscheidungskriterien bei der Auswahl bestimmter Axiome.
Das Seminar ist interdisziplinär ausgerichtet. Es kann sowohl für Module des Fachbereichs Informatik als auch für Module des Fachbereichs Philosophie angerechnet werden. Aus diesem Grund weicht das Seminar dem Aufbau nach von Seminaren der Mathematik und Informatik ab: Es werden zu Beginn keine Vorträge vergeben. Die mündlichen Kompetenzen, die durch die Seminare vermittelt werden sollen, werden stattdessen durch Seminardiskussionen trainiert. In Vorbereitung dazu müssen während des Semesters regelmäßig Aufgaben zum formalen Teil und Lektürefragen zu Potters philosophischen Ausführungen bearbeitet werden. Die regelmäßige, aktive Teilnahme am Seminar ist notwendige Voraussetzung für den Erwerb von Leistungspunkten. Als Prüfungsleistung soll ein allgemein verständlicher Text über einen Themenbereich des Buchs erstellt werden. Die beste Arbeit kann der Zeitschrift Wurzel veröffentlicht werden.
|
