Criteria of Identity

The thesis of this paper concerns the fundamental role of "ordinary objects" with respect to the structure of natural language. It ascribes their role as basic objects of reference to their being both natural and "given" individuals. Section 1 will summarize that idea. Further argument will be offered in Section 2. An objection appealing to physical theory will be answered in Section 3. Sections 4, 5, and 6 consider the implications of the thesis for current theories of the identity of (...) "ordinary objects" over time. Section 4 deals with some traditional, paradoxical, but still influen tial arguments. Section 5 focuses on four-dimensionalism and the ontology of possible worlds. Section 6 examines the theory of David Wiggins, who recognizes that biological individuals, at least, are both natural and given, but who retains a form of conceptualism. Some remarks are made through out about the wider philosophical motivations of different approaches to the topic of identity, and about the nature of philosophical "analysis.". (shrink)

Meta-ontology (in van Inwagen's sense) concerns the methodology of ontology, and a controversial meta-ontological issue is to what extent ontology can rely on linguistic analysis while establishing the furniture of the world. This paper discusses an argument advanced by some ontologists (I call them unifiers) against supporters of or coincident entities (I call them multipliers) and its meta-ontological import. Multipliers resort to Leibniz's Law to establish that spatiotemporally coincident entities a and b are distinct, by pointing at a predicate F (...) () made true by a and false by b . Unifiers try to put multipliers in front of a dilemma: in attempting to introduce metaphysical differences on the basis of semantic distinctions, multipliers either (a) rest on a fallacy of verbalism, entailed by a trade-off between a de dicto and a de re reading of modal claims, or (b) beg the question against unifiers by having to assume the distinction between a and b beforehand. I shall rise a tu quoque, showing that unifiers couldn't even distinguish material objects (or events) from the spatiotemporal regions they occupy unless they also resorted to linguistic distinctions. Their methodological aim to emancipate themselves from linguistic analysis in ontological businesses is therefore problematic. (shrink)

Is the resurrection of an extinct species genuinely possible, or not? Will organisms produced by de-extinction technology be authentic new members of the species that died out, or just convincing fakes? We seek to answer these questions in this chapter. Critics of de-extinction have offered many reasons for thinking that the products of de-extinction will be inauthentic. The bulk of the chapter is taken up with surveying their arguments. We attempt to show that none are convincing. We end the chapter (...) by offering and defending two arguments in favour of the view that authentic de-extinctions are possible. (shrink)

Identity criteria are used to confer ontological respectability: Only entities with clearly determined identity criteria are ontologically acceptable. From a logical point of view, identity criteria should mirror the identity relation in being reflexive, symmetrical, and transitive. However, this logical constraint is only rarely met. More precisely, in some cases, the relation representing the identity condition fails to be transitive. We consider the proposals given so far to give logical adequacy to inadequate identity conditions. We focus on the most refined (...) proposal and expand its formal framework by taking into account two further aspects that we consider essential in the application of identity criteria to obtain logical adequacy: contexts and granular levels. (shrink)

From a logical point of view, identity criteria should mirror the identity relation in being reflexive, symmetrical, and transitive. However, the relation representing the identity condition fails to be transitive in many cases. We consider the proposals given so far to give logical adequacy to inadequate identity conditions. We focus on the most refined proposal and expand its formal framework by taking into account two further aspects that we consider essential in the formal treatment of identity criteria: contexts and granular (...) levels. (shrink)

Reality is two-fold, composed of the lighted world as revealed in Genesis, and the darker primordiality which preceded it. The illuminated represents that which the human mind can comprehend, manipulate and re-order to its will: a “designed” and mechanical universe of parts. But behind it, in the backspace of reality, remains the darkness. A formless state of pre-creation, the darkness exists as an endless series of intertwining “signatures” – single possibilities waiting to be created in the illuminated forefront of reality. (...) Permitting each and every part of the lighted world to be connected to the rest, it possesses a “design” all of its own. The question is, if we are blind in the dark, how could we ever come to know it? (shrink)

What am I? And what is my relationship to the thing I call ‘my body’? Thus each of us can pose for himself the philosophical problems of the nature of the self and the relationship between a person and his body. One answer to the question about the relationship between a person and the thing he calls ‘his body’ is that they are two things composed of the same matter at the same time (like a clay statue and the piece (...) of clay which presently constitutes it). This is the ‘constitution view’. In this paper we give a novel overview of the literature on personal identity, the constitution view, and surrounding topics. (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)

The aim of this paper is to derive a perfectly general criterion of identity through time from Locke’s Principle, which says that two things of the same kind cannot occupy the same space at the same time. In this way, the paper pursues a suggestion made by Peter F. Strawson almost thirty years ago in an article called ‘Entity and Identity’. The reason why the potential of this suggestion has so far remained unrealized is twofold: firstly, the suggestion was never (...) properly developed by Strawson, and secondly, it seemed vulnerable to an objection that he himself raised against it. Consequently, the paper’s aim is to further develop Strawson’s suggestion, and to show that the result is not vulnerable to the objection that seemed fatal to its underdeveloped predecessor. In addition, the paper aims to defend Locke’s Principle against alleged counterexamples such as those produced by Leibniz, Fine and Hughes. (shrink)

Criteria of identity should mirror the identity relation in being reflexive, symmetrical, and transitive. However, this logical requirement is only rarely met by the criteria that we are most inclined to propose as candidates. The present paper addresses the question how such obvious candidates are best approximated by means of relations that have all of the aforementioned features, i.e., which are equivalence relations. This question divides into two more basic questions. First, what is to be considered a ‘best’ approximation. And (...) second, how can these best approximations be found? In answering these questions, we both rely on and constructively criticize ground-breaking work done by Timothy Williamson. Guiding ideas of our approach are that we allow approximations by means of overlapping equivalence-relations, and that closeness of approximation is measured in terms of the number of mistakes made by the approximation when compared to the obvious candidate criterion. (shrink)

In this paper, we take another look at the reasons for which the causal criterion of event identity has been abandoned. We argue that the reasons are not strong. First of all, there is a criterion in the neighborhood of the causal criterion—the counterfactual criterion—that is not vulnerable to any of the putative counterexamples brought up in the literature. Secondly, neither the causal criterion nor the counterfactual criterion suffers from any form of vicious circularity. Nonetheless, we do not recommend adopting (...) either the causal or the counterfactual criterion because, given a sufficiently lax principle of event composition, neither criterion can be applied to complex events. This we regard as a (prima facie) undesirable restriction on their applicability. (shrink)

This dissertation is an investigation of the ontological status of identity . The preface is a discussion of how foundational and important metaphysical issues concerning identity are for philosophy in general, and of some of the problems that have plagued the study of identity historically. ;In chapter one various issues concerning identity are framed and the metaphysical issues are divided into two main genera: persistence problems and ontological problems. The primary attention of the dissertation is not given to persistence problems, (...) but to four major ontological problems of identity: what is the intension of 'identity'? what is the extension of 'identity'? how many of kinds of identity are there? and what is the ontological status of identity? ;In chapter two the relation of these four ontological problems to the most popular problems of identity in the contemporary literature is examined. The following contemporary discussions are covered: perdurance vs. endurance, contingent identity, vague identity, identity across possible worlds, and the criterion of identity. As a result, some ontic/epistemic confusions prevalent in the current literature are cleared up, and it is shown that we must study the relationship between identity and both individuality and unity to solve some of the problems concerning identity mentioned in chapter one. ;In chapter three a modified medieval schema of relations is used to give a detailed analysis of the intension of 'identity'. It is shown how identity cannot be understood as unity, individuality, or indiscernibility. It is later argued that identity is properly understood as lack of difference, where difference is understood broadly, and that ontological identity is properly understood as lack of difference in being. ;In chapter four a thorough analysis of the extension of 'identity' is given, concluding that 'identity' does not have universal extension or null extension, but rather partial extension . ;In chapter five the ontological status of identity is determined. It is argued that identity is a transcendental attribute of being, and that identity is only a relation in a secondary or derived sense, despite what many have held. (shrink)

This paper offers a critical assessment of the current state of the debate about the identity and individuality of material objects. Its main aim, in particular, is to show that, in a sense to be carefully specified, the opposition between the Leibnizian ‘reductionist’ tradition, based on discernibility, and the sort of ‘primitivism’ that denies that facts of identity and individuality must be analysable has become outdated. In particular, it is argued that—contrary to a widespread consensus—‘naturalised’ metaphysics supports both the acceptability (...) of non-qualitatively grounded (both ‘contextual’ and intrinsic) identity and a pluralistic approach to individuality and individuation. A case study is offered that focuses on non-relativistic quantum mechanics, in the context of which primitivism about identity and individuality, rather than being regarded as unscientific, is on the contrary suggested to be preferable to the complicated forms of reductionism that have recently been proposed. More generally, by assuming a plausible form of anti-reductionism about scientific theories and domains, it is claimed that science can be regarded as compatible with, or even as suggesting, the existence of a series of equally plausible grades of individuality. The kind of individuality that prevails in a certain context and at a given level can be ascertained only on the basis of the specific scientific theory at hand. (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.

There are things of which it is true to say that there are no such things. How can we resolve this paradox? Panayot Butchvarov argues that there are objects of reference that are not also entities, where the former must merely be thinkable but the latter must be indefinitely re-identifiable. This paper argues that fictional and many other unreal objects are indeed indefinitely re-identifiable, so they must be counted as existing things on Butchvarov's theory. The paradox is best resolved by (...) distinguishing among domains of existence: Sherlock Holmes exists in the unrestricted domain of objects and in the fictional domain created by Conan Doyle, but not in the domain of the real world. Thus to exist and to be real are different things; all objects exist in some domain, but only real objects really exist. (shrink)

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

The philosophy problem of identity and the related problem of change go back to the ancient Greek philosophers and fascinated later figures including Leibniz, Locke and Hume. Heraclitus argued that one could not swim in the same river twice because new waters were ever flowing in. When is a river not the same river? If one removes one plank at a time when is a ship no longer a ship? What is the basic nature of identity and persistence? This book (...) introduces and asseses the philosophical puzzles posed by things persisting through time. Beginning with essential historical background to the problem it explores the following key topics and debates: mereology and identity, including 'Leibniz's Law' the constitution view of identity the 'relative identity' argument concerning identity temporary identity four-dimensionalism, counterpart and mulitiple counterpart theory supervenience the problem of temporary intrinsics the necessity of identity presentism ontological and epistemological criteria for persistence and the difference between them. Including chapter summaries, annotated further reading and a glossary this book is essential reading for anyone seeking a clear and informative introduction to and assessement of the metaphysics of identity. (shrink)

A prominent version of mathematical structuralism holds that mathematical objects are at bottom nothing but "positions in structures," purely relational entities without any sort of nature independent of the structure to which they belong. Such an ontology is often presented as a response to Benacerraf's "multiple reductions" problem, or motivated on hermeneutic grounds, as a faithful representation of the discourse and practice of mathematics. In this paper I argue that there are serious difficulties with this kind of view: its proponents (...) rely on a distinction between "essential" and "nonessential" features of mathematical objects, and there's no good way to articulate this distinction which is compatible with basic structuralist commitments. But all is not lost. For I further argue that the insights motivating structuralism (or at least those worth preserving) can be preserved without formulating the view in ontologically committal terms. (shrink)

Putative counterexamples to the Principle of Identity of Indiscernibles (PII) are notoriously inconclusive. I establish ground rules for debate in this area, offer a new response to such counterexamples for friends of the PII, but then argue that no response is entirely satisfactory. Finally, I undermine some positive arguments for PII.

I argue that, despite van Inwagen’s pessimism about the task, it is worth looking for answers to his General Composition Question. Such answers or ‘principles of composition’ tell us about the relationship between an object and its parts. I compare principles of composition with criteria of identity, arguing that, just as different sorts of thing satisfy different criteria of identity, they may satisfy different principles of composition. Variety in criteria of identity is not taken to reflect ontological variety in the (...) identity relation; I discuss whether variety in principles of composition should be taken to reflect ontological variety in the composition relation. (shrink)

Closest-continuer or best-candidate accounts of persistence seem deeply unsatisfactory, but it’s hard to say why. The standard criticism is that such accounts violate the ‘only a and b’ rule, but this criticism merely highlights a feature of the accounts without explaining why the feature is unacceptable. Another concern is that such accounts violate some principle about the supervenience of persistence facts upon local or intrinsic facts. But, again, we do not seem to have an independent justification for this supervenience claim. (...) Instead, I argue that closest continuer accounts are committed to unexplained correlations between distinct existences, and that this is their fundamental flaw. We can have independent justification for rejecting such correlations, but what the justification is depends upon much broader issues in ontology. There is no one-size-fits all objection to closest-continuer accounts of persistence. (shrink)

There has been much work on ontological dependence in recent literature. However, relatively little of it has been dedicated to the ways in which individual physical objects may depend on other distinct, non-overlapping objects. This paper gives several examples of such object-dependence and distinguishes between different types of it. The paper also introduces and refines the notion of an n-tet. N-tets (typically) occur when there are object-dependence relations between n objects. I claim that the identity (or, rather, what I call (...) the n-dentity) conditions for n-tets are not grounded in the individual identity conditions of each of the n objects, but instead are metaphysically basic. The paper then briefly discusses some ramifications of accepting object-dependence (and n-tets) on the philosophy of biology, ethics, and logic. (shrink)

In this book Jaco Gericke is concerned with different ways of approaching the question of what, according to the Hebrew Bible, a god was assumed to be. As a supplement to the tradition of predominantly linguistic, historical, literary, comparative, social-scientific and related ways of looking at the research problem, Gericke offers a variety of experimental philosophical perspectives that aim to take a step back from the scholarly discussion as it has unfolded hitherto in order to provide a new type of (...) worry when looking at the riddle of what the biblical texts assumed made a god divine. -/- Consisting of a brief history of philosophical interpretations of the concepts of whatness and essence from Socrates to Derrida, the relevant ideas are adapted and reapplied to look at some interesting metaphysical oddities arising from generic uses of elohim/el/eloah as common noun in the Hebrew Bible. As such the study seeks to be a prolegomenon to all future research in that, instead of answering the question regarding a supposed nature of divinity, it aims to complicate it beyond expectation. In this way a case is made for a more nuanced and indeterminate manner of constructing the problem of what it meant to call something a god. (shrink)

The role of criteria in Wittgenstein’s philosophy The main objective of this article is to explain the role of the concept of a ‘criterion’ in Ludwig Wittgenstein’s philosophy. To do so, the author juxtaposes a few well‑known interpretations of this issue, and compares the notion of a criterion with the notion of a rule. Contrary to Peter M.S. Hacker’s reading, he points out that according to Wittgenstein, to give the ‘criteria of use’ of an expression is to determine its ‘grammar’. (...) To meet the criteria does not merely mean justifying the fact that a given thing occurs, but means that a given expression has an application under the particular conditions. Thus, there is no difference between the determination of the criteria of an expression’s use and the explication of its meaning. It should be noted that the fact that the expression ‘x’ has an application in a given situation does not always imply that the sentence ‘this is x’ is also true in this situation. The Wittgensteinian notion of a criterion is a semantical rather than an epistemological concept. Therefore, the conceived criteria cannot be used to reject scepticism, if by rejecting it we mean demonstrating its falsity. According to Wittgenstein, we can show at most that a sceptic, who rejects all criteria of use of words, cannot frame any doubts. (shrink)

When we use a directly referential expression to denote an object, do we incur an ontological commitment to that object, as Russell and Barcan Marcus held? Not according to Quine, whose regimented language has only variables as denoting expressions, but no constants to model direct reference. I make a case for a more liberal conception of ontological commitment—more wide-ranging than Quine’s—which allows for commitment to individuals, with an improved logical language of regimentation. The reason for Quine’s prohibition on commitment to (...) individuals, I argue, is that his choice of regimented language is heavily informed by his holist epistemology, in which objects are introduced via a description of their explanatory role. But non-holists can coherently attempt to commit to individuals using directly referential expressions, modelled in a formal language as constants. While holding on to the insight that a logical language is a helpful medium for ontology, I propose instead a more permissive language of regimentation, one expanded to permit the use of constants to record attempts to commit to individuals, which allows us to make sense of non-holist theories with alternative name-based or name-and-variable-based criteria of ontological commitment as well as Quinean theories. (shrink)

In Lowe’s Four-Category Ontology, instantiation is a basic formal ontological relation between particulars (objects, modes) and their kinds (kinds, attributes). Therefore, instantiation must be considered as a metaphysically necessary relation, which also rules out the metaphysical possibility of kind change. Nevertheless, according to Lowe, objects obtain their identity conditions in a more general level than specific natural kinds, which allows for kind change. There also seems to be actual examples of kind change. The advocate of Four-Category Ontology is obliged to (...) resolve the tension between these mutually incompatible claims. In this article, we argue that the only viable option for the advocate of Four-Category Ontology is to bite the bullet and stick to the necessity of each of the most specific natural kind to the object instantiating it. As a major drawback, the four-category ontologist does not have any credible means to allow for kind change or determination of the identity conditions in a more general level. (shrink)

This paper is the first trope-theoretical reply to E. J. Lowe’s serious dilemma against trope nominalism in print. The first horn of this dilemma is that if tropes are identity dependent on substances, a vicious circularity threatens trope theories because they must admit that substances are identity dependent on their constituent tropes. According to the second horn, if the trope theorist claims that tropes are identity independent, she faces two insurmountable difficulties. (1) It is hard to understand the ontological dependence (...) of tropes on substances. (2) The identity-conditions of tropes cannot be determinate, which threatens the determination of the identity-conditions of substances. Our reply to the first horn of Lowe’s dilemma is to deny the identity dependence of tropes. Yet we can avoid the second horn because our theory can explain the ontological dependence of tropes on substances and the fully-determined identity-conditions of both tropes and substances. (shrink)

Is it possible to characterize the sortal essence of Fs for a sortal concept F solely in terms of a criterion of identity C for F? That is, can the question ‘What sort of thing are Fs?’ be answered by saying that Fs are essentially those things whose identity can be assessed in terms of C? This paper presents a case study supporting a negative answer to these questions by critically examining the neo-Fregean suggestion that cardinal numbers can be fully (...) characterized as those things whose identity can be assessed in terms of one-one correspondence between concepts. (shrink)

Following W.V. Quine’s lead, many metaphysicians consider ontology to be concerned primarily with existential questions of the form, “What is there?”. Moreover, if the position advanced by Rudolf Carnap, in his seminal essay, “Empiricism, Semantics, and Ontology ”, is correct, then many of these existential ontological questions ought to be classified as either trivially answerable or as “pseudo-questions”. One may justifiably wonder, however, whether the Quinean and Carnapian perspective on ontology really does justice to many of the most central concerns (...) of this discipline. This chapter argues, by considering a particular ontological dispute between two different kinds of trope theorists, that some of the most interesting and important debates which properly belong to the study of being, whether we call it “metaphysics” or “ ontology ”, do not concern existential questions at all; rather, such disputes in some cases focus on non-existential disagreements over questions of fundamentality. (shrink)

The problem of identity of being in Buddhist philosophy: The Buddhist philosophical school of Madhyamaka is famous for its statement that things do not have their own inherent nature, essence or self‑nature (svabhāva). As a result, it is said that there is no objective foundation of the identity of things. Thus, the identity of things is not grounded in things themselves but is solely imputed and externally imposed on them. Things are what they are only for us, whereas for themselves, (...) or from their ‘own side’ they are empty (śūnya). That is why Madhyamaka philosophy is often compared to the philosophical conceptions inspired by a linguistic reflection (from Ludwig Wittgenstein to Jacques Derrida) which defines the problem of identity in terms of cognitive subjectivism and constructivism. Starting the analysis from the Abhidharma Buddhist tradition I will show that this reading of Madhyamaka view is too narrow. I will demonstrate that it is a result of an assumption, shared by Parmenides and Plato and wrongly ascribed to this Buddhist school, that the identity of being must be grounded in the self‑existing, self‑defined and (relatively) permanent ontological foundation. This tacit assumption, if rejected, makes any identity a completely subjective and relative construct. The point I am going to argue for, however, is that the Madhyamaka school sticks to an alternative understanding of objectivity; the foundation of all things is nothing but pure relation that precedes, in the ontological sense, all co‑related elements (i.e. things). Therefore, the question comes up: how being‑in‑relationship or ‘relationality’ may be the foundation of identity and what kind of identity it endows. I will try to answer these questions. (shrink)

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)

It is argued that from a genuine Leibnizian point of view the well-known thought experiment, call it BTE, involving a possible world with only two exactly similar objects, cannot be used to refute Leibniz's Principle of the Identity of Indiscernibles (LIdI). If the claim that there are two objects in BTE is based on primitive thisnesses, the Leibnizian objection is that there are no such things; and even if there were, then, quite generally, something true of one object – that (...) it has its primitive thisness – would not be true of the other. Secondly, if the duality claim is based on a primitive, irreducible relation of distinctness, the Leibnizian objection is that there are no irreducible relations. Finally, if it is said that the (putatively) two objects in BTE cannot be separately individuated, then BTE is not a counter-example to LIdI, because if there is no individuation, there are no individuals either, while LIdI presupposes that there are individuals. (shrink)

According Leibniz's thesis of universal expression, each substance expresses the whole world, i.e. all other substances, or, as Leibniz frequently states, from any given complete individual notion (which includes, in internal terms, everything truly attributable to a substance) one can "deduce" or "infer" all truths about the whole world. On the other hand, in Leibniz's view each (created) substance is internally individuated, self-sufficient and independent of other (created) substances. What may be called Leibniz's expression problem is, how to reconcile these (...) views with each other, that is, how a substance that expresses the whole world, even in the sense that the whole world can be "inferred" from its complete individual notion, can be self-sufficient and internally individuated. The purpose of this paper is to give an exact account of this tricky problem of universal expression, an account that retains substances' self-sufficiency under the constraint that all truths about the whole world are to be obtained from complete individual notions. It will also be shown how the explication of universal expression to be given accounts for Leibniz's thesis of universal change, i.e. the view that any change in any substance is reflected as a real, internal change in each and every other substance. (shrink)

The Principle of the Identity of Indiscernibles, according to which two objects are identical if they share all the same properties, has come in for much criticism. Michael Della Rocca has recently defended PII on the grounds that it is needed to forestall the possibility that where there appears to be only one object present, there is actually a multiplicity of exactly-overlapping such objects. Katherine Hawley has criticized this approach for violating a plausible “ground rule” in applying rules of indiscernibility (...) to questions of identity: where there is putative duplication, it must be qualitatively significant. Hawley further suggests that with this rule in hand, one can tell the difference between the presence of one and two indiscernible objects without recourse to either PII or brute, nonqualitative individuation. In this paper, I critically examine Hawley’s contention and find that her appeal to “qualitatively significant duplication” fails since its application to distinct indiscernibles involves a difference that is primarily quantitative anyway. The upshot is a different proposed set of “ground rules” for applying the criterion of qualitative difference when seeking a grounding or explanation for distinctness and identity. (shrink)

Much of the debate about identity in recent decades has been about personal identity, and specifically about personal identity over time, but identity generally, and the identity of things of other kinds, have also attracted attention. Various interrelated problems have been at the centre of discussion, but it is fair to say that recent work has focussed particularly on the following areas: the notion of a criterion of identity; the correct analysis of identity over time, and, in particular, the disagreement (...) between advocates of perdurance and advocates of endurance as analyses of identity over time; the notion of identity across possible worlds and the question of its relevance to the correct analysis of de re modal discourse; the notion of contingent identity; the question of whether the identity relation is, or is similar to, the composition relation; and the notion of vague identity. A radical position, advocated by Peter Geach, is that these debates, as usually conducted, are void for lack of a subject matter: the notion of absolute identity they presuppose has no application; there is only relative identity. Another increasingly popular view is the one advocated by Lewis: although the debates make sense they cannot genuinely be debates about identity, since there are no philosophical problems about identity. Identity is an utterly unproblematic notion. What there are, are genuine problems which can be stated using the language of identity. But since these can be restated without the language of identity they are not problems about identity. (For example, it is a puzzle, an aspect of the so-called “problem of personal identity”, whether the same person can have different bodies at different times. But this is just the puzzle whether a person can have different bodies at different times. So since it can be stated without the language of personal “identity”, it is not a problem about identity, but about personhood.) This article provides an overview of the topics indicated above, some assessment of the debates and suggestions for further reading. (shrink)

In this article I shall present a Meinong-inspired theory of fictional objects. This theory is based on two ideas: fictional objects are mental objects, i.e., they depend for their identity conditions on minded subjects thinking of them; they bear properties in two different ways, i.e., by instantiating properties and by having properties “ascribed” to them. In my perspective, ascription relations hold (at least) between an object, a property and a minded subject. After having presented some data about fictional discourse, I (...) shall defend the thesis that fictional objects are mental objects. Afterwards, I shall introduce ascription relations and I shall outline in detail my theory and a comprehensive ontology of fiction. Finally, I shall define the identity conditions of fictional objects, I shall deal with the aforementioned data and I shall summarize the advantages of my theory over rival theories of fictional objects. (shrink)

Possible world semantics considers not only what an expression actually refers to but also what it might have referred to in counterfactual circumstances. This has proven exceptionally useful both inside and outside philosophy. The way this is achieved is by using intensions. An intension of an expression is a function that assigns to each possible world the reference of the expression in that world. However, the specific intension of terms has been subject to frequent disputes. How is one to determine (...) the intension of a term? Carnap has shown how the intension of a term depends on the type of that term. Two-dimensional semantics has shown how intensions also depend on the actual state of affairs. I will show how, in addition, intensions are no less dependent on metaphysical criteria of identity. Furthermore, I will reveal how these three factors interact to fix the exact intension of a term. In other words, I propose an outline of the overall mechanism by which intensions are being fixed. (shrink)

Functionalism is often used to identify mental states with physical states. A particularly powerful case is Lewis's analytical functionalism. Kripke's view seriously challenges any such identification. The dispute between Kripke and Lewis's views boils down to whether the term ‘pain’ is rigid or nonrigid. It is a strong intuition of ours that if it feels like pain it is pain, and vice versa, so that ‘pain’ should designate, with respect to every possible world, all and only states felt as pain. (...) Hence, in order to settle the dispute, we need to check which of the two – Kripke's use of ‘pain’ as rigid, or Lewis's use of ‘pain’ as nonrigid – better meets this intuition. I show that, despite crucial differences in both their semantic and metaphysical assumptions, surprisingly, both views meet this intuition equally well. Thus it appears that this question of rigidity cannot, in principle, be solved, and so, at least with respect to this particular dispute, the jury is still out on whether mental states are identical to physical states. (shrink)