Kripke's argument for the rigid designation of natural kind terms is fallacious because he does not distinguish natural kinds from second-order functional properties; by clarifying the concepts of natural kind and functional property, we can show that natural kind terms do designate their referents rigidly, but that functional property terms are not rigid designators. My discussions of functional property will also help dispel the worry about the alleged cases of contingent identity with regard to theoretical statements in science. (...) There is no contingent identity even in the form of second-order logic: Property identity is also a necessary identity. The principle of necessary identity rules relentlessly. (shrink)

According to one popular criterion of property identity, where X and Y are properties, X is identical with Y if and only if X and Y bestow the same conditional powers on their bearers. In this paper, I argue that this causal criterion of property identity is unsatisfactory, because it fails to provide a sufficient condition for the identification of properties. My argument for this claim is based on the observation that the summing of properties (...) does not entail the summing of the conditional powers that they bestow on an object, but, rather, in some cases their subtraction. If so, the following causal structure seems possible: There are two properties, A and B. Each bestows a different set of conditional powers on its bearer, but the conjunctive property A-and-B bestows exactly the same set of conditional powers as either A or B. If this causal structure is possible, then it creates a serious problem for the causal criterion of property identity. (shrink)

The Identity Theory of properties (IDT) is an increasingly popular metaphysical view that aims to be a middle way between pure powerism and pure categoricalism. This paper’s goal is to highlight three major difficulties that IDT should address in order to be a plausible account of the nature of properties. First, although IDT needs a clear definition of the notion of qualitativity which is both adequate and compatible with the tenets of the theory, all the extant proposals (...) fail to provide such a definition. Second, the suggested definitions of qualitativity are characterised by a metaphysical ‘neutrality’ that threatens to trivialise the important metaphysical debate regarding the question whether properties confer by themselves dispositions on their bearers (and so they are inherently modal and active) or need the ‘assistance’ of laws of nature to do that. Finally, none of the extant alternative understandings of the core identity-claim of IDT can adequately meet the objection that the claim in question is unintelligible. (shrink)

The Identity Theory of properties is an increasingly popular metaphysical view that aims to be a middle way between pure powerism and pure categoricalism. This paper’s goal is to highlight three major difficulties that IDT should address in order to be a plausible account of the nature of properties. First, although IDT needs a clear definition of the notion of qualitativity which is both adequate and compatible with the tenets of the theory, all the extant proposals fail (...) to provide such a definition. Second, the suggested definitions of qualitativity are characterised by a metaphysical ‘neutrality’ that threatens to trivialise the important metaphysical debate regarding the question whether properties confer by themselves dispositions on their bearers or need the ‘assistance’ of laws of nature to do that. Finally, none of the extant alternative understandings of the core identity-claim of IDT can adequately meet the objection that the claim in question is unintelligible. (shrink)

Two problems related to the biological identity of living beings are faced: the who-problem (which are the biological properties making that living being unique and different from the others?); the persistence-problem (what does it take for a living being to persist from a time to another?). They are discussed inside a molecular biology framework, which shows how epigenetics can be a good ground to provide plausible answers. That is, we propose an empirical solution to the who-problem and to (...) the persistence-problem on the basis of the new perspectives opened by a molecular understanding of epigenetic processes. In particular, concerning the former, we argue that any living being is the result of the epigenetic processes that have regulated the expression of its genome; concerning the latter, we defend the idea that the criterion for the persistence of its identity is to be indicated in the continuity of those epigenetic processes. We also counteract possible objections, in particular (1) whether our approach has something to say at a metaphysical level; (2) how it could account for the passage from the two phenotypes of the parental gametes to the single phenotype of the zygote; (3) how it could account for the identity of derivatives of one living being that continue to live disjoined from that original living being; (4) how it could account for higher mental functions. (shrink)

Suppose that X and Y can’t possibly exist apart in reality; then—by definition—there’s no real distinction between them, only a conceptual distinction. There’s a conceptual distinction between a rectilinear figure’s triangularity and its trilaterality, for example, but no real distinction. In fundamental metaphysics there is no real distinction between an object’s categorical properties and its dispositional properties. So too there is no real distinction between an object and its properties. And in fundamental metaphysics, for X and Y (...) to be such that there is no real distinction between them is for them to be identical. (shrink)

According to the partial identity account of resemblance, exact resemblance is complete identity and inexact resemblance is partial identity. In this paper, I examine Arda Denkel's (1998) argument that this account of resemblance is logically incoherent as it results in a vicious regress. I claim that although Denkel's argument does not succeed, a modified version of it leads to the conclusion that the partial identity account is plausible only if the constituents of every determinate property are (...) ultimately quantitative in nature. (shrink)

In non-philosophical discourse, “identity” is often used when the specific character of artefacts is described or evaluated. We argue that this usage of “identity” can be explicated as referring to the symbol properties of artefacts as they are conceptualized in the symbol theory of Goodman and Elgin. This explication is backed by an analysis of various uses of “identity”. The explicandum clearly differs from the concepts of numerical identity, qualitative identity and essence, but it (...) has a range of similarities with the notion of self-concept used in psychology and practical philosophy. The proposed explication is used to analyse claims about identity-pluralism and identity-conflicts. Firstly, the explication allows us to distinguish various ways how the same artefact can have a plurality of identities. Secondly, more or less sharp conflicts within an identity or between identities of an artefact are distinguished. Thirdly, many phenomena called “identity-conflicts” are only apparently identity-conflicts and can be analysed as involving some other form of tension. (shrink)

Causal structuralism is the view that, for each natural, non-mathematical, non-Cambridge property, there is a causal profile that exhausts its individual essence. On this view, having a property’s causal profile is both necessary and sufficient for being that property. It is generally contrasted with the Humean or quidditistic view of properties, which states that having a property’s causal profile is neither necessary nor sufficient for being that property, and with the double-aspect view, which states that causal profile is necessary (...) but not sufficient. Shoemaker’s (1998) and Hawthorne’s (2001) arguments in favor of causal structuralism primarily focus on problematic consequences of the other two views. I argue, however, that causation does not provide an appropriate framework within which to characterize all physical properties for two main reasons. First, there are physical properties that do not have causal profiles and properties whose causal profiles do not exhaust their essences. Second, there is no unified notion of causation across the sciences. After distinguishing between the causal and the nomological, I suggest that what is needed is a structuralist view of properties that is not merely causal but that incorporates a physical property’s higher-order mathematical and nomological properties into its identity conditions. Such a view retains the naturalistic motivations for causal structuralism while avoiding the problems it faces. (shrink)

The strongest version of the principle of the Identity of Indiscernibles states that of necessity, there are no distinct things with all their universals in common (where such putative haecceities as being Aristotle do not count as universals: I use 'universal' rather than 'property' here and in what follows for the simple reason that 'universal' is the term of art that most safely excludes haecceities from its instances). It is commonly supposed that Max Black's famous paper 'The identity (...) of indiscernibles' (2) refutes this thesis. (Armstong's [1], chapter 9 is representative here.) Black argues ([2], p. 156) that it is perfectly possible that there be a world consisting solely of two indiscernible spheres at some distance to each other and that this world constitutes a counterexample to the principle above. The strongest version of the bundle theory of substance claims that of necessity, the substances that make up the world are bundles of universals.1 It is commonly supposed that a consequence of Black's defeat of the principle of the Identity of Indiscernibles is that this bundle theory of substance is mistaken. (Again, Armstong's [1] is representative.) I shall argue that Black's thought experiment does not defeat the bundle theory and that, as a result, the bundle theory can be used to salvage the principle of the Identity of Indiscernibles. (shrink)

The aim of this paper is to motivate a view on dispositions according to which dispositions and their manifestations are partially identical, the DM identity theory. It sets out by extrapolating the desiderata of a dispositionalist account of properties. It then shows that the previous theories are burdened with different problems, whose common cause, so the argument goes, is the separation assumption, which almost all share. It states that dispositions and their manifestations are numerically distinct. The paper then (...) explores whether the separation assumption can be abandoned and shows that there are precursors of a DM identity theory. The DM identity theory is then outlined in its central features and it is outlined how they can fulfil the desiderata of dispositionalism. (shrink)

The Identity of Indiscernibles seems like a good enough way to define identity. Roughly it simply says that if x and y have all and only the same properties, these will be the same object. However the principle has come under attack using a series of thought experiments employing the idea of radical symmetry. I follow the history of the debate including its theological origins to assess the contemporary arguments against the Identity of Indiscernibles. I argue (...) that the principle is viable as a logical truth, and so can be put to work in our idea of objects. (shrink)

One view of the nature of properties has been crystallized in recent debate by an identity thesis proposed by Shoemaker. The general idea is that there is for behaviour. Well-known criticisms of this approach, however, remain unanswered, and the details of its connections to laws nothing more to being a particular causal property than conferring certain dispositions of nature and the precise ontology of causal properties stand in need of development. This paper examines and defends a dispositional (...) essentialist account of causal properties, combining a Shoemaker-type identity thesis with a Dretske, Tooley, and Armstrong-type view that laws are relations between properties, and a realism about dispositions. The property identity thesis is defended against standard epistemological and metaphysical objections. The metaphysics of causal properties is then clarified by a consideration of the laws relating them, vacuous laws, and ceteris paribus law statements. (shrink)

The chief goal of this dissertation is to attain some clarity with respect to the interconnected issues which constitute the problem of personal identity. The logical and linguistic categories developed by Saul Kripke provide the tools through which these issues can be separated and put into perspective. In the first two chapters I examine the modal and other semantic features of rigid singular terms and such rigid predicates as natural kind terms. I defend both the transworld identity of (...) named individuals and the real essence of genuine natural kinds. ;In the third chapter this linguistic framework is used to explicate the distinction between the numerical identity of individuals and the qualitative identity of properties. I suggest that individual identity consists in a principle of uniqueness typically supplied through indexical identification and a principle of individuation through which a given individual can be tracked through qualitative change. Property identity is explicated as a form of qualitative similarity. ;In the final two chapters I consider personal identity as a form of individual identity and personal identity as a form of property identity. I reject the former interpretation on the grounds that 'person' fails to supply a principle of individuation for actual persons. I adopt the latter interpretation and suggest that person designates a necessary dispositional property of actual persons. I consider alternative theories of personal identity from the standpoint of a property identity theory of personal identity and I argue that the property identity theory provides a compelling account of a series of widely discussed problem cases. (shrink)

This chapter contains section titled: Preliminaries The Work‐Relativity of Modality A Strategy for Accommodating the Work‐Relativity of Modality Appendix: A Defense of the “Modality Principle”.

Department of History and Philosophy of Science. University of Cambridge, Free School Lane, Cambridge CB2 3RH This paper is concerned with the question of whether atomic particles of the same species, i. e. with the same intrinsic state-independent properties of mass, spin, electric charge, etc, violate the Leibnizian Principle of the Identity of Indiscernibles, in the sense that, while there is more than one of them, their state-dependent properties may also all be the same. The answer depends (...) on what exactly the state-dependent properties of atomic particles are taken to be. On the plausible interpretation that these should comprise all monadic and relational properties that can be expressed in terms of physical magnitudes associated with self-adjoint operators that can be defined for the individual particles, then the weakest form of the Principle is shown to be violated for bosons, fermions and higher-order paraparticles, treated in first quantization *Some of the arguments inn this paper appeared in a thesis submited by one of us (S.F.) In partial fulfilment of the requirements for the PhD degree of the University of London, in 1984. entitled 'Identity and ‘Individuality in Classical and Quantum Physics’. (shrink)

It is widely agreed that properties play causal roles: they capture the causal powers of things. But do properties have their causal roles essentially? David Lewis did not think so. He adhered to the doctrine of quidditism, namely the doctrine that the identity of properties is primitive and that they can trade their causal roles. Quidditism is controversial. But Lewis did not see why he should want to reject it. He knew that he could avoid quidditism (...) on the cheap by treating individuals and properties alike in rejecting transworld multilocation of properties and endorsing a counterpart theory for properties. But he did not see why he should want to do so. In this article, I argue that Lewis should have wanted to endorse a counterpart theory for properties in order to reject quidditism. My argument concerns resemblance relations among properties. Another constitutive role of properties is that they capture objective resemblances between their instances. The premises of my argument are intuitive claims about resemblances among some properties that Lewis held on Humean grounds. (shrink)

Parking and power : law in the everyday -- Construction of a political text : the built environment as a public good -- Citizenship and community : authority of the local -- Semiotics of the terrain : the aesthetics of justice -- Embodiment of jurisdiction : the biopolitics of parking space -- Consumption and the built environment : parking and social need -- Law personified : images of parking enforcement -- Emblematic folk legality : the crafting of law through parking (...) appeals -- Legality beyond the scope of policy : a constitutive approach to parking. (shrink)

The aim of the paper is to shed light on the problem of identity of particulars over time within the framework of Quinean analysis. First, it focuses on the relationship between essential and accidental property changes as a criterion for distinguishing cases when objects retain their identity from cases when they loose it. In this part it is shown, that a coherent distinction between essential and accidental properties is problematic. Quinean approach indicates that we do not need (...) to look for any kind of criterion of identity of particulars over time. Hence, the conclusion is that the identity of particulars over time should not be viewed as a problem of how to understand the concept of identity, but rather as a problem of how to understand certain general concepts, i.e. how to individualize certain parts of the world by the use of certain general terms. (shrink)

This chapter discusses the obstacles faced by presentists after denying the existence of past and future individuals. Presentism must still account for the manifest facts about the past and the future, but problems may arise when the presentist attempts to provide an account of the past. There is nothing in the presentist’s ontology on which to base truths about the past. Also, there is a problem regarding singular truths about past individuals; if past individuals do not exist, then they do (...) not have properties or stand in relations. If they do not stand in relations, then there is no way to talk about them because reference is a relation. Even the thought of them cannot exist since singular propositions about them do not exist if they do not. This chapter shows the absurdity of these conclusions and endeavors to prove the existence of past individuals. (shrink)

SummaryOne form of the principle of the identity of indiscernibles asserts that for any two distinct entities it is necessarily the case that there is a description which distinguishes between them, in that it applies to one but not to the other. In this paper it is argued that this form of the principle is false. The argument is based upon the nature of language, in particular the need for ostensive definition of terms which are not verbally definable. It (...) is concluded that the identity of indiscernibles, in its linguistic form, requires a power of discrimination which no language could possess. Other versions of the principle, however, formulated in terms of properties rather than descriptions, are unaffected by the argument and may well be true. (shrink)

Arguments are given against the thesis that properties and propositional functions are identical. The first shows that the familiar extensional treatment of propositional functions -- that, for all x, if f(x) = g(x), then f = g -- must be abandoned. Second, given the usual assumptions of propositional-function semantics, various propositional functions (e.g., constant functions) are shown not to be properties. Third, novel examples are given to show that, if properties were identified with propositional functions, crucial fine-grained (...) intensional distinctions would be lost. (shrink)

According to the ‘One Object’ reading of Kant's transcendental idealism, the distinction between the appearance and the thing in itself is not a distinction between two objects, but between two ways of considering one and the same object. On the ‘Metaphysical’ version of the One Object reading, it is a distinction between two kinds of properties possessed by one and the same object. Consequently, the Metaphysical One Object view holds that a given appearance, an empirical object, is numerically identical (...) to the thing in itself that appears as that object. I raise various indiscernibility arguments against that view; because an appearance has different spatiotemporal and modal properties than a thing in itself, no appearance can be identical to a thing in itself. I point out that these arguments are similar to arguments against Monism, the view that material objects are numerically identical to the matter of which they are made. I outline some strategies Monists have developed to respond to these indiscernibility arguments and then develop parallel responses on behalf of the Metaphysical One Object view. However, I then raise another indiscernibility argument, to which, I argue, the Metaphysical One Object view cannot respond, even using the resources I have developed thus far. I develop a modified version of the Metaphysical One Object view that can respond to this new indiscernibility argument, but, I argue, this modified version of the One Object view is only a terminological variant of the Two Object view. When the Metaphysical One Object view is fully thought through it becomes the Two Object view. I conclude that Kantian appearances are not numerically identical to the things in themselves that appear to us. (shrink)

Dispositional essentialism, a plausible view about the natures of (sparse or natural) properties, yields a satisfying explanation of the nature of laws also. The resulting necessitarian conception of laws comes in a weaker version, which allows differences between possible worlds as regards which laws hold in those worlds and a stronger version that does not. The main aim of this paper is to articulate what is involved in accepting the stronger version, most especially the consequence that all possible (...) class='Hi'>properties exist in all worlds. I also suggest that there is no particularly strong reason for preferring the weaker to the stronger version. For example, Armstrong's instantiation condition on universals entails that according to strong necessitarianism every property is instantiated in all possible worlds. But first we do not need to accept Armstrong's instantiation condition, in part because his arguments for it are forceful only for a contingentist about laws and properties. Secondly, even if we do accept the condition, the consequence that all properties are instantiated is not itself contradictory, so long as any form of necessitarianism holds. Strong necessitarianism is prima facie counter-intuitive. But for that matter so is weak necessitarianism. Accepting either weak or strong necessitarianism requires denying the force of intuition in this area. And indeed we have every reason to deny the force of intuition and its primary source, imagination, concerning modal facts. (shrink)

The permutation symmetry of quantum mechanics is widely thought to imply a sort of metaphysical underdetermination about the identity of particles. Despite claims to the contrary, this implication does not hold in the more fundamental quantum field theory, where an ontology of particles is not generally available. Although permutations are often defined as acting on particles, a more general account of permutation symmetry can be formulated using superselection theory. As a result, permutation symmetry applies even in field theories with (...) no particle interpretation. The quantum mechanical account of permutations acting on particles is recovered as a special case. (shrink)

According to the ‘One Object’ reading of Kant's transcendental idealism, the distinction between the appearance and the thing in itself is not a distinction between two objects, but between two ways of considering one and the same object. On the ‘Metaphysical’ version of the One Object reading, it is a distinction between two kinds of properties possessed by one and the same object. Consequently, the Metaphysical One Object view holds that a given appearance, an empirical object, is numerically identical (...) to the thing in itself that appears as that object. I raise various indiscernibility arguments against that view; because an appearance has different spatiotemporal and modal properties than a thing in itself, no appearance can be identical to a thing in itself. I point out that these arguments are similar to arguments against Monism, the view that material objects are numerically identical to the matter of which they are made. I outline some strategies Monists have developed to respond to these indiscernibility arguments and then develop parallel responses on behalf of the Metaphysical One Object view. However, I then raise another indiscernibility argument, to which, I argue, the Metaphysical One Object view cannot respond, even using the resources I have developed thus far. I develop a modified version of the Metaphysical One Object view that can respond to this new indiscernibility argument, but, I argue, this modified version of the One Object view is only a terminological variant of the Two Object view. When the Metaphysical One Object view is fully thought through it becomes the Two Object view. I conclude that Kantian appearances are not numerically identical to the things in themselves that appear to us. (shrink)

There is a well-known argument from Leibniz's Law for the view that coincident material things may be distinct. For given that they differ in their properties, then how can they be the same? However, many philosophers have suggested that this apparent difference in properties is the product of a linguistic illusion; there is just one thing out there, but different sorts or guises under which it may be described. I attempt to show that this ‘opacity’ defence has intolerable (...) consequences for the functioning of our language and that the original argument should therefore be allowed to stand. (shrink)

Causal essentialists hold that a property essentially bears its causal and nomic relations. Further, as many causal essentialists have noted, the main motivations for causal essentialism also motivate holding that properties are individuated in terms of their causal and nomic relations. This amounts to a kind of identity of indiscernibles thesis; properties that are indiscernible with respect to their causal and nomic relations are identical. This can be compared with the more well-known identity of indiscernibles thesis, (...) according to which particulars that are qualitatively indiscernible are identical. Robert Adams has developed a well-known objection to this thesis by considering a series of possibilities involving nearly qualitatively indiscernible particulars that naturally leads to a possibility involving qualitatively indiscernible particulars. I argue that we can construct parallel cases involving a series of possibilities involving properties that are nearly indiscernible with respect to their causal and nomic relations that naturally lead to possibilities involving properties that are indiscernible with respect to their causal and nomic relations. The same features that make Adams’ argument forceful also carry over to my cases, giving us a powerful objection to the causal essentialist identity of indiscernibles thesis. (shrink)

We propose a new quantum ontology, in which properties are the fundamental building blocks. In this property ontology physical systems are defined as bundles of type-properties. Not all elements of such bundles are associated with definite case-properties, and this accommodates the Kochen and Specker theorem and contextuality. Moreover, we do not attribute an identity to the type-properties, which gives rise to a novel form of the bundle theory. There are no “particles” in the sense of (...) classical individuals in this ontology, although the behavior of such individuals is mimicked in some circumstances. This picture leads in a natural way to the symmetrization postulates for systems of many “identical particles”. (shrink)

I defend a view of the structure of visual property-awareness by considering the phenomenon of perceptual constancy. I argue that visual property-awareness is a three-place relation between a subject, a property, and a manner of presentation. Manners of presentation mediate our visual awareness of properties without being objects of visual awareness themselves. I provide criteria of identity for manners ofpresentation, and I argue that our ignorance of their intrinsic nature does not compromise the viability of a theory that (...) employs them. In closing, I argue that the proposed manners of presentation are consistent with key direct-realist claims about the structure of visual awareness. (shrink)