Carolin Antos

Assistant Professor for Theoretical Philosophy, with special emphasis on Philosophy of Mathematics

Ms Antos smiles

I am an Assistant Professor (Juniorprofessorin) for Theoretical Philosophy in the Department of Philosophy at the University of Konstanz (Germany) and a Research Fellow at the Zukunftskolleg.

My main areas of research are in philosophy of mathematics, logic and epistemology and I also teach in metaphysics and philosophy of science. I have worked on the topic of naturalism in philosophy of mathematics, explanatoriness in mathematics, inconsistent believes in the mathematical community and questions of defectiveness of formal concepts. Additionally to my work in philosophy, I also hold a PhD in mathematics from the Kurt-Gödel-Research-Center for Mathematical Logic (University of Vienna).

In the last years, I have been leading a research group in my Freigeist-Project “Forcing: Conceptual Change in the Foundations of Mathematics” (2018-2024) that is funded by the Volkswagen Foundation. Here, I study the change set theory went through after the discovery of the forcing technique. This technique is the primary tool for investigating independence phenomena in mathematics. In the project I bring together aspects from logic and epistemology to study the practice of set theory as well as the related debates in the philosophy of set theory.

Publications

Journal publications

  1. (2022) “”Models as fundamental entities in set theory: a naturalistic and practice-based approach”, Erkenntnis.
  2. (2021) “Boolean-valued Class Forcing”, (with S.-D. Friedman, V. Gitman), Fundamenta Mathematicae. 
  3. (2020) “Universism and Extensions of V”, with N. Barton, S. Friedman, Review of Symbolic Logic. PhilArchive. Journal.
  4. (2017) “Hyperclass Forcing in Morse-Kelley Class Theory”, with S. Friedman,  Journal of Symbolic Logic. Arxiv. Journal.
  5. (2015) “Multiverse Conceptions in Set Theory”, with S. Friedman, R. Honzik, C. Ternullo, Synthese. Journal.

Book Chapters/Invited Contributions

  1. (accepted and forthcoming) “A general procedure for a Second Philosophy analysis into set-theoretic methodology”, (with D. Kant), Outstanding Contributions to Logic: Penelope Maddy, S. Arbeiter and J. Kennedy (editors), Springer.
  2. (accepted and forthcoming) “”Expanding the notion of inconsistency in mathematics: the theoretical foundations of mutual inconsistency”, From Contradiction to Defectiveness to Pluralism in Science: Philosophical and Formal Analyses, O. Bueno, M. Martínez-Ordaz (Hrsg.), Synthese Library Book Series. 
  3. (forthcoming) “Modern class forcing”, (with V. Gitman), Research Trends in Contemporary Logic, M. Fitting, D. Gabbay, M. Pourmahdian, A. Rezus, A. Daghighi (Ed.), College Publications. PhilArchive.
  4. (2021) “Conceptions of Infinity and Set in Lorenzen’s Operationist System”, in: Proceedings der Konferenz “Paul Lorenzen: Mathematician and Logician”, Series Logic, Epistemology and the Unity of Science, Springer. PhilArchive. Book.

Editions

  1. (under contract) “”The Palgrave Companion to the Philosophy of Set Theory”, (with N. Barton, G. Venturi), Palgrave Macmillan.
  2. (2020) “The Foundations of Mathematics: Competing Foundations, New Axioms and the Set-Theoretic Multiverse”, with N. Barton, S. Friedman, C. Ternullo, J. Wigglesworth, Special Issue of Synthese, Volume 197. Book.
  3. (2018) “The Hyperuniverse Project and Maximality”, with S. Friedman, R. Honzik, C. Ternullo, Birkhäuser Basel (Springer). Book. 

Other

  1. (2020) “Introduction to special issue on the foundations of mathematics”, with N. Barton, S. Friedman, C. Ternullo, J. Wigglesworth, Synthese. Book.
  2. (2018) “Class Forcing in Class Theory”, In: The hyperuniverse project and maximality, Eds. C. Antos, S. Friedman, R. Honzik, C. Ternullo, Birkhäuser Basel, 2018. arxiv.org . Book.

Submitted

  1. (submitted 2023) “Defectiveness of formal concepts”.

Courses

More information is forthcoming