The Necessity of Identity

The aim of this chapter is to explore to some extent the relationship between identity and necessity in logic and metaphysics. First, I provide a historically-based summary of proofs of the necessity of identity, highlighting the importance of the role that self-identity plays. Second, I introduce two examples of metaphysical topics where the necessity of identity has played a pivotal role: the necessary a posteriori, and the coincidence of material objects. I argue that important aspects of these debates rest on (...) how we represent identity. Third, I consider some recent work on generalized identity. This opens up new prospects for explaining why identity is necessary. (shrink)

This paper draws attention to a proof of the necessity of identity given by Arthur Prior. In its simplicity, it is comparable to a proof of Quine's, popularised by Kripke, but it is slightly different. Prior's Polish notation is transcribed into a more familiar idiom. Prior's proof is followed by a proof of the necessity of difference, possibly the first such proof in the literature, which is also repeated here and transcribed. The paper concludes with a brief discussion of Prior's (...) views on identity and difference over time. (shrink)

In a recent article forthcoming in *Mind*, Leech (2020) presents a challenge for essentialist accounts of metaphysical modality: why should it be that essences imply corresponding necessities? Leech’s main focus is to argue that one cannot overcome the challenge by utilizing an account of essence in terms of generalized identity due to Correia and Skiles (2019), on pain of circularity. In this reply, we will show how to use identity-based essentialism to bridge ‘epistemic’ and ‘explanatory’ understandings of this alleged essence-to-necessity (...) gap without circularity, Leech’s arguments notwithstanding. We do so by first presenting a novel proof that generalized identities imply corresponding necessities. We then propose several substantive identity-based explanations of how it is, exactly, that essences imply necessities. -/- . (shrink)

ABSTRACT The purpose of this paper is to bring out, by means of a simple thought experiment involving demonstratives, a discrepancy between what is expressed and what is believed, and to consider some consequences of this - most notably, whether we might hold, for example, that the ancients never believed that Hesperus is not Phosphorus. RESUMO O objetivo deste artigo é apresentar, por meio de um experimento mental simples envolvendo demonstrativos, uma discrepância entre o que é expresso e o que (...) se acredita, e considerar algumas consequências disso - principalmente se podemos sustentar, por exemplo, que os antigos nunca acreditaram que Hesperus não é Phosphorus. (shrink)

ABSTRACT An apparent objection against my theory of instantiation as partial identity is that identity is necessary, yet instantiation is often contingent. To rebut the objection, I show how it can make sense that identity is contingent. I begin by showing how it can make sense that identity is temporary. I rely heavily on Andre Gallois’s formal theory of occasional identity, but argue that there is a gap in his explanation of how his formalisms make sense that needs to be (...) filled by appeal to my theory of Aspects. (shrink)

I show that intuitive and logical considerations do not justify introducing Leibniz’s Law of the Indiscernibility of Identicals in more than a limited form, as applying to atomic formulas. Once this is accepted, it follows that Leibniz’s Law generalises to all formulas of the first-order Predicate Calculus but not to modal formulas. Among other things, identity turns out to be logically contingent.

Composition as identity, as I understand it, is a theory of the composite structure of reality. The theory’s underlying logic is irreducibly plural; its fundamental primitive is a generalized identity relation that takes either plural or singular arguments. Strong versions of the theory that incorporate a generalized version of the indiscernibility of identicals are incompatible with the framework of plural logic, and should be rejected. Weak versions of the theory that are based on the idea that composition is merely analogous (...) to identity are too weak to be interesting, lacking in metaphysical consequence. I defend a moderate version according to which composition is a kind of identity, and argue that the difference is metaphysically substantial, not merely terminological. I then consider whether the notion of generalized identity, though fundamental, can be elucidated in modal terms by reverse engineering Hume’s Dictum. Unfortunately, for realists about possible worlds, such as myself,... (shrink)

This paper outlines a novel solution to the Ship of Theseus puzzle. The solution relies on situations, a philosophical tool used in natural language semantics among other places. The core idea is that what is true is always relative to the situation under consideration. I begin by outlining the problem before briefly introducing situations. I then present the solution: in smaller situations the candidate is identical to Theseus’s ship. But in larger situations containing both candidates these identities are neither true (...) nor false. Finally, I discuss some worries for the view that arise from the nature of identity, and suggest responses. It is concluded that the solution, and the theory that underpins it, are worth further investigation. (shrink)

Following insights from the New Theory of Reference, it has become widely accepted that theoretical identities like ‘water = H2O' are necessary. However, some have challenged this claim. I propose yet another challenge in the form of a sceptical argument. The argument is based on the contention that the necessity of theoretical identities is dependent upon criteria of identity. Thus, a theoretical identity is necessary given one criterion of identity but contingent given another. Since we do not know which criteria (...) of identity in fact obtain, it follows that, for all we know, theoretical identities may not be necessary. (shrink)

