CEVAP: İşte Anselm’in ve Descartes’in bu ünlü kanıtlamalarına getirilen eleştiriler Frege’nin varlık yargıları çözümlemesinin ilk tohumlarını atmıştır. Örneğin Kant bu tanıtlamaları şu şekilde eleştirir. Bu argümanlar var olmayı gerçek bir yüklem olarak varsayarlar. Tanrıya yüklenen bazı temel nitelikler vardır. O her şeyi bilen, mutlak olarak iyi olan, her şeyi yapma gücünde olan bir varlık olarak kabul edilir. Tanrının varlığının kanıtlamasındaki bu özelikler gibi var olmak da tanrıya yüklenebilecek bir özellik olarak varsayılır. Kant buna karşı çıkarak “var olma gerçek bir yüklem değildir” deyip bunu ayrıntılı bir şekilde savunmuş olsa da, varlık yargılarının bir çözümlemesini açık bir şekilde ortaya koyamamıştır. İşte Frege Kant’ın bu eleştirinden yola çıkarak kendi çözümlemesine varır.