La solució consisteix a prendre l’expressió descriptiva (‘l’actual rei de França’) com a predicat d’una expressió lògica de la forma ''hi ha un i només un x tal que és A, i A és F', on x és una expressió quantitativa, A l’expressió descriptiva i F el que hom en predica. Seguint aquest mètode és possible de concloure que les descripcions definides que no denoten res són falses un cop s’ha establert l’existència o inexistència de x.
f
Lògica