Higher-Order Contingentism, Part 1: Closure and Generation

This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to the view itself, do not exist to be drawn. The paper begins with a non-technical exposition of the main ideas and technical results, which can be read on its own. This exposition is followed by a formal investigation of higher-order contingentism, in which the tools of variable-domain intensional model theory are used to articulate various versions of the view, understood as theories formulated in a higher-order modal language. Our overall assessment is mixed: higher-order contingentism can be fleshed out into an elegant systematic theory, but perhaps only at the cost of abandoning some of its original motivations

Naujos nuosaikiojo kontingentizmo teorijos link: individai ir yra realizuotos esmės

In this paper, we propose a new actualist and contingentist modal metaphysics – fundamental essentialism – according to which individuals just are realized essences. Orthodox possible worlds semantics is incompatible with actualism and contingentism since Kripke models in which paradigmatic contingentists propositions are true require possible worlds whose domain contain merely possible individuals. In light of this problem, Plantinga has developed modal metaphysics based on essences, but it has been claimed by Fine, Williamson, and others, that it cannot be upheld because of the problem of unexemplified essences. We answer the latter problem by claiming that individuals just are realized essences. Then, justifying our theory further we refute Williamson’s deductive argument for necessitism. Afterward, we show in what sense fundamental essentialism is contingentist metaphysics.Straipsnyje siūloma nauja aktualistinė ir kontingentistinė modalinė metafizika – fundamentalusis esencializmas, – kuria remiantis individai ir yra realizuotos esmės. Standartinė galimų pasaulių semantika yra nesuderinama su aktualizmu ir kontingentizmu, kadangi Kripkės modeliuose, kuriuose paradigminiai kontingentistiniai teiginiai yra teisingi, esama galimų pasaulių, kurių domenai įtraukia vien galimus individus. Kaip atsaką į šią problemą Plantinga sukūrė esmėmis grįstą modalinę metafiziką, bet, Fine’o, Williamsono ir kitų autorių teigimu, dėl neinstancijuotų esmių problemos ši teorija negali būti teisinga. Straipsnyje atsakome į pastarąją problemą teigdami, kad individai ir yra realizuotos esmės. Siūlomą teoriją grindžiame paneigdami Williamsono deduktyvų samprotavimą, turintį pagrįsti necesitizmą. Tuomet parodome, kokia prasme fundamentalusis esencializmas yra kontingentistinė metafizika

Moral Facts do not Supervene on Non-Moral Qualitative Facts

It is very natural to think that if two people, x and y, are qualitatively identical and have committed qualitatively identical actions, then it cannot be the case that one has committed something wrong whereas the other did not. That is to say, if x and y differ in their moral status, then it must be because x and y are qualitatively different, and not simply because x is identical to x and not identical to y. In this fictional dialogue between Socrates and Cantor involving infinitely many qualitatively identical agents, this assumption is challenged

Serious actualism, typography, and incompossible sentences

Serious actualists take it that all properties are existence entailing. I present a simple puzzle about sentence tokens which seems to show that serious actualism is false. I then consider the most promising response to the puzzle. This is the idea that the serious actualist should take ordinary property-talk to contain an implicit existential presupposition. I argue that this approach does not work: it fails to generalise appropriately to all sentence types and tokens. In particular, it fails to capture the right distinctions we ought to make between what I call typographical sentence types—an interesting and previously undiscussed class of fine-grained sentence types which are partially individuated by their typography, or how they look when written out.Publisher PDFPeer reviewe

Being somehow without (Possibly) being something

Contingentists—who hold that it is contingent what there is—are divided on the claim that having a property or standing in a relation requires being something. This claim can be formulated as a natural schematic principle of higher-order modal logic. On this formulation, I argue that contingentists who are also higher-order contingentists—and so hold that it is contingent what propositions, properties and relations there are—should reject the claim. Moreover, I argue that given higher-order contingentism, having a property or standing in a relation does not even require possibly being something

The Modal Moving Spotlight Theory

The Moving Spotlight Theory (MST) combines three theses: first, that there is an absolute present time; second, that always, everything exists eternally; and third, that exactly one fundamental property is temporary. In this paper, I argue that MST so defined can be combined with a reductive analysis of the tense operators (i.e. properties of propositions like being past), which I call the 'Modal Analysis'. According to the Modal Analysis, for it to be the case that at a time t, p is for it to be the case that p is necessitated by some fact not about fundamental presentness -- in effect, some permanent fact -- and the proposition that t is the present time. I argue that the Modal Analysis can be thought of as a spelling-out in more fundamental terms of an analysis of the tense operators due to Parsons (2002), which I call the 'Counterfactual Analysis'. Like the Counterfactual Analysis, the Modal Analysis has the virtue of securing the truth of Temporalism (the view that there are temporary propositions) given MST. I show that the Modal Analysis also secures some of the basic principles of standard linear tense logic

Serious Actualism and Nonexistence

Serious actualism is the view that it is metaphysically impossible for an entity to have a property, or stand in a relation, and not exist. Fine (1985) and Pollock (1985) influentially argue that this view is false. In short, there are properties like the property of nonexistence, and it is metaphysically possible that some entity both exemplifies such a property and does not exist. I argue that such arguments are indeed successful against the standard formulation of serious actualism. However, I also argue that we should distinguish a weaker formulation of serious actualism using the actualist distinction between truth in, and truth at, a possible world. This weaker formulation is then shown to be consistent with the existence and possible exemplification of properties like the property of nonexistence. I end with a novel argument for the truth of the weaker formulation