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)

What are the prospects for a linguistic approach to ontology? Given that it seems that there are true subject-predicate sentences containing empty names, traditional linguistic approaches to ontology appear to be flawed. I argue that in order to determine what there is, we need to determine which sentences ascribe properties (and relations) to objects, and that there does not appear to be any formal criterion for this. This view is then committed to giving an account of what predicates do in (...) sentences when they do not ascribe properties. I sketch an approach to the varieties of predication. (shrink)

Kripke models, interpreted realistically, have difficulty making sense of the thesis that there might have existed things that do not in fact exist, since a Kripke model in which this thesis is true requires a model structure in which there are possible worlds with domains that contain things that do not exist. This paper argues that we can use Kripke models as representational devices that allow us to give a realistic interpretation of a modal language. The method of doing this (...) is sketched, with the help of an analogy with a Galilean relativist theory of spatial properties and relations. (shrink)

Higher-order realists about properties express their view that there are properties with the help of higher-order rather than first-order quantifiers. They claim two types of advantages for this way of formulating property realism. First, certain gridlocked debates about the nature of properties, such as the immanentism versus transcendentalism dispute, are taken to be dissolved. Second, a further such debate, the tropes versus universals dispute, is taken to be resolved. In this paper I first argue that higher-order realism does not in (...) fact resolve the tropes versus universals dispute. In a constructive spirit, I then develop higher-order realism in a way that leads to a dissolution, rather than a resolution, of this dispute too. (shrink)

In his recent book James Kreines argues that for Hegel reason is “in the world”, but how we are to understand the idea of reason's being so located? One answer, suggested by more traditional theocentric readings of Hegel, would be to appeal to the idea of a divine thought, coursing through the world. Another answer, more congenial to modern sensibilities, might locate reason within the rational activities of inter-subjectively connected human beings, as suggested by Terry Pinkard's idea of the “sociality (...) of reason”. Kreines seems to want to avoid suggestions of the former, but in distancing himself from approaches like the latter, he also seems to refuse the more metaphysically modest alternative. In retracing the contours of Kreines's nuanced attempt to reinflate Hegel's metaphysics as a “metaphysics of reason”, I pose the question as to whether he can avoid reintroducing a more extravagantly metaphysical Hegel than he wishes. (shrink)

The understanding of Hegel's metaphysics that is here argued for—that it is a metaphysics of the actual world—may sound trivial or empty. To counter this, in part one the actualist reading of Hegel's idealism is opposed to two other currently popular interpretations, those of the naturalist and the conceptual realist respectively. While actualism shares motivations with each of these positions, it is argued that it is better equipped to capture what both aim to bring out in Hegel's metaphysics, but also (...) better able to resist criticisms of each of these opposed positions made from the viewpoint of the other. Like the conceptual realist, the actualist wants to affirm the objectivity of concepts in the world—an idea that can seem antithetical to the naturalist. While the position of “liberal naturalism” makes concessions to such a position, this feature is more easily accommodated by the actualist. However, like the liberal naturalist, the actualist is also suspicious of an implicit “supernaturalist” dimension of conceptual realism and, by weakening the scope of realism to the actual world, is better able to avoid it. The second and third parts of the paper attempt to show how the actualist position is reflected in Hegel's account of judgments and syllogisms in The Science of Logic. His account of judgments provides an irreducible place for judgments that are object-presupposing on the one hand and subject-locating on the other. Because such judgments are the components of syllogisms, these syllogisms have objectivity, but this is a type of objectivity within which we, as subjects, are by necessity located. The actual world has a conceptual structure because we conceptualizing beings belong to it. (shrink)

Modal contingentists face a dilemma: there are two attractive principles of which they can only accept one. In this paper I show that the most natural way of resolving the dilemma leads to expressive limitations. I then develop an alternative resolution. In addition to overcoming the expressive limitations, the alternative picture allows for an attractive account of arithmetic and for a style of semantic theorizing that can be helpful to contingentists.

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

Dualism about possible worlds says that merely possible worlds aren’t concrete objects, but the actual world is concrete. This view seems to be the natural one for ersatzers about merely possible worlds to take; yet one is hard-pressed to find any defenders of it in contemporary modal metaphysics. The main reason is that Dualism struggles with the issue of how merely possible worlds could have been actual. I explain that there are two different Dualist strategies that can be taken to (...) address the problem. Furthermore, one or other of these strategies should be plausible to anyone who accepts both Existentialism—which tells us that the existence of singular propositions depends on what they directly refer to—and Serious Actualism—which tells us that things must exist in order to instantiate properties. Though it has long been ignored, Dualism is a live option. (shrink)

This paper discusses a scenario borrowed from Williamson (2000) and repurposes it to argue for the possibility of conflict between two prima facie categorical norms of epistemic rationality: the norm to respect one’s evidence and the norm to be coherent. It is argued, pace Williamson, that in the conflict defining the scenario, the evidence norm overrides the coherence norm; that a rational agent with our evidence would lack evidence about some of their own credences; and that for agents whose evidence (...) is limited in this way, incoherence fails to entail irrationality. The above possibility claim has also been defended by Worsnip (2018), albeit on a quite different premise set and in conjunction with a coherence-centered account of epistemic rationality that issues predictions incompatible with those licensed by the evidence-centered account recommended here, as illustrated towards the end of the paper. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

Serious actualism is the prima facie plausible thesis that things couldn’t have been related while being nothing. The thesis plays an important role in a number of arguments in metaphysics, e.g., in Plantinga’s argument for the claim that propositions do not ontologically depend on the things that they are about and in Williamson’s argument for the claim that he, Williamson, is necessarily something. Salmon has put forward that which is, arguably, the most pressing challenge to serious actualists. Salmon’s objection is (...) based on a scenario intended to elicit the judgment that merely possible entities may nonetheless be actually referred to, and so may actually have properties. It is shown that predicativism, the thesis that names are true of their bearers, provides the resources for replying to Salmon’s objection. In addition, an argument for serious actualism based on Stephanou, 219–250 2007) is offered. Finally, it is shown that once serious actualism is conjoined with some minimal assumptions, it implies property necessitism, the thesis that necessarily all properties are necessarily something, as well as a strong comprehension principle for higher-order modal logic according to which for every condition there necessarily is the property of being a thing satisfying that condition. (shrink)

Necessitism, Contingentism, and Theory Equivalence is a dissertation on issues in higher-order modal metaphysics. Consider a modal higher-order language with identity in which the universal quantifier is interpreted as expressing universal quantification and the necessity operator is interpreted as expressing metaphysical necessity. The main question addressed in the dissertation concerns the correct theory formulated in this language. A different question that also takes centre stage in the dissertation is what it takes for theories to be equivalent.The whole dissertation consists of (...) an extended argument in defence of the truth of two seemingly inconsistent higher-order modal theories, specifically: 1.Plantingan Moderate Contingentism, a theory based on Plantinga’s [1] modal metaphysics that is committed to, among other things, the contingent being of some individuals and the necessary being of all possible higher-order entities;2.Williamsonian Thorough Necessitism, a theory advocated by Williamson [3] which is committed to, among other things, the necessary being of every possible individual as well as of every possible higher-order entity.Part of the case for these theories’ joint truth relies on defences of the following metaphysical theses: Thorough Serious Actualism, the thesis that no things could have been related while being nothing, and Higher-Order Necessitism, the thesis that necessarily, every higher-order entity is necessarily something. It is shown that Thorough Serious Actualism and Higher-Order Necessitism are both implicit commitments of very weak logical theories. The defence of Higher-Order Necessitism constitutes a powerful challenge to Stalnaker’s [2] Thorough Contingentism, a theory committed to, among other things, the view that there could have been some individuals as well as some entities of any higher-order that could have been nothing.In the dissertation it is argued that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are in fact equivalent, even if they appear to be jointly inconsistent. The case for this claim relies on the Synonymy account, a novel account of theory equivalence developed and defended in the dissertation. According to this account, theories are equivalent just in case they have the same commitments and conception of logical space.By way of defending the Synonymy account’s adequacy, the account is applied to the debate between noneists, proponents of the view that some things do not exist, and Quineans, proponents of the view that to exist just is to be some thing. The Synonymy account is shown to afford a more nuanced and better understanding of that debate by revealing that what noneists and Quineans are really disagreeing about is what expressive resources are available to appropriately describe the world.By coupling a metatheoretical result with tools from the philosophy of language, it is argued that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are synonymous theories, and so, by the lights of the Synonymy account, equivalent. Given the defence of their extant commitments made in the dissertation, it is concluded that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are both correct. A corollary of this result is that the dispute between Plantingans and Williamsonians is, in an important sense, merely verbal. For if two theories are equivalent, then they “require the same of the world for their truth.”Thus, the results of the dissertation reveal that if one speaks as a Plantingan while advocating Plantingan Moderate Contingentism, or as a Williamsonian while advocating Williamsonian Thorough Necessitism, then one will not go wrong. Notwithstanding, one will still go wrong if one speaks as a Plantingan while advocating Williamsonian Thorough Necessitism, or as a Williamsonian while advocating Plantingan Moderate Contingentism.On the basis of a conception of the individual constants and predicates of second-order modal languages as strongly Millian, i.e., as having actually existing entities as their semantic values, in the appendix are presented second-order modal logics consistent with Stalnaker’s Thorough Contingentism. Furthermore, it is shown there that these logics are strong enough for applications of higher-order modal logic in mathematics, a result that constitutes a reply to an argument to the contrary by Williamson [3]. Finally, these logics are proven to be complete relative to particular “thoroughly contingentist” classes of models. (shrink)

This essay revisits some classic problems in the philosophy of space and time concerning the counting of possibilities. I argue that we should think that two Newtonian worlds can differ only as to when or where things happen and that general relativistic worlds can differ in something like the same way—the first of these theses being quaintly heterodox, the second baldly heretical, according to the mores of contemporary philosophy of physics.

Theories of propositions as sets of truth-supporting circumstances are committed to the thesis that sentences or other representations true in all and only the same circumstances express the same proposition. Theories of propositions as complex, structured entities are not committed to this thesis. As a result, structured propositions can play a role in our theories of language and thought that sets of truth-supporting circumstances cannot play. To illustrate this difference, I sketch a theory of transparent, non-deflationary truth consistent with some (...) theories of structured propositions, but inconsistent with any theory of propositions as sets of truth-supporting circumstances. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

A discussion of a view, defended by Robert Adams and Boris Kment, according to which contingent existence requires rejecting many standard principles of propositional modal logic involving iterated modal operators.

In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...) the philosophy of mathematics that rules out the maximalist view in many different ontological debates. (shrink)