It is widely agreed that the intelligibility of modal metaphysics has been vindicated. Quine's arguments to the contrary supposedly confused analyticity with metaphysical necessity, and rigid with non-rigid designators.2 But even if modal metaphysics is intelligible, it could be misconceived. It could be that metaphysical necessity is not absolute necessity – the strictest real notion of necessity – and that no proposition of traditional metaphysical interest is necessary in every real sense. If there were nothing otherwise “uniquely metaphysically (...) significant” about metaphysical necessity, then paradigmatic metaphysical necessities would be necessary in one sense of “necessary”, not necessary in another, and that would be it. The question of whether they were necessary simpliciter would be like the question of whether the Parallel Postulate is true simpliciter – understood as a pure mathematical conjecture, rather than as a hypothesis about physical spacetime. In a sense, the latter question has no objective answer. In this article, I argue that paradigmatic questions of modal metaphysics are like the Parallel Postulate question. I then discuss the deflationary ramifications of this argument. I conclude with an alternative conception of the space of possibility. According to this conception, there is no objective boundary between possibility and impossibility. Along the way, I sketch an analogy between modal metaphysics and set theory. (shrink)

Possible worlds semantics faces a range of difficulties for at least certain types of modals, especially deontic modals with their distinction between heavy and light permissions and obligations. This paper outlines a new semantics of modals that aims to overcome some of those difficulties. The semantics is based on an a novel ontology of modal objects, entities like obligations, permissions, needs, as well as epistemic states, abilities, and essences. Moreover, it is based on truthmaking, in the sense of (...) Fine’s recent truthmaker semantics. (shrink)

We reply to various arguments by Otavio Bueno and Edward Zalta (‘Object Theory and Modal Meinongianism’) against Modal Meinongianism, including that it presupposes, but cannot maintain, a unique denotation for names of fictional characters, and that it is not generalizable to higher-order objects. We individuate the crucial difference between Modal Meinongianism and Object Theory in the former’s resorting to an apparatus of worlds, possible and impossible, for the representational purposes for which the latter resorts to a (...) distinction between two kinds of predication, exemplification and encoding. We show that encoding has fewer forerunners in the history of philosophy than Bueno and Zalta want, and that there’s a reason why the notion has been found baffling by some. (shrink)

The objection from the insolvability of principle-based modal disagreements appears to support the claim that there are no objective modal facts, or at the very least modal facts cannot be accounted for by modal rationalist theories. An idea that resurfaced fairly recently in the literature is that the use of ordinary empirical statements presupposes some prior grasp of modal notions. If this is correct, then the idea that we may have a total agreement concerning empirical (...) facts and disagree on modal facts, which is the starting point of the objection from the insolvability of modal disagreement, is undercut. This paper examines the no-separation thesis and shows that some of the arguments against the classical (empiricist) distinction between empirical and modal statements fail to be conclusive if they are taken to defend a strong notion of metaphysical possibility. The no-separation thesis appears to work only in theoretical frameworks where metaphysical modalities are considered (broadly) conceptual. For these reasons, the no-separation thesis cannot save modal rationalism from the insolvability of modal disagreement. (shrink)

In a recent paper in this journal Duncan Pritchard responds to an objection to the modal account of risk pressed by Ebert, Smith and Durbach ( 2020 ). In this paper, I expand upon the objection and argue that it still stands. I go on to consider a more general question raised by this exchange – whether risk is ‘objective’, or whether it is something that varies from one perspective to another.

An intuitive objection to modal realism is that merely possible worlds and their inhabitants seem to be irrelevant to an analysis of modality. Kripke originally phrased the objection in terms of being concerned about one’s modal properties without being concerned about the properties one’s other-worldly counterparts have. The author assesses this objection in a variety of forms, and then provides his own formulation that does not beg the question against the modal realist. Finally, the author considers two (...) potential answers to the objection so understood and concludes that only one of them has a chance of succeeding. (shrink)

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only (...) the cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

The epistemology of modality has focused on metaphysical modality and, more recently, counterfactual conditionals. Knowledge of kinds of modality that are not metaphysical has so far gone largely unexplored. Yet other theoretically interesting kinds of modality, such as nomic, practical, and ‘easy’ possibility, are no less puzzling epistemologically. Could Clinton easily have won the 2016 presidential election—was it an easy possibility? Given that she didn’t in fact win the election, how, if at all, can we know whether she easily could (...) have? This paper investigates the epistemology of the broad category of ‘objective’ modality, of which metaphysical modality is a special, limiting case. It argues that the same cognitive mechanisms that are capable of producing knowledge of metaphysical modality are also capable of producing knowledge of all other objective modalities. This conclusion can be used to explain the roles of counterfactual reasoning and the imagination in the epistemology of objective modality. (shrink)

Against the background of standard possible-worlds semantics, this paper outlines a truthmaker approach to the semantics of attitude reports and modal sentences based on an ontology of attitudinal and modal objects.

Davies argues that the ontology of artworks as performances offers a principled way of explaining work-relativity of modality. Object oriented contextualist ontologies of art (Levinson) cannot adequately address the problem of work-relativity of modal properties because they understand looseness in what counts as the same context as a view that slight differences in the work-constitutive features of provenance are work-relative. I argue that it is more in the spirit of contextualism to understand looseness as context-dependent. This points to the (...) general problem—the context of appreciation is not robust enough to ground modal intuitions about objective entities. In general, when epistemology dictates ontology there is always a threat of anti-realism, scepticism and relativism. Davies also appeals to the modality principle—an entity’s essential properties are all and only its constitutive properties. Davies understands essentiality in a traditional way: a property P is an essential property of an object o iff o could not exist and lack P. Kit Fine has recently made a convincing case for the view that the notion of essence is not to be understood in modal terms. I explore some of the implications of this view for Davies’ modal argument for the performance theory. (shrink)

There is an account of modal operators that is both elegant and powerful and that deserves to be called the standard account. There are, however, some epistemic uses of modal operators which seem to be counterexamples to the account – they pose what I call the objectivity problem. It is often thought that the objectivity problem can be fixed by a certain kind of modification to the standard account. I argue that this kind of modification cannot work. Then (...) I argue that the problem posed for the standard account by recently discussed eavesdropper cases is really just the objectivity problem in a different guise, thereby emphasizing the need for a new solution to the objectivity problem. Finally, I propose a new solution to the objectivity problem. (shrink)

Kit Fine famously objected against the idea that essence can be successfully analyzed in terms of de re necessity. In response, I want to explore a novel, interesting, but controversial modal account of essence in terms of intrinsicality and grounding. In the first section, I will single out two theoretical requirements that any essentialist theory should meet—the essentialist desideratum and the essentialist challenge—in order to clarify Fine’s objections. In the second section, I will assess Denby’s improved modal account, (...) which appeals to the notion of intrinsicality, and argue that it is untenable. In the third section, I will explain how, when combined with a modal-existential criterion, a hyperintensional account of intrinsicality—in the same vein as Bader (J Philos 110(10): 525–563, 2013) and Rosen (in: Hale and Hoffman (eds) Modality: Metaphysics, logic, and epistemology, Oxford, OUP, 2010)—can help successfully address Fine’s counterexamples. In the fourth section, I will evaluate how this novel analysis of essence stands with respect to sortal, origin, and natural kinds essentialism and discuss potential objections and difficulties. (shrink)

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this (...) explicit via two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

Imagine two objects, a lump of clay called Lumpl and a statue named Goliath, which are created and destroyed simultaneously, sharing all spatiotemporal properties. Despite their complete coincidence throughout existence, they appear to possess different properties, leading to a philosophical debate among metaphysicians. Monists argue for their identity, while pluralists deny it. Pluralists face the challenge of explaining the differences between these coincident objects, while monists must account for the modal differences if they are identical. Monists often (...) turn to Lewisean modal realism to reject pluralism and explain the differences, claiming it offers qualitative parsimony. However, I will argue that Lewisean modal realism is not truly parsimonious and cannot be used to reject pluralism and explain the modal differences between Lumpl and Goliath due to inherent circularity in the theory. (shrink)

This essay expands upon the suggestion that Lessing's infamous ‘ditch’ is actually three ditches: temporal, metaphysical, and existential gaps. It examines the complex problems these ditches raise, and then proposes that Kierkegaard's Fragments and Postscript exhibit a similar triadic organizational structure, which may signal a deliberate attempt to engage and respond to Lessing's three gaps. Viewing the Climacean project in this way offers an enhanced understanding of the intricacies of Lessing's rationalist approach to both religion and historical truth, and illuminates (...) Climacus's subjective response to Lessing. (shrink)

In this article I provide and defend a solution to the problem of moral luck. The problem of moral luck is that there is a set of three theses about luck and moral blameworthiness each of which is at least prima facie plausible, but that, it seems, cannot all be true. The theses are that (1) one cannot be blamed for what happens beyond one’s control, (2) that which is due to luck is beyond one’s control, and (3) we rightly (...) blame each other for events that are due to luck. I suggest that the response which distinguishes between degree and scope of blameworthiness is promising. The main objection that one might level against this approach is that it seems to lead to the absurd conclusion that we, in the actual world, are as blameworthy as the person we could have been and who performs all sorts of heinous acts in a far away possible world. For, we in the actual world and our counterpart in a far away possible world are both such that we would perform certain heinous acts in particular circumstances. I argue that this objection can be met, namely by paying attention to the nature of luck. By using the insights into the nature of luck that have been gained by epistemologists, we can solve the problem of luck as it has been formulated by ethicists. For, epistemologists have argued that some event is due to luck only if it fails to occur in a substantial number of nearby possible worlds. I defend this account of luck and argue that the problem of moral luck can be solved if we pay attention to the nature of luck. I, therefore, call my solution to the problem of moral luck a modal solution. (shrink)

I clarify some of the details of the modal theory of function I outlined in Nanay (2010): (a) I explicate what it means that the function of a token biological trait is fixed by modal facts; (b) I address an objection to my trait type individuation argument against etiological function and (c) I examine the consequences of replacing the etiological theory of function with a modal theory for the prospects of using the concept of biological function to (...) explain mental content. (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)

Modal ontological arguments are often claimed to be immune to the flqqperfect islandfrqq objection of Gaunilo, because necessary existence does not apply to material, contingent things. But Gaunilo’s strategy can be reformulated: we can speak of non-contingent beings, like quasi-Gods or evil God. The paper is intended to show that we can construct ontological arguments for the existence of such beings, and that those arguments are equally plausible as theistic modal argument. This result does not show that this (...) argument is fallacious, but it shows that it is dialectically ineffective as an argument for theism. (shrink)

This article aims to provide a defense of the coherence of the doctrine of middle knowledge against the Grounding Objection. A solution to the Grounding Objection is provided by utilising the metaphysical thesis of Modal Realism proposed by David K. Lewis (as further developed by Kris McDaniel and Philip Bricker). Utilising this metaphysical thesis will enable the Counterfactuals of Creaturely Freedom, that are part of God’s middle knowledge, to have pre-volitional truthmakers, and thus, ultimately, we will have a means (...) to finally deal with this problematic issue that has often been raised against this doctrine. (shrink)

In this paper we reply to arguments of Kroon (“Characterization and Existence in Modal Meinongianism”. Grazer Philosophische Studien 86, 23–34) to the effect that Modal Meinongianism cannot do justice to Meinongian claims such as that the golden mountain is golden, and that it does not exist.

The Brock-Rosen problem has been one of the most thoroughly discussed objections to the modal fictionalism bruited in Gideon Rosen’s ‘Modal Fictionalism’. But there is a more fundamental problem with modal fictionalism, at least as it is normally explained: the position does not resolve the tension that motivated it. I argue that if we pay attention to a neglected aspect of modal fictionalism, we will see how to resolve this tension—and we will also find a persuasive (...) reply to the Brock-Rosen objection. Finally, I discuss an alternative reading of Rosen, and argue that this position is also able to fend off the Brock-Rosen objection. (shrink)

The thesis of this paper is that the capacity to think of one’s perceptions as cross-modally integrated is incompatible with a reductionist account of the self. In §2 I distinguish three versions of the argument from cross-modality. According to the ‘unification’ version of the argument, what needs to be explained is one’s capacity to identify an object touched as the same as an object simultaneously seen. According to the ‘recognition’ version, what needs to be explained is one’s capacity, having once (...) seen an object, to reidentify that same object by touch alone. According to the ‘objectivity’ version, what needs to be explained is one’s capacity to think of one’s perceptions in different modalities as perceptions of one and the same object. The third version seems to establish that one must conceive of oneself substantially, as the numerically identical owner of one’s experiences, a conclusion in agreement with recent work in developmental psychology claiming to show that an infant’s cross-modal capacities are essentially implicated in their development of a sense of self. There is further work to be done if this is to be tumed into an argument against reductionism: there is no swift route from the epistemology of self-consciousness to the metaphysics of the self. In the §3, I will claim that there is, nevertheless, an argument linking the two. What I propose is an argument derived, not from the token-reflexive rule for the first-person, but resting on its anaphoric behaviour spanning intensional operators. (shrink)

According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. Drawing (...) on lessons from these failures, I propose a new version of a modal account, inspired by Ruth Barcan Marcus's defense of the coherence of quantified modal logic, according to which an object has a property essentially just in case (i) it has it in every world in which it exists, (ii) the property is discriminating (or non-trivial), and (iii) the property is qualitative. The resulting account of essence does not face any of the standard objections other accounts face, and I defend it from other potential objections. (shrink)

Imagination is a source of evidence for objective modality. It is through this epistemic connection that the idea of modality first gains traction in our intellectual life. A proper theory of modality should be able to explain our imagination’s modal epistemic behaviors. This chapter highlights a peculiar asymmetry regarding epistemic defeat for imagination-based modal justification. Whereas imagination-based evidence for possibility cannot be undermined by information about the causal origin of our imaginings, unimaginability-based evidence for impossibility can be undermined (...) by information about the causal origin of the unimaginability. It is argued that an acceptance of S4 over S5 as the true logic for objective modality best explains this epistemic asymmetry. (shrink)

Objective: Evidence suggests people experience an oral size illusion and commonly perceive oral size inaccurately; however, the nature of the illusion remains unclear. The objectives of the present study were to confirm the presence of an oral size illusion, determine the magnitude (amount) and direction (underestimation or overestimation) of the illusion, and determine whether immediately prior crossmodal perceptual experiences affected the magnitude and direction. Design: Participants (N = 27) orally assessed 9 sizes of stainless steel spheres (1/16 in to 1/2 (...) in) categorized as small, medium, or big, and matched them with digital and visual reference sets. Each participant completed 20 matching tasks in 3 assessments. For control assessments, 6 oral spheres were matched with reference sets of same-sized spheres. For primer-control assessments, similar to control, 6 matching tasks were preceded by cross-modal experiences of the same-sized sphere. For experimental assessments, 8 matching tasks were preceded by a cross-modal experience of a differently sized sphere. Results: For control assessments, small and medium spheres were consistently underestimated, and big spheres were consistently overestimated. For experimental assessments, magnitude and direction of the oral size illusion varied according to the size of the sphere used in the cross-modal experience. Conclusion: Results seemed to confirm an oral size illusion, but direction of the illusion depended on the size of the object. Immediately prior cross-modal experiences influenced magnitude and direction of the illusion, suggesting that aspects of oral perceptual experience are dependent upon factors outside of oral perceptual anatomy and the properties of the oral stimulus. (shrink)

