Recurs: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:

$\mathrm{\exists }x(Rx)\wedge \mathrm{\forall }y(Ry\to y=x\wedge Cx)$

«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».

Veure descripció definida