Theories of Modality, Misc

It is widely alleged that metaphysical possibility is “absolute” possibility (Kripke [1980], Lewis [1986], Rosen [2006, 16], Stalnaker [2005, 203], Williamson [2016, 460]). Indeed, this is arguably its metaphysical significance. Kripke calls metaphysical necessity “necessity in the highest degree” ([1980, 99]). Williamson calls metaphysical possibility the “maximal objective modality” [2016, 459]. Rosen says that “metaphysical possibility is the [most inclusive] sort of real possibility” ([2006, 16]). 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 [2003, 203].” 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)

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.

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)

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)

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)

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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

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)

Contingency is the presence of non-actualized possibility in the world. Fatalism is a view of reality on which there is no contingency. Since it is contingency that permits agency, there has traditionally been much interest in contingency. This interest has long been embarrassed by the contention that simple and plausible assumptions about the world lead to fatalism. I begin with an Aristotelian argument as presented by Richard Taylor. Appreciation of this argument has been stultified by a question pertaining to the (...) source of necessity and possibility and a closely related one regarding the nature of metaphysics itself. Answering these questions reveals the crucial issue here, to wit, necessity and possibility in a temporal world. This issue is investigated through an important later criticism of Taylor by David Foster Wallace. Wallace’s critique is significant because it brings to the fore the pivotal notion for understanding contingency in a temporal world, that of synchronic possibility, the idea that incompatible states of affairs are possible at a single moment. This notion provides the basis of distinguishing two systematic accounts of truth, modality and time: two metaphysics of contingency. On one account, Taylor’s Aristotelian argument is straightforwardly valid and compelling; on the other, it is fallacious. In closing, I present reasons why the former account, supporting the Aristotelian views of time and truth, is correct and make some comments to ameliorate this conclusion. (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)

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)

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)

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)

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)