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)

This paper is about philosophical disputes where the literal content of what speakers communicate concerns such object-level issues as ground, supervenience, or real definition. It is tempting to think that such disputes straightforwardly express disagreements about these topics. In contrast to this, I suggest that, in many such cases, the disagreement that is expressed is actually one about which concepts should be employed. I make this case as follows. First, I look at non-philosophical, everyday disputes where a speaker employs a (...) metalinguistic usage of a term. This is where a speaker uses a term to express a view about the meaning of that term, or, relatedly, how to correctly use that term. A metalinguistic negotiation is a metalinguistic dispute that concerns a normative issue about what a word should mean, or, similarly, about how it should be used, rather than the descriptive issue about what it does mean. I argue that the same.. (shrink)

ABSTRACT In Choosing Normative Concepts, Eklund considers a “variance thesis” about our most fundamental normative concepts. This thesis raises the threat of an alarming symmetry between different sets of normative concepts. If this symmetry holds, it would be incompatible with “ardent realism” about normativity. Eklund argues that the ardent realist should appeal to the idea of “referential normativity” in response to this challenge. I argue that, even if Eklund is right in his core arguments on this front, many other important (...) challenges for ardent realism remain that also stem from the issues about possible variance in normative concepts that he considers. Following this, I introduce further issues about conceptual variance. These are issues that arise within the context of the framework that Eklund proposes the ardent realist use to confront the variance theses he considers. In particular, the issues concern what normative role as such is, as well as, relatedly, which roles associated with a concept get to count as part of its normative role. The upshot is that issues about conceptual variance in normative domains might be even more challenging for the ardent realist to deal with than Eklund argues. (shrink)

This paper is concerned with two concepts of qualitativeness that apply to intensional entities. I propose an account of pure qualitativeness that largely follows the traditional understanding established by Carnap, and try to shed light on its ontological presuppositions. On this account, an intensional entity is purely qualitative iff it does not ‘involve’ any particular. An alternative notion of qualitativeness—which I propose to refer to as a concept of strict qualitativeness—has recently been introduced by Chad Carmichael. However, Carmichael’s definition presupposes (...) a highly fine-grained conception of properties and relations. To eliminate this presupposition, I tentatively suggest a different definition that rests on a concept of perspicuous denotation. In the penultimate section, both concepts of qualitativeness are put to work in distinguishing between different ‘grades’ of qualitative discriminability. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

It is widely assumed that if ontological disputes turn out to be verbal they ought to be dismissed. I dissociate the semantic question concerning the verbalness of ontological disputes from the pragmatic question on whether they ought to be dismissed. I argue that in the context of ontological disputes ontologists ought to be taken to communicate views with conflicting ontological commitments even if it turns out that on the correct view of semantics they fail to literally-express their disagreement. I argue, (...) that is, against dismissing ontological disputes on grounds of verbalness. This serves to discharge the ongoing debate on the verbalness of ontological disputes from the metaontological consequences typically associated with it. (shrink)

Russell's notion of an incomplete symbol has become a standard against which philosophers compare their views on the relationship between language and the world. But Russell's exact characterization of incomplete symbols and the role they play in his philosophy are still disputed. In this paper, I trace the development of the notion of an incomplete symbol in Russell's philosophy. I suggest – against Kaplan, Evans, and others – that Russell's many characterizations of the notion of an incomplete symbol are compatible. (...) To this end, I examine and reject arguments for the purported incompatibility between declaring an expression to be incomplete and incorporating that symbol into a compositional semantic theory. I then examine how Russell puts the notion of an incomplete symbol to use in metaphysics. (shrink)

It is commonplace for philosophers to distinguish mere truths from truths that perspicuously represent the world's structure. According to a popular view, the perspicuous truths are supposed to be metaphysically revelatory and to play an important role in the accounts of law-hood, confirmation, and linguistic interpretation. Yet, there is no consensus about how to characterize this distinction. I examine strategies developed by Lewis and by Sider in his Writing the Book of the World which purport to explain this distinction in (...) terms of vocabulary: the truths that represent the world perspicuously have better, joint-carving vocabulary. I argue that the distinction between a perspicuous and mere truth concerns both the vocabulary of the sentence and its grammar. I then show that the collective motivations for distinguishing perspicuous from mere truths do not allow Lewis and Sider to properly impose constraints on grammar. (shrink)

Many have argued that the question, “Why is there something rather than nothing?” (henceforth: the Question) is defective in some way. While much of the literature on the Question rightly attends to questions about the nature and limits of explanation, little attention has been paid to how new work in metaontology might shed light on the matter. In this paper I discuss how best to understand the Question in light of the now common metaontological commitment to quantifiers that vary in (...) metaphysical naturalness. I show that proponents of this view have arguments at their disposal that appear to challenge the metaphysical substantivity of the Question. Then I argue that, not only are there ways to resist these arguments, the arguments do not pose a challenge to the Question if it is construed in a way that makes reference to many quantifiers. Rendering the Question with multiple quantifiers not only allows one to grant the prima facie substantivity of the Question, but allows us to express it in a way that is mode-of-being-neutral and ontology-neutral—an independently desirable aim. (shrink)

Few critics of the received view in metaphysics that ontological disputes are generally substantive have stirred as much response as those that have developed Carnapian arguments turning on considerations of language and interpretation. The arguments from deflationists like Thomasson ( 2009, 2014 ) and Neo-Fregeans like Hale and Wright ( 2009 ), focus on features of actual language use, others like those from Hirsch ( 2002, 2009 ) focus on interpretation. In this paper, I offer a novel challenge to the (...) latter sort of argument. I argue that through their use of the principle of charity, they have unacceptable consequences beyond the ontology room: the best accounts of some natural language phenomena—most importantly, presupposition—cannot be maintained. (shrink)

This paper elaborates the problem of temporal unity for dynamic presentism and diagnoses the source of that problem in the dynamic presentist’s discarding the traditional C-series in its avoidance of McTaggart’s (1908, 1927) A-series paradox. This C-series provided the fixed structure of time which the transitory aspects of time then followed, and thereby unify those transitory aspects. It then considers ersatzer presentism as an ostensible solution to the problem of temporal unity by providing a new abstract C-series (namely an ersatz-B-series) (...) for dynamic presentism. However, after a closer examination of the details of this proposal, it is found that the ersatz-B-series itself needs to be temporally variable to capture the transitory aspects of time that it is meant to track. Consequently, it cannot provide the fixed structure of time required to unify the transitory aspects of time into a temporal series. It is therefore suggested that dynamic presentists look for a more course-grained determiner of temporal progression to construct the presentist-friendly C-series required to unify their transitory aspects of time. (shrink)

In this paper, I develop an argument against eternalism, which is similar to the widely discussed grounding problem for presentism. It has recently been argued by many that presentism should be rejected on grounds that its sparse ontology is not suited to underwrite the healthy dose of realism we all share about the past. My aim basically is to add a new twist to the debate, by showing that actually eternalists are no better off than their rivals. In particular, I (...) argue that the eternalist’s ontology does not have the appropriate shape to ground true propositions about the past. (shrink)

In this paper we put forward and defend a view of the nature of logic that we call moderate anti-exceptionalism. In the first part of the paper we focus on the problem of genuine logical validity and consequence. We make use of examples from current debates to show that attempts to pinpoint the one and only authentic logic inevitably either yield irrefutable theories or lead to dead ends. We then outline a thoroughly naturalist account of logical consequence as grounded in (...) rules implicit in human linguistic practices. We insist that there are only two existing kinds of language: natural languages, and artificial languages that have been forged by us. There is thus no room for a "genuine" language and hence for "genuine" logic. We conclude that though logical theories are established—and are liable to criticism—in a similar fashion as those of the sciences, and in this sense logic is not exceptional, to fulfill its mission logic must lay a claim to normative authority over our argumentation and reasoning, which makes its methodology somewhat special. Logical theory is not meant to provide just an explanation, the standards it establishes serve also as a tool, providing for a reinforcement of our rational communication. (shrink)

