Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if not (...) exactly comprehensive) overview of the structure and content of Hale’s book and, second, to a limited extent, to engage Hale’s book philosophically. I approach these tasks more or less sequentially: Parts I and 2 of the review are primarily expository; in Part 3 I adopt a somewhat more critical stance and raise several issues concerning one of the central elements of Hale’s account, his essentialist theory of modality. (shrink)

This paper is about the nature of God’s pre-creation knowledge of possible creatures. I distinguish three theories: non-qualitative singularism, qualitative singularism, and qualitative generalism, which differ in terms of whether the relevant knowledge is qualitative or non-qualitative, and whether God has singular or merely general knowledge of creatures. My main aim is to argue that qualitative singularism does not depend on a version of the Principle of Identity of Indiscernibles to the effect that, necessarily, qualitatively indiscernible individuals are identical. It (...) follows that qualitative singularism does not depend on the view that possible creatures categorically have qualitative individual essences. (shrink)

Granting that there could be true subjunctive conditionals of libertarian freedom (SCLs), I argue (roughly) that there could be such conditionals only in connection with individual "possible creatures" (in contrast to types). This implies that Molinism depends on the view that, prior to creation, God grasps possible creatures in their individuality. In making my case, I explore the notions of counterfactual implication (that relationship between antecedent and consequent of an SCL which consists in its truth) and counterfactual relevance (that feature (...) of an antecedent in virtue of which it counterfactually implies something or other). (shrink)

The role of possible worlds in philosophy is hard to overestimate. Nevertheless, their nature and existence is very controversial. This is particularly serious, since their standard applications depend on there being sufficiently many of them. The paper develops an account of possible worlds on which it is particularly easy to believe in their existence: an account of possible worlds as pleonastic entities. Pleonastic entities are entities whose existence can be validly inferred from statements that neither refer to nor quantify over (...) them as a matter of conceptual necessity. Definitions are proposed that ensure that this is the case for possible worlds. (shrink)

What does it mean that certain properties globally supervene on others? The paper criticises the now standard way of spelling out the notion in terms of 1–1 correlations between world-domains and proposes a modification that escapes the difficulties. The new definition can secure the additional benefit of resisting an argument to the effect that global supervenience is theoretically dispensable.

I propose a version of the act‐type theory of propositions, following Hanks and Soames. According to the theory, propositions are types of act of predication. The content of a sentence is the type of such act performed when that sentence is uttered. A consequence of this theory is that the structure of the content of a sentence will mirror the structure of that sentence. I defend this consequence of the theory from two important objections. I then argue that this theory (...) is well motivated because it can be part of a theory of what is said. (shrink)

Empiricist philosophers like Carnap invoked analyticity in order to explain a priori knowledge and necessary truth. Analyticity was “truth purely in virtue of meaning”. The view had a deflationary motivation: in Carnap’s proposal, linguistic conventions alone determine the truth of analytic sentences, and thus there is no mystery in our knowing their truth a priori, or in their necessary truth; for they are, as it were, truths of our own making. Let us call this “Carnapian conventionalism”, conventionalismC and cognates for (...) short. This conventionalistC explication of the a priori has been the target of sound criticisms. Arguments like Quine’s in “Truth by Convention” are in our view decisive: the truth of conventionalismC requires that the class of logical truths and logical validities be reductively accounted for as conventionally established; however, no such reduction is forthcoming, because logic is needed to generate the entire class from any given set of conventions properly so-called. Granted that conventionalismC is untenable, we want to take issue with a different, usually made criticism. Although the argument uncovers some difficulties for the way conventionalist claims are defended by some of its advocates, we will try to show that it fails. The criticism thus stands in the way of a proper appreciation of why the Carnapian account of the a priori is not correct. We will try to illustrate this by showing that the criticism we will dispute would dispose of conventionalist claims not only regarding philosophically problematic cases – logical and mathematical truths –, but also regarding cases for which they have some prima facie plausibility. One such case is that of truths that follow from mere abbreviations, “nominal” definitions; ‘someone is a bachelor if and only if he is an unmarried adult male’ can serve at this point for illustration. We will try to articulate a clear sense in which the contents of assertion such as this can be truths by convention. We do not need to prove that a conventionalist claim is true in those cases; it is enough for us to show that it is intelligible, for the arguments we will confront question even this. (shrink)

Serious actualists take it that all properties are existence entailing. I present a simple puzzle about sentence tokens which seems to show that serious actualism is false. I then consider the most promising response to the puzzle. This is the idea that the serious actualist should take ordinary property-talk to contain an implicit existential presupposition. I argue that this approach does not work: it fails to generalise appropriately to all sentence types and tokens. In particular, it fails to capture the (...) right distinctions we ought to make between what I call _typographical sentence types_—an interesting and previously undiscussed class of fine-grained sentence types which are partially individuated by their typography, or how they look when written out. (shrink)

In this paper, I motivate a modal account of propositions on the basis of an iterative conception of propositions. As an application, I suggest that the account provides a satisfying solution to the Russell-Myhill paradox. The account is in the spirit of recently developed modal accounts of sets motivated on the basis of the iterative conception of sets.

In this paper, I investigate a system of quantified modal logic, due in many respects to Bressan (see [2]), from several perspectives -- both semantic and proof-theoretic. As Anderson and Belnap note in [1]: "It seems to be generally conceded that formal systems are natural or substantial if they can be looked at from several points of view. We tend to think of systems as artificial or ad hoc if most of their formal properties arise from some one notational system (...) in terms of which they are described." My efforts in this paper will be in part to lend substantiality to the system in question. Several formulation of the system are given and proved equivalent in appropriate senses. Also, some comments are made concerning possible alternative formulations. (shrink)

As Quine observed, the following sentence has a reading which, if true, would be of special interest to the authorities: Ralph believes that someone is a spy. This is the reading where the quantifier is naturally understood as taking wide scope relative to the attitude verb and as binding a variable within the scope of the attitude verb. This essay is interested in addressing the question what the semantic analysis of this kind of reading should look like from a Fregean (...) perspective—a perspective according to which attitude states are generally relations to structured Fregean thoughts composed of senses. The Fregean view faces a challenge of compositionality here. This essay describes the challenge and offers a response on the Fregean's behalf. (shrink)

It may appear that in order to be any way at all, a thing must exist. A possible – worlds version of this claim goes as follows: (E) For every x, for every possible world w, Fx at w only if x exists at w. Here and later in (R), the letter ‘F’ is used as a schematic letter to be replaced with a one – place predicate. There are two arguments against (E). The first is by analogy. Socrates is (...) widely admired now but he does not exist now. So, it is not the case that for every x, for every time t, Fx at t only if x exists at t. Possible worlds are analogous to times. Therefore, (E) is false (cf., Kaplan 1973: 503 – 05 and Salmon 1981: 36 – 40). For the second argument, replace ‘F’ with ‘does not exist’. (E) then says that for every x, for every possible world w, x does not exist at w only if x exists at w. This is obviously false. Therefore (E) is false (cf., Kaplan 1977: 498). Despite their considerable appeal, these arguments are not unassailable. The first argument suffers from the weakness inherent in any argument from analogy; the analogy it rests on may not.. (shrink)

The paper explores a deductive-nomological account of metaphysical explanation: some truths metaphysically explain, or ground, another truth just in case the laws of metaphysics determine the latter truth on the basis of the former. I develop and motivate a specific conception of metaphysical laws, on which they are general rules that regulate the existence and features of derivative entities. I propose an analysis of the notion of ‘determination via the laws’, based on a restricted form of logical entailment. I argue (...) that the DN-account of ground can be defended against the well-known objections to the DN-approach to scientific explanation. The goal of the paper is to show that the DN-account of metaphysical explanation is a well-motivated and defensible theory. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

Trevor Teitel (2017) has recently argued that combining the assumption that modality reduces to essence with the assumption that possibly some objects contingently exist leads to problems if one wishes to uphold that the logic of metaphysical modality is S5. In this paper I will argue that there is a way for the essentialist to evade the problem described by Teitel. The proposed solution crucially involves the assumption that some propositions possibly fail to exist. I will show how this assumption (...) affords a motivated contingentist response to Teitel’s argument. (shrink)

One important challenge for contingentists is that they seem to be unable to account for the meaning of some apparently meaningful modal discourse that is perfectly intelligible for necessitists. This worry is particularly pressing for higher-order contingentists, contingentists who hold that it is not only contingent which objects there are, but also contingent which semantic values there are for higher-order variables to quantify over. Objections against higher-order contingentism along these lines have been presented in Williamson (Mind 119(475):657–748, 2010; Modal logic (...) as metaphysics, Oxford University Press, 2013, ch. 7), and Fritz and Goodman (Mind 126(504):1063–1108, 2017). This paper presents a way for contingentists to respond to these challenges. The upshot is that the contingentist can account for the meaningfulness of the problematic modal claims by pretending necessitism to be true, but in some cases it turns out to be indeterminate whether they are true. I defend this strategy against the objections against pretence-strategies presented in Fritz and Goodman (Mind 126(504):1063–1108, 2017, §4). Furthermore, I defend the plausibility of the resulting indeterminacy from the contingentist’s perspective. (shrink)

RÉSUMÉLes actualistes ne partagent pas tous les mêmes intuitions quant aux mondes possibles. Cet article caractérise les intuitions platoniciennes et aristotéliciennes, et explore les conséquences pour l'actualiste d'accepter le platonisme ou l'aristotélisme. Les arguments en faveur de la conception aristotélicienne tiennent la route, mais pour rérpondre à certains problèmes concernant la vérité des négatives existentielles, l'actualisme aristotélicien doit rejeter l'actualisme des propriétés, c'est-à-dire la conception que seules les entités existantes ont des propriétés. Puisque les entités non existantes ont certaines propriétés, (...) l'actualisme aristotélicien sans actualisme des propriétés est la meilleure approche aux modalités. (shrink)

RÉSUMÉ: Les actualistes ne partagent pas tous les mêmes intuitions quant aux mondes possibles. Cet article caractérise les intuitions platoniciennes et aristotéliciennes, et explore les conséquences pour l'actualiste d'accepter le platonisme ou l'aristotélisme. Les arguments en faveur de la conception aristotélicienne tiennent la route, mais pour répondre à certains problèmes concernant la vérité des négatives existentielles, l'actualisme aristotélicien doit rejeter l'actualisme des propriétés, c'est-à-dire la conception que seules les entités existantes ont des propriétés. Puisque les entités non existantes ont certaines (...) propriétés, l'actualisme aristotélicien sans actualisme des propriétés est la meilleure approche aux modalités. (shrink)

I argue that the existence of a necessary concrete being can be derived from an exceedingly weak causal principle coupled with two contingent truths one of which falls out of very popular positions in contemporary analytic metaphysics. I then show that the argument resists a great many objections commonly lodged against natural theological arguments of the cosmological variety.

According to H-N. Castañeda, a guise - the very thin individual which lies at the bottom of the ontological furniture of the world - is indifferent to existence in a Meinongian way, in the sense that it remains the same whether it exists or not. Moreover, its existence does not alter its intentional character, as it is the very same individual which is thought of regardless of its being real or not1. In what follows, I will attempt to show that (...) with regards to guises both theses are illegitimate, unless one introduces the notion of an existentially-conditioned property as a counterfactual property which a guise has prior to its actual existence. To do so means to work out an amendment to Castañeda's Guise Theory, as the doctrine which supports his main ontological assumptions. (shrink)

The thesis of existentialism holds that if a proposition p exists and predicates something of an object a, then in any world where a does not exist, p does not exist either. If “possibly, p” entails “in some possible world, the proposition that p exists and is true,” then existentialism is prima facie incompatible with the truth of claims like “possibly, the Eiffel Tower does not exist.” In order to avoid this claim, a distinction between two kinds of world-indexed truth (...) –and two associated kinds of modality –is needed. This paper embodies an attempt to develop a full account of just such a distinction. (shrink)

The Property Theory of attitudes holds that the contents of mental states --- especially de se states --- are properties. The "nonexistence problem" for the Property Theory holds that the theory gives the wrong consequences as to which worlds "fit" which mental states: which worlds satisfy desires, make beliefs true, and so on. If I desire to not exist, since there is no world where I have the property of not existing, my desire is satisfied in no worlds. In this (...) paper I argue that the problem can be solved with a suitable account of how properties as mental states fit worlds. The solution relies on a distinction between to kinds of property-instantiation at worlds inspired by Fine's distinction between "inner" and "outer" truth. (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)

Recently, some have attempted to reformulate debates in first-order metaphysics, particularly in the metaphysics of time and modality, for reasons due to Williamson. In this paper, we focus on the ways in which the likes of Cameron, Correia and Rosenkranz, Deasy, Ingram, Tallant, Viebahn, inter alia, have initiated and responded to attempts to capture the core of presentism using a formal, logical machinery. We argue that such attempts are doomed to fail because there is no theoretical core to presentism. There (...) is no single view or family of views that is presentism. (shrink)

In a recent issue of this journal, Berit Brogaard and Joe Salerno presented a counterfactual theory of essence, designed to get around Kit Fine’s influential objections to the standard modal account of essence. I argue that Brogaard and Salerno’s theory does not avoid Fine’s objections. Then I propose a sequence of variations on their theory, and argue that none of them succeed either.

This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the Barcan formulas, (...) and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (shrink)

The liar and kindred paradoxes show that we can derive contradictions if our language possesses sentences lending themselves to paradox and we reason classically from schema about truth: Sis true iffp, where the letter p is to be replaced with a sentence and the letter S with a name of that sentence. This article presents a theory of truth that keeps at the expense of classical logic. The theory is couched in a language that possesses paradoxical sentences. It incorporates all (...) the instances of the analogue of for that language and also includes other platitudes about truth. The theory avoids contradiction because its logical framework is an appropriately constructed nonclassical propositional logic. The logic and the theory are different from others that have been proposed for keeping, and the methods used in the main proofs are novel. (shrink)

Existentialism about propositions is the view that a proposition expressed in a sentence containing a nonempty name or indexical depends ontologically on the referent of the name or indexical: the proposition could not exist if the referent did not. The paper focuses on names. It discusses some arguments for existentialism and then presents a novel one. That argument does not presuppose that propositions have constituents, and it could be accepted by those who hold broadly Fregean views about names. It shows (...) that, for example, if Aristotle had not existed, no sentence could have meant that Aristotle is a philosopher. The paper also touches on the consequences of existentialism. (shrink)

I discuss Stalnaker’s views on modality. In particular, his views on actualism, anti-essentialism, counterpart theory, and the Barcan formulas.

Timothy Williamson has argued for the radical conclusion that everything necessarily exists. In this paper, I assume that the conclusion of Williamson’s argument is more incredible than the denial of his premises. Under the assumption that Williamson is mistaken, I argue for the claim that there are some structured propositions which have constituents that might not have existed. If those constituents had not existed, then the propositions would have had an unfilled role; they would have been gappy. This gappy propositions (...) view allows for a plausible response to Williamson’s argument. Additionally, a slight variant of the gappy propositions view allows for plausible defense of Linguistic Ersatzism from the problem of contingent non-existents (also known as the problem of aliens). (shrink)

Alvin Plantinga gave a reductio of the conjunction of the following three theses: Existentialism (the view that, e.g., the proposition that Socrates exists can't exist unless Socrates does), Serious Actualism (the view that nothing can have a property at a world without existing at that world) and Contingency (the view that some objects, like Socrates, exist only contingently). I sketch a view of truth at a world which enables the Existentialist to resist Plantinga's argument without giving up either Serious Actualism (...) or Contingency. (shrink)

Many Russellians endorse the theses that propositions (i) are structured, (ii) have logical forms, (iii) have objects they are directly about as constituents, (iv) cannot exist without their constituents and (v) exist contingently. In his Propositions, Merricks argues against (i)-(v). I respond to his arguments.

I reply to the argument of Caplan (Philos Stud 133:181–198, 2007 ) against the conjunction of Millianism with the view that utterances of sentences involving names often pragmatically convey descriptively enriched propositions.

According to Timothy Williamson, we should accept the simplest and most powerful second-order modal logic, and as a result accept an ontology of "bare possibilia". This general method for extracting ontology from logic is salutary, but its application in this case depends on a questionable assumption: that modality is a fundamental feature of the world.

If the contemporary rebirth of the ontological argument had its conception in Norman Malcolm's discovery of a second Anselmian argument it had its full-term delivery as a healthy philosophical progeny with Alvin Plantinga's sophisticated modal version presented in the tenth chapter of The Nature of Necessity. This latter argument has been the centre of a huge body of literature over the last fifteen years, and deservedly so. One is impressed that this version of Anselm's jewel is valid and sound if (...) any is. (shrink)

We want to say both that Sherlock Holmes does not exist, and that he is a fictional character. But how can we say these things without committing ourselves to the existence of Sherlock Holmes? Here I develop and defend a non-commital paraphrase of quantification over fictional characters, modeled on the non-commital paraphrase Kit Fine provides for quantification over possibilia. I also develop and defend the view that names for fictional characters are weakly non-referring, in Nathan Salmon’s sense, and so provide (...) us with a non-commital means to express singular propositions. The resulting position allows us to reap the benefits of Fictional Realism without paying the associated ontological cost. (shrink)

Presentism is usually understood as the thesis that only the present exists whereas the rival theory of eternalism is usually understood as the thesis that past, present, and future things are all equally real. The significance of this debate has been threatened by the so-called triviality objection, which allegedly shows that the presentist thesis is either trivially true or obviously false: Presentism is trivially true if it is read as saying that everything that exists now is present, and it is (...) obviously false if read as saying that everything that has existed, exits or will exist is present. If eternalism is taken as the negation of presentism, it is also either trivially false or obviously true. In this paper, I try to respond to the triviality objection on behalf of presentism. In second section, I will examine how the argument proceeds. In third section, I will reflect on three possible ways to respond but will argue that none of them succeeds in giving a satisfactory solution. I will then try to clarify the core idea of presentism and to suggest that if we characterise presentism accurately, the problem will disappear. In fourth section, I will offer a plausible definition of presentism and will show how it can avoid the triviality objection and demonstrate why it is advantageous to accept the version of presentism I offer. (shrink)

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from a related notion, a ‘representation relation’. The relation of possible things to the actual things they represent is variable, and an adequate account (...) of modal language must keep track of the way it is systematically shifted by modal operators. I apply my account to resolve several puzzles about counterparts and actuality. In technical appendices, I prove some important logical results about this ‘representational’ counterpart system and its relationship to other modal systems. (shrink)

The paper deals with cases of counting things that could exist but do not actually exist that resist common strategies for actualist paraphrases and that play an important role in motivating Timothy Williamson's ontology of contingently concrete objects. It is argued that these cases should be understood as cases of quantification not over individual possible objects but rather over kinds of objects, some of which do not actually have instances. This claim is motivated by a comparison with other cases of (...) natural-language quantification with a similar logical form that, in any case, have to be interpreted as involving quantification over kinds of things even if their surface structure seems to suggest otherwise. (shrink)

On its usual interpretation, the Barcan Formula—◊∃_xB_ → ∃_x_◊_B_—says that, if there could have been something that is such and such a way, then there is something that could have been that way. It is traditionally held that contingentist actualists should—indeed, must—reject the Barcan Formula. I argue that contingentist actualists should—indeed, must—endorse the Barcan Formula, at least assuming a standard, Tarskian conception of truth and truth preservation. I end by proposing a logic for contingentist actualists that validates the Barcan Formula. (...) This logic has the surprising feature of also validating the Converse Barcan Formula, □∀_xB_ → ∀_x_□_B_, while still invalidating related formulas—such as □∀_x_□∃_y x_ = _y_ (NNE)—that contingentist actualists should reject. It does this by employing models with fixed domains but assignments to the identity predicate that vary across worlds. (shrink)

In recent papers, Philip Swenson (2016) has argued that presentism is incompatible with the conjunction of libertarianism and divine foreknowledge, and Michael Rea (2006) has argued that presentism is incompatible with the conjunction of libertarianism and bivalence. In this paper, I respond to Swenson’s and Rea’s arguments. In each case, I develop a parody argument that seeks to show that actualism -- the view that everything is actual -- is inconsistent with the conjunction of (in the case of Rea) libertarianism (...) and bivalence and the conjunction of (in the case of Swenson) libertarianism and divine foreknowledge. Seeing how these parody arguments using actualism go wrong helps us see how the arguments using presentism go wrong. I conclude that we have not yet been provided with a sound argument that presentism is inconsistent with the conjunction of libertarianism and bivalence or that presentism is inconsistent with the conjunction of libertarianism and divine foreknowledge. (shrink)