This paper proposes a new model of graded modal judgment. It begins by problematizing the phenomenon: given plausible constraints on the logic of epistemic modality, it is impossible to model graded attitudes toward modal claims as judgments of probability targeting epistemically modal propositions. This paper considers two alternative models, on which modal operators are non-proposition-forming: (1) Moss (2015), in which graded attitudes toward modal claims are represented as judgments of probability targeting a “proxy” proposition, belief (...) in which would underwrite belief in the modal claim. (2) A model on which graded attitudes toward modal claims are represented as judgments of credence taking as their objects (non-propositional) modal representations (rather than proxy propositions). The second model, like Moss’ model, is shown to be semantically and mathematically tractable. The second model, however, can be straightforwardly integrated into a plausible model of the role of graded attitudes toward modal claims in cognition and normative epistemology. (shrink)

Discrimination is a central epistemic capacity but typically, theories of discrimination only use discrimination as a vehicle for analyzing knowledge. This paper aims at developing a self-contained theory of discrimination. Internalist theories of discrimination fail since there is no compelling correlation between discriminatory capacities and experiences. Moreover, statistical reliabilist theories are also flawed. Only a modal theory of discrimination is promising. Versions of sensitivity and adherence that take particular alternatives into account provide necessary and sufficient conditions on discrimination. Safety (...) in contrast is not sufficient for discrimination as there are cases of safety that are clearly instances of discrimination failure. The developed account of discrimination between objects will be extended to discrimination between kinds and between types. (shrink)

Modal dispositionalism is the view that possibilities are a matter of the dispositions of individual objects: it is possible that p if and only if something has a disposition for p to be the case. We raise a problem for modal dispositionalism: nothing within the theory rules out that there could be necessary, perfect masks, which make the manifestation of a disposition impossible. Unless such necessary perfect masks are ruled out, modal dispositionalism runs the risk of (...) failing to provide a sufficient condition for possibility, and indeed of engendering contradictions. But to rule them out, modal dispositionalism would have to revise a crucial tenet of the view, its localism. (shrink)

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it (...) can enrich our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

The modal ontological argument (MOA) proceeds from God’s possible existence to God’s actual existence. A prominent objection to the MOA is that it suffers from a symmetry problem: an exactly parallel modal ontological argument can be given for God's non-existence. Several attempts have been made to break the symmetry between the arguments. This draft is a mostly comprehensive survey of those attempts. -/- The draft was initially written as a supplement to the 2024 Summer edition of the SEP (...) entry on Ontological Arguments. However, the draft is not included in the SEP entry. (shrink)

According to the canonical formulation of the modal account of luck [e.g. Pritchard (2005)], an event is lucky just when that event occurs in the actual world but not in a wide class of the nearest possible worlds where the relevant conditions for that event are the same as in the actual world. This paper argues, with reference to a novel variety of counterexample, that it is a mistake to focus, when assessing a given event for luckiness, on events (...) distributed over just the nearest possible worlds. More specifically, our objection to the canonical formulation of the modal account of luck reveals that whether an event is lucky depends crucially on events distributed over all possible worlds–viz., across the modal universe. It is shown that an amended modal account of luck which respects this point has the additional virtue of avoiding a notable kind of counterexample to modal accounts of luck proposed by Lackey (2008). (shrink)

In this article, I am interested in four versions of what is often referred to as "the Humphrey objection". This objection was initially raised by Kripke against Lewis's modal counterpart theory, so this is where I will start the discussion. As we will see, there is a perfectly good answer to the objection. I will then examine other places where a similar objection can be raised: it can arise in the case of temporal counterpart theory (in fact, it can (...) arise in the case of all kinds of counterpart theories, independently on modal realism), and a very similar worry can also arise against modal realism itself or against an ersatzist theory of possible worlds itself. For similar reasons, in similar situations, a similar objection will arise. What is interesting is that it is not the case that a similar response can be given in all of these similar cases. So, in the end, we will see what dissimilarities there are and how and why they are relevant. In particular, we will see the differences there are between alethic modalities and temporal modalities. In the case of alethic modalities (metaphysical necessity and possibility), the objection can be answered by appealing to the notion of representation, while this does not work very well in the case of temporal modalities. (shrink)

