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. (shrink)

Relations computed by finite-state transducers are applied to interpret temporal propositions in terms of strings representing finite contexts or situations. Carnap–Montague intensions mapping indices to extensions are reformulated as relations between strings that can serve as indices and extensions alike. Strings are related according to information content, temporal span and granularity, the bounds on which reflect the partiality of natural language statements. That partiality shapes not only strings-as-extensions (indicating what statements are about) but also strings-as-indices (underlying truth conditions).

The idea that temporal propositions are vague predicates is examined with attention to the nature of the objects over which the predicates range. These objects should not, it is argued, be identified once and for all with points or intervals in the real line (or any fixed linear order). Context has an important role to play not only in sidestepping the Sorites paradox (Gaifman 2002) but also in shaping temporal moments/extent (Landman 1991). The Russell-Wiener construction of time from events (Kamp (...) 1979) is related to a notion of context given by a string of observations, the vagueness in which is brought out by grounding the observations in the real line. With this notion of context, the context dependency functions in Gaifman 2002 are adapted to interpret temporal propositions. (shrink)