The Review of Symbolic Logic

Research Article

MODELING OCCURRENCES OF OBJECTS IN RELATIONS

JOOP LEOa1 c1

a1 Department of Philosophy, Utrecht University

Abstract

We study the logical structure of ‘real’ relations, and in particular the notion of occurrences of objects in a state. We start with formulating a number of principles for occurrences and defining corresponding mathematical models. These models are analyzed to get more insight in the formal properties of occurrences. In particular, we prove uniqueness results that tell us more about the possible logical structures relations might have.

(Received October 09 2009)

Correspondence:

c1 DEPARTMENT OF PHILOSOPHY, UTRECHT UNIVERSITY, HEIDELBERGLAAN 8, 3584 CS UTRECHT, THE NETHERLANDS. E-mail: joop.leo@phil.uu.nl