Against Plural Comprehension

Plural primitivism is the idea that plural expressions cannot be dispensed with in favor of singular expressions. Our current standard first-order logic is based on the opposite idea, singularism, that plural expressions are eliminable in terms of singular expressions. Hence, plural primitivism suggests replacing first-order logic with what is nowadays called plural logic. One prominent axiom of plural logic is the axiom scheme of plural comprehension (PCA). This article aims to critically examine the plural primitivist claim of the logicality of PCA.