According to panpsychists, physical phenomena are, at bottom, nothing but experiential phenomena. One argument for this view proceeds from an alleged need for physical phenomena to have features beyond what physics attributes to them; another starts by arguing that consciousness is ubiquitous, and proposes an identification of physical and experiential phenomena as the best explanation of this alleged fact. The first argument assumes that physical phenomena have categorical natures, and the second that the world’s experience-causing powers or potentials underdetermine its (...) physical features. I argue that panpsychists are not entitled to these assumptions. (shrink)

According to ‘composition as identity’, a composite object is identical to all its parts taken together. Thus, a plurality of composite objects is identical to the plurality of those objects’ parts. This has the consequence that, e.g., the bricks which compose a brick wall are identical to the atoms which compose those bricks, and hence that the plurality of bricks must include each of those atoms. This consequence of CAI is in direct conflict with the standard analysis of plural definite (...) descriptions. According to that analysis, the denotation of ‘the bricks’ can include only bricks. It seems, then, that if CAI is true, ‘the bricks’ doesn’t denote anything; more generally, if CAI is true, there are fewer pluralities than we ordinarily think. I respond to this argument by developing an alternative analysis of plural descriptions which allows the denotation of ‘the bricks’ to include non-bricks. Thus, we can accept CAI, while still believing in all the pluralities we could want. As a bonus, my approach to plural descriptions and plural comprehension blocks recent arguments to the effect that CAI entails compositional nihilism. (shrink)

The Significance Argument (SA) for the irreducibility of consciousness is based on a series of new puzzle-cases that I call multiple candidate cases. In these cases, there is a multiplicity of physical-functional properties or relations that are candidates to be identified with the sensible qualities and our consciousness of them, where those candidates are not significantly different. I will argue that these cases show that reductive materialists cannot accommodate the various ways in which consciousness is significant and must allow massive (...) vagueness in conscious experience. I also will argue that a nonreductive theory of the conscious-of relation can easily provide a very satisfying, unified explanation of the ways in which this relation is significant. (shrink)

In this paper, I argue that the spatiotemporalist approach way of modeling the fundamental constituents, structure, and composition of the world has taken a wrong turn. Spatiotemporalist approaches to fundamental structure take the fundamental nature of the world to be spatiotemporal: they take the category of spatiotemporal to be fundamental. I argue that the debates over the nature of the fundamental space in the physics show us that (i) the fact that it is conceivable that the manifest world could be (...) exactly as it appears to us, even though spatiotemporal entities are not fundamental, means that a central premise of spatiotemporalism, that we may assume, given ordinary experience, that the world is fundamentally spatiotemporal, is false. (ii) Spatiotemporalism must be seen as a contingent, a posteriori physical truth. Finally, (iii) I argue that a metaphysically deeper conclusion follows from the debate over the nature of the fundamental space. The debate in physics over which sort of space is the fundamental space suggests that physicists have discovered that, even if a spacetime is an actual constituent of the world-space category, there is a world-space category that is more fundamental than the category of spacetime. (shrink)

Feminist metaphysicians have recently argued that many of the most influential contemporary meta-metaphysical frameworks are at odds with feminist metaphysics. In this paper I argue that the Finean framework of grounding, essence, and reality evades the main challenges that have been raised for alternative frameworks. The upshot of my discussion is that the Finean framework is an apt one for feminist metaphysics.

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)

Externalism holds that the content of our utterances and thoughts are determined partly by the environment. Here, I offer an argument which suggests that externalism is incompatible with a natural view about ontological commitment--namely, the Quinean view that such commitments are fixed by the range of the variables in your theory. The idea in brief is that if Oscar mistakenly believes that water = XYZ, the externalist ontologically commits Oscar to two waterish kinds, whereas the Quinean commits him to one (...) such kind (albeit a metaphysically impossible kind). The penultimate section addresses a variety of objections to the argument. (shrink)

Typical presentism asserts that whatever exists is present. Moderate presentism more modestly claims that all events are present and thus acknowledges past and future times understood in a substantivalist sense, and past objects understood, following Williamson, as “ex-concrete.” It is argued that moderate presentism retains the most valuable features of typical presentism, while having considerable advantages in dealing with its most prominent difficulties.

A minimal truthmaker for a given proposition is the smallest portion of reality which makes this proposition true. Minimal truthmakers are frequently mentioned in the literature, but there has been no systematic account of what they are or of their importance. In this article we shall clarify the notion of a minimal truthmaker and argue that there is reason to think that at least some propositions have minimal truthmakers. We shall then argue that the notion can play a useful role (...) in truthmaker theory, by helping to explain the truth of certain propositions as precisely as possible. (shrink)

There has been an explosion of interest in the metaphysics of fundamentality in recent decades. The consensus view, called metaphysical foundationalism, maintains that there is something absolutely fundamental in reality upon which everything else depends. However, a number of thinkers have chal- lenged the arguments in favor of foundationalism and have proposed competing non-foundationalist ontologies. This paper provides a systematic and critical introduction to metaphysical foundationalism in the current literature and argues that its relation to ontological dependence and substance should (...) be qualified in important ways. (shrink)

According to linguistic conventionalism, necessities are to be explained in terms of the conventionally adopted rules that govern the use of linguistic expressions. A number of influential arguments against this view concerns the ‘Truth-Contrast Thesis’. This is the claim that necessary truths are fundamentally different from contingent ones since they are not made true by ‘the facts’. Instead, they are supposed to be something like ‘true in virtue of meaning’. This thesis is widely held to be a core commitment of (...) the conventionalist position, and the view is frequently rejected on the grounds that this thesis is untenable. I argue that this line of reasoning is mistaken. While the thesis should be rejected, it is not, I argue, entailed by linguistic conventionalism – nor was it invariably accepted by the paradigmatic conventionalists. (shrink)

This paper defends Flatland—the view that there exist neither determination nor dependence relations, and that everything is therefore fundamental—from the objection from explanatory inefficacy. According to that objection, Flatland is unattractive because it is unable to explain either the appearance as of there being determination relations, or the appearance as of there being dependence relations. We show how the Flatlander can meet the first challenge by offering four strategies—reducing, eliminating, untangling and omnizing—which, jointly, explain the appearance as of determination relations (...) where no such relations obtain. Since, plausibly, dependence relations just are asymmetric determination relations, we argue that once we come mistakenly to believe that there exist determination relations, the existence of other asymmetries (conceptual and temporal) explains why it appears that there are dependence relations. (shrink)

This paper defends wave function realism against the charge that the view is empirically incoherent because our evidence for quantum theory involves facts about objects in three-dimensional space or space-time . It also criticizes previous attempts to defend wave function realism against this charge by claiming that the wave function is capable of grounding local beables as elements of a derivative ontology.

Traditional views on philosophical methodology characterize our primary philosophical goal as production of a successful conceptual analysis. The notion of conceptual analysis, however, faces several challenges—from experimental philosophy to more traditional worries such as the paradox of analysis. This paper explores an alternate approach, commonly called conceptual engineering, which aims at recommending conceptual revisions. An important question for the conceptual engineer is as follows: what counts as a case of successful conceptual engineering? What sorts of revisions are permitted, and what (...) sorts are too revisionary? In this paper I examine ‘functional’ approaches to conceptual engineering, ultimately arguing for a ‘radical’ functionalism according to which even revisions which ‘change the subject’ are permitted, and successful re-engineering is constrained only by the requirement that continuity in needed functions of a pre-engineering concept be maintained somewhere in the postengineering conceptual scheme. I further argue that this approach suggests a heightened role, in metaphilosophical discourse, for a neglected epistemic goal—conceptual efficacy. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s quasi-categoricity (...) theorem for second-order ZFC—these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

Contingent negative existentials give rise to a notorious paradox. I formulate a version in terms of metaphysical grounding: nonexistence can't be fundamental, but nothing can ground it. I then argue for a new kind of solution, expanding on work by Kit Fine. The key idea is that negative existentials are contingently zero-grounded – that is to say, they are grounded, but not by anything, and only in the right conditions. If this is correct, it follows that grounding cannot be an (...) internal relation, and that no complete account of reality can be purely fundamental. (shrink)

