Notes to Time
1. This way of formulating the argument is based on a Platonist view of propositions, according to which there are such things as propositions, which are abstract objects distinct from the sentences that can express them, and which are the fundamental bearers of the truth values. It is also possible to carry on a discussion of Fatalism without this assumption.
2. The denial of Bivalence is here characterized in a way that entails the negation of Taking Tense Seriously (see below), but it could also be formulated in a way that is consistent with Taking Tense Seriously.
3. Taking Tense Seriously is normally associated with The Tensed View of Semantics (see above). And, indeed, it seems likely that the former entails the latter, even if the latter may not entail the former.