Order:
See also
Carolin Antos
Universität Konstanz
  1.  27
    Universism and Extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - forthcoming - Review of Symbolic Logic:1-50.
    A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  21
    Introduction to Special Issue on the Foundations of Mathematics.Carolin Antos, Neil Barton, Sy-David Friedman, Claudio Ternullo & John Wigglesworth - 2020 - Synthese 197.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  12
    Conceptions of Infinity and Set in Lorenzen’s Operationist System.Carolin Antos - forthcoming - In Logic, Epistemology and the Unity of Science. Springer.
    In the late 1940s and early 1950s Lorenzen developed his operative logic and mathematics, a form of constructive mathematics. Nowadays this is mostly seen as the precursor to the more well-known dialogical logic and one could assumed that the same philosophical motivations were present in both works. However we want to show that this is not always the case. In particular, we claim, that Lorenzen’s well-known rejection of the actual infinite as stated in Lorenzen (1957) was not a major motivation (...)
    Download  
     
    Export citation  
     
    Bookmark