11 found
Order:
Disambiguations
Paul Oppenheimer [8]Paul E. Oppenheimer [2]Paul Edward Oppenheimer [1]
See also
Paul Edward Oppenheimer
Stanford University
  1. Automating Leibniz’s Theory of Concepts.Paul Edward Oppenheimer, Jesse Alama & Edward N. Zalta - 2015 - In Amy P. Felty & Aart Middeldorp (eds.), Automated Deduction – CADE 25: Proceedings of the 25th International Conference on Automated Deduction (Lecture Notes in Artificial Intelligence: Volume 9195), Berlin: Springer. Dordrecht: Springer. pp. 73-97.
    Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2. On the Logic of the Ontological Argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
    In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  3. 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, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  87
    Relations Vs Functions at the Foundations of Logic: Type-Theoretic Considerations.Paul Oppenheimer & Edward N. Zalta - 2011 - Journal of Logic and Computation 21:351-374.
    Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  5. "Goethe and Modernism: The Dream of Anachronism in Goethe's" Roman Elegies".Paul Oppenheimer - forthcoming - Arion.
  6.  34
    O logice ontologického důkazu.Edward N. Zalta & Paul E. Oppenheimer - 2007 - Studia Neoaristotelica 4 (1):5-27.
    De argumenti ontologici forma logicaTractatione proposita auctores manifestant, „Argumentum Ontologicum“ St. Anselmi in 2° capitulo eius Proslogii inscriptum ut validum exponi posse (i. e. consequentiam bonam servando). Hac in interpretatione vis et notio descriptionis illae „id quo maius cogitari nequit“, qua Anselmus usus est, rite agnoscitur. Datis enim lingua formali „primi ordinis“, ut aiunt, et systemati deductivo logicae huiusmodi, in quo descriptiones definitae genuini sunt termini et ubi a sententia „datur x quod…“ signo quantitatis praefixa ad sententiam „x exsistit“ consequentia (...)
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  16
    The Certainty of Skepticism.Paul Oppenheimer & Ralf Meerbote - 1980 - Grazer Philosophische Studien 11 (1):125-128.
    Carrier in a recent paper urges for consideration an argument for skepticism which is based on premises one of which in turn is to be defended by yet another principle (the "Janus Principle" of the text). We feel that the latter principle and the way Carrier wants to use it to defend his skeptical argument will find adherents, but we show that this argument rests on an interesting equivocation quite beyond repair even if we accept the "Janus Principle".
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8. Dangerous Thoughts, Puzzling Responses: Theodore Ziolkowski, The Sin of Knowledge: Ancient Themes and Modern Variations. [REVIEW]Paul Oppenheimer - 2002 - Arion 10 (2).
     
    Export citation  
     
    Bookmark  
  9. Evil and the Demonic: A New Theory of Monstrous Behavior.Paul Oppenheimer - 1996 - New York University Press.
    "A wild and exuberant romp through the terrain of the monstrous . . . Oppenheimer's lucid explanations are the perfect antidotes to the sordid scenes he recreates." -American Book Review "A masterly and original study of one of the most frightening topics with which human beings have to struggle." -Literary Review "What is compelling, different and page-turning about this impressive book is that the author analyses evil through the medium of films and literature . . . Cinema buffs will find (...)
     
    Export citation  
     
    Bookmark  
  10. Metamorphoses of the Vampire in Literature and Film: Cultural Transformations in Europe, 1732-1933. [REVIEW]Paul Oppenheimer - 2012 - Clio: A Journal of Literature, History, and the Philosophy of History 41 (2):408-413.
    No categories
     
    Export citation  
     
    Bookmark  
  11. The Dream of Anachronism in Goethe’s Roman Elegies.Paul Oppenheimer - unknown - Arion 6 (1).
     
    Export citation  
     
    Bookmark