8 found
Order:
  1.  29
    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   3 citations  
  2.  30
    Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence.Günther Eder - 2016 - History and Philosophy of Logic 37 (2):170-193.
    The paper is concerned with Quine's substitutional account of logical truth. The critique of Quine's definition tends to focus on miscellaneous odds and ends, such as problems with identity. However, in an appendix to his influential article On Second Order Logic, George Boolos offered an ingenious argument that seems to diminish Quine's account of logical truth on a deeper level. In the article he shows that Quine's substitutional account of logical truth cannot be generalized properly to the general concept of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  69
    Formal Reconstructions of St. Anselm’s Ontological Argument.Esther Ramharter & Günther Eder - 2015 - Synthese 192 (9):2795-2825.
    In this paper, we discuss formal reconstructions of Anselm’s ontological argument. We first present a number of requirements that any successful reconstruction should meet. We then offer a detailed preparatory study of the basic concepts involved in Anselm’s argument. Next, we present our own reconstructions—one in modal logic and one in classical logic—and compare them with each other and with existing reconstructions from the reviewed literature. Finally, we try to show why and how one can gain a better understanding of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  48
    Frege’s ‘On the Foundations of Geometry’ and Axiomatic Metatheory.Günther Eder - 2016 - Mind 125 (497):5-40.
    In a series of articles dating from 1903 to 1906, Frege criticizes Hilbert’s methodology of proving the independence and consistency of various fragments of Euclidean geometry in his Foundations of Geometry. In the final part of the last article, Frege makes his own proposal as to how the independence of genuine axioms should be proved. Frege contends that independence proofs require the development of a ‘new science’ with its own basic truths. This paper aims to provide a reconstruction of this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  5
    Frege and the Origins of Model Theory in Nineteenth Century Geometry.Günther Eder - forthcoming - Synthese:1-29.
    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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  41
    Remarks on Compositionality and Weak Axiomatic Theories of Truth.Günther Eder - 2014 - Journal of Philosophical Logic 43 (2-3):541-547.
    The paper draws attention to an important, but apparently neglected distinction relating to axiomatic theories of truth, viz. the distinction between weakly and strongly truth-compositional theories of truth. The paper argues that the distinction might be helpful in classifying weak axiomatic theories of truth and examines some of them with respect to it.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  31
    Remarks on Independence Proofs and Indirect Reference.Günther Eder - 2013 - History and Philosophy of Logic 34 (1):68-78.
    In the last two decades, there has been increasing interest in a re-evaluation of Frege’s stance towards consistency- and independence proofs. Papers by several authors deal with Frege’s views on these topics. In this note, I want to discuss one particular problem, which seems to be a main reason for Frege’s reluctant attitude towards his own proposed method of proving the independence of axioms, namely his view that thoughts, that is, intensional entities are the objects of metatheoretical investigations. This stands (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Truth, Paradox, and the Procedural Conception of Fregean Sense.Günther Eder - 2019 - In Gabriele M. Mras, Paul Weingartner & Bernhard Ritter (eds.), Philosophy of Logic and Mathematics: Proceedings of the 41st International Ludwig Wittgenstein Symposium. De Gruyter. pp. 153-168.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark