Weyl's tile argument purports to show that there are no natural distance functions in atomistic space that approximate Euclidean geometry. I advance a response to this argument that relies on a new account of distance in atomistic space, called "the mixed account," according to which local distances are primitive and other distances are derived from them. Under this account, atomistic space can approximate Euclidean space (and continuous space in general) very well. To motivate this account as a genuine solution to (...) Weyl's tile argument, I argue that this account is no less natural than the standard account of distance in continuous space. I also argue that the mixed account has distinctive advantages over Forrest's (1995) account in response to Weyl's tile argument, which can be considered as a restricted version of the mixed account. (shrink)

Weyl’s tile argument purports to show that there are no natural distance functions in atomistic space that approximate Euclidean geometry. I advance a response to this argument that relies on a new account of distance in atomistic space, called the mixed account, according to which local distances are primitive and other distances are derived from them. Under this account, atomistic space can approximate Euclidean space (and continuous space in general) very well. To motivate this account as a genuine solution to (...) Weyl’s tile argument, I argue that this account is no less natural than the standard account of distance in continuous space. I also argue that the mixed account has distinctive advantages over Forrest’s (Synthese 103:327–354, 1995) account in response to Weyl’s tile argument, which can be considered as a restricted version of the mixed account. (shrink)

In this paper, I develop an original view of the structure of space—called infinitesimal atomism—as a reply to Zeno’s paradox of measure. According to this view, space is composed of ultimate parts with infinitesimal size, where infinitesimals are understood within the framework of Robinson’s nonstandard analysis. Notably, this view satisfies a version of additivity: for every region that has a size, its size is the sum of the sizes of its disjoint parts. In particular, the size of a finite region (...) is the sum of the sizes of its infinitesimal parts. Although this view is a coherent approach to Zeno’s paradox and is preferable to Skyrms’s infinitesimal approach, it faces both the main problem for the standard view and the main problem for finite atomism, leaving it with no clear advantage over these familiar alternatives. (shrink)

This paper investigates the mathematical representation of time in physics. In existing theories time is represented by the real numbers, hence their formal proper- ties represent properties of time: these are surveyed. The central question of the paper is whether the existing representation of time is adequate, or whether it can or should be supplemented: especially, do we need a physics incorporating some kind of ‘dynamical passage’ of time? The paper argues that the existing mathematical framework is resistant to such (...) changes, and might have to be rejected by anyone seeking a physics of passage. Then it rebuts two common arguments for incorporating passage into physics, especially the claim that it is an element of experience. Finally the paper investigates whether, as has been claimed, ‘causal set theory’ provides a physics of passage. (shrink)

Causal set theory and the theory of linear structures (which has recently been developed by Tim Maudlin as an alternative to standard topology) share some of their main motivations. In view of that, I raise and answer the question how these two theories are related to each other and to standard topology. I show that causal set theory can be embedded into Maudlin’s more general framework and I characterise what Maudlin’s topological concepts boil down to when applied to discrete linear (...) structures that correspond to causal sets. Moreover, I show that all topological aspects of causal sets that can be described in Maudlin’s theory can also be described in the framework of standard topology. Finally, I discuss why these results are relevant for evaluating Maudlin’s theory. The value of this theory depends crucially on whether it is true that (a) its conceptual framework is as expressive as that of standard topology when it comes to describing well-known continuous as well as discrete models of spacetime and (b) it is even more expressive or fruitful when it comes to analysing topological aspects of discrete structures that are intended as models of spacetime. On the one hand, my theorems support (a): the theory is rich enough to incorporate causal set theory and its definitions of topological notions yield a plausible outcome in the case of causal sets. On the other hand, the results undermine (b): standard topology, too, has the conceptual resources to capture those topological aspects of causal sets that are analysable within Maudlin’s framework. This fact poses a challenge for the proponents of Maudlin’s theory to prove it fruitful. (shrink)