Abstract
While this treatment of modalities captures some of the characteristics of our use of "necessary" and "possible," there are important features that are not captured unless we complicate the analysis, and expand the notation. My remarks are not made as a criticism of the possible worlds gambit, but rather as a challenge to formulate a finer network of distinctions to capture notions that now elude us. And there is precedent for this: Plantinga's attempt to distinguish modalities de dicto and de re, Kaplan's attempt to provide a notation for specifying the contexts for demonstrative terms, Marcus' and Bennett's attempts to provide a notation for non-trivial essential properties. And of course there are by now a set of systems that are alternatives to S5, limiting accessibility to possible worlds by a variety of restrictions.