The ontological "proof" of God's existence is an argument which best shows what the logicist fallacy is about. Kant dissolved this "proof" as well as many other logicist arguments by means of his distinction between analytic and synthetic judgments. His presentation of that distinction has its flaws, but the distinction as such can be defended against all objections.