Reference : Mechanizing Principia Logico-Metaphysica in Functional Type Theory
E-prints/Working papers : Already available on another site
Arts & humanities : Philosophy & ethics
Computational Sciences
http://hdl.handle.net/10993/33700
Mechanizing Principia Logico-Metaphysica in Functional Type Theory
English
Kirchner, Daniel [Freie Universität Berlin > Mathematics]
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Zalta, Edward N. [Stanford University > CSLI]
Nov-2017
v1
arXiv.org
arXiv:1711.06542
10
No
2331-8422
Cornell University
USA
[en] Rational Argumentation ; Higher Order Logic ; Universal Reasoning ; Human-Machine Interaction
[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.
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/33700
http://arxiv.org/abs/1711.06542
submitted for journal publication
https://arxiv.org/abs/1711.06542

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
1711.06542.pdfPublisher postprint152.95 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.