6 found
Order:
  1.  28
    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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  20
    Hilbert, Duality, and the Geometrical Roots of Model Theory.Günther Eder & Georg Schiemer - 2018 - Review of Symbolic Logic 11 (1):48-86.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  41
    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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  55
    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   1 citation  
  5.  38
    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  
  6.  25
    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 (3 more)  
     
    Export citation  
     
    Bookmark