Carolin Antos

Juniorprofessorin für Theoretische Philosophie unter besonderer Berücksichtigung der Philosophie der Mathematik

Frau Antos lächelt

Ich bin Juniorprofessorin für Theoretische Philosophie am Fachbereich Philosophie der Universität Konstanz (Deutschland) und Research Fellow am Zukunftskolleg.

Meine Forschungsschwerpunkte liegen in der Philosophie der Mathematik, der Logik und der Erkenntnistheorie, außerdem lehre ich in den Bereichen Metaphysik und Wissenschaftstheorie. Ich habe zu den Themen Naturalismus in der Philosophie der Mathematik, Erklärbarkeit in der Mathematik, inkonsistenter Glaube in der mathematischen Gemeinschaft und Fragen der Fehlerhaftigkeit formaler Konzepte gearbeitet. Zusätzlich zu meiner Arbeit in der Philosophie habe ich auch einen Doktortitel in Mathematik vom Kurt-Gödel-Forschungszentrum für Mathematische Logik (Universität Wien).

In den letzten Jahren habe ich eine Forschungsgruppe in meinem Freigeist-Projekt "Forcing: Conceptual Change in the Foundations of Mathematics" (2018-2024), das von der Volkswagenstiftung gefördert wird. Hier untersuche ich den Wandel, den die Mengenlehre nach der Entdeckung der Forcing-Technik durchlaufen hat. Diese Technik ist das primäre Werkzeug zur Untersuchung von Unabhängigkeitsphänomenen in der Mathematik. In dem Projekt bringe ich Aspekte der Logik und der Erkenntnistheorie zusammen, um die Praxis der Mengenlehre sowie die damit verbundenen Debatten in der Philosophie der Mengenlehre zu untersuchen.

Veröffentlichungen

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”.

Lehre

Weitere Informationen folgen in Kürze