Modality

This essay defends two theses regarding the explanation, or ground, of modality in the early modern period. First, for philosophers in the period, essences ground a range of important modal facts. Second, as the period progresses, we witness increased skepticism about certain modal facts, due to a growing skepticism about the scope or existence of essences. These theses are supported by examination of three case studies: Descartes’ treatment of substance and mode (which forms the core of his ontology); Malebranche’s treatment (...) of causation (which bears on his defense of occasionalism); and Locke’s treatment of necessary connections among properties (which is related to his accounts of individuals and kinds). It is shown that in each case, claims about necessity and possibility take center stage, and that in each case, the status of these claims hinges on the status of claims about essences. (shrink)

Rozwiązanie paradoksów Rossa i Priora okazało się trudnym zadaniem. Jego pierwsze dwa etapy, obejmujące identyfikację prawdziwych natur implikacji i wartości logicznych, zostały opisane w artykułach "Rozwiązanie paradoksu implikacji materialnej – 2024" i "Rozwiązanie dylematu Jörgensena – 2024". Ten artykuł opisuje trzeci etap, obejmujący odkrycie brakujących funktorów modalnych i Klasycznego Rachunku Modalności. Na zakończenie zostają podane procedury rozwiązania obu paradoksów.

This paper responds to Friend’s (2023) critique of the Powers-BSA, a view according to which laws of nature are efficient descriptions of how modally laden properties (powers) are possibly distributed in spacetime. In the course of this response, the paper discusses the nature of scientific and metaphysical explanation, the aim of science and the structure of modal space.

Priority monism is the doctrine that there is only one basic object: the entire cosmos. Priority monists often take this to be a metaphysically necessary thesis. I explore the consequences of modalizing the priority monist thesis. I argue that, modulo some assumptions, the modalized thesis entails the necessary existence of the actual cosmos. I further argue that, if the modalized thesis is true, and the actual cosmos necessarily exists, then the only possible concrete objects are the actually existing ones.

According to First-Person Realism, one's own first-person perspective on the world is metaphysically privileged in some way. After clarifying First-Person Realism by reference to parallel debates in the metaphysics of modality and time, I survey eight different arguments in favor of First-Person Realism.

The Consequence Argument for incompatibilism is beset by two rival interpretations: the counterfactual sufficiency interpretation and the counterfactual might interpretation. Waldrop recently argued that the counterfactual sufficiency interpretation conflicts with certain principles governing the logic of counterfactuals. In this paper, I show that Waldrop’s argument can be adapted to prove that the counterfactual might interpretation also conflicts with the same principles. So the problem Waldrop pointed out is not peculiar to the counterfactual sufficiency interpretation.

Dispositionalism is the theory of modality according to which all (metaphysical and natural) modal truths are made true by some actual irreducibly dispositional property. The relationship between Dispositionalism and time is yet to be satisfactorily explored. In this paper we contribute to this task by examining how Dispositionalism deals with ‘dated truths’: propositions involving a specific time, e.g. “It might rain at 12.30”. We examine two possible accounts: the first, 'Dated Manifestations Strategy', is the idea that powers are very fine-grained, (...) and tend towards temporally very specific manifestations. We argue that such strategy should not be adopted, for it leads to unnecessary violations of ontological parsimony; it is unable to accommodate an ontology of platonic universals; and it is incapable of offering a principled explanation of the forward-looking nature of powers. We offer an alternative account, the "Duration Strategy", which relies on an independently determined arrow of time and the existence of some “duration facts” that specify how long a power takes to bring about its manifestation. We argue that the Duration Strategy is to be preferred. We then flesh out the account by exploring the connection between powers, duration facts, and processes. (shrink)

We ordinarily think that we human beings have agency: we have control over our choices and make a difference to our environments. Yet it is not obvious how agency can fit into a physical world that is governed by exceptionless laws of nature. In particular, it is unclear how agency is possible if those laws are deterministic and the universe functions like a mechanical clockwork. In this short paper, I first explain the apparent conflict between agency and physical determinism (referring (...) to recent work by Helen Steward on "agency incompatibilism"), then review some salient responses one might give to this conflict, and finally sketch a response that rests on a distinction between “physical” and “agential possibilities.” Agency, I suggest, is a higher-level phenomenon, which comes with its own level-specific notion of possibility, and it cannot be adequately analyzed in physical terms alone or just through the lens of physical possibility. (The paper was written as an informal position paper for a symposium on "Possibilities".). (shrink)

A model of metaphysics associated with EJ Lowe and Tuomas Tahko sees metaphysics as involving a priori knowledge of possible essences, or at least modal facts, and delimiting the actual ‘ontological categories,’ the ultimate and essential divisions of what exists, based on the results of a posteriori scientific investigation. Their approach to metaphysics has been criticized by those who argue that such metaphysics is unsuitably a priori, disconnected with empirical research in natural science, and ends up failing to provide meaningful (...) constraints on metaphysical theorization. I present different epistemological and semantic worries about these accounts to motivate an alternative perspective on which metaphysics centers on form, rather than possibility. This scholastic perspective is shown to incorporate the skeptical insights as constitutive of its approach to existence, by way of the position that ‘being’ is not a genus. Rather, ‘being’ is a determinable. The scholastic approach can thus provide responses to the skeptics, since it denies that ontological categories – in the Lowe/Tahko sense – are what metaphysicians investigate and proposes a different view of ontological categories as classes of forms. (shrink)

This volume draws connections between Wittgenstein's philosophy and the work of Saul Kripke, especially his Naming and Necessity. Saul Kripke is regarded as one of the foremost representatives of contemporary analytic philosophy. His most important contributions include the strict distinction between metaphysical and epistemological questions, the introduction of the notions of contingent a priori truth and necessary a posteriori truth and original accounts of names, descriptions, identity, necessity and realism. The chapters in this book elucidate the relevant connections between Kripke's (...) work and Wittgenstein, specifically concerning the standard meter, contingent apriori and rule-following. The contributions shed light on how Kripke's philosophical outlook was influenced by Wittgenstein, and how mainstream analytic philosophy and Wittgensteinian philosophy can fruitfully engage with one another. Kripke and Wittgenstein will be of interest to philosophers working on Wittgenstein, Kripke, and the history of analytic philosophy. (shrink)

Stephen Mumford and Alexander Bird disagree about which properties are powers and, correspondingly, about the extent of the philosophical work to which powers may be put. Unfortunately, there is an important respect in which these authors are talking past each other and so the reason for their disagreement remains obscured. I highlight what has gone wrong in their recent exchange, attempt to clear up the confusion and pinpoint the true source of their disagreement. My hope is to redirect the efforts (...) of these authors and their followers onto more pressing foundational issues in the metaphysics of powers. (shrink)

Two approaches to elevating certain laws of nature over others have come to prominence recently. On the one hand, according to the meta-laws approach, there are meta-laws, laws which relate to laws as those laws relate to particular facts. On the other hand, according to the modal, or non-absolutist, approach, some laws are necessary in a stricter sense than others. Both approaches play an important role in current research, questioning the ‘orthodoxy’ represented by the leading philosophical theories of natural laws—Humeanism, (...) the DTA view, dispositional essentialism and primitivism. This paper clarifies the relations between these two emerging approaches, as well as their applicability to physical laws and the status of the challenges they pose for standard theories of laws of nature. We first argue that, despite some significant similarities between the two approaches (especially in the context of Lange’s counterfactual account of laws), they are in general distinct and largely independent of each other. Then, we argue that the support for meta-laws from physical theory and practice is more questionable than usually presented. (shrink)

This paper discusses the account of alethic modality as presented by Wilfrid Sellars in his earlier work from 1947 to 1958. Its aim is twofold. First, I discuss Sellars' analysis by exploring its historical relationship to Carnap's account of modality. I argue that Carnap's early syntactic treatment of modality profoundly influenced Sellars' own so-called ‘regulist' account of modality in terms of rules of inference. Furthermore, it is suggested that Sellars' lesser-known possible worlds analysis was influenced by Carnap's later semantic account (...) of modality. The second aim of the paper is a critical one. I raise a number of objections to Sellars’ account of modality and argue that his account confronts some serious limitations. I also argue that Sellars does not provide a satisfying explanation of the relationship between his regulist account and his possible worlds analysis. I offer such an explanation by arguing that his regulist account should be understood as a pragmatic account of what is conveyed by the use of modal sentences, whereas his possible worlds analysis is a semantic account of the asserted content of modal statements. That is, the regulist account and the possible worlds analysis have different explanatory targets. (shrink)

Grounding necessitarianism (GN) is the view that full grounds necessitate what they ground. Although GN has been rather popular among philosophers, it faces important counterexamples: For instance, A=[Socrates died] fully grounds C=[Xanthippe became a widow]. However, A fails to necessitate C: A could have obtained together with B=[Socrates and Xanthippe were never married], without C obtaining. In many cases, the debate essentially reduces to whether A indeed fully grounds C – as the contingentist claims – or if instead C is (...) fully grounded in A+, namely A plus some supplementary fact S (e.g. [Xanthippe was married to Socrates]) – as the necessitarian claims. Both sides typically agree that A+ necessitates C, while A does not; they disagree on whether A or A+ fully grounds C. This paper offers a novel defence of the claim that, in these typical cases, unlike A+, A fails to fully ground C – thereby bringing further support to GN. First and foremost, unlike A+, A fails to fully ground C because it fails to contain just what is relevant to do so, in two distinct senses – explanatory and generative relevance. Second, going for A, rather than A+, as a full ground undermines not just grounding necessitarianism, but modally weaker views which even contingentists may want to preserve. (shrink)

I argue that it is metaphysically necessary that: (i) every fundamental entity is conscious, and (ii) every fundamental property is a phenomenal property.

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)

Was bisexuality a widespread feature of ancient Greek society? This question is an instance of cross-cultural projection -- of taking the means through which people are categorized in one culture and applying it to members of another. It’s widely held by those who think that sexual orientation is socially constructed that its projection poses a problem. In this paper, I offer a more careful analysis of this alleged problem. To analyze projection, I adapt Iris Einheuser’s substratum-carving model of conventionalism to (...) fit the specific needs of social construction. Using this model, I show that projection is conceptually coherent, and so does not for that reason pose any problem. Along the way, I identify some of the epistemic difficulties facing projection. While these difficulties are formidable, they are not substantially affected by the constructivist claim. I therefore conclude that there is no unique problem facing the projection of a socially constructed sexual orientation. (shrink)

In diesem Aufsatz argumentiere ich für eine teleologische Fähigkeitstheorie, derzufolge Fähigkeiten Dispositionen zu zweckmäßigem Handeln sind.

This article builds on C. S. Peirce’s suggestive blueprint for an inclusive outlook that grants reality to his three categories. Moving away from the usual focus on (contentious) cosmological forces, I use a modal principle to partition various ontological layers: regular sign-action (like coded language) subsumes actual sign-action (like here-and-now events) which in turn subsumes possible sign-action (like qualities related to whatever would be similar to them). Once we realize that the triadic sign’s components are each answerable to this asymmetric (...) subsumption, we obtain the means to track at which level of complexity semiosis finds itself, in a given case. Since the bulk of such a “trinitarian” metaphysics would be devoted to countenancing uninterpreted phenomena, I argue that current misgivings about sign-based ontologies are largely misplaced. (shrink)

