7 found
Sort by:
See also:
Profile: Iris Loeb (VU University Amsterdam)
  1. Iris Loeb (2014). Submodels in Carnap's Early Axiomatics Revisited. Erkenntnis 79 (2):405-429.
    G. Schiemer has recently ascribed to Carnap the so-called domains-as-fields conception of models, which he subsequently used to defend Carnap’s treatment of extremal axioms against J. Hintikka’s criticism that the number of tuples in a relation, and not the domain of discourse, is optimised in Carnap’s treatment. We will argue by a careful textual analysis, however, that this domains-as-fields conception cannot be applied to Carnap’s early semantics, because it includes a notion of submodel and subrelation that is not only absent (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Iris Loeb (2014). Towards Transfinite Type Theory: Rereading Tarski's Wahrheitsbegriff. Synthese 191 (10):2281-2299.
    In his famous paper Der Wahrheitsbegriff in den formalisierten Sprachen (Polish edition: Nakładem/Prace Towarzystwa Naukowego Warszawskiego, wydzial, III, 1933), Alfred Tarski constructs a materially adequate and formally correct definition of the term “true sentence” for certain kinds of formalised languages. In the case of other formalised languages, he shows that such a construction is impossible but that the term “true sentence” can nevertheless be consistently postulated. In the Postscript that Tarski added to a later version of this paper (Studia Philosophica, (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Iris Loeb (2014). Uniting Model Theory and the Universalist Tradition of Logic: Carnap's Early Axiomatics. Synthese 191 (12):2815-2833.
    We shift attention from the development of model theory for demarcated languages to the development of this theory for fragments of a language. Although it is often assumed that model theory for demarcated languages is not compatible with a universalist conception of logic, no one has denied that model theory for fragments of a language can be compatible with that conception. It thus seems unwarranted to ignore the universalist tradition in the search for the origins and development of model theory. (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Arianna Betti & Iris Loeb (2012). On Tarski's Foundations of the Geometry of Solids. Bulletin of Symbolic Logic 18 (2):230-260.
    The paper [Tarski: Les fondements de la géométrie des corps, Annales de la Société Polonaise de Mathématiques, pp. 29—34, 1929] is in many ways remarkable. We address three historico-philosophical issues that force themselves upon the reader. First we argue that in this paper Tarski did not live up to his own methodological ideals, but displayed instead a much more pragmatic approach. Second we show that Leśniewski's philosophy and systems do not play the significant role that one may be tempted to (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Douglas S. Bridges & Iris Loeb (2010). Glueing Continuous Functions Constructively. Archive for Mathematical Logic 49 (5):603-616.
    The glueing of (sequentially, pointwise, or uniformly) continuous functions that coincide on the intersection of their closed domains is examined in the light of Bishop-style constructive analysis. This requires us to pay attention to the way that the two domains intersect.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Hannes Diener & Iris Loeb (2009). Sequences of Real Functions on [0, 1] in Constructive Reverse Mathematics. Annals of Pure and Applied Logic 157 (1):50-61.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Iris Loeb (2005). Equivalents of the (Weak) Fan Theorem. Annals of Pure and Applied Logic 132 (1):51-66.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation