In this essay I shall argue that the crucial assumptions of Kripke's argument, i.e. the collapse of the appearance/reality distinction in the case of phenomenal states and the idea of a qualitatively identical epistemic situation, imply an objective principle of identity for mental-state types. This principle, I shall argue, rather than being at odds with physicalism, is actually compatible with both the type-identity theory of the mind and Kripke's semantics and metaphysics. Finally, I shall sketch a version of (...) the type-identity theory. (shrink)

The identity theory, advocated as a solution to the mind-body problem by materialists such as Feigl and Smart, has been criticized for implying the existence of irreducible properties. After summarizing the relevant theses of materialism, I consider several versions of the irreducible properties objection, and argue that they are all unsuccessful.

In this paper, I offer a conceptual framework for understanding and evaluating personal identity claims. I analyze ontological and political properties of personal identity separately, arguing that their conceptual (if not practical) separation is necessary for a proper evaluation of different identity claims. I use probability theory to bypass some of the logical difficulties in conceptualizing personal identity and discuss a case of transitional identification. Finally, I outline the guidelines for a justified liberal policy of (...) recognition. (shrink)

W.V.O. Quine has famously objected that (1) properties are philosophically suspect because (2) there is no entity without identity and (3) the synonymy criterion for property identity won't do because there's no such concept as synonymy. (2) and (3) may or may not be right but do not prove (1). I reply that Leiniz's Law handles property identity, as it does for everything else, then respond to a variety of objections and confusions.

Property-identical divine-command theory (PDCT) is the view that being obligatory is identical to being commanded by God in just the way that being water is identical to being H2O. If these identity statements are true, then they express necessary a posteriori truths. PDCT has been defended in Robert M. Adams (1987) and William Alston (1990). More recently Mark C. Murphy (2002) has argued that property-identical divine-command theory is inconsistent with two well-known and well-received theses: the free-command thesis and the (...) supervenience thesis. I show that Murphy's argument is vitiated by mistaken assumptions about the substitutivity of metaphysical identicals in contexts of supervenience. The free-command thesis and the supervenience thesis therefore pose no serious threat to PDCT. (Published Online August 11 2004). (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)

The interpretation of Lewis‘s doctrine of natural properties is difficult and controversial, especially when it comes to the bearers of natural properties. According to the prevailing reading – the minimalist view – perfectly natural properties pertain to the micro-physical realm and are instantiated by entities without proper parts or point-like. This paper argues that there are reasons internal to a broadly Lewisian kind of metaphysics to think that the minimalist view is fundamentally flawed and that a liberal (...) view, according to which natural properties are instantiated at several or even at all levels of reality, should be preferred. Our argument proceeds by reviewing those core principles of Lewis‘s metaphysics that are most likely to constrain the size of the bearers of natural properties: the principle of Humean supervenience, the principle of recombination in modal realism, the hypothesis of gunk, and the thesis of composition as identity. (shrink)

Dispositionality and qualitativity are key notions to describe the world that we inhabit. Dispositionality is a matter of what a thing is disposed to do in certain circumstances. Qualitativity is a matter of how a thing is like. According to the Identity Theory of powers, every fundamental property is at once dispositional and qualitative, or a powerful quality. Canonically, the Identity Theory holds a contentious identity claim between a property’s dispositionality and its qualitativity. In the literature, this (...) view faces a contradiction objection that undermines its merits. We should therefore consider an alternative version that does not embrace the identity claim. My aim is to show that we can enjoy the benefits of the Identity Theory without embracing the identity between the dispositional and the qualitative. I shall argue that a distinction between two senses of dispositionality and qualitativity serves the purpose. I will then discuss three readings of the identity claim that can be formulated in light of such a distinction. I will conclude that even if the identity were to fail in any of the suggested readings, it would be possible to hold an account of fundamental powerful qualities. (shrink)

The identity "relation" is misconceived since the syntax of "=" is misconceived as a relative term. Actually, "=" is syncategorematic; it forms (true) sentences with a nonpredicative syntax from pairs of (coreferring) flanking names, much as "&" forms (true) conjunctive sentences from pairs of (true) flanking sentences. In the conaming structure, nothing is predicated of the subject, other than, implicitly, its being so conamed. An identity sentence has both an objectual reading as a necessity about what is named, (...) and also a metalinguistic reading as a contingency about the names. Either way the claim about the subject referent has no extralinguistic content. The necessity of alteridentity (non-self-identity) statements is "lexical", due to contingencies of the names' reference, much like the necessity of analytic statements, due to contingencies of the predicates' sense, and unlike the necessity of logical truths (e.g., self-identities) whose truth is secured by syntax alone. Both alter-identity and analytic sentences are readable as objectual necessities and metalinguistic contingencies. Epistemically, alter-identity statements are not essentially unlike analyticities. "Greece is Hellas"/"g=h" and "Greeks are Hellenes"/"(x)(Gx<=>Hx)" are equally (un)informative; so too for "Azure is cobalt"/"a=c" and "Everything azure is cobalt"/"(x)(Ax<=>Cx)". The real epistemic contrast is between proper names (terms without predicative sense) and terms with a predicative sense (names and predicates of properties). Proper names refer to concrete objects, property names refer to abstract objects. That contrast is metaphysical and thus epistemic. (shrink)

Our gender identity is our sense of ourselves as a woman, a man, as genderqueer, or as another gender. Our gender is the property we have of being a woman, being a man, being non-binary, or being another gender. What is the relationship between our gender identity and our gender? Recently, much work has been done on ameliorative accounts of the gender concepts that we should accept and on the metaphysics of gender properties. From this work 4 (...) views of the relationship between having gender identity G (e.g. having a female gender identity) and being a gender G (e.g. being a woman) have emerged. A first, the no connection view, says that gender identity and gender are entirely distinct; Sally Haslanger’s ameliorative account of gender, as well as Theodore Bach’s account of gender properties, are instances of this view. A second, the gender-identity-first view, says that all there is to our gender is our gender identity; this view is at least similar to views that Talia Bettcher and R.A. Briggs and B.R. George have argued for. A third, contextualist view, says that in some contexts and relative to certain standards, our gender identity determines our gender, and that in others it does not; Ásta and Robin Dembroff have proposed and defended views along these lines. A fourth view, the two gender properties view, says that there are two properties that can make it the case that one is gender G (in any context), one’s having gender identity G and one’s being socially classed as a G; Katharine Jenkins and Elizabeth Barnes have proposed views along these lines. This article explains these 4 different views and spells out their prospects, and the problems they face, as both ameliorative and as metaphysical views. (shrink)

Unlike identity physicalism, ground physicalism does not achieve the physicalist dream. It faces the T-shirt problem for ground physicalism (Pautz 2014; Schaffer this volume; Rubenstein ms). In the case of insentient nature, it may be able to get by with small handful of very general ground laws to explain the emergence of nonfundamental objects and properties – for example, a few “principle of plenitude”. But I argue that for the case consciousness it will require a separate huge raft (...) of special, anomalous psychophysical ground laws. So it is just as complex and nonuniform as dualism. (shrink)

This paper puts forward the hypothesis that the distinctive features of quantum statistics are exclusively determined by the nature of the properties it describes. In particular, all statistically relevant properties of identical quantum particles in many-particle systems are conjectured to be irreducible, ‘inherent’ properties only belonging to the whole system. This allows one to explain quantum statistics without endorsing the ‘Received View’ that particles are non-individuals, or postulating that quantum systems obey peculiar probability distributions, or assuming that (...) there are primitive restrictions on the range of states accessible to such systems. With this, the need for an unambiguously metaphysical explanation of certain physical facts is acknowledged and satisfied. (shrink)

The mind-brain identity theory, the thesis that sensations are identical with properties or processes of the brain, was introduced into contemporary discussion by U.T. Place, Herbert Feigl, and J.J.C Smart in the 1950s. Despite its widespread rejection in the following decades, the identity theory has received several carefully articulated defenses in recent years. Aside from developing novel responses to well-known arguments against the identity theory, contemporary identity theorists have argued that the epistemological resources available to (...) support the adoption of identities are more plentiful than has often been supposed; further, they have argued that mind-brain identities allow for the resolution of otherwise intractable explanatory puzzles about the phenomenal properties of experience. From an epistemological perspective, identity theorists have thus argued that a central reason for believing theoretical identities—both mind-brain identities as well as more mundane identities such as water = H2O—stems from the explanatory power that they confer. Yet from an explanatory perspective, identity theorists have maintained that identities cannot themselves be explained; indeed, they have maintained that it is hardly intelligible to request an explanation for an identity. This paper considers these ideas draws out an important tension between them. The central claim is that insofar as identity theorists insist on the explanatorily efficacy of identities, they should concede that there is a good sense in which theoretical identities can be explained. However, it is moreover argued that this concession is not especially problematic and, indeed, ought to be welcomed by identity theorists. (shrink)

It is argued that, because of scientific essentialism, two currently popular arguments against the mind-body identity thesis -- the multiple-realizability argument and the Nagel-Jackson knowledge argument -- are unsatisfactory as they stand and that their problems are incurable. It is then argued that a refutation of the identity thesis in its full generality can be achieved by weaving together two traditional Cartesian arguments -- the modal argument and the certainty argument. This argument establishes, not just the falsity of (...) the identity thesis, but also the metaphysical possibility of disembodiment. (shrink)

This paper provides a defence of the account of partial resemblances between properties according to which such resemblances are due to partial identities of constituent properties. It is argued, first of all, that the account is not only required by realists about universals à la Armstrong, but also useful (of course, in an appropriately re-formulated form) for those who prefer a nominalistic ontology for material objects. For this reason, the paper only briefly considers the problem of how to (...) conceive of the structural universals first posited by Armstrong in order to explain partial resemblances, and focuses instead on criticisms that have been levelled against the theory (by Pautz, Eddon, Denkel and Gibb) and that apply regardless of one’s preferred ontological framework. The partial identity account is defended from these objections and, in doing so, a hitherto quite neglected connection—between the debate about partial similarity as partial identity and that concerning ontological finitism versus infinitism—is looked at in some detail. (shrink)

Identity-Over-Time has been a favorite subject in the literature concerning Thomas Aquinas. Aquinas addresses this issue in many discussions, including especially the identity of material things and artifacts, the identity of the human soul after the corruption of body, the identity of the body of Christ in the three days from his death to his resurrection and the identity of the resurrected human body at the end of time. All these discussions have a point in (...) common: they lead Aquinas to raise the question of Identity-Over-Time with respect to things that fully exist in act, i.e., things that possess an identity of their own and change some of their parts or properties over time while continuing to be what they are. In this article, I investigate this topic from a different angle, considering the case of the trans-temporal identity of things that do not yet have an identity of their own or fully exist in act. The case at stake is that of the identity of the human embryo through the process of human generation. It is a puzzle that Aquinas seems to have some difficulties to solving, given his account of human embryogenesis as a process that alternates generations and corruptions of the subject. At the same time, though, Aquinas does not want to renounce the idea that the subject of generation must be numerically one and the same throughout all the process. In order to solve this puzzle, Aquinas seems to suggest distinguishing the identity of the subject from the identity of its matter and/or form. At given conditions, a thing can even change its matter and form while continuing to be the same thing in number. Specifically, the numerical identity of the subject of generation is justified by the identity entailed by the metaphysical notions of potency and act. (shrink)

The problem of personal identity contains various questions and issues, but the main issue is persistence; how can one person remain the same over time? Modern philosophers have proposed various solutions to this problem; however, none are without problems. David Hume rejected the notion of personal identity as fictitious and posited a theory that personal identity is merely a bundle of perceptions which does not remain the same over time. Hume’s approach to personal identity is flawed, (...) and Derek Parfit pushed back against Hume’s complete rejection of personal identity through his argument of psychological continuity; a continuous chain of overlapping cognitive connections between beliefs, preferences, memories, and other characteristics can meet the criterion of identity. However, Parfit falls short in only acknowledging mental features as the essential property of personal identity; physical features such as age, race, sex, etc. have a significant impact on one’s understanding of themselves. Through a combination of Hume’s bundle theory and Parfit’s psychological continuity, an understanding of what personal identity is and how it is able to remain constant over time can be reached. In this paper, I argue that personal identity is a bundle of mental and physical features that persists through time through psychological continuity. (shrink)

Algorithms are used across a wide range of societal sectors such as banking, administration, and healthcare to make predictions that impact on our lives. While the predictions can be incredibly accurate about our present and future behavior, there is an important question about how these algorithms in fact represent human identity. In this paper, we explore this question and argue that machine learning algorithms represent human identity in terms of what we shall call the statistical individual. This statisticalized (...) representation of individuals, we shall argue, differs significantly from our ordinary conception of human identity, which is tightly intertwined with considerations about biological, psychological, and narrative continuity—as witnessed by our most well-established philosophical views on personal identity. Indeed, algorithmic representations of individuals give no special attention to biological, psychological, and narrative continuity and instead rely on predictive properties that significantly exceed and diverge from those that we would ordinarily take to be relevant for questions about how we are. (shrink)

This paper evaluates six contenders which might be invoked by essentialists in order to meet Quine’s challenge, viz., to provide necessary and sufficient conditions for the crossworld identity of individuals: (i) an object’s qualitative character; (ii) matter; (iii) origins; (iv) haecceities or primitive non-qualitative thisness properties; (v) “world-indexed properties”; and (iv) individual forms. The first three candidates, I argue, fail to provide conditions that are both necessary and sufficient for the crossworld identity of individuals; the fourth (...) and fifth criteria are open to the charge that they do not succeed in meeting Quine’s demand in an explanatorily adequate fashion. On balance, then, individual forms, or so I propose, deserve to be taken very seriously as a possible response to Quine’s challenge, especially by neo-Aristotelians who are already committed to a hylomorphic conception of composite concrete particular objects for other reasons. Theorists who also accept a non-modal conception of essence, i.e., a conception according to which essence is not reducible to modality, in addition face the further difficult task, over and above what is required to meet Quine’s challenge, of having to explain how an object’s de re modal profile in some way follows from facts about its essence. Haecceities and world-indexed properties, as I indicate, are unlikely to be of much help with respect to this second challenge, while the forms of hylomorphic compounds are in fact well-suited for this purpose. (shrink)

Awareness of, and respect for differences of gender, race, religion, language, and culture have liberated many oppressed groups from the hegemony of white, Western males. However, respect for previously denigrated collective identities should not be allowed to confine individuals to identities constructed around one main component used for political mobilisation, or to identities that depend on a priority of properties that are not optional, like race, gender, and language. In this article I want to sketch an approach for accommodating (...) different kinds of identity within a multicultural constitutional democracy. From a vantage point provided by a definition and explanation of personal identity, I want to show how people define, construct and change their personal identities to make themselves into unique individuals. Next I show how democratic political institutions and the personal identities of individuals reciprocally influence one another. In the final section I sketch ways in which diverse personal identities ought to be accommodated in multicultural constitutional democracies. The conclusion is that a society which gives its members the liberty, space, and opportunity to freely construct their own identities might avoid the formation of closed groups committed exclusively to their own sectional interests. (shrink)

An argument to the effect that, under a few reasonable assumptions, the bare particular ontology is best understood in terms of supersubstativalism: objects are identical to regions of space(-time) and properties directly inhere in space(-time) points or region as their bearers.

Like '&', '=' is no term; it represents no extrasentential property. It marks an atomic, nonpredicative, declarative structure, sentences true solely by codesignation. Identity (its necessity and total reflexivity, its substitution rule, its metaphysical vacuity) is the objectual face of codesignation. The syntax demands pure reference, without predicative import for the asserted fact. 'Twain is Clemens' is about Twain, but nothing is predicated of him. Its informational value is in its 'metailed' semantic content: the fact of codesignation (that 'Twain' (...) names Clemens) that explains what fact it asserts and why it is necessary. Critiques of concepts of rigidity and elimination of singular terms result. (shrink)

In light of the phenomenon of multiple realizability, many philosophers wanted to preserve the mind-brain identity theory by resorting to a “narrow reductive strategy” whereby one (a) finds mental properties which are (b) sufficiently narrow to avoid the phenomenon of multiple realization, while being (c) explanatorily adequate to the demands of psychological theorizing. That is, one replaces the conception of a mental property as more general feature of cognitive systems with many less general properties, for example, replacing (...) the conception of pain as a general property across different species with a number of species-specific kinds of pain. Many critics focused on (c), arguing that species-specific properties are not explanatorily adequate because they do not capture what is common in pain across species. In this paper I focused on (b). I argued that if one carries the narrow reductive strategy out in such a way to avoid all multiple realizability that occurs within a species, for example, accommodating individual differences by postulating a more narrow pain-relative-to-an-individual-at-a-time, then the result is for all intents and purposes a claim about tokens and not types or properties at all (the position is now about individuals having properties at times, a structured token event). I also added an important point about explanation, viz., that properties-relative-to-individuals-at-times would not serve the explanatory goals of science by failing to generalize to other individuals. (shrink)

