It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate our view by attention (...) to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility and modal monism ; we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone and Davies and Humberstone ; our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic. (shrink)

Quantity is the first category that Aristotle lists after substance. It has extraordinary epistemological clarity: "2+2=4" is the model of a self-evident and universally known truth. Continuous quantities such as the ratio of circumference to diameter of a circle are as clearly known as discrete ones. The theory that mathematics was "the science of quantity" was once the leading philosophy of mathematics. The article looks at puzzles in the classification and epistemology of quantity.

In this paper, I first introduce one of the most prominent objections against the Growing Block Theory of time (GBT), the so-called ‘epistemic objection’, according to which GBT provides no way of knowing that our time is the objective present and, therefore, leads at best to absolute skepticism about our temporal location, at worst to the quasi-certainty that we are located in the objective past. Secondly, I express my dissatisfaction regarding the various traditional attempts to address this objection, especially Merricks (...) (2006), Forrest (2004) and Correia and Rosenkranz (2018). Thirdly, I show that the passage of time leads to an anti-essentialist picture of natural kinds. Finally, I develop my own solution to the epistemic objection, based on the continued existence of bare particulars. (shrink)

It is commonly claimed that rule consequentialism (utilitarianism) collapses into act consequentialism, because sometimes there are benefits from breaking the rules. I suggest this argument is less powerful than has been believed. The argument requires a commitment to a very particular (usually implicit) account of feasibility and constraints. It requires the presupposition that thinking of rules as the relevant constraint is incorrect. Supposedly we should look at a smaller unit of choice—the single act—as the relevant choice variable. But once we (...) see feasibility as a matter of degree, there is no obvious cut-off point for how broadly we should think about the constraints on our choices. Treating “a bundle of choices” as a relevant free variable is no less defensible than treating “a single act” as the relevant free variable. Rule utilitarianism, rule consequentialism, and other rules-based approaches are stronger than their current reputation. (shrink)

A crucial question for a process view of life is how to identify a process and how to follow it through time. The genidentity view can contribute decisively to this project. It says that the identity through time of an entity X is given by a well-identified series of continuous states of affairs. Genidentity helps address the problem of diachronic identity in the living world. This chapter describes the centrality of the concept of genidentity for David Hull and proposes an (...) extension of Hull’s view to the ubiquitous phenomenon of symbiosis. Finally, using immunology as a key example, it shows that the genidentity view suggests that the main interest of a process approach is epistemological rather than ontological and that its principal claim is one of priority, namely that processes precede and define things, and not vice versa. (shrink)

It follows from Humean principles of plenitude, I argue, that island universes are possible: physical reality might have 'absolutely isolated' parts. This makes trouble for Lewis's modal realism; but the realist has a way out. First, accept absolute actuality, which is defensible, I argue, on independent grounds. Second, revise the standard analysis of modality: modal operators are 'plural', not 'individual', quantifiers over possible worlds. This solves the problem of island universes and confers three additional benefits: an 'unqualified' principle of compossibility (...) can be accepted; the possibility of nothing can be accommodated; and the identity of indiscernible worlds can be decisively refuted. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

Properties have an important role in specifying different views on laws of nature: virtually any position on laws will make some reference to properties, and some of the leading views even reduce laws to properties. This chapter will first outline what laws of nature are typically taken to be and then specify their connection to properties in more detail. We then move on to consider three different accounts of properties: natural, essential, and dispositional properties, and we shall see that different (...) conceptions of properties also result in different views of the modal status of laws, such as the question of whether laws are metaphysically necessary or contingent. Finally, there are also important links specifically between properties, natural kinds, and laws of nature that deserve our attention. (shrink)

Is the world internally connected by a web of necessary connections or is everything loose and independent? Followers of David Hume accept the latter by upholding Hume’s Dictum, according to which there are no necessary connections between distinct existences. Roughly put, anything can coexist with anything else, and anything can fail to coexist with anything else. Hume put it like this: “There is no object which implies the existence of any other if we consider these objects in themselves.” Since Hume’s (...) day, Hume’s Dictum has played a major role in philosophy, especially in contemporary metaphysics. In ruling out necessary connections, Hume’s Dictum implies that causal relations and the laws of nature are contingent. It makes other demands on our metaphysics of science as well; for example, it places restrictions on our metaphysics of counterfactuals, dispositions, and explanation. The principle has applications in other areas too. Hume’s Dictum places constraints on our theories of abstract objects and moral properties. For example, Hume’s Dictum rules out the view that moral properties are distinct from, but necessarily connected to, non-moral properties. While Hume’s Dictum is a prominent principle in metaphysics, few Humeans have defended the principle at length. It is assumed more often than it is argued for. As a result, Hume’s Dictum no longer enjoys the reputation it once did. It’s common to hear complaints about the lack of arguments in support of Hume’s Dictum. Moreover, philosophers are increasingly willing to defend views that are at odds with Hume’s Dictum. A striking example of this is the recent explosion of interest in views that take causal relations and the laws of nature to be necessary. Humeans can no longer afford to be complacent. An extended defense of Hume’s Dictum is called for, and that’s what this dissertation aims to offer. This dissertation has three parts. In the first part, I lay out some preliminaries and offer a precise formulation of Hume’s Dictum. In the second part, I develop three arguments in favor of Hume’s Dictum. In the final part, I defend Hume’s Dictum against objections. (shrink)

The philosophy of necessity and possibility has flourished in the last half-century, but much less attention has been paid to the question of how we know what can be the case and what must be the case. Many friends of modal metaphysics and many enemies of modal metaphysics have agreed that while empirical discoveries can tell us what is the case, they cannot shed much light on what must be the case or on what non-actual possibilities there are. In this (...) paper, in contrast, I discuss and defend naturalistic approaches to discovering the facts about necessity and possibility. After some remarks about what methodological naturalism in philosophy might amount to, I argue that naturalistic method in modal investigations may not need to be particularly revisionary of much of what is currently being done in modal investigation. I then discuss a number of respects in which a naturalistic orientation in modal investigation may improve on our current epistemic situation. (shrink)

The object of this paper is to argue once again for the combinatorial account of possibility defended in earlier work. But there I failed fully to realise the dialectical advantages that accrue once one begins by assuming the hypothesis of logical atomism, the hypothesis that postulates simple particulars and simple universals at the bottom of the world. Logical atomism is, I incline to think, no better than ‘speculative cosmology’ as opposed to ‘analytic ontology’, to use Donald Williams’ terminology. It is, (...) however, not an implausible hypothesis given the current state of quantum physics. More important for our purposes here, the strictly combinatorial theory that flows rather naturally from the atomist metaphysics shows some promise of continuing to hold in a world that is not an atomist world. (shrink)

I give two arguments for the claim that all events which occur at the actual world and are such that they could be caused, are also such that they must actually be caused. The first argument is an improvement of a similar argument advanced by Alexander Pruss, which I show to be invalid. It uses Pruss’s Brouwer Analog for counterfactual logic, and, as a consequence, implies inconsistency with Lewis’s semantics for counterfactuals. While (I suggest) this consequence may not be objectionable, (...) the argument founders on the fact that Pruss’s Brouwer Analog has a clear counterexample. I thus turn to a second, “Lewisian” argument, which requires only an affirmation of one element of Lewis’s analysis of causation and one other, fairly weak possibility claim about the nature of wholly contingent events. The final section of the paper explains how both arguments escape objections from supposed indeterminacy in quantum physics. (shrink)

The study of metaphysical possibility involves two central questions: What are possible worlds? Is there an empty possible world? In looking at the first question we consider the different accounts of possible worlds—Lewisian realism, ersatzism, etc. In looking at the second question we consider the discussions of metaphysical nihilism, the modal ontological arguments, etc. In this paper I am drawing these two questions together in order to show how the position we hold on one of these issues affects the position (...) we should hold on the other. (shrink)

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

In this paper, we give a precise characterization of the principle of recombination and argue that it need not be subject to any restrictions.

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (shrink)

ABSTRACTIki is the key word of Shūzō Kuki’s The Structure of Iki, and it became one of the most widely recognized Japanese aesthetic categories mainly due to this work. However, in The Problems of Contingency, which is Kuki’s most important philosophical work, there is no discussion of iki again, and consequently, most commentators of Kuki fail to see the correlation between his theories of iki and contingency. This article, by contrast, intends to provide a new interpretation of iki in the (...) light of Kuki’s theory of contingency. The specific thesis of this paper is that aesthetic phenomena categorized as subject to the principles of iki are positively evaluated in Japanese culture just because the consciousness of iki is just one form of the consciousness of contingency, in which the awareness of alternatives to the actual situation could produce considerable spiritual entertainment for aesthetic subjects. (shrink)

Non-Identity arguments have a pervasive but sometimes counter-intuitive grip on certain key areas in ethics. As a result, there has been limited success in supporting the alternative view that our choices concerning future generations can be considered harmful on any sort of person-affecting principle. However, as the Non-Identity Problem relies overtly on certain metaphysical assumptions, plausible alternatives to these foundations can substantially undermine the Non-Identity argument itself. In this paper, I show how the pervasive force and nature of Non-Identity arguments (...) rely upon a specific adoption of a theory of modality and identity and how adopting an alternative account of modality can be used to reject many conclusions formed through Non-Identity type arguments. By using Lewis’s counterpart-theoretic account to understand ways we might have been, I outline the basis of a modal account of harm that incorporates a person-affecting aspect. This, in turn, has significant implications for ethical decision-making in areas such as reproductive choice and the welfare of future generations. (shrink)

This article examines a popular complaint against the fictionalist account of possible objects bruited by Gideon Rosen. This is the complaint that modal fictionalism is, in some sense or other, hopelessly artificial. I shall separate two different strands to this worry and examine each in turn. As we shall see, neither strand to the objection is intractable.

Hume's Dictum (HD) says, roughly and typically, that there are no metaphysically necessary connections between distinct, intrinsically typed, entities. HD plays an influential role in metaphysical debate, both in constructing theories and in assessing them. One should ask of such an influential thesis: why believe it? Proponents do not accept Hume's arguments for his dictum, nor do they provide their own; however, some have suggested either that HD is analytic or that it is synthetic a priori (that is: motivated by (...) intuitions we have no good reason to question). Here I explore whether belief in HD is directly justified on either grounds. I motivate and present more formal characterizations of HD; I show that there are good prima facie cases to be made for HD's being analytic and for its being synthetic a priori; I argue that each of the prima facie cases fails, some things considered. I close by offering two suggestions for how belief in HD might be indirectly justified on argumentative grounds. (shrink)

The physicalist thesis that all entities are nothing over and above physical entities is often interpreted as appealing to a supervenience-based account of "nothing over and aboveness”, where, schematically, the A-entities are nothing over and above the B-entities if the A-entities supervene on the B-entities. The main approaches to filling in this schema correspond to different ways of characterizing the modal strength, the supervenience base, or the supervenience connection at issue. I consider each approach in turn, and argue that the (...) resulting formulation of physicalism is compatible with physicalism’s best traditional rival: a naturalist emergentism. Others have argued that supervenience-based formulations of physicalism fail. My aim here, besides addressing the full spectrum of supervenience-based approaches, is to show how certain philosophical and scientific theses concerning naturalism, properties, and laws give us new reasons to think that supervenience-based formulations of physicalism are untenable. (shrink)

Three objections have recently been levelled at the analysis of intrinsicness offered by Rae Langton and David Lewis. While these objections do seem telling against the particular theory Langton and Lewis offer, they do not threaten the broader strategy Langton and Lewis adopt: defining intrinsicness in terms of combinatorial features of properties. I show how to amend their theory to overcome the objections without abandoning the strategy.

Modal primitivists hold that some modal truths are primitively true. They thus seem to face a special epistemological problem: how can primitive modal truths be known? The epistemological objection has not been adequately developed in the literature. I undertake to develop the objection, and then to argue that the best formulation of the epistemological objection targets all realists about modality, rather than the primitivist alone. Furthermore, the moves available to reductionists in response to the objection are also available to primitivists. (...) I conclude by suggesting that extant theories of the epistemology of modality are not sensitive to the question of primitivism versus reductionism. (shrink)

A fundamental entity is an entity that is ‘ontologically independent’; it does not depend on anything else for its existence or essence. It seems to follow that a fundamental entity is ‘modally free’ in some sense. This assumption, that fundamentality entails modal freedom (or ‘FEMF’ as I shall label the thesis), is used in the service of other arguments in metaphysics. But as I will argue, the road from fundamentality to modal freedom is not so straightforward. The defender of FEMF (...) should provide positive reasons for believing it, especially in light of recent views that are incompatible with it. I examine both direct and indirect routes to FEMF. (shrink)

There is a strong tendency in science to opt for simpler and more unified hypotheses. A view that has often been voiced is that such qualities, though aesthetically pleasing or beautiful, are at best pragmatic considerations in matters of choosing between rival hypotheses. This essay offers a novel conception and an associated measure of unification, both of which are manifestly more than just pragmatic considerations. The discussion commences with a brief survey of some failed attempts to conceptualise unification. It then (...) proceeds to an analysis of the notions of confirmational connectedness and disconnectedness, as these are essential ingredients in the proposed conception of unification and its associated measure. Roughly speaking, the notions attempt to capture the way support flows or fails to flow between the content parts of a hypothesis. Equally roughly, the more the content of a hypothesis is confirmationally connected, i.e. support flows between its content parts, the more that content is unified. Since the confirmational connectedness of two content parts is determined by purely objective matters of fact, the proposed notion and measure of unification are themselves strictly objective, i.e. not merely pragmatic. The essay concludes with a discussion of how the proposed measure handles several examples but also how it relates to the debate over measures of coherence.En la ciencia hay una marcada tendencia a preferir las hipotesis mas simples y unificadas. Una opinion mantenida a menudo es que tales cualidades, aun siendo atractivas o esteticamente satisfactorias, constituyen consideraciones pragmaticas, a lo sumo, en el asunto de la eleccion entre teorias rivales. Este ensayo ofrece una concepcion novedosa de unificacion y una medida asociada a ella, ambas claramente algo mas que meras consideraciones pragmaticas. La discusion comienza con un breve repaso de algunos intentos fallidos de conceptualizar la unificacion. Despues se analizan las nociones de conexion y desconexion confirmacional, componentes esenciales en la nocion de unificacion y la medida asociada que aqui se proponen. Dicho brevemente, esas nociones pretenden captar el modo en que el apoyo discurre o no entre las partes del contenido de las hipotesis. Simplificando, cuanto mas conectado confirmacionalmente esta el contenido de una hipotesis, mas unificado esta. Dado que la conectividad confirmacional de dos partes del contenido esta determinada por cuestiones de hecho objetivas, la nocion y la medida que propongo son tambien estrictamente objetivas, esto es, su valor no es meramente pragmatico. El ensayo concluye con una discusion sobre como la medida propuesta afronta diversos ejemplos y sobre su relacion con el debate sobre las diferentes medidas de coherencia. (shrink)

Modal agnosticism is the view that we must be agnostic about whether things could have turned out differently. I argue that claims about unrealised possibilities are not justified by our modal intuitions, nor are they justified by any of the means proposed by philosophers. It follows that we do not have merely metaphysical modal knowledge, and that we must adopt modal agnosticism.

A standard conception of metaphysical modality accepts that Some de re modal claims are true, These should be understood in terms of a possible worlds semantics, and There is trans-world identity. For instance, it seems true that Humphrey could have won the election. In possible worlds speak, we say that there exists a possible world where Humphrey wins the election. Furthermore, had that possibility been actualized instead of this one, Humphrey—our Humphrey, the very same man—would still have existed. Here, I (...) argue that this way of understanding de re modal claims, in conjunction with certain other plausible assumptions, entails that The World is a necessary being. (shrink)

Truthmakers, truth conditions, and analyses are closely related, but distinct in rather important ways. A failure to properly appreciate their differences has led to some confusion regarding the role that possible worlds ought to play with respect to modality. Those philosophers who initially proposed the existence of possible worlds were understood as providing an analysis of modality. More recently, many have interpreted them as providing modal truthmakers. But, possible worlds are only suited to serve as truth conditions for modal truths. (...) My goals are as follows: First, to dispel this confusion by detailing the differences between these three concepts. Second, to apply the lesson learned to the famous Humphrey objection against possible worlds. While this objection, if successful, does undermine Lewisian modal realism, it only partially undermines ersatzism, and leaves available a route by which ersatzers may avoid the objection altogether. (shrink)

