Exemple l'actual rei de França (Descripció definida)



La frase «l'actual rei de França és calb» no és de cap manera comparable a la de, per exemple, «Sòcrates és calb», perquè «Sòcrates» és en veritat un nom propi i un terme singular, que pot analitzar-se simplement com a «S és P», o bé «Ca» (on C és la propietat de «ser calb» i a el subjecte, Sòcrates, que posseeix aquesta propietat) mentre que el primer exemple té en realitat la següent forma lògica:

[math]\displaystyle{ \exists{x}(Rx) \wedge \forall{y} (Ry \rightarrow{y=x} \wedge Cx) }[/math]

«Hi ha un x tal que x és l'actual rei de França i, per tot y, si y és l'actual rei de França, llavors y és idèntic a x, i x és calb».

Vegeu descripció definida