Should a higher-order metaphysician believe in properties?

Abstract In this paper I take second order-quantification to be a sui generis form of quantification, irreducible first-order and examine the implications doing so for debate over existence properties. Nicholas K. Jones has argued that adding second-order quantification our ideology is enough establish properties exist. argue does not settle question whether there are because—like other ontological questions—it first-order. Then three main arguments conclude defeats “one many” argument that, coupled with predication, it also reference arguments.