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 :
English
Title :
Mechanizing Principia Logico-Metaphysica in Functional Type Theory