Predicate-term negation and the indeterminacy of the future

Publication Year:
Usage 289
Downloads 289
Repository URL:
Harrington, James
preprint description
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.