Email Gateway (Jan 12 2023 at 12:46): Email Gateway (Jan 12 2023 at 12:46):From: Lawrence Paulson <lp15@cam.ac.uk>
This entry, due to Daniel Kirchner, has a rather long abstract. Here is an extract:
AOT is a foundational metaphysical theory, developed by Edward Zalta, that explains the objects presupposed by the sciences as abstract objects that reify property patterns. In particular, AOT aspires to provide a philosphically grounded basis for the construction and analysis of the objects of mathematics. We can support this claim by verifying Uri Nodelman's and Edward Zalta's reconstruction of Frege's theorem: we can confirm that the Dedekind-Peano postulates for natural numbers are consistently derivable in AOT using Frege's method.
In fact it was submitted in late November and I apologise for the delay in handling it.
You will find Abstract Object Theory on-line at https://www.isa-afp.org/entries/AOT.html
An earlier realisation of similar ideas is also in the AFP, here: https://www.isa-afp.org/entries/PLM.html
Larry Paulson
Last updated: Apr 26 2024 at 16:20 UTC