Switch to: References

Add citations

You must login to add citations.
  1. Frege and the Origins of Model Theory in Nineteenth Century Geometry.Günther Eder - 2019 - Synthese 198 (6):5547-5575.
    The aim of this article is to contribute to a better understanding of Frege’s views on semantics and metatheory by looking at his take on several themes in nineteenth century geometry that were significant for the development of modern model-theoretic semantics. I will focus on three issues in which a central semantic idea, the idea of reinterpreting non-logical terms, gradually came to play a substantial role: the introduction of elements at infinity in projective geometry; the study of transfer principles, especially (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Carnap’s Early Metatheory: Scope and Limits.Georg Schiemer, Richard Zach & Erich Reck - 2017 - Synthese 194 (1):33-65.
    In Untersuchungen zur allgemeinen Axiomatik and Abriss der Logistik, Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap’s attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Hilbert, Duality, and the Geometrical Roots of Model Theory.Günther Eder & Georg Schiemer - 2018 - Review of Symbolic Logic 11 (1):48-86.
    The article investigates one of the key contributions to modern structural mathematics, namely Hilbert’sFoundations of Geometry and its mathematical roots in nineteenth-century projective geometry. A central innovation of Hilbert’s book was to provide semantically minded independence proofs for various fragments of Euclidean geometry, thereby contributing to the development of the model-theoretic point of view in logical theory. Though it is generally acknowledged that the development of model theory is intimately bound up with innovations in 19th century geometry, so far, little (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Type Theory.Thierry Coquand - 2008 - Stanford Encyclopedia of Philosophy.