5.44 Las funciones de verdad no son funciones materiales.

Cuando uno puede dar lugar a, por ejemplo, una afirmación mediante una doble negación, ¿está entonces la negación – en un cierto sentido – contenida en la afirmación? ¿Niega «~~p» a ~p o afirma p, o ambos?

La proposición «~~p» no trata de la negación como de un objeto; pero sí la posibilidad de la negación está prejuzgada ya en la afirmación.

Y si hubiera un objeto que se llamase «~», entonces debería «~~p» decir algo distinto que «p». Pues una proposición trataría entonces simplemente de ~, la otra no.