Available on ORBilu since
14 December 2017
Eprint already available on another site (E-prints, Working papers and Research blog)
Mechanizing Principia Logico-Metaphysica in Functional Type Theory
Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N.


Full Text
Publisher postprint (156.62 kB)

All documents in ORBilu are protected by a user license.

Send to


Keywords :
Rational Argumentation; Higher Order Logic; Universal Reasoning; Human-Machine Interaction
Abstract :
[en] Principia Logico-Metaphysica proposes 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.
Disciplines :
Philosophy & ethics
Author, co-author :
Kirchner, Daniel;  Freie Universität Berlin > Mathematics
Benzmüller, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Zalta, Edward N.;  Stanford University > CSLI
Language :
Title :
Mechanizing Principia Logico-Metaphysica in Functional Type Theory
Publication date :
November 2017
Publisher :
arXiv.org, Cornell University, United States
Version :
Number of pages :
Focus Area :
Computational Sciences
Commentary :
submitted for journal publication


Number of views
105 (2 by Unilu)
Number of downloads
431 (1 by Unilu)


Similar publications

Contact ORBilu