Token physicalism is often viewed as a modest and unproblematic physicalist commitment, as contrasted with type physicalism. This paper argues that the prevalence of functional individuation in biology creates serious problems for token physicalism, because the latter requires that biological entities can be individuated physically and without reference to biological functioning. After characterizing the main philosophical roles for token physicalism, I describe the distinctive uses of functional individuation in models of biological processes. I then introduce some requirements on token identity (...) claims that arise from a position on individuation and identity known as sortalism. An examination of biological examples shows that these sortalist requirements cannot be plausibly met due to differences between individuation by functional biological criteria and by physical criteria. Even without assuming sortalism, token physicalism faces the more basic problem of excluding functionally irrelevant detail from the individuation of biological tokens. I close by suggesting that the philosophical roles for token identity are better fulfilled by a notion of token composition, which promotes a hierarchical picture of individuality. (shrink)

The question of how properties are individuated is extremely important. Consider the following proposals. To be in pain is to be in a certain neurological state. To be red is to appear red to normal observers in standard conditions. To be obligatory is to maximize the good. Each makes a claim of property identity. Each is a substantive metaphysical thesis of wide interest. None can be studied with due scrutiny in the absence of a general account of property identity. Here, (...) I will survey existing accounts and suggest a new account in terms of grounding that has some advantages over the other candidates. (shrink)

In this article, we reflect on the use of formal methods in the philosophy of science. These are taken to comprise not just methods from logic broadly conceived, but also from other formal disciplines such as probability theory, game theory, and graph theory. We explain how formal modelling in the philosophy of science can shed light on difficult problems in this domain.

According to the sortal conception of the universe of individuals every individual falls under a highest sortal, or category. It is argued here that on this conception the identity relation is defined between individuals a and b if and only if a and b fall under a common category. Identity must therefore be regarded as a relation of the form \, with three arguments x, y, and Z, where Z ranges over categories, and where the range of x and y (...) depends on the value of Z. An identity relation of this kind can be made good sense of in Martin-Löf’s type theory. But identity so construed requires a reformulation of Hume’s Principle that makes this principle unfit for explaining the sortal concept of cardinal number. The Neo-Logicist can therefore not appeal to the sortal conception in tackling the Julius Caesar problem, as proposed by Hale and Wright. (shrink)

Dispositional monism is the view that natural properties and relations are ‘pure powers’. It is objected that dispositional monism involves some kind of vicious or otherwise unpalatable regress or circularity. I examine ways of making this objection precise. The most pressing interpretation is that is fails to make the identities of powers determinate. I demonstrate that this objection is in error. It does however puts certain constraints on what the structure of fundamental properties is like. I show what a satisfactory (...) structure would be. (shrink)

Boffa non-well-founded set theory allows for several distinct sets equal to their respective singletons, the so-called ‘Quine atoms’. Rieger contends that this theory cannot be a faithful description of set-theoretic reality. He argues that, even after granting that there are non-well-founded sets, ‘the extensional nature of sets’ precludes numerically distinct Quine atoms. In this paper we uncover important similarities between Rieger’s argument and how non-rigid structures are conceived within mathematical structuralism. This opens the way for an objection against Rieger, whilst (...) affording the theoretical resources for a defence of Boffa set theory as a faithful description of set-theoretic reality. (shrink)

A main function of common natures in Avicenna’s metaphysics is supposed to be providing an objective ground for the categories. Thus, it is commonly assumed that in his metaphysics things are objectively divided into the categories into which they are because members of each category share the same common nature. However, common natures cannot perform the function unless they are shared, in a real sense of the word, by the members of the respective categories, and it is not clear at (...) all in what real sense Avicenna took common natures to be shared by them. On the one hand, he rejected Platonic and Aristotelian realisms about common natures, the two standard accounts of how common natures are shared by their instances. On the other hand, it is unclear that his alternative account(s) of common natures renders them genuinely common. The primary goal of this paper is to examine whether Avicenna’s common natures can provide an objective ground for the categories. It considers various interpretations of Avicenna's account and argues that they are either incorrect interpretations of Avicenna or do not render common natures genuinely common. It concludes with proposing to look elsewhere in Avicenna’s system to find the objective ground. (shrink)

A popular stance amongst philosophers is one according to which, in Lewis’ words, “identity is utterly simple and unproblematic”. Building from Lewis’ famous passage on the matter, we reconstruct, and then criticize, an argument to the conclusion that identities cannot be grounded. With the help of relatively uncontroversial assumption concerning identity facts, we show that not all identities are equi-fundamental, and, on the contrary, some appear to be provided potential grounding bases using two-level identity criteria. Further potential grounding bases for (...) identities are presented. Identity might be utterly simple and unproblematic, but this is not sufficient to conclude that identities are ungrounded, or fundamental. (shrink)

Can an identity be the proper subject of an explanation? A popular stance, albeit not one often argued for, gives a negative answer to this question. Building from a contentious passage from Jaegwon Kim in this direction, we reconstruct an argument to the conclusion that identities, to the extent in which they are necessary, cannot be explained. The notion of contrastive explanation, characterized as difference-seeking, will be crucial for this argument; however, we will eventually find the argument to be unsatisfactory. (...) On the contrary, the discussion provides enough resource to sketch a very simple framework for a non-causal contrastive explanation of identities. Many instances will be provided, with different varieties of explanans, ultimately suggesting that certain entailment or biconditional principles involving identities (first and foremost, so-called two-level identity criteria) may indeed be taken to have an inherent explanatory value. (shrink)

Many metaphysicians maintain that there is a close connection between essence and modality; if an object a necessarily bears property F , then it is metaphysically necessary that Fa (or, perhaps, it is metaphysically necessary that Fa if a exists). Recently, Leech (Forthcoming) has argued that this connection lacks an adequate explanation. In particular, she argues that identity doesn't explain the link between essence and modality. In contrast, I argue that identity provides the resources to undermine Leech’s explanatory demand.

I propose formulating identity criteria as generic statements of ground, thereby avoiding objections that have been made to the more usual formulations.

We show that finitely axiomatized first-order theories that involve some criterion of identity for entities of a category C can be reformulated as conjunctions of a non-triviality statement and a criterion of identity for entities of category C again. From this, we draw two conclusions: First, criteria of identity can be very strong deductively. Second, although the criteria of identity that are constructed in the proof of the theorem are not good ones intuitively, it is difficult to say what exactly (...) is wrong with them once the modern metaphysical view of identity criteria is presupposed. (shrink)

1.Following Kripke, many philosophers have accepted the existence of propositions concerning essences, and, more generally, propositions asserting necessities, that are knowable only a posteriori. Such an acceptance is consistent with the claim that ultimately all knowledge of necessity is a priori. A posteriori knowledge of necessity may be held to be a consequence of the combination of a priori knowledge of a proposition asserting essence or necessity with a posteriori knowledge of a non-modal proposition. E. J. Lowe (2007: 287–88) denies (...) even this kind of derived a posteriori knowledge of essence or necessity. He reconstructs the form of an argument that is intended to lead to a proposition concerning essence but which is known a posteriori: This schema may be exemplified thus: As this example illustrates, instances of (1) are a priori propositions concerning essence, while instances of (2) are a posteriori propositions; instances of the conclusion are propositions asserting particular essences, and are, it is claimed, knowable only a posteriori.1. (shrink)

Kripke’s notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a ‘grounded’ manner. The results are mixed. Our method solves a problem concerning circularity and yields a ‘grounded’ model for the predicative theory based on Frege’s Basic Law V. However, the method is (...) poorly behaved unless the background second-order logic is predicative. (shrink)

Three basic positions regarding the nature of fundamental properties are: dispositional monism, categorical monism and the mixed view. Dispositional monism apparently involves a regress or circularity, while an unpalatable consequence of categorical monism and the mixed view is that they are committed to quidditism. I discuss Alexander Bird's defence of dispositional monism based on the structuralist approach to identity. I argue that his solution does not help standard dispositional essentialism, as it admits the possibility that two distinct dispositional properties can (...) possess the same stimuli and manifestations. Moreover, Bird's argument can be used to support the mixed view by relieving it of its commitment to quidditism. I briefly analyse an alternative defence of dispositional essentialism based on Leon Horsten's approach to the problem of circularity and impredicativity. I conclude that the best option is to choose Bird's solution but amend the dispositional perspective on properties. According to my proposal, the essences of dispositions are determined not directly by their stimuli and manifestations but by the role each property plays in the structure formed by the stimulus/manifestation relations. (shrink)

Nel nostro universo, qualunque cosa, dalla più piccola particella alla più smisurata galassia, esiste in un qualche tempo e in un qualche luogo. Ma cosa significa esistere in un qualche tempo? Il fenomeno dell’esistenza temporale gioca un ruolo fondamentale nella comprensione dell’universo e di noi stessi quali creature temporali. Eppure è un fenomeno profondamente misterioso. L’esistenza temporale è da intendersi come una relazione? Che legami ha con l’esistenza dell’ontologia? L’esistenza temporale e la localizzazione spaziale sono due fenomeni essenzialmente differenti o (...) due istanze di un’unica relazione? Tutto ciò che esiste nel tempo esiste nel tempo nello stesso modo? Tutto ciò che è nel tempo è anche nello spazio? (shrink)

A crucial question for a process view of life is how to identify a process and how to follow it through time. The genidentity view can contribute decisively to this project. It says that the identity through time of an entity X is given by a well-identified series of continuous states of affairs. Genidentity helps address the problem of diachronic identity in the living world. This chapter describes the centrality of the concept of genidentity for David Hull and proposes an (...) extension of Hull’s view to the ubiquitous phenomenon of symbiosis. Finally, using immunology as a key example, it shows that the genidentity view suggests that the main interest of a process approach is epistemological rather than ontological and that its principal claim is one of priority, namely that processes precede and define things, and not vice versa. (shrink)

I begin by criticizing an elaboration of an argument in this journal due to Hawley , who argued that, where Leibniz’s Principle of the Identity of Indiscernibles faces counterexamples, invoking relations to save PII fails. I argue that insufficient attention has been paid to a particular distinction. I proceed by demonstrating that in most putative counterexamples to PII , the so-called Discerning Defence trumps the Summing Defence of PII. The general kind of objects that do the discerning in all cases (...) form a category that has received little if any attention in metaphysics. This category of objects lies between indiscernibles and individuals and is called relationals: objects that can be discerned by means of relations only and not by properties. Remarkably, relationals turn out to populate the universe. (shrink)

According to Locke’s Principle, material objects are identical if and only if they are of the same kind and once occupy the same place at the same time. There is disagreement about whether this principle is true, but what is seldom disputed is that, even if true, the principle fails to constitute an applicable criterion of identity. In this paper, I take issue with two arguments that have been offered in support of this claim by arguing (i) that we can (...) have knowledge of past whereabouts, and so verify the right hand side of Locke’s Principle, without having to assess concrete identity claims first; (ii) that even under conditions of incomplete knowledge of past whereabouts we can use Locke’s Principle to decide concrete identity problems. (shrink)

Strong dispositional monism, the position that all fundamental physical properties consist in dispositional relations to other properties, is naturally construed as property structuralism. J. Lowe’s circularity/regress objection constitutes a serious challenge to SDM that questions the possibility of a purely relational determination of all property essences. The supervenience thesis of A. Bird’s graph-theoretic asymmetry reply to CRO can be rigorously proved. Yet the reply fails metaphysically, because it reveals neither a metaphysical determination of identities on a purely relational basis nor (...) a determination specifically of identities in the sense of essences. Asymmetry is thus not by itself sufficient for a solution to CRO. But it cannot even help to answer CRO when a model for the determination of essences is taken as a basis. Nor is asymmetry necessary for a reply, as property structures may well be symmetric. A metaphysics of dispositional properties as grounded in a purely relational structure faces serious obstacles, and the properties would not be fundamental. Since essence and grounding are notions of metaphysical priority, there can be no essentially dispositional metaphysically fundamental properties, and the prospects of a “coherentist” metaphysics of basic properties are dim. A modal retreat that refrains from a post-modal conception of essence and simply claims that fundamental properties play dispositional roles by metaphysical necessity is unsatisfactory. (shrink)