Switch to: References

Citations of:

Analysis of an Ontological Proof Proposed by Leibniz

In Charles Tandy (ed.), Death and Anti Death, vol. 14: Four Decades after Michael Polanyi, Three Centuries after G. W. Leibniz. RIA University Press (2016)

Add citations

You must login to add citations.
  1. Universal Reasoning, Rational Argumentation and Human-Machine Interaction.Benzmüller Christoph - 2017
    Classical higher-order logic, when utilized as a meta-logic in which various other logics can be shallowly embedded, is well suited for realising a universal logic reasoning approach. Universal logic reasoning in turn, as envisioned already by Leibniz, may support the rigorous formalisation and deep logical analysis of rational arguments within machines. A respective universal logic reasoning framework is described and a range of exemplary applications are discussed. In the future, universal logic reasoning in combination with appropriate, controlled forms of rational (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (a) develop results in modal metaphysics whose discovery was computer assisted, and (b) 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations