Essentialism and Quantified Modal Logic

Abstract

... Suppose also that ozi zxj means "ai is a concept of xj." We also suppose that we quantify into modal ... Thus Quine's "paradox" for quantified modal logic is avoided. ... And thus, any serious objections to essentialism (see Sections V and VI) will carry over to Smullyan's "way out." But ...