ABSTRACT
In this chapter a logical framework for analyzing de re modalities in their full force is presented. The sentential operators of modal logic and unary semantic predicates in Quine’s sense are shown to fall short of capturing the full strength of modal discourse. Instead binary modal predicates are employed which apply to formulæ (or relations) and variable assignments. Possible worlds semantics for such predicates is sketched. Finally, some applications to metaphysics, more specifically, actualism are explored.
