Switch to: References

Add citations

You must login to add citations.
  1. Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscript
    Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Ontological Argument Simplified.Gareth B. Matthews & Lynne Rudder Baker - 2010 - Analysis 70 (2):210-212.
    The ontological argument in Anselm’s Proslogion II continues to generate a remarkable store of sophisticated commentary and criticism. However, in our opinion, much of this literature ignores or misrepresents the elegant simplicity of the original argument. The dialogue below seeks to restore that simplicity, with one important modification. Like the original, it retains the form of a reductio, which we think is essential to the argument’s great genius. However, it seeks to skirt the difficult question of whether 'exists' is a (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • In Defense of the Law of Noncontradiction.Edward N. Zalta - 2004 - In J. C. Beall, B. Armour-Garb & G. Priest (eds.), The Law of Non-Contradiction : New Philosophical Essays. Oxford University Press.
    The arguments of the dialetheists for the rejection of the traditional law of noncontradiction are not yet conclusive. The reason is that the arguments that they have developed against this law uniformly fail to consider the logic of encoding as an analytic method that can resolve apparent contradictions. In this paper, we use Priest [1995] and [1987] as sample texts to illustrate this claim. In [1995], Priest examines certain crucial problems in the history of philosophy from the point of view (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Logic and Philosophy of Religion.Ricardo Silvestre & Jean-Yves Beziau - 2017 - Sophia 56 (2):139–145.
    This paper introduces the special issue on Logic and Philosophy of Religion of the journal Sophia: International Journal of Philosophy and Traditions (Springer). The issue contains the following articles: Logic and Philosophy of Religion, by Ricardo Sousa Silvestre and Jean-Yvez Béziau; The End of Eternity, by Jamie Carlin Watson; The Vagueness of the Muse—The Logic of Peirce’s Humble Argument for the Reality of God, by Cassiano Terra Rodrigues; Misunderstanding the Talk(s) of the Divine: Theodicy in the Wittgensteinian Tradition, by Ondřej (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Russell's Revenge: A Problem for Bivalent Fregean Theories of Descriptions.Jan Heylen - 2017 - Pacific Philosophical Quarterly 98 (4):636-652.
    Fregean theories of descriptions as terms have to deal with improper descriptions. To save bivalence various proposals have been made that involve assigning referents to improper descriptions. While bivalence is indeed saved, there is a price to be paid. Instantiations of the same general scheme, viz. the one and only individual that is F and G is G, are not only allowed but even required to have different truth values.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Modal Unity of Anselm’s Proslogion.Gary Mar - 1996 - Faith and Philosophy 13 (1):50-67.
    Anselm claimed that his Proslogion was a “single argument” sufficient to prove “that God truly exists,” that God is “the supreme good requiring nothing else,” as well as to prove “whatever we believe regarding the divine Being.” In this paper we show how Anselm’s argument in the Proslogion and in his Reply to Gaunilo can be reconstructed as a single argument. A logically elegant result is that the various stages of Anselm’s argument are validated by standard axioms from contemporary modal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.
    We investigate incomplete symbols, i.e. definite descriptions with scope-operators. Russell famously introduced definite descriptions by contextual definitions; in this article definite descriptions are introduced by rules in a specific calculus that is very well suited for proof-theoretic investigations. That is to say, the phrase ‘incomplete symbols’ is formally interpreted as to the existence of an elimination procedure. The last section offers semantical tools for interpreting the phrase ‘no meaning in isolation’ in a formal way.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Recent Developments in Computing and Philosophy.Anthony F. Beavers - 2011 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 42 (2):385-397.
    Because the label "computing and philosophy" can seem like an ad hoc attempt to tie computing to philosophy, it is important to explain why it is not, what it studies (or does) and how it differs from research in, say, "computing and history," or "computing and biology". The American Association for History and Computing is "dedicated to the reasonable and productive marriage of history and computer technology for teaching, researching and representing history through scholarship and public history" (http://theaahc.org). More pervasive, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Zelfpredicatie: Middeleeuwse en hedendaagse perspectieven.Jan Heylen & Can Laurens Löwe - 2017 - Tijdschrift Voor Filosofie 79 (2):239-258.
    The focus of the article is the self-predication principle, according to which the/a such-and-such is such-and-such. We consider contemporary approaches (Frege, Russell, Meinong) to the self-predication principle, as well as fourteenth-century approaches (Burley, Ockham, Buridan). In crucial ways, the Ockham-Buridan view prefigures Russell’s view, and Burley’s view shows a striking resemblance to Meinong’s view. In short the Russell-Ockham-Buridan view holds: no existence, no truth. The Burley-Meinong view holds, in short: intelligibility suffices for truth. Both views approach self-predication in a uniform (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Ontological Arguments.Graham Oppy - 2014 - Stanford Encyclopedia of Philosophy.
    Latest version of my SEP entry on ontological arguments, which first appeared in 1996. General discussion of ontological arguments. Includes a brief historical overview, a taxonomy of different kinds of ontological arguments, a brief survey of objections to the different kinds of ontological arguments identified in the taxonomy, and more extended discussions of Anselm's ontological argument (Proslogion 2), Godel's ontological argument, and Plantinga's ontological argument.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Computer Science and Metaphysics: A Cross-Fertilization.Edward N. Zalta, Christoph Benzmüller & Daniel Kirchner - 2019 - Open Philosophy 2 (1):230-251.
    Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational philosophy with a focus on metaphysics. In this paper, we develop results in modal metaphysics whose discovery was computer assisted, and conclude that these results work not only to the obvious benefit of philosophy but also, less obviously, to the benefit of computer science, since the new computational techniques that led to (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On the PROVER9 Ontological Argument.T. Parent - 2015 - Philosophia 43 (2):475-483.
    Oppenheimer & Zalta have re-formulated their non-modal version of the ontological argument, with the help of PROVER9, an automated reasoning engine. The authors end up rejecting the new argument; however, the theist has a rejoinder worth considering. But after presenting the rejoinder, I highlight that the conceivability of the being does not imply its possibility. One lesson is that even non-modal ontological arguments must engage modal matters concerning God. Another lesson is that if PROVER9 is able to derive a conclusion (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Gödel’s Second Theorem and the Provability of God’s Existence.Meir Buzaglo - 2019 - Logica Universalis 13 (4):541-549.
    According to a common view, belief in God cannot be proved and is an issue that must be left to faith. Kant went even further and argued that he can prove this unprovability. But any argument implying that a certain sentence is not provable is challenged by Gödel’s second theorem. Indeed, one trivial consequence of GST is that for any formal system F that satisfies certain conditions and for every sentence K that is formulated in F it is impossible to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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   2 citations  
  • The Pinocchio Paradox.Peter Eldridge-Smith & Veronique Eldridge-Smith - 2010 - Analysis 70 (2):212-215.
    The Pinocchio paradox, devised by Veronique Eldridge-Smith in February 2001, is a counter-example to solutions to the Liar that restrict the use or definition of semantic predicates. Pinocchio’s nose grows if and only if what he is stating is false, and Pinocchio says ‘My nose is growing’. In this statement, ‘is growing’ has its normal meaning and is not a semantic predicate. If Pinocchio’s nose is growing it is because he is saying something false; otherwise, it is not growing. ‘Because’ (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Saint Anselm.Thomas Williams - 2008 - Stanford Encyclopedia of Philosophy.
    Saint Anselm of Canterbury (1033-1109) was the outstanding Christian philosopher and theologian of the eleventh century. He is best known for the celebrated “ontological argument” for the existence of God in chapter two of the Proslogion, but his contributions to philosophical theology (and indeed to philosophy more generally) go well beyond the ontological argument. In what follows I examine Anselm's theistic proofs, his conception of the divine nature, and his account of human freedom, sin, and redemption.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Computationally-Discovered Simplification of the Ontological Argument.Paul Oppenheimer & Edward N. Zalta - 2011 - Australasian Journal of Philosophy 89 (2):333 - 349.
    The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • The Relevance of Kant's Objection to Anselm's Ontological Argument.Chris Heathwood - 2011 - Religious Studies 47 (3):345-357.
    The most famous objection to the ontological argument is given in Kant's dictum that existence is not a real predicate. But it is not obvious how this slogan is supposed to relate to the ontological argument. Some, most notably Alvin Plantinga, have even judged Kant's dictum to be totally irrelevant to Anselm's version of the ontological argument. In this paper I argue, against Plantinga and others, that Kant's claim is indeed relevant to Anselm's argument, in the straightforward sense that if (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Anselm's God in Isabelle/HOL.Ben Blumson - 2017 - Archive of Formal Proofs:9.
    Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL.
    Download  
     
    Export citation  
     
    Bookmark