Abstract
The question ''Was 'existence' ever a predicate?" in a way already suggests its own answer, that this is really the wrong question to ask, because 'existence' has always been a predicate. Even those, such as Kant, who supposedly opposed this view, in fact held it. They merely denied that 'existence' is a "normal" first-order predicate. Not only Kant, but also Bolzano, Frege and Russell claimed that it is a second-order predicate. There is substantive disagreement between Kant and Bolzano on the one hand and Frege and Russell on the other over two issues: the former claim that this second-order predicate apphes to no concept analytically and that it can be properly ascribed to a singular concept, whereas the latter deny both of these claims.