The distinction between qualitative and non-qualitative properties should be familiar from discussions of the principle of the identity of indiscernibles: two otherwise exactly similar individuals, Castor and Pollux, might share all their qualitative properties yet differ with respect to their non-qualitative properties—for while Castor has the property being identical to Castor, Pollux does not. But while this distinction is familiar, there has not been much critical attention devoted to spelling out its precise nature. I argue that (...) the class of non-qualitative properties is broader than it is often taken to be. When properly construed, it will not only include properties such as being identical to Castor, which somehow make reference to particular individuals, it will also include more general properties such as identity, composition, set membership, as well as various peculiarly ontological properties. Given that some of these more general properties help to explain objective similarity, we have reason to believe that there are fundamental non-qualitative properties. (shrink)

This Thesis engages with contemporary philosophical controversies about the nature of dispositional properties or powers and the relationship they have to their non-dispositional counterparts. The focus concerns fundamentality. In particular, I seek to answer the question, ‘What fundamental properties suffice to account for the manifest world?’ The answer I defend is that fundamental categorical properties need not be invoked in order to derive a viable explanation for the manifest world. My stance is a field-theoretic view which describes (...) the world as a single system comprised of pure power, and involves the further contention that ‘pure power’ should not be interpreted as ‘purely dispositional’, if dispositionality means potentiality, possibility or otherwise unmanifested power or ability bestowed upon some bearer. The theoretical positions examined include David Armstrong’s Categoricalism, Sydney Shoemaker’s Causal Theory of Properties, Brian Ellis’s New Essentialism, Ullin Place’s Conceptualism, Charles Martin’s and John Heil’s Identity Theory of Properties and Rom Harré’s Theory of Causal Powers. The central concern of this Thesis is to examine reasons for holding a pure-power theory, and to defend such a stance. This involves two tasks. The first requires explaining what plays the substance role in a pure-power world. This Thesis argues that fundamental power, although not categorical, can be considered ontologically-robust and thus able to fulfil the substance role. A second task—answering the challenge put forward by Richard Swinburne and thereafter replicated in various neo-Swinburne arguments—concerns how the manifestly qualitative world can be explained starting from a pure-power base. The Light-like Network Account is put forward in an attempt to show how the manifest world can be derived from fundamental pure power. (shrink)

In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and (...) exactly the same relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (shrink)

The identity theory’s rise to prominence in analytic philosophy of mind during the late 1950s and early 1960s is widely seen as a watershed in the development of physicalism, in the sense that whereas logical behaviourism proposed analytic and a priori ascertainable identities between the meanings of mental and physical-behavioural concepts, the identity theory proposed synthetic and a posteriori knowable identities between mental and physical properties. While this watershed does exist, the standard account of it is misleading, (...) as it is founded in erroneous intensional misreadings of the logical positivists’—especially Carnap’s—extensional notions of translation and meaning, as well as misinterpretations of the positivists’ shift from the strong thesis of translation-physicalism to the weaker and more liberal notion of reduction-physicalism that occurred in the Unity of Science programme. After setting the historical record straight, the essay traces the first truly modern identity theory to Schlick’s pre-positivist views circa 1920 and goes on to explore its further development in Feigl, arguing that the fundamental difference between the Schlick-Feigl identity theory and the more familiar and influential Place-Smart-Armstrong identity theory has resurfaced in the deep and seemingly unbridgeable gulf in contemporary philosophy of consciousness between inflationary mentalism and deflationary physicalism. (shrink)

The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities (...) of indiscernible objects. I then argue that this inexpressibility generalizes to all of their trivializing properties. Whether the Identity of Indiscernibles is trivially true ultimately turns on whether we can quantify over properties that we cannot express. (shrink)

This paper defends a version of Davidson’s demonstrative theory of quotation and against against the Fregean identity theory (IT henceforth) as articulated and defended by Corey Washington (1992). On the Fregean view, when an expression is referred to by means of quotation the quoted material itself is a linguistic referring expression. Quotation-marks are not needed; when they are used, they serve to make clearer the shift in syntactic and semantic properties effected on the quoted material by its occupying (...) that linguistic context: whatever its usual syntactic function, the quoted material functions as a singular term; whatever its usual semantic function, in that linguistic environment the quoted material refers to itself. On DT, in contrast, quotation-marks themselves are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. In the version I argue for the referent is obtained through some contextually suggested relation; in the default case the relation will be: … instantiates the linguistic type __, but there are other possibilities. In this way, the view can deal with the fact that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens. (shrink)

This chapter is concerned with the coextension difficulty for nominalist theories of properties that reject tropes alongside universals. After carefully explaining the coextension difficulty and describing the theories it targets, the chapter describes different solutions to the difficulty. These solutions differ with respect to how much involved they are into a dualist approach to coextension. A dualist approach to a case of coextension consists in agreeing with the realist that the relevant ascriptions of properties are numerically distinct. A (...) monist approach to a case of coextension consists in contending that the relevant ascriptions of properties are identical. In this chapter, I defend a monist approach to cases of coextension that appeals to a counterpart theory for propositions. (shrink)

In this paper I develop an argument against a type of Non-Analytic Normative Naturalism. This argument, the Normative Property Dualism Argument, suggests that, if Non-Analytic Normative Naturalists posit that normative properties are identical to natural properties and that such identities are a posteriori, they will be forced to posit that these properties which are both normative and natural have higher-order normative properties of their own.

A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems 1 to (...) 3 suggest a sufficient kinship to Gödelian ontological arguments so as to think of thesis (40) in terms of divine property and Godly being; divine replaces positive with Gödel and others. Thesis (40), the sacred thesis, supports the ontological argument that God exists because some property is not divine. In Section 4 a fixed point analysis is used as diagnosis so that atheists may settle for the minimal fixed point. Theorem 3 shows it consistent to postulate theistic fixed points, and a monotheistic result follows if one assumes theism and that it is divine to be identical with a deity. Theorem 4 (the Monotheorem) states that if Gg and it is divine to be identical with g, then necessarily all objects which are G are identical with g. The impredicative origin of D suggests weakened Gaunilo-like objections that offer related theses for other second order properties and their associated diverse presumptive individual bearers. Nevertheless, in the last section we finesse these Gaunilo-like objections by adopting what we call an apathiatheistic opinion which suggest that the best concepts `God’ allow thorough indifference as to whether God exists or not. (shrink)

The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) the belief set resulting (...) from revision by ¬A, we look at ways to define the plausibility ordering over worlds resulting from contracting A in terms of (iii) the initial plausibility ordering, and (iv) the plausibility ordering resulting from revision by ¬A. After noting that the most straightforward such extension leads to a trivialisation of the space of permissible orderings, we provide a family of operators for combining plausibility orderings that avoid such a result. These operators are characterised in our domain of interest by a pair of intuitively compelling properties, which turn out to enable the derivation of a number of iterated contraction postulates from postulates for iterated revision. We finish by observing that a salient member of this family allows for the derivation of counterparts for contraction of some well known iterated revision operators, as well as for defining new iterated contraction operators. (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)

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. (shrink)

Recently, several philosophers have defended an explanatory argument that supposedly provides novel empirical grounds for accepting the type identity theory of phenomenal consciousness. They claim that we are justified in believing that the type identity thesis is true because it provides the best explanation for the correlations between physical properties and phenomenal properties. In this paper, I examine the actual role identities play in science and point out crucial shortcomings in the explanatory argument. I show that (...) the supporters of the argument have failed to show that the identity thesis provides a satisfactory explanation for the correlations between physical and phenomenal properties. Hence, the explanatory argument, as it stands, does not provide new grounds for accepting the type identity theory. (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)

What are the properties of composite objects, and how do the properties of composite objects and the properties of their proper parts relate to one another? The answers to these questions depend upon which view of composition one adopts. One view, which I call the orthodox view, is that composite objects are numerically distinct from their proper parts, individually and collectively. Another view, known as composition as identity, is that composite objects are numerically identical to their (...) proper parts, taken together. I argue that the orthodox view entails that the intuitive picture of composite objects and their properties that most accept is false. Not so for composition as identity. I also show that all of the available alternatives face serious difficulties. This puts composition as identity at an advantage over the orthodox view, at least when it comes to accounting for the properties of composite objects. (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)

I introduce "nomic-role nonreductionism" as an alternative to traditional causal-role functionalism in the philosophy of mind. Rather than identify mental properties by a theory that describes their intra-level causal roles via types of inputs, internal states, and outputs, I suggest that one identify mental properties by a more comprehensive theory that also describes inter-level realization roles via types of lower-level engineering, internal mental states, and still higher-level states generated by them. I defend this position on grounds that mental (...) properties should be understood by our best scientific theories, which at present include informatioin about mental engineering. I further defend this claim by a "parity of reasons" argument. Causal-role functionalists are justified to include sensory stimuli in their theory of mind as opposed to, say, the remote causes of sensory stimuli because the former but not the latter are items of direct mental production. But ditto for the system's physical realizations. They too directly produce mental states, only not by "causing" them but by "realizing" them. Engineering realizations and their input triggering conditions work in tandem. In addition, I tell a related but more general metaphysical story about property identity, namely, that the traditional causal theory should be replaced by a more comprehensive nomic theory that individuates properties by their intra-level causal powers as well as their inter-level realization capacities. (shrink)

This paper offers an overview of consciousness and personal identity in eighteenth-century philosophy. Locke introduces the concept of persons as subjects of consciousness who also simultaneously recognize themselves as such subjects. Hume, however, argues that minds are nothing but bundles of perceptions, lacking intrinsic unity at a time or across time. Yet Hume thinks our emotional responses to one another mean that persons in everyday life are defined by their virtues, vices, bodily qualities, property, riches, and the like. Rousseau (...) also takes persons to be fundamentally determined by our socially-mediated emotional responses to one another, though unlike Hume or Locke, he has little interest in placing this account of persons alongside a larger discussion of the human mind and its operations. Developing this idea further, Kant argues that our moral commitments require that we must take ourselves to be free. The fundamental equality that Rousseau sought in the political order is, for Kant, a requirement that reason puts on all of us. (shrink)

In a recent article, Harold Noonan argues that application conditions and criteria of identity are not distinct from one another. This seems to threaten the standard approach to distinguishing sortals from adjectival terms. I propose that his observation, while correct, does not have this consequence. I present a simple scheme for distinguishing sortals from adjectival terms. I also propose an amended version of the standard canonical form of criteria of identity.

The aim of this paper is to show that topology has a bearing on Leibniz’s Principle of the Identity of Indiscernibles (PII). According to (PII), if, for all properties F, an object a has property F iff object b has property F, then a and b are identical. If any property F whatsoever is permitted in PII, then Leibniz’s principle is trivial, as is shown by “identity properties”. The aim of this paper is to show that (...) topology can make a contribution to the problem of giving criteria of how to restrict the domain of properties to render (PII) non-trivial. In topology a wealth of different Leibnizian principles of identity can be defined - PII turns out to be just the weakest topological separation axiom T0 in disguise, stronger principles of can be defined with the aid of higher separation axioms Ti, i > 0. Topologically defined properties have a variety of nice features, in particular they are stable in a natural sense. Topologically defined properties do not have a monopoly on defining “good” properties. In the final section of the paper it is show that the topological approach is closely related to Gärdenfors’s approach of conceptual spaces based on the concept of convexity. (shrink)

A sustained challenge to the view that artworks are physical objects relates to the alleged inability of physical objects to possess representational properties, which some artworks clearly do possess. I argue that the challenge is subject to confusions about representational properties and aesthetic experience. I show that a challenge to artwork-object identity put forward by Danto is vulnerable to a similar criticism. I conclude by noting that the identity of artworks and physical objects is consistent with (...) the insight that attending exclusively to the object’s individual physical properties may prevent us from grasping the nature of the work. // Contre l’opinion voulant que les œuvres d’art soient des objets physiques, d’aucuns font régulièrement valoir la présumée incapacité des objets physiques à possedér des propriétés représentationnelles, propriétés que certaines œuvres d’art possèdent a l’evidence. Je fais valoir que cette remise en question est sujette à des confusions à propos des propriétés représentationnelles et de l’experience esthétique. Je montre que de même, la remise en question par Danto de l’identité œuvre d’art-objet prête le flanc à une critique similaire. Je conclus pour finir que l’identité entre œuvres d’art et objets physiques est compatible avec l’intuition voulant que prêter attention exclusivement aux propriétés physiques d’un certain objet peut nous empêcher de saisir la nature de l’œuvre. (shrink)

Eric Olson and David Shoemaker argue that our numerical identity over time is irrelevant to such practical issues as moral responsibility or self-concern. Being the same individual at different moments in time may, in our case, can be seen as the preservation of the relevant biological processes (e.g., according to Olson), while psychological continuity, independent of these processes, may be crucial for such issues. I will defend the view that, contrary to the above authors, any conception of our diachronic (...) identity has ethical implications, at least with regard to the aforementioned issues. My argument has two basic assumptions. (1) The dispute over identity of persons is a dispute over the conditions of our persistence in time as the same individuals, whether we consider being a person as our essential property or not (e.g., Olson maintains the latter). The question is under what conditions I am the same as a particular earlier or later individual. (2) The pronoun “I,” on the other hand, is an essential component of practical reasoning, so also of ethical one. Thus, the debate on the persistence of persons concerns the identity conditions of the individuals to whom/which we refer when planning our future actions, formulating our intentions. My rational self-concern or my moral responsibility for past actions regards the individual to whom the pronoun refers. An additional result of my argument is to undermine the influential strategy of defending positions on our diachronic identity against the charge of controversial ethical implications. It cannot be argued in the case of every such controversy that a given ethical issue only apparently involves our identity, while in fact what is relevant to it is a different relation binding persons at different moments in time. (shrink)

Unlike identity physicalism, ground physicalism does not achieve the physicalist dream. It faces the T-shirt problem for ground physicalism (Pautz 2014; Schaffer this volume; Rubenstein ms). In the case of insentient nature, it may be able to get by with small handful of very general ground laws to explain the emergence of nonfundamental objects and properties – for example, a few “principle of plenitude”. But I argue that for the case consciousness it will require a separate huge raft (...) of special, anomalous psychophysical ground laws. So it is just as complex and nonuniform as dualism. (shrink)

I aim to synthesize two issues within theistic metaphysics. The first concerns the metaphysics of creaturely properties and, more specifically, the nature of unshareable properties, or tropes. The second concerns the metaphysics of providence and, more specifically, the way in which God sustains creatures, or sustenance. I propose that creaturely properties, understood as what I call modifier tropes, are identical with divine acts of sustenance, understood as acts of property-conferral. I argue that this *theistic conferralism* is attractive (...) because it integrates trope theory and the doctrine of sustenance in a mutually enhancing way. Taking modifier tropes to be divine acts mitigates certain weaknesses of trope theory and safeguards divine sustenance from the threat of both deism and occasionalism. (shrink)

Manzotti (2021) surveys recent variants of identity theories, defending his own preferred version, mind-object identity theory (MOI). According to this view, experiences are identical with the external objects, and the mind is thus literally “spread” in the world. Manzotti supports this view with considerations about indiscernibility of properties and other theoretical considerations. He claims that brain-mind accounts of identity commit the “fallacy of the center,” locating conscious mind inside the skull. Amongst other recent works, he comments (...) on our (Polák and Marvan, 2018) article, in which we defended a standard, neurocentrist version of type identity theory, and supplemented it with a sketch of neuro-phenomenal typing. Manzotti holds that although we appeal to neuro-phenomenal types in our account of mind-brain identity, we nevertheless “lack a convincing explanation as to why the type of neural processes should be identical to the type of one's experience.” This is a fair point. We didn't do much in our 2018 article to support our views on the principles of neuro-phenomenal typing, either by detailed theoretical considerations or by empirical evidence. In this short rejoinder, we offer the missing argument. By doing so, we also respond both to Manzotti's cited objection and to the charge of the “fallacy of the center.” -/- . (shrink)

The principle of Identity of Indiscernibles has been challenged with various thought experiments involving symmetric universes. In this paper, I describe a fractal universe and argue that, while it is not a symmetric universe in the classical sense, under the assumption of a relational theory of space it nonetheless contains a set of objects indiscernible by pure properties alone. I then argue that the argument against the principle from this new thought experiment resists better than those from classical (...) symmetric universes three main objections put forth against this kind of arguments. (shrink)