NOL Seminar with Leon Horsten
published: 2026-05-27
event date:
2026-06-22
The Nordic Online Logic Seminar
is organised monthly over Zoom, with expository talks on topics of interest for
the broader logic community. The seminar is open for professional or aspiring
logicians and logic aficionados worldwide. If you wish to receive the Zoom ID
and password for it, as well as further announcements, please subscribe here:
https://listserv.gu.se/sympa/subscribe/nordiclogic
Date Monday, 22 June 2026 at 16:00 CEST (UTC+2) on Zoom
Speaker Leon Horsten (Professor for Theoretical Philosophy, University of Konstanz)
Title Axioms for Arbitrary Object Theory
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.