Mereological nihilism is the view that no objects have proper parts. Despite how counter‐intuitive it is, it is taken quite seriously, largely because it solves a number of puzzles in the metaphysics of material objects – or so its proponents claim. In this article, I show that for every puzzle that mereological nihilism solves, there is a similar puzzle that (a) it doesn’t solve, and (b) every other solution to the original puzzle does solve. Since the solutions to the new (...) puzzles apply just as well to the old puzzles, the old puzzles provide no motivation to be a mereological nihilist. (shrink)

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)

Any worlds semantics for intentionality has to provide a plenitudinous theory of impossibility: For any impossible proposition, it should provide a world where it is true. Hence, also any semantics for impossibility statements that extends Lewis’s concretism about possible worlds should be plenitudinous. However, several such proposals for impossibilist semantics fail to accommodate two kinds of impossibility that, albeit not unheard of, have been largely neglected in the literature on impossible worlds, but that are bound to arise in the Lewisian (...) context. The proposals discussed here stop short of plenitude because they adhere to what Lewis occasionally referred to as ‘ontological truth’, as they lack the semantic ability to misrepresent ontological facts. The paper develops a framework for systematic misrepresentations on the basis of Mares’s situation-based account of impossible ‘worlds’, and which confines ‘ontological truth’ to possibility. It thus illustrates how a plenitude of impossibilities can be achieved. (shrink)

I argue for the possibility of hypergunk: that is, it is possible that there exists an x such that every part of x has a proper part and, for any set S of parts of x, there is a set S′ of parts of...

ABSTRACTHegel's Phenomenology of Spirit provides a fascinating picture of individual minds caught up in “recognitive” relations so as to constitute a realm—“spirit”—which, while necessarily embedded in nature, is not reducible to it. In this essay I suggest a contemporary path for developing Hegel's suggestive ideas in a way that broadly conforms to the demands of his own system, such that one moves from logic to a philosophy of mind. Hence I draw on Hegel's “subjective logic”, understood in the light of (...) modern modal logic, in an attempt to model the way minds might be thought as connected by way of shared intentional contents. Here, we should not be surprised at some of the parallels that emerge between the approaches of Hegel and the modal logician Arthur Prior, as Prior had testified to the influence of his teacher, John N. Findlay, who himself had strong Hegelian leanings. In the final section, Robert Stalnaker's version of possible-world semantics is suggested as a framework within which Hegel's recognitive account of the mind might be understood. (shrink)

For many recent readers of Hegel, Wilfrid Sellars’s 1956 London lectures on the “Myth of the Given” have signaled an important rapprochement between Hegelian and analytic traditions in philosophy. Here I want to explore the ideas of another philosopher, also active in London in the 1950s, who consciously pursued such a goal: John N. Findlay. The ideas that Findlay brought to Hegel—sometimes converging with, sometimes diverging from those of Sellars—had been informed by his earlier study of the Austrian philosopher Alexius (...) Meinong, and transformations of Meinong’s ideas by his student, the logician Ernst Mally. These ideas that Findlay found Hegel-friendly are ones that have had a particular bearing on more recent analytic modal metaphysics, especially via the work of Findlay’s own former student, Arthur Prior. Given this, we might not be surprised at the similarities between the type of actualist interpretation of modal logic that Prior offered in opposition to David Lewis’s variant on Leibnizian possibilism, and Hegel’s approach to the category of “Actuality” [Wirklichkeit] at the end of the Objective Logic of The Science of Logic. But the similarities, I suggest, do not end there, as elements of Hegel treatment of predication in the Subjective Logic parallel similar elements found in the work of Mally and, more recently, “modal actualists” such as Prior and Stalnaker. In this paper I explore some puzzling features of Hegel’s treatment of predication in the Subjective Logic from the point of view of the need for a logic for thought about the modally complex actual world, as Hegel conceived it. (shrink)

