-
167The hidden use of new axiomsIn Carolin Antos, Neil Barton & Giorgio Venturi (eds.), The Palgrave Companion to the Philosophy of Set Theory, Palgrave. 2023.This paper analyses the hidden use of new axioms in set-theoretic practice with a focus on large cardinal axioms and presents a general overview of set-theoretic practices using large cardinal axioms. The hidden use of a new axiom provides extrinsic reasons in support of this axiom via the idea of verifiable consequences, which is especially relevant for set-theoretic practitioners with an absolutist view. Besides that, the hidden use has pragmatic significance for further important sub-groups o…Read more
-
13Interview With a Set TheoristIn Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts, Springer Verlag. pp. 3-26. 2019.The status of independent statements is the main problem in the philosophy of set theory. We address this problem by presenting the perspective of a practising set theorist. We thus give an authentic insight in the current state of thinking in set-theoretic practice, which is to a large extent determined by independence results. During several meetings, the second author asked the first author about the development of forcing, the use of new axioms and set-theoretic intuition on independence. Pa…Read more
-
55Three Roles of Empirical Information in Philosophy: Intuitions on Mathematics do Not Come for FreeKriterion – Journal of Philosophy 35 (3): 247-278. 2021.This work gives a new argument for ‘Empirical Philosophy of Mathematical Practice’. It analyses different modalities on how empirical information can influence philosophical endeavours. We evoke the classical dichotomy between “armchair” philosophy and empirical/experimental philosophy, and claim that the latter should in turn be subdivided in three distinct styles: Apostate speculator, Informed analyst, and Freeway explorer. This is a shift of focus from the source of the information towards it…Read more
-
356Penelope Maddy’s Second Philosophy is one of the most well-known ap- proaches in recent philosophy of mathematics. She applies her second-philosophical method to analyze mathematical methodology by reconstructing historical cases in a setting of means-ends relations. However, outside of Maddy’s own work, this kind of methodological analysis has not yet been extensively used and analyzed. In the present work, we will make a first step in this direction. We develop a general framework that allows…Read more
-
624Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and societySynthese 199 (1-2): 3405-3429. 2020.There are different narratives on mathematics as part of our world, some of which are more appropriate than others. Such narratives might be of the form ‘Mathematics is useful’, ‘Mathematics is beautiful’, or ‘Mathematicians aim at theorem-credit’. These narratives play a crucial role in mathematics education and in society as they are influencing people’s willingness to engage with the subject or the way they interpret mathematical results in relation to real-world questions; the latter yieldin…Read more
-
11Interview With a Set TheoristIn Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts, Springer Verlag. pp. 3-26. 2019.The status of independent statements is the main problem in the philosophy of set theory. We address this problem by presenting the perspective of a practising set theorist. We thus give an authentic insight in the current state of thinking in set-theoretic practice, which is to a large extent determined by independence results. During several meetings, the second author asked the first author about the development of forcing, the use of new axioms and set-theoretic intuition on independence. Pa…Read more
-
100Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts (edited book)Springer Verlag. 2019.This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The first two sections focus on the two most prominent candida…Read more
-
Universität HamburgRegular Faculty
Areas of Specialization
Philosophy of Mathematics |
Set Theory |
Mathematical Practice |
Mathematical Logic |
Logic and Philosophy of Logic |