Abstract

This group of sentences is used by Quine in a well-known attack on quantified modal logic and the possibility of meaningful modalized predication. Modalized predication would involve specifying some object, and asserting of it that necessarily or possibly it has some given property φ. If this can be done sensibly, then the modal context ‘necessarily φx’ can be quantified into, and conversely. So modalized predication and quantifying into modal contexts are bound up together. Quine thinks that neither is very sensible, and says of sentence