Only modern logic, with the introduction of an explicit sign to designate existence (the sign ∃ {\displaystyle \exists \;} ), which occurs only in statements such as ∃ x P ( x ) {\displaystyle \exists \;xP(x)} , never as a predicate, has shown that existence is not a predicate, and thus has revealed the logical error from which pseudo-statements such as "cogito, ergo sum" has arisen.
Ainoastaan nykyaikainen logiikka, joka esitteli erityisen merkinnän tarkoittamaan olemassaoloa (merkintä ∃ {\displaystyle \exists \;} ), joka esiintyy ainoastaan sellaisissa väitteissä kuin ∃ x P ( x ) {\displaystyle \exists \;xP(x)} , ei koskaan predikaattina, on osoittanut, ettei olemassaolo ole predikaatti, ja näin paljastanut loogisen virheen, josta sellaiset näennäisväitteet kuin ”cogito ergo sum” ovat saaneet alkunsa.