Davies argues that the ontology of artworks as performances offers a principled way of explaining work-relativity of modality. Object oriented contextualist ontologies of art (Levinson) cannot adequately address the problem of work-relativity of modal properties because they understand looseness in what counts as the same context as a view that slight differences in the work-constitutive features of provenance are work-relative. I argue that it is more in the spirit of contextualism to understand looseness as context-dependent. This points to the general (...) problem—the context of appreciation is not robust enough to ground modal intuitions about objective entities. In general, when epistemology dictates ontology there is always a threat of anti-realism, scepticism and relativism. Davies also appeals to the modality principle—an entity’s essential properties are all and only its constitutive properties. Davies understands essentiality in a traditional way: a property P is an essential property of an object o iff o could not exist and lack P. Kit Fine has recently made a convincing case for the view that the notion of essence is not to be understood in modal terms. I explore some of the implications of this view for Davies’ modal argument for the performance theory. (shrink)

Platonism delivers a theory of possibility that is distinct from both Lewisian modal realism and ersatz modal theories. By putting the topic of alien properties at centre stage in our modal theorizing, a strong preliminary case for platonism can be made. A puzzle about alien properties is created by modern truthmaker theory and some plausible assumptions about properties and existence. But this puzzle is one that platonism is able to solve in a simple and conservative way.

Amendment of the Witmer, Butchard, and Trogdon (2005) account of intrinsic properties with the aim of neutrality between competing theories of what is fundamental.

What is it to know more? By what metric should the quantity of one's knowledge be measured? I start by examining and arguing against a very natural approach to the measure of knowledge, one on which how much is a matter of how many. I then turn to the quasi-spatial notion of counterfactual distance and show how a model that appeals to distance avoids the problems that plague appeals to cardinality. But such a model faces fatal problems of its own. (...) Reflection on what the distance model gets right and where it goes wrong motivates a third approach, which appeals not to cardinality, nor to counterfactual distance, but to similarity. I close the paper by advocating this model and briefly discussing some of its significance for epistemic normativity. In particular, I argue that the 'trivial truths' objection to the view that truth is the goal of inquiry rests on an unstated, but false, assumption about the measure of knowledge, and suggest that a similarity model preserves truth as the aim of belief in an intuitively satisfying way. (shrink)

In his article “The Megarian and Aristotelian Concept of Possibility”, Nicolai Hartmann attempts to revive an interpretation of the conception of possibility of the Megarians that stood in opposition to the Aristotelian conception of possibility and thus in opposition to the Aristotelian conception of modality in general. In this introduction, I undertake to situate Hartmann’s article in its historical context. Did Hartmann come to adopt this thesis through his study of ancient Greek philosophy? Or did he already have a predilection (...) for the Megarian conception of possibility prior to this? If so, how did this predilection come about? Was there an influence from his friend Vasily Sesemann, who published an article discussing the Megarians the previous year? Or were both Hartmann and Sesemann influenced early on by their mutual Russian teacher Nikolai Lossky, or even by a general tendency pervading Russian thought—itself grounded in the fatalism typical of the Russian collective unconscious—as we find it expressed in the philosophy of Vladimir Solovyov, Lev Tolstoy, and other Russian thinkers? (shrink)

The view that chances are relative frequencies of occurrence within actual, finite reference classes has long been written off. I argue that it ought to be reconsidered. Focusing on non-deterministic chance, I defend a version of finite frequentism in which reference classmates are required to have qualitatively identical pasts. While my analysis can evade or resist several standard objections, it has a counterintuitive consequence: non-trivial chances entail the existence of past light cones that are perfect intrinsic duplicates. In mitigation, I (...) argue that our scientific knowledge is consistent with the hypothesis that there are many such duplicates in the actual world. Moreover, my analysis has some striking advantages: it is simple, it is metaphysically undemanding, and it makes possible a satisfying explanation of the chance–credence connection. 1 Introduction2 Target3 Sketch and Skirmish4 Articulation5 Standard Worries5.1 Frequency tolerance5.2 Leibniz’s dictum5.3 Single case chance5.4 Missing values5.5 Explanation5.6 Counterfactual chances6 Chance and Credence6.1 An indefeasible indifference intuition6.2 Articulating the credence principle6.3 Appraising the credence principle7 Confirmation8 Laws9 Summing Up. (shrink)

