Frege's analysis of existence as a second-order predicate shows that logical form and grammatical fo...