Rational Argumentation; Higher Order Logic; Universal Reasoning; Human-Machine Interaction
Résumé :
[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 :
Philosophie & éthique
Auteur, co-auteur :
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
Langue du document :
Anglais
Titre :
Mechanizing Principia Logico-Metaphysica in Functional Type Theory
