Abstract In the philosophical literature, there are two common criteria for a physical theory to be deterministic. The older one is due to the logical empiricists, and is a purely formal criterion. The newer one can be found in the work of John Earman and David Lewis and depends on the intended interpretation of the theory. In this paper I argue that the former must be rejected, and something like the latter adopted. I then discuss the relevance of these points (...) to the current debate over the hole argument. (shrink)

I argue that Earman and Norton's familiar "hole argument" raises questions as to whether GTR is a deterministic theory only given a certain assumption about determinism: namely, that to ask whether a theory is deterministic is to ask about the physical situations described by the theory. I think this is a mistake: whether a theory is deterministic is a question about what sentences can be proved within the theory. I show what these sentences look like: for interesting theories, a harmless (...) bit of infinitary logic puts in an appearance. (shrink)

Spacetime substantivalism leads to a radical form of indeterminism within a very broad class of spacetime theories which include our best spacetime theory, general relativity. Extending an argument from Einstein, we show that spacetime substantivalists are committed to very many more distinct physical states than these theories' equations can determine, even with the most extensive boundary conditions.