Several philosophers have recently suggested that truths about unactualized metaphysical possibilities are true in virtue of the existence of actual objects and their dispositional properties. For example, on this view, it is true that unicorns are metaphysically possible only if some actual object has (or had) the disposition to bring it about that there are unicorns. This view, a dispositionalist version of what has recently been dubbed “The New Actualism,” is a proposal about the nature of modal truthmakers. But, I (...) will argue, this proposal entails much more than that. Here, I will demonstrate that, if the modal truthmakers are the dispositional properties of actual objects, then either (i) there exists one or more causally potent necessary beings, or (ii) necessarily, there exists an actually infinite number of contingent beings. (shrink)

Proponents of the dispositional theory of properties typically claim that their view is not one that offers a realist, governing conception of laws. My first aim is to show that, contrary to this claim, if one commits to dispositionalism then one does not automatically give up on a robust, realist theory of laws. This is because dispositionalism can readily be developed within a Platonic framework of universals. Second, I argue that there are good reasons for realist dispositionalists to favour a (...) Platonic view. This is because the alternative Aristotelian version of dispositionalism, on which universals are immanent entities, is unstable for various reasons. My final aim is to address a common criticism facing Platonic theories of laws, which is the problem of how external entities can play an explanatory role where the world’s law-like patterns of behaviour are concerned. I argue that the Platonists’ response to the one over many problem can help to shed light on this matter, and a possible solution is sketched, one which makes use of the notions of essence, constitution and ontological dependence. (shrink)

Platonism delivers a theory of possibility that is distinct from both Lewisian modal realism and ersatz modal theories. By putting the topic of alien properties at centre stage in our modal theorizing, a strong preliminary case for platonism can be made. A puzzle about alien properties is created by modern truthmaker theory and some plausible assumptions about properties and existence. But this puzzle is one that platonism is able to solve in a simple and conservative way.

Nomic realists have traditionally put laws to work within a theory of natural modality, in order to provide a metaphysical source for causal necessitation, counterfactuals, and dispositions. However, laws are well-suited to perform other work as well. Necessitation is a widespread phenomenon and includes cases of categorial, conceptual, grounding, mathematical and normative necessitation. A permissive theory of universals allows us to extend nomic realism into these other domains. With a particular focus on grounding necessitation, it is argued that the sorts (...) of reasons for positing laws in the natural causal domain also apply in other domains. Laws might well be the source of all first-order modality. (shrink)

It is fairly common, among those who think propositions exist, to think they exist necessarily. Here, I consider three arguments in support of that conclusion. What I hope to show is not that that claim is false, but, rather, that the arguments used in its defense tend to presuppose a certain kind of approach to modality: a roughly Plantingian view. What the arguments show, then, is that one cannot accept that approach to modality and accept contingently existing propositions. But there (...) are other approaches to modality – I discuss three such approaches – into which contingently existing propositions fit perfectly well. This suggests that disputes over, for example, singular propositions, must be conducted within a broader agreement over modal matters if they are to be at all productive. (shrink)

Laws of nature concern the natural properties of things. Newton’s law of gravity states that the gravitational force between objects is proportional to the product of their masses and inversely proportional to the square of their distance; Coulomb’s law states a similar functional dependency between charged particles. Each of these properties confers a power to act as specified by the function of the laws. Consequently, properties of the same quantity confer resembling powers. Any theory that takes powers seriously must account (...) for their resemblance. This is the challenge set by the paper. The first part is devoted to Armstrong’s view according to which property resemblance reduces to partial identities between categorical properties. I argue that Armstrong’s solution to the challenge involves accepting determinable properties but that these should not be admitted. In the second part, I argue that dispositional essentialism can satisfactorily account for orderings among powers in terms of degrees of overlapping potentialities. (shrink)

A material simple is a material object that has no proper parts. Some philosophers have argued for the possibility of extended simples. Some have even argued for the possibility of heterogeneous simples or simples that have intrinsic variations across their surfaces. There is a puzzle, though, that is meant to show that extended, heterogeneous simples are impossible. Although several plausible responses have been given to this puzzle, I wish to reopen the case against extended, heterogeneous simples. In this paper, I (...) briefly canvass responses to this puzzle which may be made in defense of extended, heterogeneous simples. I then present a new version of this puzzle which targets simples that occupy atomic yet extended regions of space. It seems that none of the traditional responses can be used to successfully save this particular kind of extended simple from the new puzzle. I also consider some non-traditional defenses of heterogeneous extended simples and argue that they too are unsuccessful. Finally, I will argue that a substantial case can be made against the possibility of extended heterogeneous simples of any kind. (shrink)

