Order:
See also
Iris Loeb
VU University Amsterdam
  1.  16
    Sequences of Real Functions on [0, 1] in Constructive Reverse Mathematics.Hannes Diener & Iris Loeb - 2009 - Annals of Pure and Applied Logic 157 (1):50-61.
    We give an overview of the role of equicontinuity of sequences of real-valued functions on [0,1] and related notions in classical mathematics, intuitionistic mathematics, Bishop’s constructive mathematics, and Russian recursive mathematics. We then study the logical strength of theorems concerning these notions within the programme of Constructive Reverse Mathematics. It appears that many of these theorems, like a version of Ascoli’s Lemma, are equivalent to fan-theoretic principles.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  41
    Equivalents of the (Weak) Fan Theorem.Iris Loeb - 2005 - Annals of Pure and Applied Logic 132 (1):51-66.
    This article presents a weak system of intuitionistic second-order arithmetic, WKV, a subsystem of the one in S.C. Kleene, R.E. Vesley [The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions, North-Holland Publishing Company, Amsterdam, 1965]. It is then shown that some statements of real analysis, like a version of the Heine–Borel Theorem, and some statements of logic, e.g. compactness of classical proposition calculus, are equivalent to the Fan Theorem in this system.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  3. On Tarski's Foundations of the Geometry of Solids.Arianna Betti & Iris Loeb - 2012 - 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 (12 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  49
    Uniting Model Theory and the Universalist Tradition of Logic: Carnap’s Early Axiomatics.Iris Loeb - 2014 - 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. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  48
    Towards Transfinite Type Theory: Rereading Tarski’s Wahrheitsbegriff.Iris Loeb - 2014 - 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, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  26
    Submodels in Carnap’s Early Axiomatics Revisited.Iris Loeb - 2014 - 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  64
    The Role of Universal Language in the Early Work of Carnap and Tarski.Iris Loeb - 2017 - Synthese 194 (1):15-31.
    It is often argued that by assuming the existence of a universal language, one prohibits oneself from conducting semantical investigations. It could thus be thought that Tarski’s stance towards a universal language in his fruitful Wahrheitsbegriff differs essentially from Carnap’s in the latter’s less successful Untersuchungen zur allgemeinen Axiomatik. Yet this is not the case. Rather, these two works differ in whether or not the studied fragments of the universal language are languages themselves, i.e., whether or not they are closed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  16
    Glueing Continuous Functions Constructively.Douglas S. Bridges & Iris Loeb - 2010 - 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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  6
    Indecomposability of Negative Dense Subsets of ℝ in Constructive Reverse Mathematics.Iris Loeb - 2009 - Logic Journal of the IGPL 17 (2):173-177.
    In 1970 Vesley proposed a substitute of Kripke's Scheme. In this paper it is shown that —over Bishop's constructive mathematics— the indecomposability of negative dense subsets of ℝ is equivalent to a weakening of Vesley's proposal. This result supports the idea that full Kripke's Scheme might not be necessary for most of intuitionistic mathematics. At the same time it contributes to the programme of Constructive Reverse Mathematics and gives a new answer to a 1997 question of Van Dalen.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  9
    Indecomposability of ℝ and ℝ \ {0} in Constructive Reverse Mathematics.Iris Loeb - 2008 - Logic Journal of the IGPL 16 (3):269-273.
    It is shown that—over Bishop's constructive mathematics—the indecomposability of ℝ is equivalent to the statement that all functions from a complete metric space into a metric space are sequentially nondiscontinuous. Furthermore we prove that the indecomposability of ℝ \ {0} is equivalent to the negation of the disjunctive version of Markov's Principle. These results contribute to the programme of Constructive Reverse Mathematics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  26
    The Transition From Formula-Centered to Concept-Centered Analysis Bolzano's Purely Analytic Proof. As a Case Study.Iris Loeb & Stefan Roski - 2014 - Philosophia Scientiae 18 (1):113-129.
    Deux transitions ont eu lieu aux xviiie et xixe siècles dans le déve­loppement de l'analyse mathématique : de l'approche géométrique à l'approche axée sur des formules d'une part ; de l'approche axée sur les formules à l'ap­proche conceptuelle d'autre part. En nous appuyant sur la Preuve purement analytique de Bolzano, nous montrons qu'il adopte une approche que l'on peut qualifier de conceptuelle. Nous parvenons à la conclusion selon laquelle Bolzano n'adopte pas la même attitude selon qu'il se rapporte à l'approche (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark