Constructing Situations and Time

Situations serving as partial worlds as well as events in natural language semantics are constructed from a type-theoretic interpretation of firstorder formulae and (after a type reduction) temporal formulae. Limitations of the Russell-Wiener-Kamp derivation of time from events are discussed and overcome to give a more widely applicable account of temporal granularity. Finite situations are formulated as strings of observations, conceptualized to persist inertially (in the absence of forces)