The most basic divide amongst analytic metaphysicians separates realists from anti-realists. By examining certain characteristic and problematic features of these two families of views, we uncover their underlying metametaphysicalorientations, which turn out to coincide. This shared philosophical picture that underlies both the realist and the anti-realist project we call the Modern Picture. It rests on a crucial distinction between reality as it is for us and reality as it is in itself. It is argued that this distinction indeed generates the (...) realism/anti-realism dichotomy, and is also responsible for the problematic aspects highlighted earlier. We conclude by sketching an alternative philosophical picture that rejects the distinction between reality as it is for us and reality as it is in itself, which we call the Aristotelian Picture, and consider whether it is able to avoid the issues to which the Modern Picture gives rise. (shrink)

Frege taught us how to understand one form of predication: an atemporal one. There is also a different, temporal form of predication, which I briefly introduce. Accordingly, there are two fundamentally different approaches to time: a reductive one, aiming to account for time in terms of Frege’s atemporal predication, and a non-reductive one, insisting that the temporal form of predication is sui generis, and that time is to be understood in its terms. I do not directly argue for or against (...) reductionism in this paper. Rather, by evaluating the debates on endurantism–perdurantism, A-theory–B-theory, and presentism–eternalism, I argue that these debates, although aiming to be fundamental, largely boil down to mere quarrels between alternative reductive approaches. We should take notice of this fact and reorient ourselves within the debate on time accordingly: the real issue is whether we should reduce or not. I briefly sketch in what sense endurantism, A-theory, and presentism may be developed on a properly anti-reductionist basis. (shrink)

This paper considers the extent to which the notion of truthmaking can play a substantive role in defining physicalism. While a truthmaking-based approach to physicalism is prima facie attractive, there is some reason to doubt that truthmaking can do much work when it comes to understanding physicalism, and perhaps austere metaphysical frameworks in general. First, despite promising to dispense with higher-level properties and states, truthmaking appears to make little progress on issues concerning higher-level items and how they are related to (...) how things are physically. Second, it seems that truthmaking-based approaches to physicalism will have a difficult time addressing the status of truthmaking itself without, in effect, appealing to the resources of alternative ways of conceptualizing physicalism. (shrink)

Many non-naturalists about the normative want to endorse the view that some normative facts hold in virtue of both non-normative facts and normative principles. In this paper, I argue that non-naturalism is inconsistent with this thesis, due to the nature of normative principles and their grounds. I then consider two ways in which the nonnaturalist position could be modified or expanded to solve this problem. No solution, it turns out, is without its problems. I end by considering how the non-naturalist (...) can deny that normative facts obtain partially in virtue of principles. (shrink)

This is the first part of a two-tier overview article on fundamentality in metaphysics and the philosophy of physics. It provides an introduction to the notion of fundamentality in metaphysics, as well as to several related concepts. The key issues in the contemporary debate on the topic are summarised, making systematic reference to the most relevant literature. In particular, various ways in which the fundamental entities and the fundamental structure of reality may be conceived are illustrated and discussed. A final (...) brief section looks at the methodological issue of naturalism, paving the way for the survey of fundamentality in the philosophy of physics, which is carried out in the second part. (shrink)

In this essay I focus on the idea of the univocity of being, championed by Duns Scotus and given prominence more recently by Deleuze. Although I am interested in how this idea can be established, my primary concern is with something more basic: how the idea can even be properly thought. In the course of exploring this issue, which I do partly by borrowing some ideas about logical syntax from Wittgenstein's Tractatus, I try to show how there can be dialogue (...) between analytic philosophers and those of other traditions. (shrink)

ABSTRACT One simple but relatively neglected solution to the notorious coincidence puzzle of the statue and the piece of clay claims that the property of being a statue is a phase sortal property that the piece of clay instantiates temporarily. I defend this view against some standard objections, by reinforcing it with a novel counterpart-theoretic account of identity under a sortal. This proposal does not require colocation, four-dimensionalism, eliminativism, deflationism, or unorthodox theses about classical identity.

The philosophical problem that stems from the successful application of mathematics in the empirical sciences has recently attracted growing interest within philosophers of mathematics and philosophers of science. Nevertheless, little attention has been devoted to the converse applicability issue of how physical considerations find successful application in mathematics. In this article, focusing on some case studies, I address the latter issue and argue that some successful applications of physics to mathematics essentially depend on the use of conservation principles. I conclude (...) with a short discussion of how the successful interplay between conservation principles and mathematics can be accounted for. (shrink)

This paper presents an argument against the A-Theory of time. Briefly, I shall contend that the A-Theorist has no explanation for why the present moment in particular has the metaphysical privilege she accords it, and that this puts the theory at a disadvantage. In what follows, I shall begin by presenting this argument. I will follow that with some potential explanations for why the present moment is privileged and reasons militating against them, in addition to some other possible objections to (...) my argument and my responses to them. The conclusion will be that the A-Theorist fails to provide either an obvious or a theoretical explanation of the present time’s privileged status and is thereby at a theoretical disadvantage to theories that do not posit a metaphysically privileged present time. Topics covered include the purported analogy between times and worlds, the possibility that times are individuated by what is true at them, and the semantic status of titles for date-times. (shrink)

According to the conciliatory view in metaontology, there are multiple possible languages corresponding to the popular positions in ontology. In each of these languages, the term ‘exists’ expresses a distinct “existence-like” property, and consequently the claims associated with each of the rival ontological positions come out true in some such language. Species of the conciliatory view can be distinguished based on claims about how the various existence-like properties are related vis-à-vis metaphysical naturalness. On some versions, all of the existence-like properties (...) are held to be equally natural, such that there is no “metaphysically privileged” language. However on others, there is held to be a most natural existence-like property and hence a most fundamental ontological language. In this paper I defend two views, one metaontological and one ontological. I first defend a version of the conciliatory view according to which there is exactly one perfectly natural existence-like property, but the rest are still “reasonably” natural. I then argue that, assuming this metaontological view, we should accept a permissive ontological view in the fundamental language (i.e. one with a very expansive domain). (shrink)

One argument for the moving spotlight theory is that it better explains certain aspects of our temporal phenomenology than does any static theory of time. Call this the argument from passage phenomenology. In this paper it is argued that insofar as moving spotlight theorists take this to be a sound argument they ought embrace a new version of the moving spotlight theory according to which the moving spotlight is a cresting wave of causal efficacy. On this view it is more (...) than just presentness that is temporary: a range of other fundamental properties are also temporary because presentness synchronically changes the fundamental properties that are instantiated in the present moment, from those instantiated when that moment is future, or past. On this view having experiences as of presentness co-varies with the presence of presentness, allowing the moving spotlight theorist to provide a compelling explanation for why we have the temporal phenomenology we do, and to explain how we can know that we are present by reflecting on the nature of said phenomenology. (shrink)

This article examines whether it is possible to uphold one form of deflationism towards metaphysics, ontological pluralism, whilst maintaining metaphysical realism. The focus therefore is on one prominent deflationist who fits the definition of an ontological pluralist, Eli Hirsch, and his self-ascription as a realist. The article argues that ontological pluralism is not amenable to the ascription of realism under some basic intuitions as to what a “realist” position is committed to. These basic intuitions include a commitment to more than (...) a stuff-ontology, and a view that realism carries with it more than a rejection of idealism. This issue is more than merely terminological. The ascription of realism is an important classification in order to understand what sorts of entities can be the truthmakers within a given theory. “Realism” is thus an important term to understand the nature of the entities that a given theory accepts into its ontology. (shrink)

Primitives are both important and unavoidable, and which set of primitives we endorse will greatly shape our theories and how those theories provide solutions to the problems that we take to be important. After introducing the notion of a primitive posit, I discuss the different kinds of primitives that we might posit. Following Cowling (2013), I distinguish between ontological and ideological primitives, and, following Benovsky (2013) between functional and content views of primitives. I then propose that these two distinctions cut (...) across each other leading to four types of primitive posits. I then argue that theoretical virtues should be taken to be meta-theoretical ideological primitives. I close with some reflections on the global nature of comparing sets of primitives. (shrink)

The relationship between feminism and metaphysics has historically been strained. Metaphysics has until recently remained dismissive of feminist insights, and many feminist philosophers have been deeply skeptical about any value that metaphysics might have when thinking about advancing gender justice. Nevertheless, feminist philosophers have in recent years increasingly taken up explicitly metaphysical investigations. Such feminist investigations have expanded the scope of metaphysics in holding that metaphysical tools can help advance debates on topics outside of traditional metaphysical inquiry. Moreover, feminist philosophers (...) typically bring new methodological insights to bear on traditional ways of doing philosophy. Feminist metaphysicians have also recently begun interrogating the methods of metaphysics and they have raised questions about what metaphysics as a discipline is in the business of doing. In discussing such methodological issues, Elizabeth Barnes has recently argued that some prevalent conceptions of metaphysics rule out feminist metaphysics from the start and render it impossible. This is bad news for self-proclaimed feminist metaphysicians in suggesting that they are mistaken about the metaphysical status of their work. With this worry in mind, the paper asks: how does feminist metaphysics fare relative to ‘mainstream’ metaphysics? More specifically, it explores how feminist and ‘mainstream’ debates intersect, on what grounds do they come apart, and whether feminist metaphysics qualifies as metaphysics ‘proper’. (shrink)

The relationship between feminism and metaphysics has historically been strained. Metaphysics has until recently remained dismissive of feminist insights, and many feminist philosophers have been deeply skeptical about any value that metaphysics might have when thinking about advancing gender justice. Nevertheless, feminist philosophers have in recent years increasingly taken up explicitly metaphysical investigations. Such feminist investigations have expanded the scope of metaphysics in holding that metaphysical tools can help advance debates on topics outside of traditional metaphysical inquiry. Moreover, feminist philosophers (...) typically bring new methodological insights to bear on traditional ways of doing philosophy. Feminist metaphysicians have also recently begun interrogating the methods of metaphysics and they have raised questions about what metaphysics as a discipline is in the business of doing. In discussing such methodological issues, Elizabeth Barnes has recently argued that some prevalent conceptions of metaphysics rule out feminist metaphysics from the start and render it impossible. This is bad news for self-proclaimed feminist metaphysicians in suggesting that they are mistaken about the metaphysical status of their work. With this worry in mind, the paper asks: how does feminist metaphysics fare relative to ‘mainstream’ metaphysics? More specifically, it explores how feminist and ‘mainstream’ debates intersect, on what grounds do they come apart, and whether feminist metaphysics qualifies as metaphysics ‘proper’. (shrink)

Gideon Rosen has recently sketched an argument which aims to establish that the notion of metaphysical modality is systematically ambiguous. His argument contains a crucial sub-argument which has been used to argue for Metaphysical Contingentism, the view that some claims of fundamental metaphysics are metaphysically contingent rather than necessary. In this paper, Rosen’s argument is explicated in detail and it is argued that the most straight-forward reconstruction fails to support its intended conclusion. Two possible ways to save the argument are (...) rebutted and it is furthermore argued that the crucial sub-argument only supports a rather particular variant of Metaphysical Contingentism. (shrink)

Hybrid languages are introduced in order to evaluate the strength of “minimal” mereologies with relatively strong frame definability properties. Appealing to a robust form of nominalism, I claim that one investigated language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document} is maximally acceptable for nominalistic mereology. In an extension \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document} of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document}, a modal analog (...) for the classical systems of Leonard and Goodman and Leśniewski is introduced and shown to be complete with respect to 0-deleted Boolean algebras. We characterize the formulas of first-order logic invariant for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document}-bisimulations. (shrink)

There are two intuitions about time. The first is that there's something special about the present that objectively differentiates it from the past and the future. Call this intuition Specialness. The second is that the time at which we happen to live is just one among many other times, all of which are ‘on a par’ when it comes to their forming part of reality. Call this other intuition Egalitarianism. Tradition has it that the so-called ‘A-theories of time’ fare well (...) at addressing the first intuition, but rather badly when it comes to the second. The goal of this article is to offer advice to A-theorists about how to reconcile their view with Egalitarianism. (shrink)

Naïve realism is a theory of perception with great explanatory ambitions. It has been influentially argued that, in order to realize these explanatory ambitions, the naïve realist should say that any perception belongs to just one fundamental kind. I think, however, that adopting this commitment does not particularly help the naïve realist to realize her explanatory ambitions, and so is not warranted. This result is significant because once this commitment about fundamental kinds is relinquished, we see that it is possible (...) to develop some new and surprising forms of naïve realism—most notably, what I call pluralist naïve realism. (shrink)