In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish between conditions (...) for the truth of tensed tokens and conditions for the truth of propositions expressed by tensed tokens. I demonstrate that there is a true formulation of the token-reflexive theory that provides necessary and sufficient conditions for the truth of tensed tokens, and there is a true formulation of the date theory that provides necessary and sufficient conditions for the truth of propositions expressed by tensed tokens. I argue that once the views are properly formulated, the A-theorist’s objections fail to make their mark. However, I conclude by claiming that even though there is a true formulation of the token-reflexive theory and a true formulation of the date theory, the New B-theory nonetheless fails to provide a complete account of the truth and falsity of tensed sentences. (shrink)

It is fairly common, among those who think propositions exist, to think they exist necessarily. Here, I consider three arguments in support of that conclusion. What I hope to show is not that that claim is false, but, rather, that the arguments used in its defense tend to presuppose a certain kind of approach to modality: a roughly Plantingian view. What the arguments show, then, is that one cannot accept that approach to modality and accept contingently existing propositions. But there (...) are other approaches to modality – I discuss three such approaches – into which contingently existing propositions fit perfectly well. This suggests that disputes over, for example, singular propositions, must be conducted within a broader agreement over modal matters if they are to be at all productive. (shrink)

In this paper I argue that adopting a perdurance view of persistence through time does not lead to skepticism about moral responsibility, despite what many theorists have thought.

Despite the importance of the variational principles of physics, there have been relatively few attempts to consider them for a realistic framework. In addition to the old teleological question, this paper continues the recent discussion regarding the modal involvement of the principle of least action and its relations with the Humean view of the laws of nature. The reality of possible paths in the principle of least action is examined from the perspectives of the contemporary metaphysics of modality and Leibniz's (...) concept of essences or possibles striving for existence. I elaborate a modal interpretation of the principle of least action that replaces a classical representation of a system's motion along a single history in the actual modality by simultaneous motions along an infinite set of all possible histories in the possible modality. This model is based on an intuition that deep ontological connections exist between the possible paths in the principle of least action and possible quantum histories in the Feynman path integral. I interpret the action as a physical measure of the essence of every possible history. Therefore only one actual history has the highest degree of the essence and minimal action. To address the issue of necessity, I assume that the principle of least action has a general physical necessity and lies between the laws of motion with a limited physical necessity and certain laws with a metaphysical necessity. (shrink)

Objective probability in quantum mechanics is often thought to involve a stochastic process whereby an actual future is selected from a range of possibilities. Everett’s seminal idea is that all possible definite futures on the pointer basis exist as components of a macroscopic linear superposition. I demonstrate that these two conceptions of what is involved in quantum processes are linked via two alternative interpretations of the mind-body relation. This leads to a fission, rather than divergence, interpretation of Everettian theory and (...) to a novel explanation of why a principle of indifference does not apply to self-location uncertainty for a post-measurement, pre-observation subject, just as Sebens and Carroll claim. Their Epistemic Separability Principle is shown to arise out of this explanation and the derivation of the Born rule for Everettian theory is thereby put on a firmer footing. (shrink)

There are currently several versions of Everett's relative state interpretation of quantum mechanics, responding to a number of perceived problems for the original proposal. One of those problems is whether Everett's idea is in accord with the standard 'probabilistic' interpretation implicit in the Born rule. I argue in defence of what appears to be Everett's original view on this. The contribution I aim to make is a more complete discussion of the central issues of the identity of objects and observers (...) over time and how the concept of expectation can be applied when all 'possible' outcomes of a measurement process are regarded as actually occurring. (shrink)

In this paper I offer a counterexample to the so called vagueness argument against restricted composition. This will be done in the lines of a recent suggestion by Trenton Merricks, namely by challenging the claim that there cannot be a sharp cut-off point in a composition sequence. It will be suggested that causal powers which emerge when composition occurs can serve as an indicator of such sharp cut-off points. The main example will be the case of a heap. It seems (...) that heaps might provide a very plausible counterexample to the vagueness argument if we accept the idea that four grains of sand is the least number required to compose a heap—the case has been supported by W. D. Hart. My purpose here is not to put forward a new theory of composition, I only wish to refute the vagueness argument and point out that we should be wary of arguments of its form. (shrink)

