Frege e il valore conoscitivo dell'identità

Frege conclude che, se abbiamo trovato che in generale è diverso il valore conoscitivo di "A=A" e "A=B", questo dipende dal fatto che, per il valore conoscitivo, il senso dell'enunciato, cioè il pensiero in esso espresso, è non meno rilevante della sua denotazione, cioè del suo valore di verità.
Se si ha "A=B", la denotazione di B è allora la stessa che quella di A, e quindi anche il valore di verità di "A=B" è lo stesso di "A=A". Nonostante ciò, il senso di B può essere diverso dal senso di A. Ed anche il pensiero espresso in A=B, può essere diverso da quello espresso in "A=A". I due enunciati non avranno allora lo stesso valore conoscitivo. Se come abbiamo fatto sopra, intendiamo per "giudizio" il progredire del pensiero al suo valore di verità, allora dovremmo anche dire che i due giudizi sono diversi.


C'è comunque un'accezione in cui la tesi di Frege ha un valore filosofico:
se per denotazione non si intende il denotatum, allora come la denotazione ad un nome è il suo riferirsi ad un oggetto, così la denotazione di un enunciato è la sua corrispondenza (positiva o negativa : dunque il suo valore di verità) con uno stato di cose, sia se questo stato di cose è un evento (verità di fatto) sia se questo stato di cose è un'altra asserzione su cui ci sia una sorta di riflessione metalinguistica (verità logica o tautologia)