Unrestricted Composition (UC) is, roughly, the claim that given any objects at all, there is something which those objects compose. (UC) conflicts in an obvious way with common sense. It has as a consequence, for instance, that there is something which has as parts my nose and the moon. One of the more influential arguments for (UC) is Theodore Sider’s version of the Argument from Vagueness. (A version of the Argument from Vagueness was first presented by David Lewis (1986), pp. (...) 212–213). That argument purports to show that some plausible claims concerning the nature of vagueness entail (UC). In this paper I will suggest a response to this argument. I will show that the proponent of Supersubstantivalism (SS)—the view that material objects are identical to regions of spacetime—can reject a premise of Sider’s argument without denying the plausible claims concerning vagueness. Doing so requires only rejecting a certain view concerning the relationship between the proper sub-region relation and the proper parthood relation. So, proponents of (SS) are in a better position than many of us to side with common sense regarding composition. In the first section of the paper, I will present Sider’s argument. In the second section, I will introduce (SS) and briefly discuss some reasons one might have to believe that it is true. In the third section, I will show how the proponent of (SS) can avoid commitment to (UC) and reject a premise of Sider’s argument. Last, I’ll briefly consider and respond to some objections. (shrink)

This paper asks whether persistence can be a matter of convention. It argues that in a rather unexciting de dicto sense persistence is indeed a matter of convention, but it rejects the notion that persistence can be a matter of convention in a more substantial de re sense. However, scenarios can be imagined that appear to involve conventional persistence of the latter kind. Since there are strong reasons for thinking that such conventionality is impossible, it is desirable that our metaphysical-cum-semantic (...) theories of persistence be able to account for such scenarios in terms of conventions of the first kind. Later parts of the article therefore investigate whether three of the currently most influential metaphysical-cum-semantic theories of persistence—the endurance theory, the stage theory, and the perdurance theory—can do this. Fortunately, for them, it turns out that all can, though some philosophers have disputed this. However, when we ask how they account for a typical case of “conventional persistence” some problematic features of the theories—having to do with reference, persistence conditions, how they relate, and the epistemology of persistence—are revealed. (shrink)

In this paper I develop a framework for understanding ontic vagueness. The project of the paper is two-fold. I first outline a definitional account of ontic vagueness – one that I think is an improvement on previous attempts because it remains neutral on other, independent metaphysical issues. I then develop one potential manifestation of that basic definitional structure. This is a more robust (and much less neutral) account which gives a fully classical explication of ontic vagueness via modal concepts. The (...) overarching aim is to systematically investigate the puzzling question of what exactly it could be for the world itself to be vague. (shrink)

In this paper I argue that Gareth Evans’ famous proof of the impossibility of de re indeterminate identity fails on a counterpart-theoretic interpretation of the determinacy operators. I attempt to motivate a counterpart-theoretic reading of the determinacy operators and then show that, understood counterpart-theoretically, Evans’ argument is straightforwardly invalid.

In this paper I present a new argument against vague identity — one that is more fundamental than existing arguments — and I also try to explain why we find the idea of vague identity puzzling, in a way that will dispel the puzzlement. In brief, my argument is this: to make clear sense of something, one must at least model it set-theoretically; but due to the special place of identity in set-theoretic models, any vague relation that one does model (...) set-theoretically will not be identity, for real identity will already be there, built into the background of the model, and perfectly precise. (shrink)

Those inclined to believe in the existence of propositions as traditionally conceived might seek to reduce them to some other type of entity. However, parsimonious propositionalists of this type are confronted with a choice of competing candidates – for example, sets of possible worlds, and various neo-Russellian and neo-Fregean constructions. It is argued that this choice is an arbitrary one, and that it closely resembles the type of problematic choice that, as Benacerraf pointed out, bedevils the attempt to reduce numbers (...) to sets – should the number 2 be identified with the set Ø or with the set Ø, Ø? An “argument from arbitrary identification” is formulated with the conclusion that propositions (and perhaps numbers) cannot be reduced away. Various responses to this argument are considered, but ultimately rejected. The paper concludes that the argument is sound: propositions, at least, are sui generis entities. (shrink)

That reference is inscrutable is demonstrated, it is argued, not only by W. V. Quine's arguments but by Peter Unger's "Problem of the Many." Applied to our own language, this is a paradoxical result, since nothing could be more obvious to speakers of English than that, when they use the word "rabbit," they are talking about rabbits. The solution to this paradox is to take a disquotational view of reference for one's own language, so that "When I use 'rabbit,' I (...) refer to rabbits" is made true by the meaning of the word "refer." The reference relation is extended to other languages by translation. The explanation for this peculiarly egocentric conception of semantics-questions of others' meanings are settled by asking what I mean by words of my language-is to be found in our practice of predicting and explaining other people's behavior by empathetic identification. I understand other people's behavior by asking what I would do in their place. (shrink)

That grass is green, that pigs don’t fly, and that you are now awake are all hard facts. But there is often said to be something soft about matters of identity over time. Is today’s village church the very church that was first built here, despite centuries of repairs and alterations? How many parts of my bicycle do I need to replace before I get a numerically different bike? If a club disbands and years later some of the original members (...) start a similar club with the same name, have we got two clubs, or one club with a discontinuous history? It is tempting to say that there are no hard answers to these questions laid up in heaven. There is no determinate fact of the matter. Those who disagree about such things are arguing about words, not facts. We are free to say what we like. (shrink)

In order to understand consciousness one would benefit from developing a more eclectic intellectual style. Consciousness is, as proposed by almost everyone except the stubborn reductionists, a truly mysterious concept. Its study and dissection merits a multidisciplinary approach. Waving this multidisciplinary flag has positively enlarged the discussion and neurologists, psychiatrists, mathematicians, and so on, have moved to the philosophy of mind arena, first with caution and now with a more powerful voice. Identifying what we mean by consciousness is a first (...) step even when we want to deny its existence. The link between consciousness and some other mental activity is a logical next step and there is abundant literature doing this, but not all of them differentiate among associated yet different phenomena. (shrink)

According to Øystein Linnebo's account of abstractionism, abstraction principles, received as Fregean criteria of identity, can be used to reduce facts about singular reference to objects such as directions and numbers to facts that do not involve such objects. In this article, first I show how the resources of Linnebo's metasemantics successfully handle Dummett's challenge against the referentiality of the singular terms formed by abstraction principles. Then, I argue that Linnebo's metasemantic commitments do not provide us with tools for dispelling (...) the threat of a version of referential indeterminacy, according to which nothing in our use of a singular term, even when it is guided by an associated criterion of identity, could determine which particular object it refers to. I end by examining the bearing of the indeterminacy challenge to Linnebo's treatment of Frege's Caesar Problem: in the absence of an argument against the indeterminacy of reference, it is unclear how numerical expressions could qualify as genuine singular terms. (shrink)

One well-known objection to supersubstantivalism is that it is inconsistent with the contingency of location. This paper presents a new objection to supersubstantivalism: it is inconsistent with the vagueness of location. Though contingency and vagueness are formally similar, there are important philosophical differences between the two. As a result, the objection from vague location will be structurally different than the objection from contingent location. The paper explores these differences and then defends the argument that supersubstantivalism is inconsistent with the plausible (...) thesis that it is vague where I am located. (shrink)

My dissertation explores the nature of artifacts – things like chairs, tables, and pinball machines – and addresses the question of whether there is anything essential to being an artifact and a member of a particular artifact kind. My dissertation offers new arguments against both the anti-essentialist and current essentialist proposals. Roughly put, the view is that artifacts are successful products of an intention to make something with certain features constitutive of an artifact kind. The constitutive features are often functional (...) features, but may include structural, material, aesthetic, and other features. I further explore the ways in which artifacts are mind-dependent and I argue that this dependence is disjunctive. Not only do they depend on the intentions of their makers, but they also can depend on social groups or public norms and thus artifacts have an importantly social dimension and I argue that this disjunctive account applies not to artifact kinds but to individual artifacts depending on their context of creation. (shrink)

Propositionalism is the widely held view that intentional attitudes are fundamentally and predicatively propositional. In contrast, objectualism is the view that a particular class of intentional attitudes—for example, love, fear, like, and hate—bears no relation to a proposition or state of affairs nor does their content make reference to objects by predicating something of them. This paper challenges the objectualist view. While I do not deny that non-propositional attitudes are real mental states, I do deny that they are metaphysically independent (...) from propositional ones. To that end, I proffer an account whereby non-propositional attitudes supervene on possible disjunctive complexes of propositional attitudes, and I defend its merits over objectualism. I argue that my propositional account provides an intuitive framework to index polysemous attitudes and explain a variety of intentional behaviors whereas objectualism does not. (shrink)

A central motivation for the type-token model of music works is its ability to explain musical multiplicity—the fact that musical works are capable of having multiple performances through which they can be experienced and which cannot be individually identified with the works themselves. The type-token model explains multiplicity by identifying musical works with structural types and taking performances to be tokens of those types. In this paper, I argue that musical works are flexible in ways which permit performances which are (...) tokens of distinct structural types to be performances of the same musical work. And I argue that various attempts to reconcile the type-token model with musical flexibility are ultimately unsuccessful. (shrink)

La question de la mise en œuvre de la loi a pu être pensée comme demandant l’ajustement de la loi au cas particulier. J’essaierai d’évaluer la mesure dans laquelle les nouveaux outils conceptuels proposés par la philosophie analytique, permettent de ressaisir cette question bien connue et tout à fait fondamentale de la philosophie, depuis sa discussion par Platon et Aristote. Depuis une dizaine d’années, les philosophes du droit américains – Endicott et Soames en particulier – se sont saisis de la (...) question du « vague », épistémique et ontologique. Je propose de souligner certains résultats ainsi obtenus, tout en présentant les aspects métaphysiques sollicités par ces concepts. J’interrogerai donc le point de contact de la métaphysique contemporaine et de la philosophie du droit, pour montrer comment une question classique peut être reprise à nouveaux frais autour d’un exemple tout à fait spécifique, qui est celui de la négligence (dans la relation entre parents et enfants). (shrink)

Is it possible to maintain classical logic, stay close to classical semantics, and yet accept that language might be semantically indeterminate? The article gives an affirmative answer by Ramsifying classical semantics, which yields a new semantic theory that remains much closer to classical semantics than supervaluationism but which at the same time avoids the problematic classical presupposition of semantic determinacy. The resulting Ramsey semantics is developed in detail, it is shown to supply a classical concept of truth and to fully (...) support the rules and metarules of classical logic, and it is applied to vague terms as well as to theoretical or open-ended terms from mathematics and science. The theory also demonstrates how diachronic or synchronic interpretational continuity across languages is compatible with semantic indeterminacy. (shrink)

The main research programs in quantum gravity tend to suggest in one way or another that most spacetime structures are not fundamental. At the same time, work in quantum foundations highlights fundamental features that are in tension with any straightforward space- time understanding. This paper aims to explore the little investigated but potentially fruitful links between these two fields.

It is intuitive to suppose that the question of whether I persist through a given period will always have a metaphysically substantive ‘yes’ or ‘no’ answer. Derek Parfit challenges this intuition. Given the truth of Reductionism, he argues, identity can be indeterminate. The main argument Parfit marshals in support of this claim employs his Sorites-style Combined Spectrum thought experiment. Despite its influence, there are conspicuous gaps in his argument. Notably, he claims that identity is indeterminate when questions about persistence are (...) ‘empty’. But indeterminacy in Sorites puzzles is traditionally held to result from vagueness – a topic Parfit avoids. Without an account of the relationships between vagueness, indeterminacy, and question-emptiness, his argument remains incomplete. I begin by outlining Parfit’s argument as it stands. I then propose that we can provide the missing details by supplementing Parfit’s treatment of the Combined Spectrum with Sider’s notion of nonsubstantivity. This gives us a clearer understanding of Parfit’s indeterminacy claim, and affords the room to accommodate vagueness in his argument. Once we spell out what this means, however, it becomes clear that a more radical conclusion is justified by Parfit’s reasoning: it is always an empty question whether a person persists. (shrink)

In Calosi and Wilson (Phil Studies 2019/2018), we argue that on many interpretations of quantum mechanics (QM), there is quantum mechanical indeterminacy (QMI), and that a determinable-based account of metaphysical indeterminacy (MI), as per Wilson 2013 and 2016, properly accommodates the full range of cases of QMI. Here we argue that this approach is superior to other treatments of QMI on offer, both realistic and deflationary, in providing the basis for an intelligible explanation of the interference patterns in the double-slit (...) experiment. We start with a brief overview of the motivations for QMI and for a determinable-based account of MI (§1). We then apply a developed 'glutty' implementation of determinable-based QMI to the superposition-based QMI present in the double-slit experiment, and positively compare the associated explanation of double-slit interference with that available on a metaphysical supervaluationist account of QMI (§2). We then present and respond to objections, due to Glick (2017) and Torza (2017), either to QMI (§3) or to our specific account of QMI (§4); in these sections we also positively compare our treatment of double-slit interference to that available on Glick's deflationary treatment of QMI. We conclude with some dialectical observations (§5). (shrink)

We implement a recent characterization of metaphysical indeterminacy in the context of orthodox quantum theory, developing the syntax and semantics of two propositional logics equipped with determinacy and indeterminacy operators. These logics, which extend a novel semantics for standard quantum logic that accounts for Hilbert spaces with superselection sectors, preserve different desirable features of quantum logic and logics of indeterminacy. In addition to comparing the relative advantages of the two, we also explain how each logic answers Williamson’s challenge to any (...) substantive account of determinacy: For any proposition p, what could the difference between “p” and “it’s determinate that p” ever amount to? (shrink)

An influential theory has it that metaphysical indeterminacy occurs just when reality can be made completely precise in multiple ways. That characterization is formulated by employing the modal apparatus of ersatz possible worlds. As quantum physics taught us, reality cannot be made completely precise. I meet the challenge by providing an alternative theory which preserves the use of ersatz worlds but rejects the precisificational view of metaphysical indeterminacy. The upshot of the proposed theory is that it is metaphysically indeterminate whether (...) p just in case it is neither true nor false that p, and no terms in ‘p’ are semantically defective. In other words, metaphysical indeterminacy arises when the world cannot be adequately described by a complete set of sentences defined in a semantically nondefective language. Moreover, the present theory provides a reductive analysis of metaphysical indeterminacy, unlike its influential predecessor. Finally, I argue that any adequate logic of a language with an indeterminate subject matter is neither compositional nor bivalent. (shrink)

Generally, an object is vague when its properties cannot precisely defined. The ontic view of vagueness is the idea that vagueness is a fundamental property of Nature. This simply means that everything is vague: animals, plants, molecules, atoms, etc. Furthermore, if atoms and molecules are vague, then the subject matter of chemistry is vague. However, we first need to understand why molecules and atoms are vague.

The standard Leibnizian view of identity allows for substitutivity of identicals and validates transitivity of identity within classical semantics. However, in a series of works, Graham Priest argues that Leibnizian identity invalidates both principles when formalized in paraconsistent semantics. This paper aims to show the Leibnizian view of identity validates substitutivity of identicals and transitivity of identity whether the logic is classical or paraconsistent. After presenting Priest's semantics of identity, I show what a semantic expression of Leibnizian identity does amount (...) to. Then, I argue that Priest's semantic definition of identity is not Leibnizian. Finally, I offer a semantics characterization of identity in paraconsistent logic that is truly Leibnizian. I demonstrate that the correct formalization of Leibnizian identity in paraconsistent logic also validates substitutivity of identicals and transitivity of identity. (shrink)

This paper focuses on Jessica Wilson’s determinable-based account of metaphysical indeterminacy and its relationship to the concept of vague identity. The determinable-based account comprises a distinction between meta-level and object-level accounts of metaphysical indeterminacy. I first argue that the distinction cannot be clearly applied to some theories. In particular, I argue that even though Wilson categorizes the constitution account of metaphysical indeterminacy as a meta-level account, from one perspective it can be defensibly regarded as an object-level account, because it is (...) bound to posit genuinely indeterminate states of affairs and provides an explanation of boundary indeterminacy that is structurally analogous to the explanation provided by Wilson’s object-level account. This interim conclusion is important, because it has been argued that the constitution account, when applied to some more complex types of boundary indeterminacy, cannot avoid commitment to vague identity, in spite of the declarations of some of its proponents. The ultimate goal of this paper is to argue that, contrary to Wilson’s claims, the determinable-based account must embrace vague identity too. (shrink)

This thesis explores whether the three standard value relations, “better than”, “worse than” and “equally as good”, exhaust the possibilities in which things can relate with respect to their value. Or more precisely, whether there are examples in which one of these relations is not instantiated. There are cases in which it is not obvious that one of these relations does obtain; these are referred to as “hard cases of comparison”. These hard cases of comparison become interesting, since if it (...) not the case that the standard three value relations obtains in these cases then the three standard relations do not exhaust the possibility of instantiated value relations. It is argued that for some of the hard cases of comparison, the standard relations determinately obtain. For some it is indeterminate, due to vagueness, which of the three relations obtains, but it is determinate that one of them obtains. Thereafter it is argued that the influential Collapsing Argument fails in ruling out other accounts of the hard cases of comparison. Since one cannot depend on the Collapsing Argument in order to conclude that all items are related by the standard three relations, the investigation continues. It is argued that none of the hard cases of comparison are cases of incomparability. Furthermore, none of them are cases of a fourth basic positive value relation such as “parity”. Consequently, for all the hard cases of comparison one of the standard value relations holds, although sometimes we do not know which one and sometimes it is indeterminate which one holds. This means that there is no reason to assume that one of the standard three value relations does not hold between items we are comparing. This is followed by a brief discussion about the normative consequences of this result. The thesis ends with four different appendices in which related topics are discussed. (shrink)

In ‘Against fictional realism’ Anthony Everett argues that fictional realism leads to indeterminate identity. He concludes that we should reject fictional realism. Everett’s paper and much of the ensuing literature does not discuss what exactly fictional characters are. This is a mistake. I argue that some versions of abstract creationism about fictional characters lead to indeterminate identity, and that some versions of Platonism about fictional characters lead only to indeterminate reference. In doing so I show that Everett’s argument poses a (...) more pressing problem for abstract creationism than for Platonism. The general lesson is that fictional realists should think more about the ontology of fictional characters in order to discern whether they are committed to indeterminate identity. (shrink)

Special issue: "Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic".

This unique anthology of new, contributed essays offers a range of perspectives on various aspects of ontic vagueness. It seeks to answer core questions pertaining to onticism, the view that vagueness exists in the world itself. The questions to be addressed include whether vague objects must have vague identity, and whether ontic vagueness has a distinctive logic, one that is not shared by semantic or epistemic vagueness. The essays in this volume explain the motivations behind onticism, such as the plausibility (...) of mereological vagueness and indeterminacy in quantum mechanics and they offer various arguments both for and against ontic vagueness; onticism is also compared with other, competing theories of vagueness such as semanticism, the view that vagueness exists only in our linguistic representation of the world. Gareth Evans’s influential paper of 1978, “Can There Be Vague Objects?” gave a simple but cogent argument against the coherence of ontic vagueness. Onticism was subsequently dismissed by many. However, in recent years, researchers have become aware of the logical gaps in Evans’s argument and this has triggered a new wave of interest in onticism. Onticism is now widely regarded as at least a coherent view. Reflecting this growing consensus, the present anthology for the first time puts together essays that are focused on onticism and its various facets and it fills in the lacuna in the literature on vagueness, a much-discussed subject in contemporary philosophy. (shrink)

The notion of 'natural kinds' has been central to contemporary discussions of metaphysics and philosophy of science. In recent years, essentialism has been the dominant account of natural kinds among philosophers, but the essentialist view has encountered resistance. Informed by detailed examination of classification in the natural and social sciences, Prof. Muhammad Ali Khalidi argues against essentialism and for a naturalist account of natural kinds. By looking at case studies drawn from diverse scientific disciplines, from fluid mechanics to virology and (...) polymer science to psychiatry, the author argues that natural kinds are nodes in causal networks. On the basis of this account, he maintains that there can be natural kinds in the social sciences as well as the natural sciences. (shrink)

In this paper we attempt to analyze the concept of quantum probability within quantum computation and quantum computational logic. While the subjectivist interpretation of quantum probability explains it as a reliable predictive tool for an agent in order to compute measurement outcomes, the objectivist interpretation understands quantum probability as providing reliable information of a real state of affairs. After discussing these different viewpoints we propose a particular objectivist interpretation grounded on the idea that the Born rule provides information about an (...) intensive realm of reality. We then turn our attention to the way in which the subjectivist interpretation of probability is presently applied within both quantum computation and quantum computational logic. Taking as a standpoint our proposed intensive account of quantum probability we discuss the possibilities and advantages it might open for the modeling and development of both quantum computation and quantum computational logic. (shrink)

I am a friend of supervaluationism. A statement lacks a definite truth value if, and only if, it comes out true on some admissible ways of precisifying the semantics of the relevant vocabulary and false on others. In this paper, I focus on the special case of identity statements. I take it that such statements, too, may occasionally suffer a truth-value gap, including philosophically significant instances. Yet there is a potentially devastating objection that can be raised against the supervaluationist treatment (...) of such cases—in fact two objections. Luckily, both can be resisted. But seeing how requires that we take a closer look at the ontological presuppositions of supervaluationism, allowing for more leeway than is usually supposed. (shrink)

ABSTRACT Many phenomena appear to be indeterminate, including material macro-object boundaries and certain open future claims. Here I provide an account of indeterminacy in metaphysical, rather than semantic or epistemic, terms. Previous accounts of metaphysical indeterminacy have typically taken this to involve its being indeterminate which of various determinate states of affairs obtain. On my alternative account, MI involves its being determinate that an indeterminate state of affairs obtains. I more specifically suggest that MI involves an object's having a determinable (...) property, but not having any unique determinate of that determinable. I motivate the needed extension of the traditional understanding of determinables, then argue that a determinable-based account of MI accommodates, in illuminating fashion, both ‘glutty’ and ‘gappy’ cases of MI, while satisfactorily treating concerns about MI stemming from Evans’ argument and the problem of the many. (shrink)

Fictional ersatz realism is the metaphysical stance that abstract fictional entities exist and are dependent on fiction and literary practices. Everett tackled the position of ersatz realism by claiming that the ersatz realist cannot provide an identity criterion for fictional entities that does not imply a contradiction. Although Woodward proposed a defense to Everett's argument, I will argue that ersatz realism is no tenable position, as it still cannot provide an adequate identity criterion. To establish this result, I will provide (...) a base frame for identity criteria available to the ersatz realist. Afterwards, I will show that to any identity criterion the ersatz realist may propose there is a story such that a fictional entity corresponding to this story is not self-identical, imposing a contradiction to the metaphysical account of ersatz realism. (shrink)

In a series of papers, Elizabeth Barnes and Robert Williams have developed a theory of metaphysical vagueness in which they argue for legitimacy of vague object and indeterminate identity. In his recent paper, Ken Akiba raises two objections against Barnes-Williams theory, concluding that it is ill-conceived and wrong-headed. In one objection, he argues that the theory implies indeterminate identity between referentially determinate objects to which λ-abstraction is applicable, and hence Evans’ argument ultimately goes through. In the other, he objects that (...) Barnes-Williams theory also fails to block Salmon’s argument. This paper discusses the two objections. It argues that there are legitimate reasons for rejecting both, and hence to revive Barnes-Williams theory. Furthermore, it is shown that the objections, while unsuccessful, are helpful in revealing the limitations of Barnes-Williams theory. (shrink)

An object is a simple if and only if it has no proper parts. An object is gunk if and only if every proper part of that object itself has a proper part. In my dissertation, I address the following questions. The concepts of simples and gunk presuppose the concept of parthood. What is the status of this concept? his question itself divides into the following: does the concept of parthood have universal applicability, so that, just as every object is (...) self-identical, every object has parts? Finally, is the concept of parthood univocal, or are there different notions of parthood, each of which is defined on distinct ontological categories? I argue that the concept of parthood has univocal. I also argue that there is some evidence that the concept of parthood has universal applicability. I address the Simple Question, which is “under what circumstances is it true of some object that it has no proper parts?” I argue against several popular answers to the Simple Question, such as the view that simples are all and only point-sized objects, and the view that simples are maximally continuous material objects. I defend the Brutal View, which holds that there is no true, finitely expressible, and informative answer to the Simple Question. In short, there is no criterion for being a simple. Along the way, I address the question of whether extended simples, i.e., simples that are extended in space, are possible. I argue that one popular argument against the possibility of extended simples is unsound. I address the question of whether both simples and gunk are possible. I argue that it is metaphysically possible that material objects be composed of gunk. (shrink)

Fictional realism allows direct reference theorists to provide a straightfor- ward analysis of the semantics of fictional discourse by admitting into their ontology a set of objects (ficta) that serve as the referents of fictional names. Ficta may be modeled using an axiomatic object theory, but actualist interpretations of the formalism have been the subject of recent objections. In this paper, I provide an interpretation of object theory’s formalism that is consistent with actualism and avoids these objections. Drawing on insights (...) from an actualist semantics for quantified modal logic, a central point in my proposal is to interpret ficta as contingently nonconcrete objects. (shrink)

Our states of belief and desire are no doubt supervenient on the overall pattern of our physical states. But can this minimal physicalist presumption be strengthened into a claim to the effect that our mental states are each identical with some specific corresponding physical state? A developed identity theory will need, in a sense to be made clear, a schema for specifying the physical state which is supposed to be identical with a given mental state. And there are problems in (...) formulating such a schema. The special difficulties faced here by a type identity theory are well known, and will not be discussed further in this present paper. But equally, there are problems in constructing an identification schema for employment with a token identity theory. (shrink)

RÉSUMÉMichael Tye soutient que certains noms sont vagues parce qu'ils réfèrent à des objets vagues. Tye, cependant, ne distingue pas entre référer à un objet vague et référer vaguement. Je suggère, à partir de certaines suppositions, que les noms vagues doivent référer vaguement. Et si les noms vagues doivent référer vaguement, alors l'argument de Tye échoue, puisque des noms qui réfèrent à des objets vagues n'ont pas besoin de référer vaguement. Néanmoins, l'indétermination dans la méta-sémantique de la relation d'être porteur (...) d'un nom peut créer des noms qui réfèrent vaguement. Cette conclusion ne dépend pas de la supposition que les noms ont un contenu descriptif, ni de l'idée que les énoncés d'identitè peuvent être indéterminés quant à leur valeur de vérité. (shrink)

Proponents of supervaluationism claim super-truth, i. e., truth on every admissible precisification, is identical to truth or, at least, is a suitable truth proxy. I object that super-truth is neither identical to nor a suitable proxy for truth. I argue that to claim a statement is super-true is simply to maintain that a certain counterfactual holds, and that a claim is true, counterfactually, is no reason to treat it as true. I further argue that, with super-truth undermined, Roy Sorensen’s objection (...) that supervaluationism cannot accommodate vague directly referential terms presents supervaluationism’s defenders with a significant challenge. (shrink)

Anthony Everett () argues that those who embrace the reality of fictional entities run into trouble when it comes to specifying criteria of character identity. More specifically, he argues that realists must reject natural principles governing the identity and distinctness of fictional characters due to the existence of fictions which leave it indeterminate whether certain characters are identical and the existence of fictions which say inconsistent things about the identities of their characters. Everett's critique has deservedly drawn much attention and (...) a number of defensive moves have been made by, or on the behalf of, fictional realists. My goal in this paper is to move this debate on a further step. I have three goals: to clarify the importance of Everett's discussion of identity criteria within the context of fictional realism, to reassess Everett's objections to realism in light of the resultant literature, and to develop a novel strategy for responding to Everett's concerns. On the approach to be developed, the problems emerge due to an indeterminacy inherent in the concept of a fictional character itself. (shrink)

E.J. Lowe claims that quantum physics provides examples of ontic indeterminacy, of vagueness in the world. Any such claim must confront the Evans-Salmon argument to the effect that the notion of ontic indeterminacy is simply incoherent (Evans 1978, Salmon 1981: 243-46). Lowe argues that a standard version of the Evans-Salmon argument fails quite generally (Lowe 1994). Harold Noonan (1995) has outlined a non-standard version of the argument, but Lowe argues that this non-standard version fails for specifically quantum mechanical reasons (Lowe (...) 1997). He claims that it is perfectly coherent to suppose that his quantum case is an example of ontic indeterminacy. In this paper, I raise some objections to Lowe's claim. (shrink)

What is the difference between the complex view of personal identity over time and the simple view? Traditionally, the defenders of the complex view are said to include Locke and Hume, defenders of the simple view to include Butler and Reid. In our own time it is standard to think of Chisholm and Swinburne as defenders of the simple view and Shoemaker, Parfit, Williams and Lewis as defenders of the complex view. But how exactly is the distinction to be characterized? (...) One difference between the two camps is that defenders of the simple view emphasize the difference between diachronic personal identity and the identity of other objects; they insist that in the case of the other familiar types that figure in philosophical puzzle cases about identity – ships, statues, plants and so on – the correct view is the complex one. On the other hand, defenders of the complex view do not hold a simple view of other things; rather they think that the complex view is correct across the board. We therefore need an account of the distinction which allows us to speak generally of ‘the complex/simple view of the diachronic identity of things of sort S’ where ‘S’ is a sortal term. A respectable view about problems of identity in general is that there aren’t any: any genuine philosophical puzzles can be rephrased so that the language of identity drops out. In what follows, I offer an account of the simple/complex contrast which conforms to this Lewisean view. 1 We can begin by distinguishing two types of constraint on personhood. Type, or synchronic constraints, are capturable in the form: If x is a person, then if x exists at t, Fxt where ‘ F represents a term for a non-historical property, a property …. (shrink)

A remarkable development in twentieth-century mathematics is smooth infinitesimal analysis ('SIA'), introducing nilsquare and nilpotent infinitesimals, recovering the bulk of scientifically applicable classical analysis ('CA') without resort to the method of limits. Formally, however, unlike Robinsonian 'nonstandard analysis', SIA conflicts with CA, deriving, e.g., 'not every quantity is either = 0 or not = 0.' Internally, consistency is maintained by using intuitionistic logic (without the law of excluded middle). This paper examines problems of interpretation resulting from this 'change of logic', (...) arguing that standard arguments based on 'smoothness' requirements are question-begging. Instead, it is suggested that recent philosophical work on the logic of vagueness is relevant, especially in the context of a Hilbertian structuralist view of mathematical axioms (as implicitly defining structures of interest). The relevance of both topos models for SIA and modal-structuralism as appled to this theory is clarified, sustaining this remarkable instance of mathematical pluralism. (shrink)

The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...) yields a general soundness and completeness result for a variety of (positive) substructural logics with respect to multimodal Kripke frames with binary accessibility relations. In addition, an epistemic interpretation of pair models is provided. (shrink)

Review of Horgan and Potrc (2008). I discuss both their linguistic and ontological theses.