Abstract

This essay introduces a formal structure to model the indeterminacy of the future in Einstein-Minkowski space-time. We consider a first-order language, supplemented with an operator for predicate-term negation, and defend the claim that such an operation provides an appropriate model for the indeterminacy of future contingents. In the final section, it is proved that given a language otherwise adequate to represent a physical theory, at least some of the predicates of that language are indeterminate when the future is not causally determined by the present and the past.