Abstract
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.
Acknowledgments
I am grateful to the anonymous referees of this journal for their helpful comments on an earlier version of this paper.
Notes
1 We will provide pages of the reprint of Russell Citation1936 in Russell Citation1956.
2 For any binary relation ,
a and
on
we define the following relations on
. The product of
and
is the relation
such that for all
:
iff
. The difference between
and
is the relation
such that for all
:
iff
. The complement of R is the relation
such that:
iff
. So
. The converse relation of R is the relation
such that:
iff
. So
. The relative product of
and
is the relation
such that:
iff
. So
.
3 We have adopted the following convention for marking some formulas. There may be a label to the right of a given formula to indicate what the formula is saying. Furthermore, if the label appears to the right of a given formula, it means that it is assumed as an axiom of a formalized theory, and the given digit indicates the next number of the axiom. We have adopted as axioms only those formulas that are not derivable from other premises.
4 Russell more formally expresses the same at the beginning of Russell Citation1936.
5 Model 4 in Appendix 2 formally presents Anderson's diagram. See also model 5 in this appendix.
6 Grzegorczyk's theory from Citation1960 is examined in detail in Gruszczyński and Pietruszczak Citation2018, Citation2019.