Consider one of several things. Is the one thing necessarily one of the several? This key question in the modal logic of plurals is clarified. Some defenses of an affirmative answer are developed and compared. Various remarks are made about the broader philosophical significance of the question.

According to Timothy Williamson, we should accept the simplest and most powerful second-order modal logic, and as a result accept an ontology of "bare possibilia". This general method for extracting ontology from logic is salutary, but its application in this case depends on a questionable assumption: that modality is a fundamental feature of the world.

Kripke models, interpreted realistically, have difficulty making sense of the thesis that there might have existed things that do not in fact exist, since a Kripke model in which this thesis is true requires a model structure in which there are possible worlds with domains that contain things that do not exist. This paper argues that we can use Kripke models as representational devices that allow us to give a realistic interpretation of a modal language. The method of doing this is sketched, with the help of an analogy with a Galilean relativist theory of spatial properties and relations.

A-theorists think there is a fundamental difference between the present and other times. This concern shows up in what kinds of properties they take to be instantiated, what objects they think exist and how they formalize their views. Nearly every contemporary A-theorist assumes that her metaphysics requires a tense logic – a logic with operators like (‘it was the case that...’) and (‘it will be the case that...’). In this paper, I show that there is at least one viable A-theory that does not require a logic with tense operators. And I will argue that three common indispensability arguments for tense operators are unsound.

Williamsonian modal epistemology (WME) is characterized by two commitments: realism about modality, and anti-exceptionalism about our modal knowledge. Williamson's own counterfactual-based modal epistemology is the best known implementation of WME, but not the only option that is available. I sketch and defend an alternative implementation which takes our knowledge of metaphysical modality to arise, not from knowledge of counterfactuals, but from our knowledge of ordinary possibility statements of the form ‘x can F’. I defend this view against a criticism indicated in Williamson's own work, and argue that it is better connected to the semantics of modal language.

What kind of semantics should someone who accepts the epistemicist theory of vagueness defended in Timothy Williamson's Vagueness (1994) give a definiteness operator? To impose some interesting constraints on acceptable answers to this question, I will assume that the object language also contains a metaphysical necessity operator and a metaphysical actuality operator. I will suggest that the answer is to be found by working within a three-dimensional model theory. I will provide sketches of two ways of extracting an epistemicist semantics from that model theory, one of which I will find to be more plausible than the other.

A formal result is proved which is used in Juhani Yli-Vakkuri's ‘Epistemicism and Modality’ to argue that certain two-dimensional possible world models are inadequate for a language with operators for ‘necessarily’, ‘actually’, and ‘definitely’.