Repository URL:
http://philsci-archive.pitt.edu/id/eprint/8676
Author(s):
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.

This preprint has 0 Wikipedia mention.