The New A-theory of Time is the view, to be elaborated and defended in this article, that many times exist, and that time is real in virtue of every moment in time bearing each of the so-called A-properties: past, present and future. I argue that TNAT is at least as theoretically virtuous as mainstream views in the philosophy of time and may have some claim to being our best theory of time. I show that the properties ‘past’, ‘present’ and ‘future’ (...) can be understood as compatible intrinsic properties. Having demonstrated that this account of the A-properties is coherent, I go on to demonstrate how TNAT can give us an account of passage, change and the truth-conditions for temporal sentences. In the final section of the article, I develop a tentative argument in favour of TNAT, though concede that we have to settle for the result that TNAT is on a par with our other theories of time. In the remainder of this opening section, my aim is to situate the current proposal as a direct response to Mc.. (shrink)

Although Aranyosi's claim that McTaggart's "set of parts" is a set rather than a fusion is correct, his attempt to restate McTaggart's conception needs revision. Aranyosi argues that "the fusion of cats is identical with the fusion of all cat-parts, 'regardless of whether all cat-parts are parts of cats or not.'" Fusions have unique decompositions into what David Lewis calls "nice parts." Cats are nice parts of cat fusions, as are maximal spatio-temporally connected parts. Part of Aranyosi's argument fails when (...) it deals with cats; part of it fails when it deals with maximal spatio-temporally connected parts. He does not identify one kind of nice part that allows his whole argument to go through. (shrink)

This paper contains a formal theory of functional parthood. Since the relation of functional parthood is defined here by means of the notion of design, the theory of functional parthood turns out to be a theory of design. The formal theory of design I defend here is a result of introducing a number of constraints that are to express the rational aspects of designing practice. The ontological background for the theory is provided by a conception of states of affairs. The (...) theory is accompanied with a formal model. I prove that the theory is sound and complete with respect to this model. (shrink)

This paper opposes universal mereological composition (UMC). Sider defends it: unless UMC were true, he says, it could be indeterminate how many objects there are in the world. I argue that there is no general connection between how widely composition occurs and how many objects there are in the world. Sider fails to support UMC. I further argue that we should disbelieve in UMC objects. Existing objections against them say that they are radically unlike Aristotelian substances. True, but there is (...) a stronger objection. This is that they are characterized by no properties, and so fail to be like anything – even themselves. (shrink)

Mereological essentialists argue that mereological summations cannot change their parts. Mereological inessentialists argue that mereological summations can change some or all of their parts. In this paper I articulate and defend a position called Moderate Mereological Inessentialism, according to which certain mereological summations can change some, but not all, of their parts. Persistent mereological summations occur when the functional parts of mereological summations persist through alterations to its spatial parts.