Over the last decade or so, there has been a renewed interest in a view about properties known as quidditism. However, a review of the literature reveals that ‘quidditism’ is used to cover a range of distinct views. In this paper I explore the logical space of distinct types of quidditism. The first distinction noted is between quidditism as a thesis explicitly about property individuation and quidditism as a principle of unrestricted property recombination. The distinction recently drawn by Dustin Locke (...) between extravagant quidditism and austere quidditism is a distinction between quidditisms of the first type. It is then argued that austere quidditism may itself be further sub-divided into what I call ‘extremely austere quidditism’ and ‘moderately austere quidditism’. Moderately austere quidditism is argued to be preferable to extremely austere quidditism and further to be able to address many of the arguments leveled against quidditism in general. (shrink)

Robert Black argues against quidditism on the grounds that the quidditist is either committed to proper-class many possible worlds and proper-class many possible fundamental properties or must adopt an unacceptably arbitrary restriction on the number of possible fundamental properties. In this paper, I examine Black’s cardinality argument against quidditism and argue that quidditists and non-quidditists alike have reason to reject a key premise of that argument. While it may be the case that the quidditist is committed to nomically indiscernible possible (...) worlds that mark distinctions that make no difference to the physicist, it does not appear that the cardinality of the class of possible worlds or the class of possible fundamental properties postulated by the quidditist is any more problematic than that postulated by the non-quidditist. (shrink)

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

One often hears a complaint about “bare particulars”. This complaint has bugged me for years. I know it bugs others too, but no one seems to have vented in print, so that is what I propose to do. (I hope also to say a few constructive things along the way.) The complaint is aimed at the substratum theory, which says that particulars are, in a certain sense, separate from their universals. If universals and particulars are separate, connected to each other (...) only by a relation of instantiation, then, it is said, the nature of these particulars becomes mysterious. In themselves, they do not have any properties at all. They are nothing but a pincushion into which universals may be poked. They are Locke’s “I know not what” (1689, II, xxiii, §2); they are Plato’s receptacles (Timaeus 48c–53c); they are “bare particulars”.1 Against substratum theory there is the bundle theory, according to which particulars are just bundles of universals. The substratum and bundle theories agree on much. They agree that both universals and particulars exist. And they agree that a particular in some sense has universals. (I use phrases like ‘particular P has universal U ’ and ‘particular P ’s universals’ neutrally as between the substratum and bundle theories.) But the bundle theory says that a particular is exhaustively composed of (i.e., is a mereological fusion of) its universals. The substratum theory, on the other hand, denies this. Take a particular, and mereologically subtract away its universals. Is anything left? According to the bundle theory, no. But according to the substratum theory, something is indeed left. Call this remaining something a thin particular. The thin particular does not contain the universals as parts; it instantiates them. (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.

In this paper a parallel is drawn between the problem of epistemic access to abstract objects in mathematics and the problem of epistemic access to idealized systems in the physical sciences. On this basis it is argued that some recent and more traditional approaches to solving these problems are problematic.

I suggest a way in which metaphysics might cure us of our desire for immortality. Supposing that time is composed of instants, or even that time could be composed of instants, leads to the conclusion that there is nothing good that immortality offers, nothing we might reasonably want, that is in principle unavailable to a mere mortal. My argument proceeds in three stages. First, I suggest a necessary condition for a feature to ground the desirability of a life or a (...) portion thereof. Second, after distinguishing between three different features that could plausibly be meant by ’immortality’, I argue that if time could be composed of instants, only one of those features satisfies the necessary condition, and it evidently fails to ground the desirability of a life. Third, I argue that no feature that entails any of the three features grounds the desirability of a life either. I conclude with reflections on what this means for our longing for immortality. (shrink)

I argue that property dualists cannot hold that minds are physical substances. The focus of my discussion is a property dualism that takes qualia to be sui generis features of reality.