1 Henry S. Leonard and Nelson Goodman, ‘The Calculus of Individuals and Its Uses,’ Journal of Symbolic Logic 5, 2 (June, 1940) 45-55

2 I have changed their notation to conform to the notation in the present essay.

3 Another approach to this puzzle appeals to temporal parts. Advocates of temporal parts will presumably reject both (5) and (4) on the ground that since the temporal parts of an object are its parts and some temporal parts of the members of a are not parts of the silver chain on my table at t¹ some parts of the members of a are not part of the silver chain on my table at t¹. Rejection of (5) gives rise to a variant of the puzzle I discuss in section V. But there are other problems with this proposal as well. If some parts of the members of a, the thirty links and a clasp from which the silver chain on my table at t¹ is made, are not part of the silver chain on my table at t¹, then these members of a are not part of the silver chain on my table at t¹. This is implausible. For a discussion of temporal part and arguments against the existence of temporal parts see J.J. Thomson's ‘Parthood and Identity Across Time,’ The Journal of Philosophy 80, 4 (April, 1983) 201-20.

4 This conclusion may also be reached from the inconsistency of the set of (5.2), (9.2), and (10.2). Barring appeal to temporal parts, if the axioms of the calculus are true under their itended interpretation, then at t¹ (5.2) expresses a true proposition; and if at t¹ (9.2) also expresses a true proposition, then at t¹ (10.2) must express a false proposition. But at t² (10.2) expresses a true proposition; and since the same object satisfies the open sentence ‘w is a silver chain on my table at t²’ at both t¹ and t², the object which satisfies the open sentence ‘w is a fusion of a’ at t¹ is not identical with the object which satisfies ‘w is a fusion of a’ at t². Hence, the object which fuses a at t¹ is not identical with the object which fuses a at t².

5 Saul Kripke, ‘Semantical Considerations on Modal Logic,’ Acta Philosophica Fennica 16 (1963), 83-94. A model structure is defined as a triple < G,K,R > together with a function, 𝛹, where K is a set (the set of instants or moments), R is a reflexive relation on K, G (the present moment) is a member of K, and 𝛹(H) is a set for each HЄK. Intuitively, 𝛹(H) is the set of things which exist at H. Let U = U_HЄK 𝛹(H), and let Uⁿ be the nth cartesian product of U with itself. A model on a model structure < G,K,R > is a binary function ɸ(Pⁿ,H), where ‘Pⁿ’ ranges over n-adic predicate letters, ‘H’ ranges over members of K, and ɸ(Pⁿ,H) ⊆ Uⁿ, where n>l, otherwise ɸ(Pⁿ,H) = T or F. The clauses of the inductive definition are as follows:

• (i) For an atomic formula

  ɸ(Pⁿ(x¹ … ,xⁿ), H) = T with respect to an assignment a¹ … ,aⁿ of elements of U to x¹, … ,xⁿ, if and only if <a¹, … ,aⁿ>Єɸ(Pⁿ,H).

• (ii) ɸ(-A(x¹ … ,xⁿ),H) = T with respect to an assignment a¹,...,aⁿ of elements of U to x¹, … ,xⁿ, if and only if ɸ(A(x¹, … ,xⁿ),H)≠T with respect to that assignment.

• (iii) ɸ((A(x¹, … ,xⁿ) & B(y¹, … ,yⁿ)), H)=T with respect to an assignment of a¹ … ,aⁿ of elements of U to x¹, … Xⁿ, and b¹,...,bⁿ of elements of U to y¹, … ,yⁿ, if and only if both ɸ(A(x¹, … ,xⁿ), H)= T and ɸ(B(Y¹,...,yⁿ(,H)=T with respect to that assignment.

• (iv) ɸ(LA(x¹, … ,xⁿ),H)=T with respect to a given assignment if and only if ɸ(A(x¹, … ,xⁿ),H’)=T with respect to that assignment, for every H’ such that HRH'.

• (v) ɸ(∀xA(x,y¹, … ,yⁿ),H)=T with respect to an assignment a¹ … ,aⁿ of elements of U to y¹, … ,yⁿ if and only if for every aЄ𝛹(H), ɸ(A(x,y¹, … ,yⁿ),H)=T with respect to an assignment of a,a¹ … ,aⁿ to x, y¹, … ,yⁿ.

For the intended interpretation of ‘L,’ we take R to be a transitive and a symmetric relation; thus intuitively, all moments of time accessible from a time are mutually accessible.

6 Suppose that x and y are distinct objects, s is the set of x and y, and t¹, t², and t³ are points of time. Suppose further that x exists at t¹ and t² but not at t³, and y exists at t² and t³ but not at t¹. Assuming that s exists at t¹, t², and t³, given the axioms of the revised calculus, at t¹ there exists an object x¹ such that x¹ fuses s at t¹ and x¹ is identical with x, and, at t³ there exists an object y¹ such that y¹ fuses sat t² and y¹ is identical withy, and, at t² there exists an object z such that z fuses s at t² and z is distinct from both x and y.

However, if K, the set of times specified in the semantics of ‘L,’ is such that the fusion of every non-empty subset of K is a member of K, then it is provable in the revised calculus that if an object x fuses a set s at a time t and y fuses sat another time t', and the same members of sexist at t and t', then x is identical with y. Suppose that t¹ and t² are distinct points of time, and t fuses the set of t¹ and t². Suppose also that an object x fuses a set s at t¹ and y fuses s at t². Assuming that s exists at t, given the fusion axiom, at t there exists an object z which fuses s at t. But since t¹ and t² are parts of t, if the same members of s exist both at t¹ and t², z fuses s at t¹ and also at t². But then, given the identity axiom, at t¹ z is identical with x and at t² z is identical with y. Hence x is identical with y. Reasoning like this can be used to show that if the semantics of ‘L’ specifies that the fusion of any non-empty subset of K is a member of K, then given that Alpha fuses b at t¹ and the silver chain on my table at t² fuses b at t² and all the members of b exist both at t¹ and t², if the axioms of the revised calculus are true under their intended interpretation, then Alpha is identical with the silver chain on my table at t².

7 For a similar argument, see Richard Cartwright's ‘Scattered Objects’ in Keith Lehrer, ed., Analysis and Metaphysics (Dordrecht, Holland; Boston, MA: Reidel 1975) 153-71.

8 Thomson (‘Parthood and Identity Across Time,’ 220) proposes the following analogue of (32):

∀x ∀y (⁓ ∀t ((x exists at t v y exists at t) → (x is part of y at t & y is part of x at t)) → x=y).