Necessitism is the view that necessarily everything is necessarily something; contingentism is the negation of necessitism. The dispute between them is reminiscent of, but clearer than, the more familiar one between possibilism and actualism. A mapping often used to ‘translate’ actualist discourse into possibilist discourse is adapted to map every sentence of a first-order modal language to a sentence the contingentist (but not the necessitist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables (...) the necessitist to extract a ‘cash value’ from what the contingentist says. Similarly, a mapping often used to ‘translate’ possibilist discourse into actualist discourse is adapted to map every sentence of the language to a sentence the necessitist (but not the contingentist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables the contingentist to extract a ‘cash value’ from what the necessitist says. Neither mapping is a translation in the usual sense, since necessitists and contingentists use the same language with the same meanings. The former mapping is extended to a second-order modal language under a plural interpretation of the second-order variables. It is proved that the latter mapping cannot be. Thus although the necessitist can extract a ‘cash value’ from what the contingentist says in the second-order language, the contingentist cannot extract a ‘cash value’ from some of what the necessitist says, even when it raises significant questions. This poses contingentism a serious challenge. (shrink)

There are numerous contexts in which philosophers and others use model-theoretic methods in assessing the validity of ordinary arguments; consider, for example, the use of models built upon 'possible worlds' in examinations of modal arguments. But the relevant uses of model-theoretic techniques may seem to assume controversial semantic or metaphysical accounts of ordinary concepts. So, numerous philosophers have suggested that standard uses of model-theoretic methods in assessing the validity of modal arguments commit one to accepting that modal claims are to (...) be analysed in terms of possible worlds. The paper provides a very general account of how uses of model-theoretic methods in demonstrating facts about validity and invalidity may in fact often be uncoupled from controversial semantic or metaphysical theses, applying the resulting techniques to some modal cases in particular. (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)