7 found
Sort by:
See also:
  1. Georg Schiemer (2014). Invariants and Mathematical Structuralism. Philosophia Mathematica 22 (1):70-107.
    The paper outlines a novel version of mathematical structuralism related to invariants. The main objective here is twofold: first, to present a formal theory of structures based on the structuralist methodology underlying work with invariants. Second, to show that the resulting framework allows one to model several typical operations in modern mathematical practice: the comparison of invariants in terms of their distinctive power, the bundling of incomparable invariants to increase their collective strength, as well as a heuristic principle related to (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Georg Schiemer (2014). Logicism and Ramsification. Metascience 23 (2):255-261.
    This excellent book presents a collection of eleven articles, all but one of which were written by William Demopoulos over the period of the last 19 years. The book comprises eight published articles, some of which have appeared only recently, as well as three new articles. The thematic scope of the topics investigated here is broad and ranges from Frege’s original logicist program outlined in his Grundlagen der Arithmetik (Frege 1884) to Carnap’s mature work on the logical reconstruction of scientific (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Georg Schiemer (2013). Carnap's Early Semantics. Erkenntnis 78 (3):487-522.
    This paper concerns Carnap’s early contributions to formal semantics in his work on general axiomatics between 1928 and 1936. Its main focus is on whether he held a variable domain conception of models. I argue that interpreting Carnap’s account in terms of a fixed domain approach fails to describe his premodern understanding of formal models. By drawing attention to the second part of Carnap’s unpublished manuscript Untersuchungen zur allgemeinen Axiomatik, an alternative interpretation of the notions ‘model’, ‘model extension’ and ‘submodel’ (...)
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  4. Georg Schiemer & Erich H. Reck (2013). Logic in the 1930s: Type Theory and Model Theory. Bulletin of Symbolic Logic 19 (4):433-472.
    In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style of Principia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts to develop the semantics (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Georg Schiemer (2012). Carnap on Extremal Axioms, "Completeness of the Models," and Categoricity. Review of Symbolic Logic 5 (04):613-641.
    This paper provides a historically sensitive discussion of Carnaps theory will be assessed with respect to two interpretive issues. The first concerns his mathematical sources, that is, the mathematical axioms on which his extremal axioms were based. The second concerns Carnapcompleteness of the modelss different attempts to explicate the extremal properties of a theory and puts his results in context with related metamathematical research at the time.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Georg Schiemer (2012). Carnap's Untersuchungen: Logicism, Formal Axiomatics, and Metatheory. In. In R. Creath (ed.), Rudolf Carnap and the Legacy of Logical Empiricism. Springer Verlag. 13--36.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Georg Schiemer (2010). Fraenkel's Axiom of Restriction: Axiom Choice, Intended Models and Categoricity. In Benedikt L.öwe & Thomas Müller (eds.), PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice. College Publications. 307{340.