Conclusions and conjectures
Some may be of the opinion that one event can begin before another only by virtue of the existence of some event (a “witness”) which wholly precedes the other and does not wholly precede the one (and similarly for “ends before” and “does not abut”). Those would prefer \(\mathbb{F}\) 0 to \(\mathbb{F}\) as a model for observers' apprehensions of events. Since G is a functor from \(\mathbb{M}\) to \(\mathbb{F}\) 0, the current construction (restricted to \(\mathbb{F}\) 0) remains applicable.
This work supports a claim that the psychologically fundamental temporal relationships are “wholly precedes”, “begins before”, “ends before” and “abuts”. But only in a very weak sense. Any other set of relationships which is interdefinable with this one, using only quantifier-free formulas in the definitions, could be used to define a category \(\mathbb{F}\) ′ which is indistinguishable from \(\mathbb{F}\) (because the same functions preserve and reflect the new relationships). This work equally supports the claim that those relationships are the psychologically fundamental ones, or the claim that it is just “wholly precedes” which is fundamental, and that we perceive “begins before” just by virtue of witnesses. But it refutes the claim that only “wholly precedes” is fundamental, and that we understand “begins before” only because we understand time as a linear ordering.
Similar content being viewed by others
References
Saunders MacLane, Categories for the Working Mathematician, Springer-Verlag, New York, 1971.
BertrandRussell, Our Knowledge of the External World (Lecture IV), Allen and Unwin, London, 1914.
BertrandRussell, ‘On order in time’, Proc. Camb. Phil. Soc. 32 (1936), 216–228.
S. K.Thomason, ‘On constructing instants from events’, J. Philosophical Logic 13 (1984), 85–96.
S. K. Thomason, P. E. Haxell, and J. J. McDonald, ‘Free linear orderings over interval orderings’, Research Report No. 86-17, Department of Mathematics and Statistics, Simon Fraser University, November, 1986.
A. G.Walker, ‘Durées et instants’, Rev. Scientifique 85 (1947), 131–134.
A. G.Walker, ‘Foundations of relativity, parts I and II’, Proc. Royal Soc. Edinburgh (Section A) 62 (1948), 319–335.
G. J. Whitrow, The Natural Philosophy of Time (2nd ed.), Clarendon Press, Oxford, 1980.
NorbertWiener, ‘A contribution to the theory of relative position’, Proc. Camb. Phil. Soc. 17 (1914), 441–449.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Thomason, S.K. Free construction of time from events. J Philos Logic 18, 43–67 (1989). https://doi.org/10.1007/BF00296174
Issue Date:
DOI: https://doi.org/10.1007/BF00296174