Analytic Satisfaction

We gain new insight by returning to W. V. Quine’s first objection to quantified modal logic, a logic due to Ruth Marcus. After noting that much of Quine’s objection does not actually apply to that initial logic, I establish that, in any case, there was always an easy answer to Quine’s interpretive challenge that (i) was of the sort he called for and (ii) that he should probably have seen. The investigation yields a diagnosis of the underlying mistake Quine was making in all his objections to modal logic and de re modality generally—a mistake still being made today.