Theories of Modality, Misc

Despite the notions of possible worlds and substances are very important subjects of contemporary metaphysics, there are relatively few attempts to combine these in a united framework. This paper considers the metaphysical model of the origins and the evolution of possible worlds that occurs from an interaction between substances. I involve Leibniz’s doctrine of the striving possibles that every possibility of substance has its own essence and tendency towards existence. It is supposed that the activities of substances are constantly aimed (...) at using this tendency in all possible ways. Only the consistent and stable interactions between the substances give birth to stable objects in one of many worlds. Thus activity of substances changes from the possible modality of being to the actual modality of being in form of existence of the worlds. I divide substance’s possibility into two aspects—dynamic (possible or virtual history) and static (possible or potential mutual state). Thanks to the summation of virtual histories, in the possible modality of being, the maximal number of virtual histories is combined into the actual history in the actual modality. (shrink)

In this article, we discuss a simple argument that modal metaphysics is misconceived, and responses to it. Unlike Quine’s, this argument begins with the banal observation that there are different candidate interpretations of the predicate ‘could have been the case’. This is analogous to the observation that there are different candidate interpretations of the predicate ‘is a member of’. The argument then infers that the search for metaphysical necessities is misguided in much the way the ‘set-theoretic pluralist’ (Clarke-Doane & Hamkins (...) [2017]) claims that the search for the true axioms of set theory is. We show that the obvious responses to this argument fail. However, a new response has emerged that purports to prove, from higher order logical principles, that metaphysical possibility is the broadest kind of possibility applying to propositions, and is to that extent special. We distill two lines of reasoning from the literature, and argue that their import depends on premises that a ‘modal pluralist’ should deny. Both presuppose that there is a unique typed hierarchy, which is what the modal pluralist, in the context of higher-order logic, should disavow. In other words, both presupposes that there is a unique candidate for what higher-order claims could mean. We consider the worry that, in a higher-order setting, modal pluralism faces an insuperable problem of articulation, collapses into modal monism, is vulnerable to the Russell-Myhill paradox, or even contravenes the truism that there is a unique actual world, and argue that these worries are misplaced. We also sketch the bearing of the resulting ‘Higher Order Pluralism’ on the theory of content. One upshot is that, if Higher Order Pluralism is true, then there is no fixed metatheory from which to characterize higher order reality. (shrink)

In a recent article forthcoming in *Mind*, Leech (2020) presents a challenge for essentialist accounts of metaphysical modality: why should it be that essences imply corresponding necessities? Leech’s main focus is to argue that one cannot overcome the challenge by utilizing an account of essence in terms of generalized identity due to Correia and Skiles (2019), on pain of circularity. In this reply, we will show how to use identity-based essentialism to bridge ‘epistemic’ and ‘explanatory’ understandings of this alleged essence-to-necessity (...) gap without circularity, Leech’s arguments notwithstanding. We do so by first presenting a novel proof that generalized identities imply corresponding necessities. We then propose several substantive identity-based explanations of how it is, exactly, that essences imply necessities. -/- . (shrink)

One’s involvement with the world seems limited merely to things as they are; hence, modal knowledge—knowledge of what could be or must be simpliciter—should be perplexing. Traditionally, the notion of conceivability has been regarded as crucial to an account of modal knowledge. I believe one has a good deal of such knowledge (though perhaps less than others presume one has). I maintain, however, that conceiving is utterly idle in acquiring modal knowledge: the conceivability of a proposition can provide no evidence (...) whatsoever that what it represents is possible. To show this, I first examine the basis of modal knowledge. I consider what conceivability in general is supposed to be and argue, in light of the preceding considerations, that conceivability is not epistemically efficacious, in the sense of providing evidence, on any proposed specific account. I then maintain that there could be no account of conceivability on which it is epistemically efficacious, that the very idea of the conceivability of a proposition being evidential is misguided. I conclude with some brief recommendations for pursuing a satisfactory modal epistemology. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the realization of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics --- (...) or some view in the area --- is already a quasi-scientific discipline. ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)

Establishing Dispositionalism as a viable theory of modality requires the successful fulfilment of two tasks: showing that all modal truths can be derived from truths about actual powers, and offering a suitable metaphysics of powers. These two tasks are intertwined: difficulties in one can affect the chances of success in the other. In this paper, I generalise an objection to Dispositionalism by Jessica Leech and argue that the theory in its present form is ill-suited to account for de re truths (...) about merely possible entities. I argue that such difficulty is rooted in a problem in the metaphysics of powers. In particular, I contend that the well-known tension between two key principle of powers ontology, namely Directedness and Independence has received an unsatisfactory solution so far, and that it is this unsatisfactory solution concerning the status of “unmanifested manifestations” that makes it hard for Dispositionalism to account for mere possibilia. I develop a novel account of the status of unmanifested manifestations and an overall metaphysics of powers which allows to better respond to Leech's objection and handle mere possibilia. The central idea of the proposal is that unmanifested manifestations are akin to mere logical existents, and are best characterised as non-essentially non-located entities. (shrink)

This paper aims to build a bridge between two areas of philosophical research, the structure of kinds and metaphysical modality. Our central thesis is that kinds typically involve super-explanatory properties, and that these properties are therefore metaphysically essential to natural kinds. Philosophers of science who work on kinds tend to emphasize their complexity, and are generally resistant to any suggestion that they have “essences”. The complexities are real enough, but they should not be allowed to obscure the way that kinds (...) are typically unified by certain core properties. We shall show how this unifying role offers a natural account of why certain properties are metaphysically essential to kinds. (shrink)

The paper sketches an argument against modal monism, more specifically against the reduction of physical possibility to metaphysical possibility. The argument is based on the non-categoricity of quantum logic.

This paper responds to the contributions by Alexander Bird, Nathan Wildman, David Yates, Jennifer McKitrick, Giacomo Giannini & Matthew Tugby, and Jennifer Wang. I react to their comments on my 2015 book Potentiality: From Dispositions to Modality, and in doing so expands on some of the arguments and ideas of the book.

As Vetter says, we are at the “beginning of the debate, not the end” (2015: 300) when it comes to evaluating her potentiality-based account of metaphysical modality. This paper contributes to this developing debate by highlighting three problems for Vetter’s account. Specifically, I begin (§1) by articulating some relevant details of Vetter’s potentiality-based view. This leads to the first issue (§2), concerning unclarity in the idea of degrees of potentiality. Similarly, the second issue (§3) raises trouble for Vetter’s proposed individuation (...) conditions for potentialities. Finally, the third issue (§4) is about apparently unmanifestable intrinsic potentialities, and suggests that there might be some deeper problems with anchoring metaphysical possibilities in concrete objects. More generally, though the issues detailed here are problematic, I do not take them to be fatal. However, they do show that, at minimum, further clarification of Vetter’s potentiality view is required. As Vetter says, we are at the “beginning of the debate, not the end” (2015: 300) when it comes to evaluating her potentiality-based account of metaphysical modality. This paper contributes to this developing debate by highlighting three problems for Vetter’s account. Specifically, I begin (§1) by articulating some relevant details of Vetter’s potentiality-based view. This leads to the first issue (§2), concerning unclarity in the idea of degrees of potentiality. Similarly, the second issue (§3) raises trouble for Vetter’s proposed individuation conditions for potentialities. Finally, the third issue (§4) is about apparently unmanifestable intrinsic potentialities, and suggests that there might be some deeper problems with anchoring metaphysical possibilities in concrete objects. More generally, though the issues detailed here are problematic, I do not take them to be fatal. However, they do show that, at minimum, further clarification of Vetter’s potentiality view is required. (shrink)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree (...) with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (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)

Bundle theories identify material objects with bundles of properties. On the traditional approach, these are the properties possessed by that material object. That view faces a deep problem: it seems to say that all of an object’s properties are essential to it. Essential bundle theory attempts to overcome this objection, by taking the bundle as a specification of the object’s essential properties only. In this paper, I show that essential bundle theory faces a variant of the objection. To avoid the (...) problem, the theory must accept the contingency of identity. I show how this can be achieved in a coherent and well-motivated way, a way that isn’t available to traditional bundle theories. (shrink)

The paper provides a review of the collection of scientific works «Williamson on Modality» and contains a brief summary of the main ideas of the articles published in the book.

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)

A series of recent studies have explored the impact of people's judgments regarding physical law, morality, and probability. Surprisingly, such studies indicate that these three apparently unrelated types of judgments often have precisely the same impact. We argue that these findings provide evidence for a more general hypothesis about the kind of cognition people use to think about possibilities. Specifically, we suggest that this aspect of people's cognition is best understood using an idea developed within work in the formal semantics (...) tradition, namely the notion of modality. On the view we propose, people may have separate representations for physical, moral and probabilistic considerations, but they also integrate these various considerations into a unified representation of modality. (shrink)

Dispositionalism about modality is the view that metaphysical modality is a matter of the dispositions possessed by actual objects. In a recent paper, David Yates has raised an important worry about the formal adequacy of dispositionalism. This paper responds to Yates’s worry by developing a reply that Yates discusses briefly but dismisses as ad hoc: an appeal to a ’plenitude of powers’ including such powers as the necessarily always manifested power for 2+2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$$2+2$$\end{document} to be 4. I argue that the reply is not ad hoc at all, by defending the metaphysics of dispositions that should underly it. I then argue, first, that a proper understanding of dispositions’ degrees provides us with an argument for such necessarily always manifested dispositions; second, that all the natural attempts to block that argument can be resisted without being ad hoc; and third, that pragmatic considerations explain our intuitive resistance to the ascription of necessarily always manifested dispositions. Dispositionalism can be formally adequate after all. (shrink)

In his late fragment, ‘Sources of Knowledge of Mathematics and Natural Sciences’ Frege laments the tendency to confuse functions with objects and says, ‘It is here that the tendency of language by its use of the definite article to stamp as an object what is a function and hence a non-object, proves itself to be the source of inaccurate and misleading expressions and also of errors of thought. Probably most of the impurities that contaminate the logical source of knowledge have (...) their origins in this.’ This paper applies Frege’s logical insights to a series of influential modal arguments for the existence of souls or minds, in order to demonstrate that they hinge on the error of treating functions as objects. Related arguments have also resulted in the claim that identity statements are necessary, and that apparent identities ‘really’ involve relations of constitution. Here it is argued that once we recognise that all these arguments involve the assimilation of objects and concepts (which Frege identifies with functions) they can be seen to be defective. (shrink)

This special issue of the Canadian Journal of Philosophy is dedicated to Timothy Williamson's work on modality. It consists of a new paper by Williamson followed by papers on Williamson's work on modality, with each followed by a reply by Williamson. -/- Contributors: Andrew Bacon, Kit Fine, Peter Fritz, Jeremy Goodman, John Hawthorne, Øystein Linnebo, Ted Sider, Robert Stalnaker, Meghan Sullivan, Gabriel Uzquiano, Barbara Vetter, Timothy Williamson, Juhani Yli-Vakkuri.

This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings of (...) modal operators in terms of rules of inference. (shrink)

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

This thesis is an argument for the view that there are problems for Modal Reductionism, the thesis that modality can satisfactorily be defined in non-modal terms. -/- I proceed via a case study of David Lewis’s theory of concrete possible worlds. This theory is commonly regarded as the best and most influential candidate reductive theory of modality. Based on a detailed examination of its ontology, analysis and justification, I conclude that it does badly with respect to the following four minimal (...) conditions on a satisfactory reductive theory of modality: that it be (a) genuinely reductive, (b) materially adequate, (c) conceptually adequate and (d) that its justification provides good reason to think it true. -/- These problems for Lewis’s theory are not, I suggest, due to his idiosyncratic conception of possible worlds as concrete entities. Rather, because Lewis’s theory can be seen to represent an important class of structurally similar reductive theories of modality, the problems for Lewis’s theory generalise to problems for these other theories. This suggests that Modal Reductionism is unpromising. In the light of this, the alternative approach to understanding modality, Modal Primitivism, appears more attractive. (shrink)

The textbook-like history of analytic philosophy is a history of myths, re-ceived views and dogmas. Though mainly the last few years have witnessed a huge amount of historical work that aimed to reconsider our narratives of the history of ana-lytic philosophy there is still a lot to do. The present study is meant to present such a micro story which is still quite untouched by historians. According to the received view Kripke has defeated all the arguments of Quine against quantified (...) modal logic and thus it became a respectful tool for philosophers. If we accept the historical interpreta-tion of the network between Quine, Kripke and modal logic, which is to be presented here, we have to conclude that Quine’s real philosophical animadversions against the modalities are still on the table: though Kripke has provided some important (formal-logical) answers, Quine’s animadversions are still viable and worthy of further consideration. (shrink)

Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...) explain this by appealing to the powers of some actual thing or things to bring it about. I argue instead that dispositionalism, in the simple form championed by its proponents, is formally inadequate. Dispositionalists interpret the modal operators as simple existential claims about powers, but if we interpret the operators that way, the resulting system of modal logic is too weak to capture metaphysical modality. I argue that we can modify the standard dispositionalist interpretations of the operators to secure formal adequacy, but at the cost of accepting that not all modality is grounded in powers. This, I shall suggest, is not a bad thing—the resulting theory still has powers at its core and has certain attractive features, in addition to formal adequacy, that the standard theory lacks. (shrink)

To solve the problem of counterpossibles, many philosophers have been arguing that one needs to invoke impossible worlds. This extension of the ontology of modality should save the analysis of counterfactuals from being insensitive to the problem of counterpossibles. Since theories of impossible worlds are extensions of original accounts of modalities, it is worth stressing that proper analyses of counterpossibles should not weaken the latter.In this paper I argue that these theories of impossible wolrds, which are based on D. Lewis' (...) modal realism - Extended Modal Realism and Hybrid Modal Realism - might be consider as either an unattractive for modal realists or insufficient for analyzing counterpossibles. (shrink)

This is a supplement to our book "Le tribolazioni del filosofare. Comedia metaphysica ne la quale si tratta de li errori & de le pene de l’Infero". It features an entirely new canto of the poem (originally thought to be lost) along with an extensive commentary. The canto covers the first ring of the circle of the Sullen, which hosts the Adverse to the Possible, and deals with several philosophical questions concerning the metaphysics of modality.

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)

The Barcan formula (BF) is commonly paraphrased as the schematic conditional that if it is possible that there be a phi then something or other is possibly a phi. It is validated by the most straightforward systems of quantified modal logic. It is also widely considered to pose a threat to the commonsensical metaphysical view that there are no non-actual (or ‘merely possible’) things. I show how BF can be cleared of such a charge by construing it as a bridge (...) principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters. (shrink)

In ‘A modal theory of function’, I gave an argument against all existing theories of function and outlined a new theory. Karen Neander and Alex Rosenberg argue against both my negative and my positive claim. My aim here is not merely to defend my account from their objections, but to (a) very briefly point out that the new account of etiological function they propose in response to my criticism cannot avoid the circularity worry either and, more importantly, to (b) highlight, (...) and attempt to make precise, an important feature of my modal theory that may have been understated in the original paper – that function attributions depend on the explanatory project at hand. (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)

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)

There has been much discussion of powers or real dispositions in the past decade, but there remains an issue that has been inadequately treated. This concerns the precise modal value that comes with dispositionality. We contend in this paper that dispositionality involves a non-alethic, sui generis, irreducible modality. Dispositions only tend towards their manifestations; they do not necessitate them. Tendency is, of course, a dispositional term itself, so this last statement offers little by way of illumination. But given our thesis (...) on the irreducible nature of dispositionality, we maintain that it cannot be explicated correctly in non-dispositional terms. Nevertheless, we all have experience of dispositionality at work, through the exercise or our own powers and the action of other powers upon us. The notion of dispositionality that we acquire is one that involves a modality stronger than pure contingency but weaker than necessity. The recognition of this distinct modal value for dispositionality is one of the biggest oversights in the growing literature in the area. Yet it is there for all to see in even the most mundane example. (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.

This paper surveys recent "new actualist" approaches to modality that do without possible worlds and locate modality squarely in the actual world. New actualist theories include essentialism and dispositionalism about modality, each of which can come in different varieties. The commonalities and differences between these views, as well as their shared motivations, are layed out.

In this thesis, I develop a nonreductive and general conception of potentiality, and explore the prospects of a realist account of possibility based on this account of potentiality. Potentialities are properties of individual objects; they include dispositions such as fragility and abilities such as the ability to play the piano. Potentialities are individuated by their manifestation alone. In order to provide a unified account of potentialities, I argue in chapter 2 that dispositions, contrary to philosophical orthodoxy, are best understood in (...) terms only of their manifestations (as disposi- tions to ...), rather than in terms of a stimulus and a manifestation condition (as dispositions to ... if ...). Chapter 3 provides some preliminary motivation for a nonreductive and gen- eral account of potentiality, and chapter 4 develops such an account. The guiding question is how far the notion of potentiality can be extended from the initial ex- amples of familiar dispositions and abilities, and it is argued that it can be extended very far. Various features of potentialities are explored, among them extrinsicality, iterations of potentiality, and the behaviour of potentiality with regard to logical equivalence. In chapter 5, the account is set to work in providing the outlines and a defense of a potentiality-based account of possibility. The basic idea of such an account is that it is possible that p just in case some thing has a potentiality for p. The account is defended against the objection that there may not be enough potential- ities to ground all the possibilities that there are. Finally, in chapter 6, a logic of potentiality is formulated and the logic of possibility derived from it, showing that the potentiality-based account of possibility is formally adequate: it provides pos- sibility with the formal features that modal logicians have studied. I conclude that the proposed account of possibility is a promising research programme. (shrink)

Kant's speculative theistic proof rests on a distinction between “logical” and “real” modality that he developed very early in the pre-critical period. The only way to explain facts about real possibility, according to Kant, is to appeal to the properties of a unique, necessary, and “most real” being. Here I reconstruct the proof in its historical context, focusing on the role played by the theory of modality both in motivating the argument (in the pre-critical period) and, ultimately, in undoing it (...) as a source of knowledge of God's existence (in the critical period). Along the way I examine Kant's version of the now-popular “actualist” thesis that facts about what is possible must be explained by facts about what is actual. I conclude by discussing why the critical Kant claims both that there are rational grounds for accepting the conclusion of his theistic proof, and that such acceptance can not count as knowledge. This is important, I argue, because the same considerations ultimately motivate his prohibition on knowledge of things-in-themselves generally. -/- . (shrink)

To reconcile true claims of de re necessity with the supposedly contingent existence of the concrete objects those claims are typically about, Kripkean essentialists invoke weak necessity. The claim that a is necessarily F is held to be equivalent to the claim that necessarily, if a exists then a is F. This strategy faces a barrage of serious objections a proper subset of which shows that the strategy fails to achieve its intended purpose. Relief can be provided via recourse to (...) a markedly non-Kripkean version of essentialism.1. (shrink)

David Lewis' objection to a generic theory of modality which he calls ‘magical ersatzism’ is that its linchpin, a relation he calls ‘selection’, must be either an internal or an external relation, and that this is unintelligible either way. But the problem he points out with classifying selection as internal is really just an instance of the general problem of how we manage to grasp underdetermined predicates, is not peculiar to magical ersatzism, and is amenable to some familiar solutions. He (...) provides no compelling grounds for thinking that classifying selection as external is unintelligible, and his argument has a false presupposition. I conclude that magical ersatzism is still a viable option in the metaphysics of modality. (shrink)

We argue that genuine modal realism can be extended, rather than modified, so as to allow for the possibility of nothing concrete, a possibility we term ‘metaphysical nihilism’. The issue should be important to the genuine modal realist because, not only is metaphysical nihilism itself intuitively plausible, but also it is supported by an argument with pre-theoretically credible premises, namely, the subtraction argument. Given the soundness of the subtraction argument, we show that there are two ways that the genuine modal (...) realist can accommodate metaphysical nihilism: (i) by allowing for worlds containing only spatiotemporal points and (ii) by allowing for a world containing nothing but the null individual. On methodological grounds, we argue that the genuine modal realist should reject the former way but embrace the latter way. (shrink)

The paper investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis’s counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstruct the bulk of counterpart theory (i.e., to define the concept of a counterpart (...) and to derive the standard postulates governing that concept) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness. (shrink)

I have three main objectives in this essay. First, in chapter 2, I shall put forward and justify what I call worldlessness, by which I mean the following: All truths (as well as falsehoods) are wholly independent of any circumstances, not only time and place but also possible worlds. It follows from this view that whatever is actually true must be taken as true with respect to every possible world, which means that all truths are (in a sense) necessary. However, (...) the account I shall propound is different from what is known in the trade as necessitarianism, i.e. the view that there is only one possible world, viz. the actual one, for the doctrine of the worldlessness of truth values, despite its commitment to the necessity of truths and falsehoods, is quite compatible with the idea of there being other possible worlds. Another important issue in chapter 2, explored in particular in section 2.12, is the claim that there is no real change in the world. Secondly, in chapter 3 I consider the eminent traditional argument for determinism, deriving from Aristotle, namely, logical determinism, i.e. determinism justified by an appeal to the logical principle of bivalence (that all proper statements, including those concerning the future, are either true or false). In this connection I try to show that, (i), the formulation of the conclusion of this argument as "Whatever will happen will happen of necessity" is implausible, at least from the modern point of view, (ii), the formulation as "Whatever will happen will happen inevitably" is more to the point, and (iii), on the basis of the worldless and timeless aspect advocated in chapter 2, this latter formulation is quite harmless, essentially amounting to the trivial statement, "Whatever will happen will happen". Thirdly, in chapter 4 I study theological determinism, or determinism that arises from God's supposed providential control over everything that happens. In this connection, I shall survey some historical accounts of the relation between human free will and determinism (not only theological but also causal determinism); the philosophers the views of whom I shall attend to include Chrysippus, St. Augustine, Boethius and Aquinas. I shall in particular consider G.W. Leibniz' theodicean aspirations, viz. his solution to the problem of evil and, especially, his compatibilist attempts to reconcile human free will with the strictly deterministic flow of actual events. I think it is important to try to explicate Leibniz' ingenious account of these matters, since it seems that it has not been fully appreciated in the literature, not even by contemporary Leibniz scholars (such as B. Mates, R.C. Sleigh, C. Wilson, R.M. Adams and D. Rutherford). In providing the Leibnizian compatibilist solution of the problem of determinism and freedom in chapter 4, I shall utilize the approach of chapter 2. (shrink)

The branching time analysis grounds the possibilities entailed by temporal indeterminism in a branching temporal structure. I construct a spatial analog of the branching time analysis – the branching space analysis – according to which the possibilities entailed by spatial indeterminism are grounded in branching spatial structure. The construction proceeds in such a way as to show the analogies between the branching space and branching time analyses. I argue that the two views are a package. In particular: the theoretical virtues (...) of the one are theoretical virtues of the other and so if one ought to be accepted, then the other should also be accepted. And: if one ought to be denied, then the other ought to be denied as well. Thus, the branching space analysis functions either as a counterexample to the reductive strategy embodied in the branching time analysis or as a reasonable extension of it – as a lesson learned from it. (shrink)