Intuition serves a variety of roles in contemporary philosophy. This paper provides a historical discussion of the revival of intuition in the 1970s, untangling some of the ways that intuition has been used and offering some suggestions concerning its proper place in philosophical investigation. Contrary to some interpretations of the results of experimental philosophy, it is argued that generalized skepticism with respect to intuition is unwarranted. Intuition can continue to play an important role as part of a methodologically conservative stance (...) towards philosophical investigation. I argue that methodological conservatism should be sharply distinguished from the process of evaluating individual propositions. Nevertheless, intuition is not always a reliable guide to truth and experimental philosophy can serve a vital ameliorative role in determining the scope and limits of our intuitive competence with respect to various areas of inquiry. (shrink)

According to a view I’ll call Epistemic Normativism, knowledge is normative in the same sense in which paradigmatically normative properties like justification are normative. This paper argues against EN in two stages and defends a positive non-normativist alternative. After clarifying the target in §1, I consider in §2 some arguments for EN from the premise that knowledge entails justification. I first raise some worries about inferring constitution from entailment. I then rehearse the reasons why some epistemologists reject the Entailment Thesis (...) and argue that a non-normativist picture provides the best explanation of all the intuitions surrounding this thesis, favorable and unfavorable. On this picture, human knowledge is a structured non-normative complex that has as one of its parts a justification-making property, analogous in role to good-making properties like pleasurableness. After giving three arguments against EN in §3 and answering an objection in §4, I turn in §5 to further develop the positive view sketched in §2. In §6, I take stock and conclude. (shrink)

A and B continue their conversation concerning the Identity of Indiscernibles. Both are aware of recent critiques of the principle that haven’t received replies; B summarizes those critiques, and A offers the replies that are due. B then raises a new worry.

Persons think. Bodies, time-slices of persons, and brains might also think. They have the necessary neural equipment. Thus, there seems to be more than one thinker in your chair. Critics assert that this is too many thinkers and that we should reject ontologies that allow more than one thinker in your chair. I argue that cases of multiple thinkers are innocuous and that there is not too much thinking. Rather, the thinking shared between, for example, persons and their bodies is (...) exactly what we should expect at the intersection of part sharing and the supervenience of the mental on the physical. I end by responding to the overcrowding objection, the personhood objection, the personal-pronoun reference problem and the epistemic objection. (shrink)

A strong form of representationalism says that every conscious property of every mental state can be identified with some part of the state’s representational properties. A weaker representationalism says that some conscious property of some mental state can be identified with some part of the state’s representational properties. David Papineau has recently argued that all such theories are incorrect since they construe consciousness as consisting in “relations to propositions or other abstract objects outside space and time”, whereas consciousness is “concrete” (...) and “here and now”. Papineau defends instead a kind of “qualia theory” according to which all conscious properties are intrinsic non-relational properties of subjects. He argues that this theory bypasses the difficulties he identifies for representationalism. Similar worries about representationalism, and similar ideas to the effect that some qualia theory, adverbial theory, or sense-datum theory fares better with respect to these worries are relatively wide-spread. I argue that Papineau’s theory does not bypass the difficulties he identifies for representationalism. In fact, Papineau’s theory arguably has no advantage at all over representationalism with regard to these issues. The features that concern Papineau about representationalist views do not derive—or do not derive solely—from the representationalism of these views. They derive from a common-factorism of these views. And this common-factorism is embraced by Papineau as well as by most theories of consciousness and perception. (shrink)

In this paper I argue that questions about the semantics of rigid designation are commonly and illicitly run together with distinct issues, such as questions about the metaphysics of essence and questions about the theoretical legitimacy of the possible-worlds framework. I discuss in depth two case studies of this phenomenon – the first concerns the relation between rigid designation and reference, the second concerns the application of the notion of rigidity to general terms. I end by drawing out some conclusions (...) about the relations between rigid designation, semantic frameworks, reference, and essence. (shrink)

A-theorists think there is a fundamental difference between the present and other times. This concern shows up in what kinds of properties they take to be instantiated, what objects they think exist and how they formalize their views. Nearly every contemporary A-theorist assumes that her metaphysics requires a tense logic – a logic with operators like and. In this paper, I show that there is at least one viable A-theory that does not require a logic with tense operators. And I (...) will argue that three common indispensability arguments for tense operators are unsound. (shrink)

This article surveys recent developments in the epistemology of modality.

Frank Jackson has argued that, given plausible claims about supervenience, descriptive predicates and property identity, there are no irreducibly normative properties. Philosophers who think that there are such properties have made several objections to this argument. In this paper, I argue that all of these objections fail. I conclude that Jackson's argument shows that there are no irreducibly normative properties.

This article suggests that Chomsky’s notorious ‘London’ argument against semantics looks much more plausible that it is usually interpreted as being when seen in the light of something apparently remote from its concerns, viz., David Lewis’s distinction between natural and non-natural properties.

Pantheism claims: (1) there exists an all-inclusive unity; and (2) that unity is divine. I review three current and scientifically viable ontologies to see how pantheism can be developed in each. They are: (1) materialism; (2) Platonism; and (3) class-theoretic Pythagoreanism. I show how each ontology has an all-inclusive unity. I check the degree to which that unity is: eternal, infinite, complex, necessary, plentiful, self-representative, holy. I show how each ontology solves the problem of evil (its theodicy) and provides for (...) salvation (its soteriology). I conclude that Platonism and Pythagoreanism have the most divine all-inclusive unities. They support sophisticated contemporary pantheisms. (Published Online February 17 2004). (shrink)

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). There (...) are physically and metaphysically possible machines. There is an iterative hierarchy of logically possible machines in the iterative hierarchy of sets. Some algorithms are such that machines that instantiate them are minds. So there is an iterative hierarchy of finitely and transfinitely complex minds. (shrink)

In the 1680s, Gottfried Leibniz and Antoine Arnauld engaged in a philosophically rich correspondence. One issue they discuss is modal metaphysics – questions concerning necessity, possibility, and essence. While Arnauld's contributions to the correspondence are considered generally astute, his contributions on this issue have not always received a warm treatment. I argue that Arnauld's criticisms of Leibniz are sophisticated and that Arnauld offers his own Cartesian account in its place. In particular, I argue that Arnauld offers an account of possibility (...) that is actualist, modal actualist and essence-based. (shrink)

What is required for one thing to be a reason for another? Must the reason, more precisely, be or involve a principle? In this essay I target the idea that justification via reasons of one's beliefs (e.g., epistemic or moral) requires that the 'justifying reasons' be or involve (substantive and significant) principles. I identify and explore some potential sources of a principles requirement, and conclude that none of them (i.e., the normative function of reasons, the abstract structure of reasons, the (...) universalizability constraint on [moral] reasons, and even the pragmatic considerations that attenuate 'real-world' reason-giving) mandate that reasons be principles. I then explore implications of this conclusion, and note especially the resultant and paradoxical permissibility of justifying reasons that manage to be lawlike (a sine qua non for justifying reasons) even while consisting of highly-detailed and situation-specific proposition sets, e.g., novel-length narratives. (shrink)

Kripke models, interpreted realistically, have difficulty making sense of the thesis that there might have existed things that do not in fact exist, since a Kripke model in which this thesis is true requires a model structure in which there are possible worlds with domains that contain things that do not exist. This paper argues that we can use Kripke models as representational devices that allow us to give a realistic interpretation of a modal language. The method of doing this (...) is sketched, with the help of an analogy with a Galilean relativist theory of spatial properties and relations. (shrink)

Timothy Williamson has argued for the radical conclusion that everything necessarily exists. In this paper, I assume that the conclusion of Williamson’s argument is more incredible than the denial of his premises. Under the assumption that Williamson is mistaken, I argue for the claim that there are some structured propositions which have constituents that might not have existed. If those constituents had not existed, then the propositions would have had an unfilled role; they would have been gappy. This gappy propositions (...) view allows for a plausible response to Williamson’s argument. Additionally, a slight variant of the gappy propositions view allows for plausible defense of Linguistic Ersatzism from the problem of contingent non-existents (also known as the problem of aliens). (shrink)

‘Ahab is a whaler’ and ‘Holmes is a whaler’ express different propositions, even though neither ‘Ahab’ nor ‘Holmes’ has a referent. This seems to constitute a theoretical puzzle for the Russellian view of propositions. In this paper, I develop a variant of the Russellian view, Plenitudinous Russellianism. I claim that ‘Ahab is a whaler’ and ‘Holmes is a whaler’ express distinct gappy propositions. I discuss key metaphysical and semantic differences between Plenitudinous Russellianism and Traditional Russellianism and respond to objections that (...) stem from those differences. (shrink)

Ockham's razor is popularly phrased as a prohibition against multiplying entities beyond necessity. This prohibition should extend to the receptacle for these entities. To state my thesis more positively and precisely, both qualitative and quantitative parsimony apply to space, time, and possibility. All other things equal, we ought to prefer a hypothesis that postulates less space. Smaller is better. Admittedly, scientists are ambivalent about economizing on the void. They praise simplicity. Yet astronomers have a history of helping themselves to as (...) much empty space as they wish—staggering common sense with the vastness of the universe. This largesse is abetted by an aesthetic bias for sublime hypotheses. Whereas abductions based on beauty converge with parsimony, abductions based on the sublime diverge from parsimony. Awe stifles our inner accountant. Both types of abduction are popular. Both are dubious because we lack independent assurance that the universe is beautiful or sublime. The analogy between space and time supports an extension of parsimony to time. Uniformitarian geologists regarded time as a free resource. However, geologists and cosmologists must justify their postulation of an immense past. Possibility follows suit. Contrary to David Lewis, possible worlds should be minimized. Parsimony about possibilities provides a rationale for parsimony about absences. Absences are possibilities that are not actual. So proliferation of absences entails proliferation of possibilities. We should admit only those absences which do explanatory work. (shrink)

Composite materialism, as I will understand it, is the view that human persons are composite material objects. This paper develops and investigates an argument, The Vague Singulars Argument, for the falsity of composite materialism. We shall see that cogent or not, the Vague Singulars Argument has philosophically significant ramifications.

Jonathan Schaffer argues against a necessary connection between properties and laws. He takes this to be a question of what possible worlds we ought to countenance in our best theories of modality, counterfactuals, etc. In doing so, he unfairly rigs the game in favor of contingentism. I argue that the necessitarian can resist Schaffer’s conclusion while accepting his key premise that our best theories of modality, counterfactuals, etc. require a very wide range of things called ‘possible worlds’. However, the necessitarian (...) can and should insist that, in many cases, these worlds are not metaphysically possible. I will further argue that, having taken such a stance, the necessitarian has additional resources to respond to Schaffer’s other arguments against the view. (shrink)

Arguably, there is no substantial, general answer to the question of what makes for the approximate truth of theories. But in one class of cases, the issue seems simply resolved. A wide class of applied dynamical theories can be treated as two-component theories—one component specifying a certain kind of abstract geometrical structure, the other giving empirical application to this structure by claiming that it replicates, subject to arbitrary scaling for units etc., the geometric structure to be found in some real-world (...) dynamical phenomenon. In such a case, a theory is approximately true just if the one geometric structure approximately replicates the other (and if problems remain here, they are problems in geometry, of specifying suitable metric approximation relations, not conceptual problems). This article amplifies and defends this simple approach to approximate truth for dynamical theories. (shrink)

In this article, I develop and defend a conception of psychological continuity that differs from the 'orthodox' conception in terms of overlapping chains of strongly connected mental states. By recognizing the importance of the (narrative) interrelatedness of qualitatively dissimilar mental contents, as well as the role of the body in psychological continuity, I argue, serious problems confronting the orthodox view can be solved.

Achille Varzi [2000] has suggested a nice response to the familiar argument purporting to establish the existence of perfectly coinciding objects – objects which, if they existed, would trouble mereological extensionality and the “Minimalist View” of ontology. The trick is to defend Minimalism without tarnishing its status as a meta-principle: that is, without making any firstorder ontological claims. Varzi’s response, though seeming to allow for a comfortable indifference about metaphysical matters peripheral to Minimalism, is not general enough to stave off (...) attacks on extensionality from more sophisticated corners. However, Varzi’s argument bears a kinship with a more general argument against coincident objects. I consider how such an argument sits with the meta-doctrinal status of Minimalism. (shrink)

The way in which vision represents objects as being the same despite movement and qualitative changes has been extensively investigated in contemporary psychology. However, the formal properties of the visual sameness relation are still unclear, for example, whether it is an identity-like, equivalence relation. The paper concerns one aspect of this problem: the transitivity of visual sameness. Results obtained by using different experimental paradigms are analysed, in particular studies using streaming/bouncing stimuli, multiple object tracking experiments and investigations concerning object-specific preview (...) benefit, and it is argued that the transitive interpretation of visual sameness is the most plausible given the current stage of knowledge. What is more, it is claimed that the way in which visual sameness is represented suggests that in some cases it should be characterized as a “primitive sameness”, similarly as in philosophical theories postulating “thisness”. (shrink)

Kelly Trogdon [2009] argues that priority monism—here, the view that only the world as a whole has fundamental properties—conflicts with the best extant accounts of intrinsicality. He then proposes an alternative account that is designed to be not only compatible with this view, but also independently plausible. But his account conflicts with priority monism as well, and incorrectly classifies various non-intrinsic properties.

Fine is widely thought to have refuted the simple modal account of essence, which takes the essential properties of a thing to be those it cannot exist without exemplifying. Yet, a number of philosophers have suggested resuscitating the simple modal account by appealing to distinctions akin to the distinction Lewis draws between sparse and abundant properties, treating only those in the former class as candidates for essentiality. I argue that ‘sparse modalism’ succumbs to counterexamples similar to those originally posed by (...) Fine, and fails to capture paradigmatic instances of essence involving abundant properties and relations. (shrink)

In this paper I discuss the so-called problem of creeping minimalism, the problem of distinguishing metaethical expressivism from its rivals once expressivists start accepting minimalist theories about truth, representation, belief, and similar concepts. I argue that Dreier’s ‘explanation’ explanation is almost correct, but by critically examining it we not only get a better solution, but also draw out some interesting results about expressivism and non-representationalist theories of meaning more generally.

There is a salient contrast in how theoretical representations are regarded. Some are regarded as revealing the nature of what they represent, as in familiar cases of theoretical identification in physical chemistry where water is represented as hydrogen hydroxide and gold is represented as the element with atomic number 79. Other theoretical representations are regarded as serving other explanatory aims without being taken individually to reveal the nature of what they represent, as in the representation of gold as a standard (...) for pre-20th century monetary systems in economics or the representation of the meaning of an English sentence as a function from possible worlds to truth values in truth-conditional semantics. Call the first attitude towards a theoretical representation *realist* and the second attitude *instrumentalist*. Philosophical explanation purports to reveal the nature of whatever falls within its purview, so it would appear that a realist attitude towards its representations is a natural default. I offer reasons for skepticism about such default realism that emerge from attending to several case studies of philosophical explanation and drawing a general metaphilosophical moral from the foregoing discussion. (shrink)

This is a symposium on my book, Writing the Book of the World, containing a precis from me, criticisms from Contessa, Merricks, and Schaffer, and replies by me.

According to Timothy Williamson, we should accept the simplest and most powerful second-order modal logic, and as a result accept an ontology of "bare possibilia". This general method for extracting ontology from logic is salutary, but its application in this case depends on a questionable assumption: that modality is a fundamental feature of the world.

A property, F, is maximal i?, roughly, large parts of an F are not themselves Fs. Maximal properties are typically extrinsic, for their instantiation by x depends on what larger things x is part of. This makes trouble for a recent argument against microphysical superve- nience by Trenton Merricks. The argument assumes that conscious- ness is an intrinsic property, whereas consciousness is in fact maximal and extrinsic.

Jonathan Schaffer distinguishes two sorts of monism. Existence monists say that only one object exists: The World. Priority monists admit the existence of The World’s parts, but say that their features are derivative from the properties of The World. Both have trouble explaining the features of statespace, the set of possibilities available to The World.

This paper offers a metaphysical explanation of the identity and distinctness of concrete objects. It is tempting to try to distinguish concrete objects on the basis of their possessing different qualitative features, where qualitative features are ones that do not involve identity. Yet, this criterion for object identity faces counterexamples: distinct objects can share all of their qualitative features. This paper suggests that in order to distinguish concrete objects we need to look not only at which properties and relations objects (...) instantiate but also how they instantiate these properties and relations. I propose that objects are identical when they stand in certain qualitative relations in virtue of their existence. And concrete objects are distinct when they do not stand in the same kinds of relations to one another in virtue of their existence. (shrink)