FYI:Title Axioms for Arbitrary Object Theory
0 views
Skip to first unread message
alex.shkotin
Jun 16, 2026, 11:46:20 AM (4 days ago) Jun 16
to ontolog-forum
https://scandinavianlogic.org/2026-05-27-NOL-Seminar-Leon-Horsten.html
Abstract
We formulate and discuss a general axiomatic theory of arbitrary objects. This theory is expressed in a simple first-order language without modal operators, and it is governed by classical logic. The theory AOT intends to be a fundamental and a fully general (and somewhat flexible) theory of arbitrary objects. Ideally, it intends to be a suitable formal framework for all legitimate applications of arbitrary object theory. According to the proposed theory, arbitrary objects are organised in correlated systems, where each such system of arbitrary objects is abstracted from a system of particular objects.
We formulate and discuss a general axiomatic theory of arbitrary objects. This theory is expressed in a simple first-order language without modal operators, and it is governed by classical logic. The theory AOT intends to be a fundamental and a fully general (and somewhat flexible) theory of arbitrary objects. Ideally, it intends to be a suitable formal framework for all legitimate applications of arbitrary object theory. According to the proposed theory, arbitrary objects are organised in correlated systems, where each such system of arbitrary objects is abstracted from a system of particular objects.
`All you need is theory. Theory is all you need.`
Alex
Reply all
Reply to author
Forward
0 new messages