"Teoria de Russell prova que todos os enunciados da linguagem, inclusive os enunciados com termos não denotativos, têm sempre um valor de verdade e esta é uma resposta forte à idéia de Frege que afirma que enunciados com termos denotativos não têm valor de verdade." ​Uma dos aspectos que se pode apontar nas contribuições de Russell é a distinção entre a forma gramatical e a forma lógica das sentenças. Na frase “O atual rei da França é careca”, temos uma proposição que, segundo Russell, podemos analisar como uma descrição definida.
​(PENCO, Carlo. Introdução à filosofia da linguagem. Petrópolis, RJ: Vozes, 2006.)

Assinale a alternativa que corresponde a estrutura lógica da frase “O atual rei da França é careca”, segundo a teoria das descrições definidas de Russell:



Alternativas
Alternativa 1:
Na verdade a frase "O atual rei da França é careca" pode ser considerada como uma função lógica que necessita de um referente para ter valor de verdade.

Alternativa 2:
Existe um x, tal que x é O atual rei da França. E para todo y, y é igual a x. E para todo x, x é careca.

Alternativa 3:
Existe um x, tal que x é rei. E existe um y, tal que y é rei da França

Alternativa 4:
Para todo x, se x for rei da França, então ele é careca.

Alternativa 5:
Existe um y, tal que y é Rei da França.