Switch to: References

Add citations

You must login to add citations.
  1. Existence as a Perfection.Michael Wreen - 2017 - History of Philosophy & Logical Analysis 20 (1):161-172.
    This paper is a defense of the view that existence is a perfection. Anselm’s First Ontological Argument is referred to throughout. Two major objections are advanced: the ‘perfect island’ objection and the ‘perfect devil’ objection. A rebuttal of both, based on Anselm’s reply to Gaunilo, is tendered, but itself faces a major objection. Two lines of defense against this objection are possible. The first is sympathetically explained but it is argued that it ultimately fails. The second, which focuses on the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Totality of Predicates and the Possibility of the Most Real Being.Srećko Kovač - 2018 - Journal of Applied Logics - The IfCoLog Journal of Logics and Their Applications 5 (7):1523-1552.
    We claim that Kant's doctrine of the "transcendental ideal of pure reason" contains, in an anticipatory sense, a second-order theory of reality (as a second-order property) and of the highest being. Such a theory, as reconstructed in this paper, is a transformation of Kant's metatheoretical regulative and heuristic presuppositions of empirical theories into a hypothetical ontotheology. We show that this metaphysical theory, in distinction to Descartes' and Leibniz's ontotheology, in many aspects resembles Gödel's theoretical conception of the possibility of a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Conceptual Re-Engineering: From Explication to Reflective Equilibrium.Georg Brun - 2017 - Synthese 197 (3):925-954.
    Carnap and Goodman developed methods of conceptual re-engineering known respectively as explication and reflective equilibrium. These methods aim at advancing theories by developing concepts that are simultaneously guided by pre-existing concepts and intended to replace these concepts. This paper shows that Carnap’s and Goodman’s methods are historically closely related, analyses their structural interconnections, and argues that there is great systematic potential in interpreting them as aspects of one method, which ultimately must be conceived as a component of theory development. The (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Traits essentiels d'une formalisation adéquate.Gheorghe-Ilie Farte - 2020 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 18 (1):163-174.
    In order to decide whether a discursive product of human reason corresponds or not to the logical order, one must analyze it in terms of syntactic correctness, consistency, and validity. The first step in logical analysis is formalization, that is, the process by which logical forms of thoughts are represented in different formal languages or logical systems. Although each thought can be properly formalized in different ways, the formalization variants are not equally adequate. The adequacy of formalization seems to depend (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Explication as a Method of Conceptual Re-Engineering.Georg Brun - 2016 - Erkenntnis 81 (6):1211-1241.
    Taking Carnap’s classic exposition as a starting point, this paper develops a pragmatic account of the method of explication, defends it against a range of challenges and proposes a detailed recipe for the practice of explicating. It is then argued that confusions are involved in characterizing explications as definitions, and in advocating precising definitions as an alternative to explications. Explication is better characterized as conceptual re-engineering for theoretical purposes, in contrast to conceptual re-engineering for other purposes and improving exactness for (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • A Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument.David Fuenmayor & Christoph Benzmueller - manuscript
    Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language ar- gument with strong ties to metaphysics and religion: E. J. Lowe’s modern variant of St. Anselm’s ontological argument for the existence of God. Our new method, which we call computational hermeneutics, has been particularly conceived for use in interactive-automated proof assistants. It aims at shedding light on the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Logical Expressivism, Logical Theory and the Critique of Inferences.Georg Brun - 2019 - Synthese 196 (11):4493-4509.
    The basic idea of logical expressivism in the Brandomian tradition is that logic makes inferential relations explicit and thereby accessible to critical discussion. But expressivists have not given a convincing explanation of what the point of logical theories is. Peregrin provides a starting point by observing a distinction between making explicit and explication in Carnap’s sense of replacing something unclear and vague by something clear and exact. Whereas logical locutions make inferential relations explicit within a language, logical theories use formal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation