The intimate relationship between X and Y consists in the existence of (metaphysically) necessary truths correlating their occurrences/existences/instantiations. E would be in some sense “overdetermined” if caused by both X and Y.2 Some philosophers say this would be bad, that this cannot or does not happen, that we should construct theories ruling it out, at least in certain cases.3 But why? Given the necessary truths correlating objects and their parts, objects and events concerning those objects, physical and supervenient mental properties, (...) and so on, X and Y do both seem to be causes of E. Should we say that a baseball.. (shrink)

Peter Forrest and D.M. Armstrong have given an argument against a theory of naturalness proposed by David Lewis based on the fact that ordered pairs can be constructed from sets in any of a number of different ways. 1. I think the argument is good, but requires a more thorough defense. Moreover, the argument has important consequences that have not been noticed. I introduce a version of Lewis’s proposal in section one, and then in section two I present and defend (...) my version of the argument. After addressing a worry about my argument in section three, in section four I argue that a similar “argument from arbitrariness” jeopardizes Lewis’s solution to the Kripke/Wittgenstein puzzle of the content of thought. (shrink)

NeoFregeanism is an intriguing but elusive philosophy of mathematical existence. At crucial points, it goes cryptic and metaphorical. I want to put forward an interpretation of neoFregeanism—perhaps not one that actual neoFregeans will embrace—that makes sense of much of what they say. NeoFregeans should embrace quantifier variance.

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

Some philosophers believe that everyday objects are 4-dimensional spacetime worms, that a person (for example) persists through time by having temporal parts, or stages, at each moment of her existence. None of these stages is identical to the person herself; rather, she is the aggregate of all her temporal parts.1 Others accept “three dimensionalism”, rejecting stages in favor of the notion that persons “endure”, or are “wholly present” throughout their lives.2 I aim to defend an apparently radical third view: not (...) only do I accept person stages; I claim that we are stages.3 Likewise for other objects of our everyday ontology: statues are statue-stages, coins are coin-stages, etc. At one level, I accept the ontology of the worm view. I believe in spacetime worms, since I believe in temporal parts and aggregates of things I believe in. I.. (shrink)

The core idea of David Armstrong’s combinatorial theory of possibility is attractive. Rearrangement is the key to modality; possible worlds result from scrambling bits and pieces of other possible worlds. Yet I encounter great difficulty when trying to formulate the theory rigorously, and my best attempts are vulnerable to counterexamples. The Leibnizian biconditionals relate possibility and necessity to possible world and true in.

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

In this paper I offer a novel analysis of Quine's indeterminacy puzzle and an unorthodox approach to its resolution. It is argued that the ultimate roots of indeterminacy lie not in behaviorism per se, but rather in Quine's commitment to a fundamental assumption about the nature of perceptual input, namely, the assumption that sensory information is strictly extensional. Calling this assumption the 'principle of input extensionalism' (PIE) I first demonstrate the fundamental role that it plays in generating Quine's argument for (...) the indeterminacy of translation. It is then argued that a tacit acceptance of PIE is prevalent among contemporary theories of cognition and representation, making Quine's puzzle a living challenge for cognitive science and the philosophy of mind. A standard way of responding to the challenge consists of the idea that the indeterminacy generated at the perceptual level is canceled out courtesy of the contribution of higher cognitive processes. However, I argue that such a top-down solution leaves much to be desired. As an alternative, I offer a bottom-up solution, which consists of a systematic rejection of PIE in favor of an intensional view of perceptual input rooted in contemporary action-based theories of perception, and in particular in the notion of perceptual invariants. (shrink)

The aim of this paper is to point out the limitations of Hybrid Modal Realism as a general theory of modalities, i.e. one that gives an analysis of possibilities as well as impossibilities. To do so we will firstly sketch the goals that theories of impossible worlds should achieve. Secondly we will briefly present the two most popular accounts of impossibilities—Extended Modal Realism and Extended Ersatzism. We will focus on the aspects of both theories which became the motivation for a (...) hybrid view. In the last part of this paper we will analyze Francesco Berto’s Hybrid Modal Realism and present reasons why this account is an insufficient tool for analyzing impossibilities. (shrink)

The Razor commands us not to multiply entities without necessity. I argue for an alternative principle—The Laser—which commands us not to multiply fundamental entities without necessity.

There are well-known quasi-formal arguments that identity is a "strict" relation in at least the following three senses: (1) There is a single identity relation and a single distinctness relation; (2) There are no contingent cases of identity or distinctness; and (3) There are no vague or indeterminate cases of identity or distinctness. However, the situation is less clear cut than it at first may appear. There is a natural formal theory of identity that is very close to the standard (...) classical theory but which does not validate the formal analogues of (1)-(3). The core idea is simple: We weaken the Principle of the Indiscernibility of Identicals from a conditional to an entailment and we adopt a weakly classical logic. This paper investigates this weakly classical theory of identity (and related theories) and discusses its philosophical ramifications. It argues that we can accept a reasonable theory of identity without committing ourselves to the uniqueness, necessity, or determinacy of identity. (shrink)

Nexuses such as exemplification are the fundamental ties that structure reality as a whole. They are “formal” in the sense of constituting the form, not the matter of reality and they are “transcendental” inasmuch as they transcend the categorial distinctions between the denizens of reality, including that between existents and non-existents. I shall advocate a moderately particularist view about (external) nexuses and argue that it provides not only the best solution to Bradley’s regress, but also an elegant account of symmetrical (...) relations (both formal and material), as well as of temporal and modal change. These advantages are illustrated by the reconstruction of an Aristotelian ontology of exemplification involving substances, kinds and material attributes. (shrink)

Properties come in clusters. It seems impossible, for instance, that a mass could float free, unattached to any other property. David Armstrong takes this as a reductio of the bundle theory and an argument for substrata, while Peter Simons and Arda Denkel reply by supplementing the bundle theory with accounts of property interdependencies. I argue against both views. Virtually all plausible ontologies turn out to be committed to the existence of free masses.

What makes an object the same persisting individual over time? Philosophers and psychologists have both grappled with this question, but from different perspectives—philosophers conceptually analyzing the criteria for object persistence, and psychologists exploring the mental mechanisms that lead us to experience the world in terms of persisting objects. It is striking that the same themes populate explorations of persistence in these two very different fields—e.g. the roles of spatiotemporal continuity, persistence through property change, and cohesion violations. Such similarities may reflect (...) an underlying connection, in that psychological mechanisms of object persistence (especially relevant parts of mid-level visual object processing) may serve to underlie the intuitions about persistence that fuel metaphysical theories. This would be a way for cognitive science to join these two disparate fields, helping to explain the possible origins and reliability of some metaphysical intuitions, and perhaps leading to philosophical progress. (shrink)

Most answers to the mind-body problem are claims about the nature of mental properties and substances. But advocates of non-reductive physicalism have generally neglected the topic of the nature of substance, quickly nodding to the view that all substances are physical, while focusing their intellectual energy on understanding how mental properties relate to physical ones. Let us call the view that all substances are physical or are exhaustively composed of physical substances substance physicalism (SP). Herein, I argue that non-reductive physicalism (...) (NRP) cannot uphold substance physicalism and is thereby false. For NRP faces a mind problem: its commitment to property irreducibility prevents that which bears the mental properties—the mind, or on some views, the self or person—from being a physical thing. (shrink)

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

Grounding is often glossed as metaphysical causation, yet no current theory of grounding looks remotely like a plausible treatment of causation. I propose to take the analogy between grounding and causation seriously, by providing an account of grounding in the image of causation, on the template of structural equation models for causation.

Magnetism in meta-semantics is the view that the meaning of our words is determined in part by their use and in part by the objective naturalness of candidate meanings. This hypothesis is commonly attributed to David Lewis, and has been put to philosophical work by Brian Weatherson, Ted Sider and others. I argue that there is no evidence that Lewis ever endorsed the view, and that his actual account of language reveals good reasons against it.

I formulate and defend two sceptical theses on specific parts of our modal knowledge (unqualified and absolute modalities). My main point is that unqualified modal sentences are defective in that they fail to belong unambiguously to specific modal kinds and thus cannot be evaluated; hence, we must be sceptical of beliefs involving them.

The simple proposal for a characterization of general term rigidity is in terms of sameness of designation in very possible world. Critics like Schwartz (2002) and Soames (2002) have argued that such a proposal would trivialize rigidity for general terms. Martí (2004) claims that the objection rests on the failure to distinguish what is expressed by a general term and the property designated. I argue here against such a response by showing that the trivialization problem reappears even if one pays (...) attention to such a distinction. (shrink)

When do the folk think that material objects persist? Many metaphysicians have wanted a view which fits with folk intuitions, yet there is little agreement about what the folk intuit. I provide a range of empirical evidence which suggests that the folk operate with a teleological view of persistence: the folk tend to intuit that a material object survives alterations when its function is preserved. Given that the folk operate with a teleological view of persistence, I argue for a debunking (...) explanation of folk intuitions, concluding that metaphysicians should dismiss folk intuitions as tied into a benighted view of nature. (shrink)

Ockhamism implies that future contingents may be true, their historical contingency notwithstanding. It is thus opposed to both the Peircean view according to which all future contingents are false, and Supervaluationist Indeterminism according to which all future contingents are neither true nor false. The paper seeks to defend Ockhamism against two charges: the charge that it cannot meet the requirement that truths be grounded in reality, and the charge that it proves incompatible with objective indeterminism about the future. In each (...) case, the defence draws on the idea that certain truths are truths only courtesy of others and of what makes the latter true. After introduction of the Ockhamist view, its competitors and implications, a suitable definition of grounded truth is being devised that both is faithful to the spirit of the grounding-requirement and allows the Ockhamist to heed that requirement quite comfortably. Then two senses in which the future might be open are being introduced, indeterminacy as failure of predetermination by past and present facts, and indeterminacy as failure of entailment by past and present truths. It is argued that while openness in the former sense, but not in the latter sense, coheres with the Ockhamist view, it is only openness in the former sense that matters for objective indeterminism. (shrink)

That believing truly as a matter of luck does not generally constitute knowing has become epistemic commonplace. Accounts of knowledge incorporating this anti-luck idea frequently rely on one or another of a safety or sensitivity condition. Sensitivity-based accounts of knowledge have a well-known problem with necessary truths, to wit, that any believed necessary truth trivially counts as knowledge on such accounts. In this paper, we argue that safety-based accounts similarly trivialize knowledge of necessary truths and that two ways of responding (...) to this problem for safety, issuing from work by Williamson and Pritchard, are of dubious success. (shrink)

In my book *Resemblance Nominalism* I argued that the truthmakers of ´a and b resemble each other´ are just a and b. In his "Resemblance Nominalism and counterparts" Alexander Bird objects to my claim that the truthmakers of ´a and b resemble each other´ are just a and b. In this paper I respond to Bird´s objections.

According to Essentialism, an object’s properties divide into those that are essential and those that are accidental. While being human is commonly thought to be essential to Socrates, being a philosopher plausibly is not. We can motivate the distinction by appealing—as we just did—to examples. However, it is not obvious how best to characterize the notion of essential property, nor is it easy to give conclusive arguments for the essentiality of a given property. In this paper, I elaborate on these (...) issues and explore the way in which essential properties behave in relation to other related properties, like sufficient-for-existence properties and individual essences. (shrink)

Pace Necessitism – roughly, the view that existence is not contingent – essential properties provide necessary conditions for the existence of objects. Sufficiency properties, by contrast, provide sufficient conditions, and individual essences provide necessary and sufficient conditions. This paper explains how these kinds of properties can be used to illuminate the ontological status of merely possible objects and to construct a respectable possibilist ontology. The paper also reviews two points of interaction between essentialism and modal logic. First, we will briefly (...) see the challenge that arises against S4 from flexible essential properties; as well as the moves available to block it. After this, the emphasis is put on the Barcan Formula (BF), and on why it is problematic for essentialists. As we will see, Necessitism can accommodate both (BF) and essential properties. What necessitists cannot do at the same time is to continue to understanding essential properties as providing necessary conditions for the existence of individuals; against what might be for some a truism. (shrink)

The paper presents a dilemma for both epistemic and non-epistemic versions of conceivability-based accounts of modal knowledge. On the one horn, non-epistemic accounts do not elucidate the essentialist knowledge they would be committed to. On the other, epistemic accounts do not elucidate everyday life de re modal knowledge. In neither case, therefore, do conceivability accounts elucidate de re modal knowledge.

I focus on two arguments, due to Jaegwon Kim and Trenton Merricks, that move from claims about the sufficiency of one class of causes to the reduction or elimination of another class of entity, via claims about overdetermination. I argue that in order to validate their move from sufficiency to reduction or elimination, both Kim and Merricks must assume that there can be no ‘weak overdetermination’; i.e., that no single effect can have numerically distinct but dependently sufficient causes occurring at (...) the same time. One problem for both arguments is that weak overdetermination isn't obviously objectionable. That point has been well made before. But I want here to go further than merely shifting the burden of proof onto the advocates of overdetermination arguments. I want to tease out why they are so convinced that we must resist weak overdetermination and explain why their conviction is misguided. Both Merricks and Kim, I shall argue, ultimately rest their case on the same motivating principle, wh.. (shrink)

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

In this paper, I show how a solution to Lewis’ problem of temporary intrinsics is also a response to McTaggart’s argument that the A-series is incoherent. There are three strategies Lewis considers for solving the problem of temporary intrinsics: perdurantism, presentism, and property-indexing. William Lane Craig (Analysis 58(2):122–127, 1998) has examined how the three strategies fare with respect to McTaggart’s argument. The only viable solution Lewis considers to the problem of temporary intrinsics that also succeeds against McTaggart, Craig claims, is (...) presentism. This gives us prima facie reason to be presentists. But there is a strategy Craig does not consider-indexing, or relativizing, the copula. In this paper, I show that to the degree that indexing the copula solves the problem of temporary intrinsics, it also shows the invalidity of McTaggart’s argument. The upshot: the copula-indexer needn’t affirm the unreality of time, nor need she embrace presentism. (shrink)

John Perry has argued that language, thought and experience often contain unarticulated constituents. I argue that this idea holds the key to explaining away the intuitive appeal of the A-theory of time and the endurance theory of persistence. The A-theory has seemed intuitively appealing because the nature of temporal experience makes it natural for us to use one-place predicates like past to deal with what are really two-place relations, one of whose constituents is unarticulated. The endurance view can be treated (...) in a similar way; the temporal boundaries of temporal parts of objects are unarticulated in experience and this makes it seem that the very same entity exists at different times. (shrink)

This essay offers a rearticulation and defence of the modal account of luck that the author developed in earlier work . In particular, the proposal is situated within a certain methodology, a component of which is paying due attention to the cognitive science literature on luck ascriptions. It is shown that with the modal account of luck properly articulated it can adequately deal with some of the problems that have recently been offered against it, and that the view has a (...) number of attractions over competing proposals, such as the lack of control account. (shrink)

In this article it is argued that the standard theoretical account of risk in the contemporary literature, which is cast along probabilistic lines, is flawed, in that it is unable to account for a particular kind of risk. In its place a modal account of risk is offered. Two applications of the modal account of risk are then explored. First, to epistemology, via the defence of an anti-risk condition on knowledge in place of the normal anti-luck condition. Second, to legal (...) theory, where it is shown that this account of risk can cast light on the debate regarding the extent to which a criminal justice system can countenance the possibility of wrongful convictions. (shrink)

In this essay, the tension that Benacerraf identifies for theories of mathematical truth is used as the vehicle for arguing against a particular desideratum for semantic theories. More specifically, I place in question the desideratum that a semantic theory, provided for some area of discourse, should run in parallel with the semantic theory holding for the rest of the language. The importance of this desideratum is also made clear by means of tracing out the subtle implications of its rejection.

The paper defends an Aristotelian notion of indeterminism, as rigorously formulated in the framework of branching space-times (BST) of Belnap (1992), against the model-theoretic characterization of indeterminism that Montague (1962) introduced into the philosophy of science. It delineates BST branching against the background provided by Earman's (2008) distinction between individual vs. ensemble branching. It describes a construction of physically-motivated BST models, in which histories are isomorphic to Minkowski spacetime. Finally it responds to criticism leveled against BST by addressing some semantical (...) questions, a topological issue, and the past/future asymmetry. (shrink)

Against the background of the theory of branching space-times (BST), the paper sketches a concept of individuals. It discusses Kripkean modal intuitions concerning individuation, and, finally it addresses Lewis’s objections to branching individuals.

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)

Scott Soames has argued that Rigidified Descriptivism wrongly predicts that one cannot believe, say, that Joe Strummer was born in 1952 without having a belief about the actual world. Soames suggests that agents in other possible worlds may have this belief, but may lack any beliefs about the actual world, a world that they do not occupy and have no contact with. I respond that this argument extends to other popular actuality-involving analyses. In order for Soames to hold on to (...) his argument against Rigidified Descriptivism, he must provide alternatives to these analyses. I argue that there is reason to think that these alternatives are not forthcoming, so Soames should surrender his argument against Rigidified Descriptivism. (shrink)

Leibniz has long faced a challenge about the coherence of the distinction between necessary and contingent truths in his philosophy. In this paper, I propose and examine a new way to save genuine contingency within a Leibnizian framework. I conclude that it succeeds in formally solving the problem, but at unbearable cost. I present Leibniz’s challenge by considering God’s choice of the best possible world (Sect. 2). God necessarily exists and necessarily chooses to actualise the best possible world. The actual (...) world therefore could not be different, for if it were different it would be a distinct and inferior world and hence would not be created. In Sect. 3 I defend Leibniz from this challenge. I argue that while it is necessary for God to choose to create the best possible world, it is not necessary for any world to be the best possible. This is because the criterion for judging perfection can itself be contingent. Different criteria will judge different worlds as the best. Thus it is necessary for God to create the best, but not necessary which is the best. Distinguishing between possible worlds in Leibniz’s sense and in the modern sense allows a fuller exposition of this position. There are worries that can arise with the claim that the criterion of perfection is contingent. I consider two of the most pressing (Sect. 4). The first argues that the criterion is in God’s understanding and hence is necessary; the second alleges that a contingent criterion of perfection violates Leibniz’s cherished Principle of Sufficient Reason. These worries are well-grounded, and examining them reveals a deep incompatibility between this solution and Leibniz’s metaphysical views. I conclude that there is a real solution available, but that it is unacceptable to Leibniz or a Leibnizian. The search for a genuine solution that is genuinely Leibnizian goes on. (shrink)

Non-cognitive dispositions have recently become psychological constructs of interest in the education, economics, philosophy, sociology, and psychology literature. In this article, I draw the distinction between property-first and measurement-first approaches to understanding the meaning of a particular non-cognitive disposition theoretical term, ‘grit’, as well as the relationship between this term and its corresponding measurement procedure. I argue that, depending on which approach one takes, one is confronted with different norms for judging the success of any disposition-measurement procedure pair, meaning that (...) the difference in philosophical approaches may have practical import. I argue that the measurement-first approach is the one educators and educational policy-makers ought to adopt towards grit as it is less likely to lead to over-valuing grit in situations where a gritty disposition may be harmful, better respects scientific virtues and values, and provides a clearer understanding of grit than the property-first approach. (shrink)

There are several important criticisms against the unificationist model of scientific explanation: Unification is a broad and heterogeneous notion and it is hard to see how a model of explanation based exclusively on unification can make a distinction between genuine explanatory unification from cases of ordering or classification. Unification alone cannot solve the asymmetry and irrelevance problems. Unification and explanation pull in different directions and should be decoupled, because for good scientific explanation extra ad explanandum information is often required. I (...) am presenting a possible solution to those problems, by focusing on an often overlooked but important element of how theoretic unification is achieved—the conceptual frameworks of theories. The core conceptual assumptions behind theories are decisive for discriminating between explanatory and non-explanatory unification. The conceptual framework is also flexible enough to balance the tension between informativeness and maximum systematization in constructing explanatory inferences. A short case study of orthogenetic and Darwinian explanations in paleontology is presented as an illustration of how my addition to the unificationist model is applicable to a historical debate between rival explanations. (shrink)