The subject of my article is the principle of characterization – the most controversial principle of Meinong’s Theory of Objects. The aim of this text is twofold. First of all, I would like to show that Russell’s well-known objection to Meinong’s Theory of Objects can be reformulated against a new modal interpretation of Meinongianism that is presented mostly by Graham Priest. Secondly, I would like to propose a strategy which gives uncontroversial restriction to the principle of characterization (...) and which allows to avoid Russell’s argument. The strategy is based on the distinction between object- and metalanguage, and it applies to modal Meinongianism as well as to other so-called Meinongian theories. (shrink)

Modal Meinongianism is a form of Meinongianism whose main supporters are Graham Priest and Francesco Berto. The main idea of modal Meinongianism is to restrict the logical deviance of Meinongian non-existent objects to impossible worlds and thus prevent it from “contaminating” the actual world: the round square is round and not round, but not in the actual world, only in an impossible world. In the actual world, supposedly, no contradiction is true. I will show that Priest’s semantics, (...) as originally formulated in Towards Non-being, tell us something different. According to certain models, there are true contradictions in the actual world. Berto and Priest have noticed this unexpected consequence and have suggested a solution, but I will show that their solution is highly questionable. In the last section of this paper, I will introduce a new and simpler version of modal Meinongianism that avoids the problem. (shrink)

Indispensability arguments are used as a way of working out what there is: our best science tells us what things there are. Some philosophers think that indispensability arguments can be used to show that we should be committed to the existence of mathematical objects (numbers, functions, sets). Do indispensability arguments also deliver conclusions about the modal properties of these mathematical entities? Colyvan (in Leng, Paseau, Potter (eds) Mathematical knowledge, OUP, Oxford, 109-122, 2007) and Hartry Field (Realism, mathematics and (...) modality, Blackwell, Oxford, 1989) each suggest that a consequence of the empirical methodology of indispensability arguments is that the resulting mathematical objects can only be said to exist (or not exist) contingently. Kristie Miller has argued that this line of thought doesn’t work (Miller in Erkenntnis, 77 (3), 335-359, 2012). Miller argues that indispensability arguments are in direct tension with contingentism about mathematical objects, and that they cannot tell us about the modal status of mathematical objects. I argue that Miller’s argument is crucially imprecise, and that the best way of making it clearer no longer shows that the indispensability strategy collapses or is unstable if it delivers contingentist conclusions about what there is. (shrink)

A widely debated issue in contemporary metaphysics is whether the modal profile of ordinary objects has to be explained in non-modal terms (that is, Thesis 1). However, how to solve such an issue with respect to occurrences – namely, processes and events – is a question that has been largely neglected in the current metaphysical debate. The general goal of this article is to start filling this gap. As a first result of the article, we make it (...) plausible that, if Thesis 1 holds for objects, then it also holds for processes and events. Then, we develop a metaphysical account of processes derived from Fine’s (1999, 2022) suggestions, according to which a process is a variable embodiment that is manifested by different events at the different times it goes on – namely, Thesis 2. We raised the challenge from the completion of a process that asks the Finean account of processes to explain relevant modal features of processes in non-modal terms. As a second result, we argue that four initially plausible strategies for solving such a challenge fall short of solving it. As a third result, we show that the theory of variable embodiments Fine formulates for objects must differ from the theory of variable embodiments that aims to model processes. We conclude by investigating some revisions to a theory of variable embodiments that aims to model processes. (shrink)

This article aims to provide a new ontological argument for the existence of God. A specific ‘modal’ version of the ontological argument—termed the Modal Realist Ontological Argument—is formulated within the modal realist metaphysical framework of David K. Lewis, Kris McDaniel and Philip Bricker. Formulating this argument within this specific framework will enable the plausibility of its central premise (i.e., the ‘Possibility Premise’) to be established, and allow one to affirm the soundness of the argument—whilst warding off two (...) oft-raised objections against this type of natural theological argument. (shrink)

We argue that there is an interesting modal analogue of temporal persistence, namely modal persistence, and an interesting modal analogue of time travel, namely modal travel. We explicate each of these notions and then argue that there are plausible conditions under which some ordinary objects modally persist. We go on to consider whether it is plausible that any modally persistent objects also modally travel.

The modal collapse objection to classical theism has received significant attention among philosophers as of late. My aim in this paper is to advance this blossoming debate. First, I briefly survey the modal collapse literature and argue that classical theists avoid modal collapse if and only if they embrace an indeterministic link between God and his effects. Second, I argue that this indeterminism poses two challenges to classical theism. The first challenge is that it collapses God’s status (...) as an intentional agent who knows and intends what he is bringing about in advance. The second challenge is that it collapses God’s providential control over which creation obtains. (shrink)

In this paper, I defend an empiricist account of modality that keeps a substantive account of modal commitment, but throws out the metaphysics. I suggest that if we pair a deflationary attitude toward representation with a substantive account of how scientific models are constructed and put to use, the result is an account that deflates the metaphysics of modal commitment without deflating the content of modal claims.

Since Benacerraf’s ‘What Numbers Could Not Be, ’ there has been a growing interest in mathematical structuralism. An influential form of mathematical structuralism, modal structuralism, uses logical possibility and second order logic to provide paraphrases of mathematical statements which don’t quantify over mathematical objects. These modal structuralist paraphrases are a useful tool for nominalists and realists alike. But their use of second order logic and quantification into the logical possibility operator raises concerns. In this paper, I show (...) that the work of both these elements can be done by a single natural generalization of the logical possibility operator. (shrink)

This is a prepublication version of my book Objects and Attitudes. The book develops a novel semantics of attitude reports, modal sentences, and quotation based on the view that sentences semantically act as predicates of various attitudinal and modal objects, entities like claims, requests, promises, obligations, and permissions, rather than standing for abstract propositions playing the role of objects. The approach develops truthmaker semantics for attitudinal and modal objects and has a wide range (...) of applications to issues in philosophy of language, semantics, and philosophy of mind. (shrink)

Talk of metaphysical modality as “absolute” is ambiguous, as it appears to convey multiple ideas. Metaphysical possibility is supposedly completely unrestricted or unqualified; metaphysical necessity is unconditional and exceptionless. Moreover, metaphysical modality is thought to be absolute in the sense that it’s real or genuine and the most objective modality: metaphysical possibility and necessity capture ways things could and must have really been. As we disentangle these ideas, certain talk of metaphysical modality qua “absolute” turns out to be misguided. Metaphysical (...) possibility isn't completely unrestricted or most inclusive compared to the other modalities; metaphysical necessity, like all kinds of necessities, is relative to or conditional upon a specific framework of reference. Still, metaphysical modality captures how things could and must have really been most generally because it deals with reality and the nature of things or their essence. That’s the chief interest of metaphysics. Arguments against the alleged absoluteness of metaphysical modality may not thereby undermine its philosophical significance. (shrink)

If ordinary particulars are bundles of properties, and if properties are said to be universals, then three well-known objections arise : no particular can change, all particulars have all of their properties essentially (even the most insignificant ones), and there cannot be two numerically distinct but qualitatively indiscernible particulars. In this paper, I try to make a little headway on these issues and see how the objections can be met, if one accepts a certain view about persistence through time and (...) across possible worlds – namely, four-dimensionalism and its modal analogue. The paper is especially devoted to the second and third of the three objections. (shrink)

Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of (...) Fine's logic of essence, and in terms of the theory of real definitions. I will conclude that the present evidence favours rejecting the hypothesis that modality is explainable by essence. (shrink)

In the presentation I will analyse Kant’s conception of modalities and consider its relevance to his critical metaphysics. With his Tables of Judgements and of Categories Kant makes an important division between two kinds of modality, of which the former is only logical and the latter transcendental, i.e., objective. Only judgements that are necessary in both ways are properly metaphysical. This distinction is important for Kant’s distinction between Transcendental Analytic and Transcendental Dialectic, i.e., between acceptable and unacceptable metaphysics. I submit (...) that not only is Kant’s theory of modality useful for properly understanding his arguments in the Dialectic, but that only by distinguishing between the two types of modality can one can make sense of his theory that the ideas of reason are simultaneously inevitable and erroneous. This modal analysis thus offers a new and important point of view to Kant’s metaphysics and its critique. (shrink)

In this chapter, it is suggested that our epistemic access to metaphysical modality generally involves rationalist, a priori elements. However, these a priori elements are much more subtle than ‘traditional’ modal rationalism assumes. In fact, some might even question the ‘apriority’ of these elements, but I should stress that I consider a priori and a posteriori elements especially in our modal inquiry to be so deeply intertwined that it is not easy to tell them apart. Supposed metaphysically necessary (...) identity statements involving natural kind terms are a good example: the fact that empirical input is crucial in establishing their necessity has clouded the role and content of the a priori input, as I have previously argued. For instance, the supposed metaphysically necessary identity statement involving water and its microstructure can only be established with the help of a controversial a priori principle concerning the determination of chemical properties by microstructure. The Kripke-Putnam framework of modal epistemology fails precisely because it is unclear whether the required a priori element is present. My positive proposal builds on E. J. Lowe’s work. Lowe holds that our knowledge of metaphysical modality is based on our knowledge of essence. Lowe’s account strives to offer a uniform picture of modal epistemology: essence is the basis of all our modal knowledge. This is the basis of Lowe’s modal rationalism. I believe that Lowe’s proposal is on the right lines in the case of abstract objects, but I doubt that it can be successfully applied to the case of natural kinds. Accordingly, the case of natural kinds will be my main focus and I will suggest that modal rationalism, at least as it is traditionally understood, falls short of explaining modal knowledge concerning natural kinds. Yet, I think that Lowe has identified something of crucial importance for modal epistemology, namely the essentialist, a priori elements present in our modal inquiry. The upshot is that rather than moving all the way from modal rationalism to modal empiricism, a type of hybrid approach, ‘empirically-informed modal rationalism ’, can be developed. (shrink)

Philosophy is experiencing a resurgence of property (PD) and generic substance dualism (SD). One important argument for SD that has played a role in this resurgence is some version of a modal argument. Until recently, premise (3) of the argument (Possibly, I exist, and no wholly physical objects exist.) has garnered most of the attention by critics. However, more recently, the focus has also been on (2) (Wholly physical objects are essentially, wholly, and intrinsically physical and wholly (...) spiritual substances are essentially, wholly, and intrinsically immaterial.). Andrew Bailey has provided one of the best criticisms of (2) on offer. In what follows, I present and clarify one form of the argument and defend premise (2) by responding to important defeaters proffered by Andrew Bailey and his contingent physicalism. (shrink)

The distinction of whether real or counterfactual history makes sense only post factum. However, modal history is to be defined only as ones’ intention and thus, ex-ante. Modal history is probable history, and its probability is subjective. One needs phenomenological “epoché” in relation to its reality (respectively, counterfactuality). Thus, modal history describes historical “phenomena” in Husserl’s sense and would need a specific application of phenomenological reduction, which can be called historical reduction. Modal history doubles history just (...) as the recorded history of historiography does it. That doubling is a necessary condition of historical objectivity including one’s subjectivity: whether actors’, ex-ante or historians’, post factum. The objectivity doubled by ones’ subjectivity constitute “hermeneutical circle”. (shrink)