Causal structuralism is the view that, for each natural, non-mathematical, non-Cambridge property, there is a causal profile that exhausts its individual essence. On this view, having a property’s causal profile is both necessary and sufficient for being that property. It is generally contrasted with the Humean or quidditistic view of properties, which states that having a property’s causal profile is neither necessary nor sufficient for being that property, and with the double-aspect view, which states that causal profile is necessary but (...) not sufficient. Shoemaker’s (1998) and Hawthorne’s (2001) arguments in favor of causal structuralism primarily focus on problematic consequences of the other two views. I argue, however, that causation does not provide an appropriate framework within which to characterize all physical properties for two main reasons. First, there are physical properties that do not have causal profiles and properties whose causal profiles do not exhaust their essences. Second, there is no unified notion of causation across the sciences. After distinguishing between the causal and the nomological, I suggest that what is needed is a structuralist view of properties that is not merely causal but that incorporates a physical property’s higher-order mathematical and nomological properties into its identity conditions. Such a view retains the naturalistic motivations for causal structuralism while avoiding the problems it faces. (shrink)

Boris Kment takes a new approach to the study of modality that emphasises the origin of modal notions in everyday thought. He argues that the concepts of necessity and possibility originate in counterfactual reasoning, which allows us to investigate explanatory connections. Contrary to accepted views, explanation is more fundamental than modality.

This paper replies to Nanay’s response to my recent paper. My suggestions are the following. First, “should” or “ought” does not need to be deontic. Second, etiological theories of function, like provability logic, do not need to attribute modal force to their explanans. Third, the explanans of the homological account of trait type individuation does not appeal to a trait’s etiological function, that is, what a trait should or ought to do. Finally, my reference to Cummins’s notion of function was (...) intended to note that the homological account is permitted to use this non-etiological notion of function. (shrink)

Naturalistic teleological accounts of mental content rely on an etiological theory of function. Nanay has raised a new objection to an etiological theory, and proposed an alternative theory of function that attributes modal force to claims about function. The aim of this paper is both to defend and to cast a new light on an etiological theory of function. I argue against Nanay’s “trait type individuation objection,” suggesting that an etiological theory also attributes modal force to claims about function. An (...) etiological theory of function can be thought to analyze claims about function with modal force, not relying on any theory of counterfactuals. (shrink)

THE aim of this paper is to refute Hume's contention that there cannot be logically necessary connections between successive events. I intend to establish, in other words, not 'Logically necessary connections do exist between successive events', but instead the rather more modest proposition: 'It may be, it is possible, as far as we can ever know for certain, that logically necessary connections do exist between successive events.' Towards the end of the paper I shall say something about the implications of (...) rejecting Hume's contention. (shrink)

Spinoza is most often seen as a stern advocate of mechanistic efficient causation, but examining his philosophy in relation to the Aristotelian tradition reveals this view to be misleading: some key passages of the Ethics resemble so much what Surez writes about emanation that it is most natural to situate Spinoza's theory of causation not in the context of the mechanical sciences but in that of a late scholastic doctrine of the emanative causality of the formal cause; as taking a (...) look at the seventeenth-century philosophy of mathematics reveals, this is in consonance also with Spinoza's geometrical cast of mind. Against this background, I examine Spinoza's essentialist model of causation according to which each thing has a formal character determined by the thing's essence and what follows from that essence. In the case of real things this essential causal architecture results in efficacy, i.e. in bringing about real effects, the key idea being that without the essential, formally structured causal thrust there would be no efficacy in the first place. I also explain how this model accounts for efficient causation taking place between finite things. (shrink)

Das Dissertationsprojekt soll eine Verbindung zwischen zwei augenscheinlich separaten Debattensträngen in der kontemporären Wissenschaftstheorie erforschen. Das ist zum einen die Debatte um die humesche Doktrin, der zufolge es keine de-re notwendigen Verbindungen respektive modale Fakten in der natürlichen Welt gibt. Diese Debatte betrifft die Grundlagen der Naturwissenschaften sowie der Natur selbst. Und das ist zum anderen die Debatte um die materiale Theorie der Induktion, welche auf John D. Norton zurückgeht und die Grundlagen der Rationalität und Logik betrifft. Nach dieser Theorie (...) werden induktive Schlüsse qua relevanter, lokaler Hintergrundfakten zuverlässig. Norton bringt viele - in meinen Augen überzeugende - Beispiele für diese Theorie, lässt uns aber im Unklaren darüber, wie diese Hintergrundfakten induktive Schlüsse lizensieren können. Ich werde argumentieren, dass es sich bei diesen relevanten Fakten zumindest in einigen paradigmatischen Fällen um irreduzibel-modale oder modal grundierte Fakten handeln muss, ansonsten können diese die ihnen zugedachte Funktion nicht erfüllen. Infolgedessen steht der Humeanismus vor einer materialen Form des Induktionsproblems. -/- Meine Forschungshypothese lautet, dass es sich bei dem materialen Induktionsproblem um das eigentliche und zentrale Problem des Humeanismus handelt. Zum einen werden viele altbekannte Probleme des Humeanismus durch das materiale Induktionsproblem motiviert und bestärkt. Zum anderen begründet das materiale Induktionsproblem ein neues und tiefgreifendes Problem des Humeanismus. Es stellt sich darin, dass der Humeanismus den empirischen Erfolg unserer verfügbaren wissenschaftlichen und alltäglichen Gesetzesannahmen nicht zirkelfrei erklären kann. Darauf aufbauend formuliere ich ein Super-Wunderargument, das im Kern in einer Inferenz von den bisherigen empirischen Erfolgen unserer verfügbaren Gesetzesannahmen auf die Wahrheit des Anti-Humeanismus besteht. Dieses Argument steht im Zentrum meiner Arbeit. Alles Weitere wird im Kontext dieses Argumentes diskutiert und illustriert. Zu diesen Untersuchungen gehören die schrittweise Motivation des Argumentes durch das materiale Induktionsproblem, die Unterscheidung und Diskussion verschiedener logischer Formen des Argumentes, das Herausarbeiten der Vorteile sowie die Antizipation von möglichen Einwänden gegen das Argument. (shrink)

Philosophers distinguish between having a property essentially and having it accidentally. The way the distinction has been drawn suggests that it is modal in character, and so that it can be captured in terms of necessity, or cognate notions. The present chapter takes the suggestion at face value by considering a number of modal characterizations of the essential/accidental distinction that have been articulated and discussed since the early 20th century, as well as some of the challenges that they face.

The chapter discusses the issue of how we may achieve knowledge of essence. It offers a critical survey of the main theories of knowledge of essence that have been proposed within contemporary debates, particularly by Lowe, Hale, Oderberg, Elder, and Kment.

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)

According to Amie Thomasson’s modal normativism, the function of modal discourse is to convey semantic rules. But what is a "semantic rule"? I raise three worries according to which there is no conception of a semantic rule that can serve the needs of a modal normativist. The first worry focuses on de re and a posteriori necessities. The second worry concerns Thomasson's inferential specification of the meaning of modal terms. The third worry asks about the normative status of semantic rules.

Pluralists believe in the occurrence of numerically distinct spatiotemporal coincident objects. They argue that there are coincident objects that share all physical and spatiotemporal properties and relations; nevertheless, they differ in terms of modal and some other profiles. Appealing to the grounding problem according to which nothing can ground the modal differences between coincident objects, monists reject the occurrence of coincident objects. In the first part of this paper, I attempt to show that the dispute between monists and pluralists cannot (...) be settled based upon the grounding problem tout court. I argue that the grounding problem or a very similar problem is a challenge for all monists and pluralists alike if they are ontologically committed to the existence of composite objects as independent entities. In the final part, adopting the Aristotelian account of essence, I propose a solution that enables pluralists to plausibly ground modal differences between coincident objects. (shrink)

This paper contributes to the debate regarding the semantic type of singular referential names. According to one view, known as referentialism, names rigidly designate individuals (Kripke 1972, Abbott 2002, Leckie 2013, Jeshion 2015, Schoubye 2017). According to another view, known as predicativism, names designate properties of individuals (Burge 1973, Geurts 1997, Bach 2002, Elbourne 2005, Matushansky 2008, Fara 2015). Most predicativist accounts claim that bare names in English occur with a phonologically null determiner, a proposal that is based on languages (...) like Greek where names require a determiner in argument position. Novel data from both English and Greek show that names can be nonrigid designators under modal operators ("Aristotle may teach Socrates") and bound variables under quantifiers ("in every set of twins, Helen is a musician"), challenging referentialism. As for rigidity, one possible source of this phenomenon is the proprial article, a name-specific determiner found in Catalan and other languages that may be null in English and homophonous with the definite article in Greek (Ghomeshi and Massam 2009, Muñoz 2019, Izumi and Erickson 2021). While much further research is needed, the data suggest that the proper analysis of names is grounded in predicativism rather than referentialism. (shrink)

Modal dispositionalists hold that dispositions provide the foundation of metaphysical necessity and possibility. According to the kind of modal dispositionalism that can be found in the present literature, a proposition p is possible just in case some things are disposed to be such that p. In the first part of this paper I show that combining this classic form of dispositionalism with the assumptions that the laws of nature are necessary and deterministic and that all dispositions are forward-looking in time (...) leads to the unattractive conclusion that every truth is necessary. I argue that the classic dispositionalist should be troubled by this result and in the second part of the paper I suggest a novel variant of dispositionalism that avoids it. This extended form of dispositionalism allows that some propositions are only indirectly underwritten by dispositions. (shrink)

In the middle of the last century, it was common to explain the notion of necessity in linguistic terms. A necessary truth, it was said, is a sentence whose truth is guaranteed by linguistic rules. Quine famously argued that, on this view, de re modal claims do not make sense. “Porcupettes are porcupines” is necessarily true, but it would be a mistake to say of a particular porcupette that it is necessarily a porcupine, or that it is possibly purple. Linguistic (...) theories of necessity fell out of favour with the publication of Kripke’s Naming and Necessity, and Quine’s arguments were put aside. In her recent book, Norms and Necessity, Amie Thomasson presents her modal normativism, which is an updated version of the mid-century theories just described. Quine’s arguments are thus relevant once again. We recapitulate Quine’s central argument, in the context of modal normativism. We then criticise Amie Thomasson’s discussion of de re modality. We finish by briefly presenting an alternative account of de re modal statements, which is compatible with modal normativism. (shrink)

A thesis (“weak BCP”) nearly universally held among philosophers of probability connects the concepts of objective chance and metaphysical modality: Any prospect (outcome) that has a positive chance of obtaining is metaphysically possible—(nearly) equivalently, any metaphysically impossible prospect has zero chance. Particular counterexamples are provided utilizing the monotonicity of chance, one of them related to the four world paradox. Explanations are offered for the persistent feeling that there cannot be chancy metaphysical necessities or chancy metaphysical impossibilities. Chance is objective but (...) contrary to popular opinion it is also largely epistemic. Chancy necessities are analogous to necessary a posteriori truths. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 644-662, November 2019. (shrink)

This study asserts that W.V.O. Quine’s eliminative philosophical gaze into mereological composition affects inevitably his interpretations of composition theories of ontology. To investigate Quine’s property monism from the account of modal eliminativism, I applied to his solution for the paradoxes of de re modalities’ . Because of its vital role to figure out how dispositions are encountered by Quine, it was significantly noted that the realm of de re modalities doesn’t include contingent and impossible inferences about things. Therefore, for him, (...) all the intrinsic forces and elements of entities such as powers and causal or teleological dispositions for ontology demand to be seen necessarily as bound variables from a monist perspective. Although his denial of analyticity and the elimination of dispositional field of ontology, S. Mumford criticizes the monist perspective of Quine’s paradoxical approach to superveniences. Because superveniences create problems while determining type-type identities from a monist mereological perspective. It is observed that Quine faces with a reduction again in terms of his dispositional monism despite his critiques to repulse vagueness from the ontology in his well-known article Two Dogmas of Empiricism. -/- . (shrink)