## Notes to Future Contingents

1. We use double quotes for quotations, direct or indirect, and example sentences and expressions, whereas we use single quotes for terms and names.

2. Another possible translation is “An impossible proposition cannot follow after a possible one.” (See Rescher et al. 1971, p. 190.)

3. This definition might be
extended for negative numbers as well, assuming
that *dur*(*t _{1}*,

*t*,

_{2}*x*) if and only if

*dur*(

*t*,

_{2}*t*,-

_{1}*x*).

4. In an earlier version of
the Ockham model Prior did in fact include the idea of “the true
future”. Speaking about the Ockham models he wrote: “In
each … model there is a single designated route from left to
right, taking one direction only at each fork. This represents the
actual course of events.” (Prior 1966, p. 157). However, this
idea was dropped in Prior’s most famous presentation of the
models which he published in his *Past, Present and Future*
(Prior 1967).

5. The term ‘the Thin
Red Line’ was inspired by a report from the Crimean War
in *The London Times*: “The Russians dashed on towards
that thin red-line streak tipped with a line of steel.” It has
even been suggested that the thin red line should in fact be conceived
as infrared indicating “that the Thin Red Line does not imply
that mortals are capable of seeing the future.” (Belnap et
al. 2001, p. 139)

At this point it is worth noting, that Prior when working with the
draft for his book *Past, Present and Future* (1967) used a
similar idea of a red line corresponding to the true future. He wrote
the following on p. 6 in an undated draft titled “Postulate-sets
for Tense-logic”, kept in the Prior Collection at Bodleian
Library, Oxford, Box 1:

In these models the course of time (in a rather broad sense of this phrase) is represented by a line which, as it moves from left to right (past to future), continually divides into branches, so that from any given point on the diagram there is a unique route backwards (to the left; to the past) but a variety of routes forwards (to the right; to the future). In each model there is a single designated point, representing the actual present moment; and in an Occamist model there is a single designated line (taking one only of the possible forward routes at each fork), which might be picked out in red, representing the actual course of events.

(We owe this information to Alex Malpass.)