Workshop Philosophie der Mathematik/Philosophy of Mathematics

Workshop: Philosophie der Mathematik – Philosophy of Mathematics

Organisation:

Anton Freund, Mathematische Logik – Institut für Mathematik

Michela Summa, Theoretische Philosophie – Institut für Philosophie

Wann: 29.05.2026

Wo: Neubaustraße Raum 280 

Alle Interessierte sind willkommen – bitte um Anmeldung bei michela.summa@uni-wuerzburg.de oder anton.freund@uni-wuerzburg.de

11:00-13:00 – Silvia Jonas, Bamberg

Mathematischer Pluralismus, alternative natürliche Zahlen und die Idee der absoluten Wahrheit

Abstract: Der mathematische Pluralismus geht davon aus, dass der mathematische Kosmos nicht nur eines, sondern viele, teilweise miteinander inkompatible Universen umfasst. Die Wahrheitswerte bestimmter mathematischer Aussagen, wie z.B. der Kontinuumshypothese, können folglich von Universum zu Universum variieren. Diese Vorstellung passt so gar nicht zur herkömmlichen Vorstellung von Mathematik als Reich absoluter, unverrückbarer Wahrheiten. In diesem Vortrag erläutere ich, weshalb die Annahme eines mathematischen “Multiversums” dennoch plausibel ist und betrachte dann die philosophischen Implikationen einer derzeit noch wenig beachtete Konsequenz dieser Position, nämlich die Existenz alternativer natürlicher Zahlen.

13:00-14:30 - Mittagessen

14:30-16:30 – Mirja Hartimo, Helsinki

Husserl’s philosophy of mathematics and logic

Abstract: In this talk I aim to give a general picture of Husserl’s approach to mathematics and logic with an aim to situate his views among the contemporary debates in philosophy of mathematics and logic. The first part of the talk focuses on Husserl’s views on these matters around the turn of the century especially in Logical Investigations. At this time Husserl believed that mathematical structures, and logic about them, are eternal and outside the time. This view is connected to a kind of Platonism about these structures and a consequent logical realism. In the 1920s, Husserl incorporated historical and social factors into his analysis. Thanks to Besinnung, he accounted for the historically and intergenerationally developed aims of the mathematicians and the physicists and consequently saw mathematical structures to be valid (in a domain), once first constituted. Mathematical structures are omnitemporal, and logic about them depends on the nature of the domain as well as the historically developed goals of the practices. Mathematics is a socially constructed practice about something mind-independent and the connected view of logic is localized into a kind of eclectic logical pluralism (cf. Shapiro).