It is uncontroversial that artifacts like statues and tables are mind-dependent. What is controversial is whether and how this mind-dependence has implications for the ontology of artifacts. I argue the mind-dependence of artifacts entails that there are no artifacts or artifact joints in the extra-mental world. In support of this claim, I argue that artifacts and artifact joints lack any extra-mental grounding, and so ought not to have a spot in a realist ontology. I conclude that the most plausible story (...) about artifacts is that they are in minds of suitably intelligent creatures, and not the extra-mental world. Artifacts and their joints are merely mental projections onto a world of ‘indifferent materials’. With this established, I show how many cases of object coincidence, the view that more than one material object can be located in the same exact region of space-time, cannot occur. (shrink)

Recently, several authors have claimed to have found graph-theoretic counterexamples to the Principle of the Identity of Indiscernibles. In this paper, I argue that their counterexamples presuppose a certain view of what unlabeled graphs are, and that this view is optional at best.

What would my life have been like if I had been born more intelligent? Or taller? Or a member of the opposite sex? Or a non-biological being? It is plausible that some of these questions make sense, while others stretch the limits of sense making. In addressing questions of how I might have been, genetic essentialism is popular, but this article argues that genetic essentialism, and other versions of origin essentialism for organisms, must be rejected. It considers the prospects for (...) counterpart theory and shows how counterpart theory can be used to illuminate volitional accounts of identity as proposed by Harry Frankfurt. This enables one to make sense of claims that, say, being gay, or Deaf, or Black, can be essential to someone's identity. The discussion is then extended to show how it can be made applicable to the transworld identity theorist who denies that individuals possess essential properties. (shrink)

This paper maintains (following Yougrau 1987; 2000 and Hinchliff 1996) that the dead and other former existents count as examples of non-existent objects. If the dead number among the things there are, a further question arises: what is it to be dead—how should the state of being dead be characterised? It is argued that this state should be characterised negatively: the dead are not persons, philosophers etc. They lack any of the (intrinsic) qualities they had while they lived. The only (...) facts involving the dead are facts about the relations they stand in—including the relations they bear to the qualities they formerly instantiated, and the intentional relations they stand in to us. Given an appropriate conception of qualities the dead can be said to be quality-less objects: bare particulars. The ‘Bare Particular Theory’ of individuals, it is argued, is coherent if and only if it concedes that the bare particulars it allows for don’t exist. The account of the dead and other former existents as bare particulars does justice to the misfortune of death, and points the way to a general theory of nonexistent objects. (shrink)

A central debate in contemporary philosophy of perception is between those who hold that perception is a detection relation of sensory awareness and those who hold that it is representational state akin to belief. Another key debate is between those who claim that we can perceive natural or artifactual kind properties, e.g. ‘being a tomato’, ‘being a doorknob’, etc. and those who hold we cannot. The current consensus is that these debates are entirely unrelated. I argue that this consensus is (...) wrong: the perception of natural or artifactal kinds favours representationalism. Naïve realists who wish to accommodate such perception should embrace a disunified metaphysics of perception, one that combines relational and representational events; call such a view ‘impure relationalism.’. (shrink)

Using the Hilbert-Bernays account as a spring-board, we first define four ways in which two objects can be discerned from one another, using the non-logical vocabulary of the language concerned. Because of our use of the Hilbert-Bernays account, these definitions are in terms of the syntax of the language. But we also relate our definitions to the idea of permutations on the domain of quantification, and their being symmetries. These relations turn out to be subtle---some natural conjectures about them are (...) false. We will see in particular that the idea of symmetry meshes with a species of indiscernibility that we will call `absolute indiscernibility'. We then report all the logical implications between our four kinds of discernibility. We use these four kinds as a resource for stating four metaphysical theses about identity. Three of these theses articulate two traditional philosophical themes: viz. the principle of the identity of indiscernibles, and haecceitism. The fourth is recent. Its most notable feature is that it makes diversity weaker than what we will call individuality : two objects can be distinct but not individuals. For this reason, it has been advocated both for quantum particles and for spacetime points. Finally, we locate this fourth metaphysical thesis in a broader position, which we call structuralism. We conclude with a discussion of the semantics suitable for a structuralist, with particular reference to physical theories as well as elementary model theory. (shrink)

In his paper, “Identity Statements and Essentialism,” Loux seeks to demonstrate sortal essentialism based on Frege’s thesis that all statements of number concerning a collection require that the members fall under the same sortal concept. I shall attempt to argue that a detailed analysis of Loux’s argument reveals it as failing to imply the type of sortal dependency thesis necessary for the justification of sortal essentialism. However, if one construes the transworld identity relation as no different from our run of (...) the mill identity relation, then his argument can serve as the basis for a proof of a type of nontrivial essentialism, thereby showing that the possible worlds picture of modality is indeed committed to a robust essentialism. (shrink)

In this paper we consider the emerging position in metaphysics that artifact functions characterize real kinds of artifacts. We analyze how it can circumvent an objection by David Wiggins (Sameness and substance renewed, 2001, 87) and then argue that this position, in comparison to expert judgments, amounts to an interesting fine-grained metaphysics: taking artifact functions as (part of the) essences of artifacts leads to distinctions between principles of activity of artifacts that experts in technology have not yet made. We show, (...) moreover, that our argument holds not only in the artifactual realm but also in biology: taking biological functions as (part of the) essences of organs leads to distinctions between principles of activity of organs that biological experts have not yet made. We run our argument on the basis of analyses of artifact and biological functions as developed in philosophy of technology and of biology, thus importing results obtained outside of metaphysics into the debate on ontological realism. In return, our argument shows that a position in metaphysics provides experts reason for trying to detect differences between principles of activities of artifacts and organs that have not been detected so far. (shrink)

In 1988, Michael Nyman composed the score for Peter Greenaway’s film Drowning by Numbers (or did something that we would ordinarily think of as composing that score). We can think of Nyman’s compositional activity as a “generative performance” and of the sound structure that Nyman indicated (or of some other abstract object that is appropriately related to that sound structure) as the product generated by that performance (ix).1 According to one view, Nyman’s score for Drowning by the Numbers—the musical work—is (...) the product generated by Nyman’s compositional activity (namely, an abstract object) and, more generally, artworks are identified with the products generated by compositional or other creative activities. Let’s call this view The Product Theory. By contrast, according to another view, Nyman’s score for Drowning by Numbers is the generative performance itself (namely, Nyman’s compositional activity) and, more generally, artworks are identified with generative performances themselves. Following David Davies in Art as Performance, let’s call this view The Performance Theory (80). In that book, Davies argues for The Performance Theory and against The Product Theory. (shrink)

P.T. Geach has maintained (see, e.g., Geach (1967/1968)) that identity (as well as dissimilarity) is always relative to a general term. According to him, the notion of absolute identity has to be abandoned and replaced by a multiplicity of relative identity relations for which Leibniz's Law - which says that if two objects are identical they have the same properties - does not hold. For Geach relative identity is at least as good as Frege's cardinality thesis which he takes to (...) be strictly connected with relative identity - according to which an ascription of cardinality is always relative to a concept which specifies what, in any particular case, counts as a unit. The idea that there is a close connection between relative identity and Frege's cardinality thesis has been issued again quite recently by Alston and Bennett in (1984). In their opinion, Frege's cardinality thesis is not only similar to relative identity - as Geach maintains - but it implies it. Moreover, they agree with Geach in claiming that a commitment to Frege's cardinality thesis forces a parallel commitment to relative identity. Against Geach, Alston and Bennett we will claim that (Tl): "Frege's cardinality thesis is similar to relative identity" is false and that therefore (T2) "Frege's cardinality thesis implies relative identity" is false as well. (shrink)

The general question (G) How do we categorize artifacts? can be subject to three different readings: an ontological, an epistemic and a semantic one. According to the ontological reading, asking (G) is equivalent to asking in virtue of what properties, if any, a certain artifact is an instance of some artifact kind: (O) What is it for an artifact a to belong to kind K? According to the epistemic reading, when we ask (G) we are investigating what properties of the (...) object we exploit in order to decide whether a certain artifact belongs to a certain kind. (G) thus becomes: (E) How can we know that artifact a belongs to kind K? Finally, (G) can also be read as a question concerning the semantics of artifact kind terms. The semantic reading of (G) is: (S) What kind of reference do artifact kind terms have, if any? In this editorial we expand on the different answers to (O), (E) and (S) that are given in the selected literature on the topic. The result should give us an overall picture of the possible answers to (G). (shrink)

In the current debate on how ordinary objects persist through time, more than one philosopher has endorsed the following two theses: stage theory and diachronic universalism. In this paper, I would like to offer a solution to the problem that Balashov poses to the joint acceptance of these theses. I will also offer a number of reasons why, even if it is not necessary to undermine Balashov’s counterexamples, stage theorists can, without making their theory less appealing, reject Balashov’s understanding of (...) sorts, which plays a crucial role in his criticisms of stage universalism. (shrink)

In the past few years, deflationary positions in the debate on the nature of composite material objects have become prominent. According to Ted Sider these include the thesis of quantifier variance, against which he has defended ontological realism. Recently, Sider has considered the possibility of rejecting his arguments against the vagueness of the unrestricted quantifiers in terms of translation functions. Against this strategy, he has presented an intuitive complaint and has argued that it can only be resisted if quantifier variance (...) is accepted. But this is false. In this paper I argue, against Sider, that there is a coherent way to combine the rejection of quantifier variance with the vagueness of the unrestricted quantifiers. I sketch a model to show this, and then I consider, on the basis of it, several versions of the indeterminacy argument against the vagueness of the unrestricted quantifiers that Sider has formulated over the years. (shrink)

Priority monism is roughly the view that the universe is the only fundamental object, that is, a concrete object that does not depend on any other concrete object. Schaffer, the main advocate of PM, claims that PM is compatible with dependence having two different directions: from parts to wholes for subcosmic wholes, and from whole to parts for the cosmic whole. Recently it has been argued that this position is untenable. Given plausible assumptions about dependence, PM entails that dependence has (...) only one direction, it always goes from wholes to parts. One such plausible assumption is a principle of Isolation. I argue that, given all extant accounts of dependence on the market, PM entails No Isolation. The argument depends upon a particular feature of the dependence relation, namely, necessitation and its direction. In the light of this, I contend that the argument is important, insofar as it suggests that we should distinguish dependence from other cognate notions, e.g. grounding. Once this distinction is made, I suggest we should also distinguish between two different notions of fundamentality that might turn out to be not-coextensive. (shrink)

Unger has recently argued that if you are the only thinking and experiencing subject in your chair, then you are not a material object. This leads Unger to endorse a version of Substance Dualism according to which we are immaterial souls. This paper argues that this is an overreaction. We argue that the specifically Dualist elements of Unger’s view play no role in his response to the problem; only the view’s structure is required, and that is available to Unger’s opponents. (...) We outline one such non-Dualist view, suggest how to resolve the dispute, respond to some objections, and argue that ours is but one of many views that survive Unger’s challenge. All these views are incompatible with microphysicalism. So Unger’s discussion does contain an insight: if you are the only conscious subject in your chair, then microphsyicalism is false. Unger’s mistake was to infer Substance Dualism from this; for microphysicalism is not the only alternative to Dualism. (shrink)

This article compares the ability to track individuals lacking mental states with the ability to track intentional agents. It explains why reference to individuals raises the problem of explaining how cognitive agents track unique individuals and in what sense reference is based on procedures of perceptual-motor and epistemic tracking. We suggest applying the notion of singular-files from theories in perception and semantics to the problem of tracking intentional agents. In order to elucidate the nature of agent-files, three views of the (...) relation between object- and agent-tracking are distinguished: the Independence, Deflationary and Organism-Dependence Views. The correct view is argued to be the latter, which states that perceptual and epistemic tracking of a unique human organism requires tracking both its spatio-temporal object-properties and its agent-properties. (shrink)

Semantic externalism in contemporary philosophy of language typically – and often tacitly – combines two supervenience claims about idiolectical meaning (i.e., meaning in the language system of an individual speaker). The first claim is that the meaning of a word in a speaker’s idiolect may vary without any variation in her intrinsic, physical properties. The second is that the meaning of a word in a speaker’s idiolect may vary without any variation in her understanding of its use. I here show (...) that a conception of idiolectical meaning is possible that accepts the “anti-internalism” of the first claim while rejecting (what I shall refer to as) the “anti-individualism” of the second. According to this conception, externally constituted idiolectical meaning supervenes on idiolectical understanding. (shrink)

I agree with a great deal in Helen Steward's paper. I am especially sympathetic to her suggestion that we gain metaphysical illumination by considering various ways in which we arrive at ideas of certain kinds of individuals by abstraction from those of more basic kinds. My aim is to pursue that suggestion by exploring the proposal that a grounding node in this form of abstraction may be characterized by Exclusivity in spatial location. Steward claims that we arrive at our ideas (...) of specific events and processes by different modes of abstraction in cases where a more basic persisting individual undergoes some kind of change. I argue that the most basic individuals in this hierarchy of abstraction are enduring substances that occupy their spatial location exclusively at all times: no two such substances are ever precisely collocated. (shrink)

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

In the paper, after clarifying terms such as ‘identity’, ‘self’ and ‘personhood’, I propose an empirical account of identity based on the notion of “whole phenotype”. This move allows one to claim the persistence of the individuals before and after their being affected by dementia. Furthermore, I show how this account permits us to address significant questions related to demented individuals’ loss of the capacity of moral decisions.

Editor's introduction to first issue of The Southern Journal of Philosophy under the imprint of Wiley-Blackwell (48.1).

I would like to attack a certain view: The view that the concept of identity can fail to apply to some things although, for some positive integer n, we have n of them. The idea of entities without self-identity is seriously entertained in the philosophy of quantum mechanics. It is so pervasive that it has been labelled the Received View. I introduce the Received View in Section 1. In Section 2 I explain what I mean by entity, and I argue (...) that supporters of the Received View should agree with my characterization of the corresponding notion of entity. I also explain what I mean by identity, and I show that supporters of the Received View agree with my characterization of that notion. In Section 3 I argue that the concept of identity, so characterized, is one with the concept of oneness. Thus, it cannot but apply to what belongs to a collection with n elements, n being a positive integer. In Section 4 I add some considerations on the primitiveness of identity or unity and the status of the Identity of Indiscernibles. In Section 5 I address the problem of how reference to indiscernible objects with identity can be achieved. (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)

Popper’s introduction of ‘‘propensity’’ was intended to provide a solid conceptual foundation for objective single-case probabilities. By considering the partly opposed contributions of Humphreys and Miller and Salmon, it is argued that when properly understood, propensities can in fact be understood as objective single-case causal probabilities of transitions between concrete events. The chief claim is that propensities are well-explicated by describing how they fit into the existing formal theory of branching space-times, which is simultaneously indeterministic and causal. Several problematic examples, (...) some commonsense and some quantum-mechanical, are used to make clear the advantages of invoking branching space-times theory in coming to understand propensities. (shrink)

This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...) and -operators can be introduced without constraints. These logical resources allow one to define, within CIFOL, important properties of properties, viz., extensionality and absoluteness, Bressan’s chief innovation that allows tracing an individual across cases without recourse to any notion of “rigid designation” or “trans-world identity.” Thereby CIFOL abstains from incorporating any metaphysical principles into the quantificational machinery, unlike extant frameworks of quantified modal logic. We claim that this neutrality makes CIFOL a useful tool for discussing both metaphysical and scientific arguments involving modality and quantification, and we illustrate by discussing in diagrammatic detail a number of such arguments involving the extensional identification of individuals via absolute properties, essential properties, de re vs. de dicto, and the results of possible tests. (shrink)

This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...) and -operators can be introduced without constraints. These logical resources allow one to define, within CIFOL, important properties of properties, viz., extensionality and absoluteness, Bressan’s chief innovation that allows tracing an individual across cases without recourse to any notion of “rigid designation” or “trans-world identity.” Thereby CIFOL abstains from incorporating any metaphysical principles into the quantificational machinery, unlike extant frameworks of quantified modal logic. We claim that this neutrality makes CIFOL a useful tool for discussing both metaphysical and scientific arguments involving modality and quantification, and we illustrate by discussing in diagrammatic detail a number of such arguments involving the extensional identification of individuals via absolute properties, essential properties, de re vs. de dicto, and the results of possible tests. (shrink)

This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...) is part of. This framework allows us to define the familiar Ockhamist temporal/modal connectives, most notably for past, future, and settledness. The novelty of our framework becomes visible in our discussion of substances in branching histories, i.e., in its first-order part. That discussion shows how the basic idea of tracing an individual thing from case to case via an absolute property is applicable in a branching histories framework. We stress the importance of keeping apart extensionality and moment-definiteness, and give a formal account of how the specification of natural sortals and natural qualities turns out to be a coordination task in BH-CIFOL. We also provide a detailed answer to Lewis’s well-known argument against branching histories, exposing the fallacy in that argument. (shrink)

Essentialists suppose that for every individual, if that individual exists at any possible world, then necessarily that individual exemplifies some non-trivial qualitative property essential to it, as such. Anti-essentialists deny this. One important argument leveled by some anti-essentialists against essentialism takes the form of a thought experiment, one originally introduced by Roderick Chisholm, sometimes referred to as Chisholm's Paradox (CP). In this essay, I defend essentialism against CP. I begin by presenting the argument and showing how it leads to a (...) contradiction of the essentialist thesis. I then consider one of the most popular solutions to CP to date, that given by Nathan Salmon. Next, I critique Salmon's proposal and show that it is an insufficient response on behalf of the essentialist. And finally, I propose a novel solution to the paradox and discuss why it is that many metaphysician in the past have found CP plausible, despite being fallacious. (shrink)

Beginning with Aristotle, philosophers have taken artifacts to be ontologically deficient. This paper proposes a theory of artifacts, according to which artifacts are ontologically on a par with other material objects. I formulate a nonreductive theory that regards artifacts as constituted by - but not identical to - aggregates of particles. After setting out the theory, I rebut a number of arguments that disparage the ontological status of artifacts.

Among your closest associates is a certain human animal – a living, breathing, organism. You see it when you look in the mirror. When it is sick, you don't feel too well. Where it goes, you go. And, one thinks, where you go, it must follow. Indeed, you can make it move through sheer force of will. You bear, in short, an important and intimate relation to this, your animal. So too rest of us with our animals. Animalism says that (...) this relation is nothing short of identity. According to animalists, we do not only coincide with or constitute or inhabit or otherwise hang out with these close associates, our animals: we are them. In this article, I offer an opinionated take on what animalism might be and situate it against contemporary rivals. Then, I outline a simple case for animalism. Finally, I sketch non-standard routes for animalists to take in light of standard challenges. My goal in all of this is to open up some new avenues of animalist thinking. (shrink)

A popular claim in recent philosophy of mind and action is that events only exist once they are over. This has been taken to have the consequence that many temporal phenomena cannot be understood ‘from the inside’, as they are unfolding, purely in terms of events. However, as I argue here, the claim that events exist only when over is incoherent. I consider two ways of understanding the claim and the notion of existence it involves: one that ties existence to (...) the logic of quantification, and another that assimilates the existence of an event to that of a continuant. The first of these, I argue, cannot be the right way to understand the target claim, as there are serious logical obstacles to regarding this notion of existence as temporally variable. The second, on the other hand, leaves it ultimately mysterious what the existence of an event could amount to. I close with the suggestion that the undeniable temporal asymmetries which parties to the debate are interested in are properly understood in perspectival, not ontological, terms. (shrink)

Philosophy Compass, Volume 1. Oxford: Blackwell, 2006.

Este trabajo presenta y discute diferentes intentos recientes para resolver el así llamado «problema de la Trinidad». Las declaraciones dogmáticas han asumido que (a) sólo hay un Dios; (b) que hay tres personas diferentes, el Padre, el Hijo y el Espíritu Santo; y (c) que esas tres personas son un solo Dios. Pero si hay tres personas diferentes y esas tres personas diferentes son Dios, entonces parece que, o bien no hay un único Dios, o no hay realmente tres personas (...) diferentes. Han aparecido cuatro posiciones principales en el debate reciente en Teología Filosófica para resolver este problema: (i) la teoría social de la Trinidad, (ii) la teoría «latina» de la Trinidad, (iii) la teoría de la Trinidad basada en identidades relativas, y (iv) la teoría de la Trinidad basada en relaciones de constitución. Se presentan y discuten críticamente las cuatro posiciones. This work presents and discusses different recent attempts to solve the so-called «problem of the Trinity». The dogmatic declarations have assumed that: (a) there is only one God; (b) that there are three different persons, the Father, the Son, and the Holy Spirit; and (c) that those three persons are just one God. But if there are three different persons and those three different persons are God, then it seems that, either there is not just one God, or there are not really three different persons. There have appeared four main positions in the recent debate in Philosophical Theology to solve this problem: (i) the social theory of the Trinity, (ii) the «latin» theory of the Trinity, (iii) the theory of the Trinity based on relative identity, and (iv) the theory of the Trinity based on relations of constitution. All four positions are presented and critically discussed. (shrink)

Deflationism is the view that certain metaphysical debates are defective, leaving it open whether the defect is best explained in semantic, conceptual, or epistemic terms. Local semantic deflationism is the thesis that familiar metaphysical debates, which appear to be about the existence and identity of material objects, are merely verbal. It’s a form of local deflationism because it restricts itself to one particular area of metaphysics. It’s a form of semantic deflationism because the defect it purports to identify in these (...) debates is explained in terms of the broadly semantic notion of a merely verbal disputation. Three questions about this thesis are asked and answered here. Does a commitment to the principle of interpretive charity support it? No. Does it avoid the problems that plagued Carnap? No. Does it support a linguistic turn with respect to questions about the nature of material things? No. The central take-home message is that local semantic deflationism is unstable: advocates of the view must admit that debates about material coincidence and identity are substantive. (shrink)

Inter-species variation in colour perception poses a serious problem for the view that colours are mind-independent properties. Given that colour perception varies so drastically across species, which species perceives colours as they really are? In this paper, I argue that all do. Specifically, I argue that members of different species perceive properties that are determinates of different, mutually compatible, determinables. This is an instance of a general selectionist strategy for dealing with cases of perceptual variation. According to selectionist views, objects (...) simultaneously instantiate a plurality of colours, all of them genuinely mind-independent, and subjects select from amongst this plurality which colours they perceive. I contrast selectionist views with relationalist views that deny the mind-independence of colour, and consider some general objections to this strategy. (shrink)

Accounts of act individuation have attempted to capture peoples’ pre-theoretic intuitions. Donald Davidson has argued that a multitude of action descriptions designate only one act, while Alvin Goldman has averred that each action description refers to a distinct act. Following on recent empirical studies, I subject these accounts of act individuation to experimentation. The data indicate that people distinguish between actions differently depending upon the moral valence of the outcomes. Thus, the assumption that a single account of act individuation applies (...) invariantly seems mistaken. (shrink)

: ‘Sortalism about demonstrative reference’ is the view that the capacity to refer to things demonstratively rests on the capacity to classify them according to their kinds. This paper argues for one form of sortalism. Section 1 distinguishes two sortalist views. Section 2 argues that one of them is false. Section 3 argues that the other is true. Section 4 uses the argument from Section 3 to develop a new response to the objection to sortalism from examples where we seem (...) to succeed in referring even though we get sortal classification wrong, or do not attempt to classify at all. (shrink)

This article presents a trope bundle theory of simple substances, the Strong Nuclear Theory[SNT] building on the schematic basis offered by Simons's (1994) Nuclear Theory[NT]. The SNT adopts Ellis's (2001) dispositional essentialist conception of simple substances as powerful particulars: all of their monadic properties are dispositional. Moreover, simple substances necessarily belong to some natural kind with a real essence formed by monadic properties. The SNT develops further the construction of substances the NT proposes to obtain an adequate trope bundle theory (...) of powerful particulars. The SNT allows for co-located powerful particulars. However, every powerful particular is necessarily co-located with its constituent tropes, which determine its causal powers. Every constituent trope of substance i is part of a trope aggregate (the n-bundle or c-bundle) that forms an individual figuring in the basic spatio-temporal relations. The location of these individuals determines the location of individual tropes. Since they are necessarily co-located with substance i when they exist, every trope t of i is necessarily co-located with i when it exits. Every simple substance has nuclear tropes necessary to it. It belongs to certain primary natural kind K because its nuclear tropes belong to certain distinct determinate kinds. (shrink)

In this chapter, I present the first systematic trope nominalist approach to natural kinds of objects. It does not identify natural kinds with the structures of mind-independent entities (objects, universals or tropes). Rather, natural kinds are abstractions from natural kind terms and objects belong to a natural kind if they satisfy their mind-independent application conditions. By relying on the trope theory SNT (Keinänen 2011), I show that the trope parts of a simple object determine the kind to which it belongs. (...) Moreover, I take the first steps to generalize the trope nominalist theory to the natural kinds of complex objects. (shrink)

Disposition ascription has been discussed a good deal over the last few decades, as has the revisionary metaphysical view of ordinary, persisting objects known as 'fourdimensionalism'. However, philosophers have not merged these topics and asked whether four-dimensional objects can be proper subjects of dispositional predicates. This paper seeks to remedy this oversight. It argues that, by and large, four-dimensional objects are not suited to take dispositional predicates.

I address what I call the Number Issue, which is raised by our ordinary talk and beliefs about certain social groups and institutions, and I take the Hallé orchestra as my example. The Number Issue is that of whether the Hallé is one individual or several individuals. I observe that if one holds that it is one individual, one faces an accusation of metaphysical extravagance. The bulk of the paper examines the difficulty of reconciling the view that the Hallé is (...) several individuals with two prima facie plausible theses about the manner of its persistence through time. The paper is structured around some remarks made by Peter Simons about groups, and the Hallé in particular, in his 'Parts'. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)