-
83Mechanizing principia logico-metaphysica in functional type-theoryReview of Symbolic Logic 13 (1): 206-218. 2018.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…Read more
-
84Computer Science and Metaphysics: A Cross-FertilizationOpen Philosophy 2 (1): 230-251. 2019.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 b…Read more
-
34Mechanizing principia logico-metaphysica in functional type theoryReview of Symbolic Logic 1-13. 2019.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 deepl…Read more
-
26Augustine’s Use of EpicureanismInternational Philosophical Quarterly 50 (2): 183-200. 2010.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/…Read more
Danville, Kentucky, United States of America
Areas of Specialization
Applied Ethics |
Normative Ethics |
19th Century Philosophy |