The purpose of this article is to introduce, interpret, and develop two incompatible process -ontological theories of personal identity that have received little attention in analytic metaphysics. The first theory derives from the notion of personal identity proposed in Alfred North Whitehead’s philosophy, but I interpret this notion differently from previous commentators. The Whiteheadian theory may appeal to those who believe that personal identity involves an entity or entities that are essentially dynamic, but has nothing to do with diachronic objectual (...) identity : the binary equivalence relation that every entity bears to itself, and only to itself, even after undergoing intrinsic change. The Whiteheadian theory may also find favor with those who, like Whitehead, reject the possibility of pure processes and hold that in every becoming, something—which need not be an object, thing, or individual substance—becomes. The second theory derives from the notion of recurrent dynamics presented in Johanna Seibt’s General Process Theory. The Seibtian theory may appeal to those who believe that personal identity involves not only an entity or entities that are essentially dynamic, but also the relation of diachronic objectual identity. The Seibtian theory may also find favor with those who, like Broad and Sellars, find reason to postulate pure processes. (shrink)

This paper establishes that the occasional identity relation and the contingent identity relation are both non-transitive and as such are not properly classified as identity relations. This is achieved by appealing to cases where multiple fissions and fusions occur simultaneously. These cases show that the contingent and occasional identity relations do not even satisfy the time-indexed and world-indexed versions of the transitivity requirement and hence are non-transitive relations.

What George Spencer-Brown wants to rationalize out of existence is alternation itself – the prerequisite of his whole operation. By that he simplifies (identifies) more than he says. And he does not say all that is important.

There are well-known quasi-formal arguments that identity is a "strict" relation in at least the following three senses: (1) There is a single identity relation and a single distinctness relation; (2) There are no contingent cases of identity or distinctness; and (3) There are no vague or indeterminate cases of identity or distinctness. However, the situation is less clear cut than it at first may appear. There is a natural formal theory of identity that is very close to the standard (...) classical theory but which does not validate the formal analogues of (1)-(3). The core idea is simple: We weaken the Principle of the Indiscernibility of Identicals from a conditional to an entailment and we adopt a weakly classical logic. This paper investigates this weakly classical theory of identity (and related theories) and discusses its philosophical ramifications. It argues that we can accept a reasonable theory of identity without committing ourselves to the uniqueness, necessity, or determinacy of identity. (shrink)

In many African states, numerous different pre-colonial systems of power – such as kingships, sultanates or chieftaincies – which have a traditional legitimacy often confirmed in colonial and post-colonial times, have survived till our day. Their role in the contemporary republican state has been studied by many African intellectuals, and the views of Kwame Anthony Appiah, a thinker originating from Ghana, are of particular interest. He believes that in order to understand the significance of traditional authority and the phenomenon of (...) its continued existence in contemporary Africa, it is important to consider the source of its legitimacy. Appiah presents various sources – symbolic, religious and state – from which local African rulers derive the right to exert power and to exact obedience from their subjects. He minimizes the significance of most of these, however, and concludes that the basic source of legitimacy for traditional authority in the contemporary African state is the fact that this power, being a very important point of reference for the group over which it is wielded, reinforces its members’ sense of self-respect, and helps form their identity. He uses this idea to attempt to reconcile the continued existence of African power systems with liberal theory. Appiah, who is very unfavorably disposed towards most political and social hierarchies, views the political rights of individuals as the rights of citizens, not as the rights of persons who are the depositaries of some attributed or hereditary status. He enumerates the costs, in terms of liberal principles, of allowing traditional monarchy to persist. In his view, it is contrary to the liberal principle of public offices being open to persons of merit for the king of the Ashanti to be chosen from among persons of royal lineage. Such a perspective should generate a generally negative attitude towards the monarchy of the Ashanti, a people from whom Appiah originates, and yet he views Ashanti’s traditional monarchy as a source of pride. Published in "Africana Bulletin" 2010, No. 58, pp. 47-74. (shrink)

This paper challenges the Kripkean interpretation of a posteriori necessities. It will be demonstrated, by an analysis of classic examples, that the modal content of supposed a posteriori necessities is more complicated than the Kripkean line suggests. We will see that further research is needed concerning the a priori principles underlying all a posteriori necessities. In the course of this analysis it will emerge that the modal content of a posteriori necessities can be best described in terms of a Finean (...) conception of modality – by giving essences priority over modality. The upshot of this is that we might be able to establish the necessity of certain supposed a posteriori necessities by a priori means. (shrink)

In logic, the law (or principle) of identity states simply: 'A is A'. This article gives a concise account of identity.

Orthodox neural materialists think mental states are neural events or orthodox material properties of neutral events. Orthodox material properties are defining properties of the “physical”. A “defining property” of the physical is a type of property that provides a necessary condition for something’s being correctly termed “physical”. In this paper I give an argument against orthodox neural materialism. If successful, the argument would show at least some properties of some mental states are not orthodox material properties of neural events. Opposing (...) philosophical orthodoxy, I show there are no posteriori identities -- identities that cannot be known of a priori. (shrink)