Here, I suggest a hitherto relatively unexplored way beyond the opposed Aristotelian realist and Kantian idealist approaches that divide recent interpretations of the categories or “thought determinations” of Hegel’s Logic, by locating his idealism within the terrain of recent debates in modal metaphysics. In particular, I return to the outlook of the first philosopher to attempt to bring Hegel into the analytic conversation, John Niemeyer Findlay, and consider Hegel’s idealism as instantiating the metaphysical position that, following the work of Findlay’s (...) former student, Arthur Prior, has come to be called “modal actualism”. (shrink)

The hypothesis that our current psychological forms of description and explanation will one day be replaced by biological ones, while not universally held, is wide-spread and highly influential in both the scientific community and the broader culture. The purpose of this paper is to examine this hypothesis. It will be argued that, while biology has had and will undoubtedly continue to have many extremely valuable and illuminating findings, it cannot and will not replace psychological explanations and concepts in our understanding, (...) scientific and otherwise, of human behavioral phenomena. That is to say, the science of biology will not replace or subsume that of psychology. 2012 APA, all rights reserved). (shrink)

Gareth Evans nos ofrece lo que parece ser un punto medio entre el descripcionismo y la teoría de la referencia directa sobre el mecanismo mediante el cual fijamos la referencia de los nombres propios. Ésta es la denominada “teoría de la fuente causal de la referencia”. En un artículo reciente Imogen Dickie presenta objeciones importantes a la teoría de Evans y concluye presentando una teoría alternativa, la denominada “teoría de la gobernabilidad”. En este trabajo quiero ofrecer una propuesta alternativa que (...) evite la tesis de gobernabilidad de Dickie. Para ello mostraré, primero, cómo lidiar con las objeciones de Dickie sin alejarse demasiado de la propuesta original de Evans y, segundo, defenderé que la teoría resultante –la que llamo “teoría de la pertenencia a tipos”– es más simple y exitosa que la propuesta por Dickie. (shrink)

David Lewis’s counterpart-theoretic semantics for quantified modal logic is motivated originally by worries about identifying objects across possible worlds; the counterpart relation is grounded more cautiously on comparative similarity. The possibility of contingent identity is an unsought -- and in some eyes, unwelcome -- consequence of this approach. In this paper I motivate a Kripkean counterpart theory by way of defending the prior, pre-theoretical, coherence of contingent directness. Contingent identity follows for free. The theory is Kripkean in that the counterpart (...) relation is in a sense stipulated rather than grounded on similarity, and is such that no object has more than one counterpart at a world. This avoids a number of objections Fara and Williamson have recently levelled against counterpart theory generally; their other objections are addressed by enriching the theory with special quantifiers and actuality operators. (shrink)

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

Commentators such as Kemp Smith (1941), Mendelbaum (1974), and Bricke (1980) have taken the distinctions of reason to pose either a counterexample to or a limitation of scope on the Separability Principle. This has been convincingly addressed by various accounts such as Garrett (1997), Hoffman (2011), and Baxter (2011). However, I argue in this paper that there are two notions of ‘distinction of reason’, one between particular instantiations (token distinctions of reason) and one between general ideas (type distinctions of reason). (...) Discussion of the distinctions of reason in the secondary literature has without fail focused on token distinctions of reason, but I will argue that type distinctions of reason prove problematic for Hume’s Separability Principle. I find a way around this problem that is consonant with Hume’s account of general ideas, but which can hardly be said to be an account which he explicitly or even implicitly endorsed. (shrink)

Moderate rationalists maintain that our rational intuitions provide us with prima facie justification for believing various necessary propositions. Such a claim is often criticized on the grounds that our having reliable rational intuitions about domains in which the truths are necessary is inexplicable in some epistemically objectionable sense. In this paper, I defend moderate rationalism against such criticism. I argue that if the reliability of our rational intuitions is taken to be contingent, then there is no reason to think that (...) our reliability is inexplicable. I also suggest that our reliability is, in fact, necessary, and that such necessary reliability neither admits of, nor requires, any explanation of the envisaged sort. (shrink)

According to the B-theory, the passage of time is an illusion. The B-theory therefore requires an explanation of this illusion before it can be regarded as fullysatisfactory; yet very few B-theorists have taken up the challenge of trying to provide one. In this paper I take some first steps toward such an explanation by first making a methodological proposal, then a hypothesis about a key element in the phenomenology of temporal passage. The methodological proposal focuses onthe representational content of the (...) element of experience by virtue of which time seems to pass. The hypothesis involves the claim that the experience of changeinvolves the representation of something enduring, rather than perduring, through any change. (shrink)

Frege’s rejection of singular reference to concepts is centrally implicated in his notorious paradox of the concept horse. I distinguish a number of claims in which that rejection might consist and detail the dialectical difficulties confronting the defense of several such claims. Arguably the least problematic such claim—that it is simply nonsense to say that a concept can be referred to with a singular term—has recently received a novel defense due to Robert Trueman. I set out Trueman’s argument for this (...) claim, identifying and remedying some omissions and errors of formulation therein. I then develop a response to the argument by showing, pace Trueman, that it is possible—and how it is possible—to express identities between objects and concepts. (shrink)

Is the objective passage of time compatible with relativistic physics? There are two easy routes to an affirmative answer: (1) provide a deflationary analysis of passage compatible with the block universe, or (2) argue that a privileged global present is compatible with relativity. (1) does not take passage seriously. (2) does not take relativity seriously. This paper is concerned with the viability of views that seek to take both passage and relativity seriously. The investigation proceeds by considering how traditional A-theoretic (...) conceptions of passage might be generalized to relativistic space-times without incorporating a privileged global present. I argue that the most promising position marries the idea that open possibilities for the future are settled as time passes with a ‘non-standard’ interpretation of the relevant formal models. (shrink)

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it does (...) not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

Abstract: This article defends a controversial metaphilosophical thesis: it is not immediately obvious that "the best argument wins" in philosophy. Certain philosophical views, for example, extremely controversial ethical positions, may be intolerable and impossible to take seriously as contributions to ethical discussion, irrespective of their argumentative merits. As a case study of this metaphilosophical issue, the article discusses David Benatar's recent thesis that it is, for everyone, harmful to exist. It is argued that ethical and cultural "unthinkabilities" set limits to (...) philosophical reasoning that even the most insightful arguments cannot transcend. (shrink)

How should we understand the relationship, for Aristotle, between matter, form, and hylomorphic composite? Are matter and form distinct from each other, so that each hylomorphic unity harbours a plurality within it, or would such a plurality undermine the unity of the composite? A recent strand of argument in both Aristotelian and contemporary literature on hylomorphism has concluded that no genuine unity can be composed of a plurality. I will argue that the objection motivating this conclusion falls away as improperly (...) formulated in light of Aristotle's metaontology—in particular, his thesis that unity is indeterminate. The genuine objection threatening hylomorphic unity is one that Aristotle himself formulates as a central concern in his Metaphysics: no substance can be composed of substances. He answers this genuine objection in his appeal to the actuality/potentiality distinction, and in Metaphysics VIII.6 he reminds us why no more basic problem of hylomorphic unity arises. Against the backdrop of Aristotle's metaontology, hylomorphic unity cannot be undermined by the plurality, just as such, of matter and form. (shrink)

European Journal of Philosophy, EarlyView.

The nonexistence of fictional entities does not seem incompatible with their possible existence. The aim of this paper is to give an account of the intuitive truth of statements of possible existence involving fictional proper names in an actualist framework. After having clarified the opposition between a possibilist and an actualist approach of possible wolds, I distinguish fictional individuals from fictional characters and the fictional use of fictional proper names from their metafictional use. On that basis, statements of possible existence (...) involving fictional proper names literally say of fictional characters conceived as abstract objects that they might have been exemplified. (shrink)

Monists about material constitution typically argue that when Statue is materially constituted by Clay, Statue is just Clay. Pluralists about material constitution deny that constitution is identity: Statue is not just Clay. When Clay materially constitutes Statue, Clay is not identical to Statue. I discuss three familiar puzzles involving grounding, overdetermination and conceptual issues, and develop three new puzzles stemming from the connection between mereological composition and material constitution: a mereological puzzle, an asymmetry puzzle, and a structural puzzle.

I argue for a property mereology and for mereological bundle theory. I then apply this theory to the one over many problem (universals) and puzzles concerning persistence and material constitution.

If an object has a property essentially, it has that property in every possible world according to which it exists.2 If an object has a property accidentally, it does not have that property in every possible world according to which it exists. Claims about an object’s essential or accidental properties are de re modal claims, and essential and accidental properties are de re modal properties. Take an object’s modal profile to specify its essential properties and the range of its accidental (...) properties. Note that “world” as I am using it is a term of art: a modal realist believes that there are many concrete worlds, while the actualist believes in only one concrete world, the actual world. The ersatzist is an actualist who takes nonactual possible worlds and their contents to be abstracta. Essentialism is the view that objects have properties essentially, but one should distinguish deep essentialism from shallow essentialism. Deep essentialists take the (nontrivial) essential properties of an object to determine its nature— such properties give sense to the idea that an object has a unique and distinctive character, and make it the case that an object has to be a certain way in order for it to be at all.3 As Stephen Yablo (1987, 297) describes it, the essence of a thing is “an assortment of properties in virtue of which it is the entity in question,” as well as “a measure of what is required for it to be that thing.” Intuitively, on the deep essentialist picture, an ordinary object has essential properties, and it must have its essential properties in order for it to exist. On this view, objects’ essential properties are absolute, i.e., are not determined by contexts of describing (or thinking, etc.) about the object, and truths about such properties are absolute truths.4 Shallow essentialists oppose deep essentialists: they reject the view that objects can be said to have essential properties independently of contexts of description or evaluation, and so substitute context-dependent truths for the deep essentialist’s context-independent ones.. (shrink)

I discuss puzzles involving coinciding material objects (such as statues and their constitutive lumps of clay) and propose solutions.

In "Sider on Existence" (Noužs, 2007), David Liebesman and Matti Eklund argue that my "indeterminacy argument", according to which quantifiers are never vague, clashes with my "naturalness argument", according to which quantifiers "carve at the joints". There is, I argue, no outright inconsistency. But Liebesman and Eklund have shown that my arguments are not as independent as it may have appeared. The best defense of the indeterminacy argument is via the naturalness argument.

The subtraction argument aims to show that there is an empty world, in the sense of a possible world with no concrete objects. The argument has been endorsed by several philosophers. I show that there are currently two versions of the argument around, and that only one of them is valid. I then sketch the main problem for the valid version of the argument.

This article provides a new context for an established metaphysical debate regarding the problem of persistence. I contend that perdurance, a popular view about persistence which maintains that objects persist by having temporal parts, can be formulated in quantum mechanics due to the existence of a formal analogy between temporal and spatial location. However, this analogy fails due to a ‘no-go’ result which demonstrates that quantum systems cannot be said to have temporal parts in the same way that they have (...) spatial parts. Therefore, if quantum mechanics describes persisting physical objects then those objects cannot be said to perdure. (shrink)

This paper attacks the modal ontological argument, as advocated by Plantinga among others. Whereas other criticisms in the literature reject one of its premises, the present line is that the argument is invalid. This becomes apparent once we run the argument assuming fictionalism about possible worlds. Broadly speaking, the problem is that if one defines “x” as something that exists, it does not follow that there is anything satisfying the definition. Yet unlike non-modal ontological arguments, the modal argument commits this (...) “existential fallacy” not in relation to the definition of ‘God’. Rather, it occurs in relation to the modal facts quantified over within a Kripkean modal logic. In brief, we can describe the modal facts by whichever logic we prefer—yet it does not follow that there are genuine modal facts, as opposed to mere facts-according-to-the-fiction. A broader consequence of the discussion is that the existential fallacy is an issue for many projects in “armchair metaphysics.”. (shrink)

Terms such as ‘exist’, ‘actual’, etc., (hereafter, “ontic terms”) are recognized as having uses that are not ontologically committing, in addition to the usual commissive uses. (Consider, e.g., the Platonic and the neutral readings of ‘There is an even prime’.) In this paper, I identify five different noncommissive uses for ontic terms, and (by a kind of via negativa) attempt to define the commissive use, focusing on ‘actual’ as my example. The problem, however, is that the resulting definiens for the (...) commissive ‘actual’ is itself equivocal between a commissive and a noncommissive reading. I thus consider other proposals for defining the commissive use, including two proposals from David Lewis. However, each proposal is found to be equivocal in the same way—and eventually I argue that it is impossible to define an ontic term unequivocally. Even so, this is not meant to overshadow that we can understand an ontic term as univocally commissive, in certain conversational contexts. I close by illustrating the import of these observations for the Hirsch–Sider debate in metaontology. (shrink)

The present piece is a reply to G. Hoffmann on my infallibilist view of self-knowledge. Contra Hoffmann, it is argued that the view does not preclude a Quinean epistemology, wherein every belief is subject to empirical revision.

Within the linguistics literature it is often claimed that epistemic modality, unlike other kinds of modality, does not contribute to truth-conditional content. In this paper I challenge this view. I reanalyze a variety of arguments which have been used in support of the non-truth-conditional view and show that they can be handled on an alternative analysis of epistemic modality. # 2006 Elsevier B.V. All rights reserved.

Mechanisms are organized collections of objects and activities that underlie certain phenomena/behaviours. In this article, I shall argue that the organizations of mechanisms should be thought of as external relations, namely, as relations that do not entirely depend on their relata’s existence, nor on their natures, nor on their intrinsic properties. After having introduced in the first two sections mechanisms and the ontology of relations, I shall analyse the organizations of mechanisms along four different dimensions: spatial, temporal, causal and hierarchical. (...) I shall demonstrate that each dimension requires that organizations be taken as external relations. Finally, in the last section, I shall anticipate and reply to two objections. (shrink)

This paper defends Lewis’ influential treatment of de se attitudes from recent criticism to the effect that a key explanatory notion—self-ascription—goes unexplained. It is shown that Lewis’ treatment can be reconstructed in a way which provides clear responses. This sheds light on the explanatory ambitions of those engaged in Lewis’ project.

Questions of identity over time are often hard to answer. A long tradition has it that such questions are somehow soft: they have no unique, determinate answer, and disagreements about them are merely verbal. I argue that this claim is not the truism it is taken to be. Depending on how it is understood, it turns out either to be false or to presuppose a highly contentious metaphysical claim.

What is a temporal part? Most accounts explain it in terms of timeless parthood: a thing's having a part without temporal qualification. Some find this hard to understand, and thus find the view that persisting things have temporal parts--fourdimensionalism--unintelligible. T. Sider offers to help by defining temporal parthood in terms of a thing's having a part at a time. I argue that no such account can capture the notion of a temporal part that figures in orthodox four-dimensionalism: temporal parts must (...) be timeless parts. This enables us to state four-dimensionalism more clearly. (shrink)

It seems evident that things sometimes get bigger by acquiring new parts. But there is an ancient argument purporting to show that this is impossible: the paradox of increase or growing argument.i Here is a sketch of the paradox. Suppose we have an object, A, and we want to make it bigger by adding a part, B. That is, we want to bring it about that A first lacks and then has B as a part. Imagine, then, that we conjoin (...) B to A in some appropriate way. Never mind what A and B are, or what this conjoining amounts to: let A be anything that can gain a part if anything can gain a part, and let B be the sort of thing that can become a part of A, and suppose we do whatever it would take to make B come to be a part of A if this is possible at all. Have we thereby made B a part of A? It seems not. We seem only to have brought it about that B is attached to A, like this. (shrink)

This article is a response to critical articles by Daan Evers, Bart Streumer, and Teemu Toppinen on my book Moral Error Theory: History, Critique, Defence. I will be concerned with four main topics. I shall first try to illuminate the claim that moral facts are queer, and its role in the argument for moral error theory. In section 2, I discuss the relative merits of moral error theory and moral contextualism. In section 3, I explain why I still find the (...) queerness argument concerning supervenience an unpromising argument against non-naturalistic moral realism. In section 4, finally, I reconsider the question whether I, or anyone, can believe the error theory. (shrink)

Hartry Field’s epistemological challenge to the mathematical platonist is often cast as an improvement on Paul Benacerraf’s original epistemological challenge. I disagree. While Field’s challenge is more difficult for the platonist to address than Benacerraf’s, I argue that this is because Field’s version is a special case of what I call the ‘sociological challenge’. The sociological challenge applies equally to platonists and fictionalists, and addressing it requires a serious examination of mathematical practice. I argue that the non-sociological part of Field’s (...) challenge amounts to a minor reformulation of Benacerraf’s original challenge. So, I contend, Field’s challenge is not an improvement on Benacerraf’s. What is new to Field’s challenge is as much a problem for the fictionalist as it is for the platonist. (shrink)

Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.

This essay examines some of the arguments in David Deutsch's book The Fabric of Reality , chief among them its case for the so-called many-universe interpretation of quantum mechanics (QM), presented as the only physically and logically consistent solution to the QM paradoxes of wave/particle dualism, remote simultaneous interaction, the observer-induced 'collapse of the wave-packet', etc. The hypothesis assumes that all possible outcomes are realized in every such momentary 'collapse', since the observer splits off into so many parallel, coexisting, but (...) epistemically non-interaccessible 'worlds' whose subsequent branchings constitute the lifeline-or experiential world-series- for each of those proliferating centres of consciousness. Although Deutsch concedes that his 'multiverse' theory is counter-intuitive, he none the less takes it to be borne out beyond question by the sheer observational/predictive success of QM and the conceptual dilemmas that supposedly arise with alternative (single-universe) accounts. Moreover, he claims the theory resolves a range of longstanding philosophical problems, notably those of mind/body dualism, the various traditional paradoxes of time, and the freewill/determinism issue. The essay suggests on the contrary, that Deutsch unwittingly transposes into the framework of presentday quantum debate speculative themes from the history of rationalist metaphysics, often with bizarre or philosophically dubious results, and that he rules out at least one promising rival account, namely Bohm's 'hidden variables' theory. It goes on to consider reasons for resistance to that theory among proponents of the 'orthodox' (Copenhagen) doctrine, and for the strong anti-realist, at times even irrationalist bias that has characterized much of this discussion since Bohr's debates with Einstein about quantum non-locality, observer-intervention, and the limits of precise measurement. Finally, the contrast is pointed out between Deutsch's ontologically extravagant use of the many-worlds hypothesis (akin to certain ideas advanced by speculative metaphysicians from Leibniz down) and those realist modes of counterfactual reasoning- e.g. in Kripke and the early Putnam- which deploy similar arguments to very different causal-explanatory ends. (shrink)

What are the requirements on an adequate genuine modal realist analysis of modal discourse? One is material adequacy: the modal realist must provide for each candidate analysandum an analysans in the language of counterpart theory which by his lights has the same truth value as the candidate analysandum. Must the material biconditional joining these be necessarily true? This is the requirement of strict adequacy. It is not satisfied if Lewis’s 1968 scheme provides the analysis. John Divers puts forward a modification, (...) which identifies cases of ‘advanced modalizing’ in which the modal operator is semantically redundant. Even with this modification modal realist analyses of statements of modal discourse will be strictly inadequate. Strict adequacy can be achieved by extending the redundancy interpretation to all de dicto modal statements. The price is the denial of de dicto contingency. But perhaps material adequacy is enough. If the modal realist has a systematic means of replacing every sentence of quantified modal logic which he considers true by a sentence of counterpart theory that he considers true, perhaps he need do no more. Still, traditionally philosophical analysis aims at strict adequacy so it is as well to know that this is a test the modal realist analysis fails unless he abandons de dicto contingency. (shrink)

Presentism, some say, is either the analytic triviality that the only things that exist now are ones that exist now or the obviously false claim that the only things that have ever existed or will are ones that exist now. I argue that the correct understanding of presentism is the latter and so understood the claim is not obviously false. To appreciate this one has to see presentism as strictly analogous to anti-Lewisean actualism. What this modal analogue makes evident is (...) that singular tensed statements can have scope ambiguities and so can be thought of as true with the temporal operator represented by the tense read as having wide scope. Secondly, I argue that the analogy with the modal case also makes it clear that presentism must be understood as a thesis of the form: ‘the only things that have ever existed or ever will exist stand in relation R to this utterance’, and is not a substantive topic for debate until relation R is characterized in non-temporal terms. However, despite the strict analogy, I argue that presentism may be a harder position to defend than actualism, since the truth-maker objection, properly interpreted, with Lewis, as based on a supervenience thesis, has more force as an objection to presentism since supervenience is itself a modal notion. (shrink)

Eric Olson has argued, startlingly, that no coherent account can be giv- en of the distinction made in the personal identity literature between ‘complex views’ and ‘simple views’. ‘We tell our students,’ he writes, ‘that accounts of personal identity over time fall into [these] two broad categories’. But ‘it is impossible to characterize this distinction in any satisfactory way. The debate has been systematically misdescribed’. I argue, first, that, for all Olson has said, a recent account by Noonan provides the (...) coherent characterization he claims impossible. If so we have not been wrong all along in the way he says in what we have been telling our students. I then give an account of the distinction between the reductionist and non-reductionist positions which makes it differ- ent from the complex/simple distinction. The aim is to make clear sense of the notion of a not simple but non-reductionist position — which seems an eminently reasonable possibility and something it may also be useful to tell our students about. (shrink)

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

There’s an argument around from so-called “linguistic theories of vagueness”, plus some relatively uncontroversial considerations, to powerful metaphysical conclusions. David Lewis employs this argument to support the mereological principle of unrestricted composition, and Theodore Sider employs a similar argument not just for unrestricted composition but also for the doctrine of temporal parts. This sort of argument could be generalised, to produce a lot of other less palatable metaphysical conclusions. However, arguments to Lewis’s and Sider’s conclusions on the basis of considerations (...) about vagueness are uncompelling, even if we accept the crucial premises about vagueness. And a good thing too, since the generalised form of the argument would prove far too much. (shrink)

When invited to consider the methodology of contemporary metaphysics, quite a number of procedures spring to mind as part of the metaphysician's toolkit. These include: eliciting and relying on intuitions; solving location problems and using “conceptual analysis”; inference to the best theory, both on internal metaphysical grounds and drawing from the theoretical reaches of the sciences; working on topics clearly close to, or even overlapping, those of other areas of inquiry using techniques of those other areas; achieving coherence with other (...) theories developed with other aims; and employing deductive reasoning to yield surprising conclusions. Many of these techniques are associated with significant and growing literatures about their scope, epistemic justification, suitability to different metaphysical problems, and so on. (shrink)