Existential Quantifiers and Existence

In order to understand what Carnap says about existence not being a quality but a logical form, you need to know a little bit of predicate logic. In predicate logic, the sentence "Kobe exists" would be translated into "Ǝx (Kobe)". The content of the statement is within the parentheses. The sign combination of " Ǝx" is a logical form (sometimes called logical constant) that tells us the quantity of what is inside the parentheses. Specifically, the existential quantifier tells us that there exists some thing to which the signs in the parentheses refers.

The point is that when we use a logical language (predicate logic), <existence> is expressed not as a predicate itself, but as a form of a predicate (namely, that it exists).