We classify two of Bertrand Russell's theories of events within the point-free ontology. The first of such approaches was presented informally by Russell in ‘The World of Physics and the World of Sense’ (Lecture IV in Our Knowledge of the External World of 1914). Based on this theory, Russell sketched ways to construct instants as collections of events. This paper formalizes Russell's approach from 1914. We will also show that in such a reconstructed theory, we obtain all axioms of Russell's (...) second theory from 1936 and all axioms of Thomason's theory of events from 1989. Russell's work certainly influenced the works of Stanisław Leśniewski, his student Alfred Tarski, and Czesław Lejewski – prominent members of the Lvov-Warsaw School (LWS). We see our work in the tradition of the research of Leśniewski and Tarski. Building on the technical tools developed in this environment and in the spirit of the traditional research of the LWS, we engage here, in particular, with two classic works by Russell on fundamental ontology. (shrink)

Contact algebra is one of the main tools in region-based theory of space. In it is generalized by dropping the operation Boolean complement. Furthermore we can generalize contact algebra by dropping also the operation meet. Thus we obtain structures, called contact join-semilattices and structures, called distributive contact join-semilattices. We obtain a set-theoretical representation theorem for CJS and a relational representation theorem for DCJS. As corollaries we get also topological representation theorems. We prove that the universal theory of CJS and of (...) DCJS is the same and is decidable. (shrink)

In 1929 Tarski showed how to construct points in a region-based first-order logic for space representation. The resulting system, called the geometry of solids, is a cornerstone for region-based geometry and for the comparison of point-based and region-based geometries. We expand this study of the construction of points in region-based systems using different primitives, namely hyper-cubes and regular simplexes, and show that these primitives lead to equivalent systems in dimension n ≥ 2. The result is achieved by adopting a single (...) set of definitions that works for both these classes of figures. The analysis of our logics shows that Tarski’s choice to take sphere as the geometrical primitive might be intuitively justified but is not optimal from a technical viewpoint. (shrink)