4 found
Order:
Disambiguations
Daniel Kirchner [3]Daniel J. Kirchner [1]
See also
  1.  20
    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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  9
    Mechanizing Principia Logico-Metaphysica in Functional Type Theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - 2019 - Review of Symbolic Logic:1-13.
    Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects. This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  71
    Mechanizing Principia Logico-Metaphysica in Functional Type Theory.Daniel Kirchner, Christoph Benzmüller & Edward N. Zalta - manuscript
    *Principia Logico-Metaphysica* (a developing, online manuscript) contains a foundational logical theory for metaphysics, mathematics, and the sciences. It contains a canonical development of Abstract Object Theory [AOT], a metaphysical theory (inspired by ideas of Ernst Mally, formalized by Zalta) that differentiates between ordinary and abstract objects. -/- This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  38
    Augustine’s Use of Epicureanism: Three Paradigmatic Problems for a Theory of Friendship in the Confessions.Daniel J. Kirchner - 2010 - International Philosophical Quarterly 50 (2):183-200.
    The patristic tradition has long censured or denied debts to Epicurean thought. Thus it is surprising to find that Augustine requires and uses Epicurean arguments at three moments in the Confessions essential his theory of friendship: the pear tree incident, the death of his friend, and the decision not to form a philosophical community. I argue that the classical definition of friendship is inadequate to solve these problems. Furthermore, reworking Augustine’s theory of friendship with the use/enjoyment doctrine developed in The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark