Expõe a distinção entre sentido e referência, a análise de identidade, os contextos indiretos e o princípio de composicionalidade. Problemas clássicos como “Estrela da Manhã” e “Estrela da Tarde” tornam a teoria testável.