5.44 Le funzioni di verità non sono funzioni materiali.

Se ad es. si può generare un'affermazione mediante una doppia negazione, allora la negazione è – in qualche senso – contenuta nell'affermazione? «~~p» nega ~p o afferma p? O fa entrambe le cose?

La proposizione «~~p» non tratta della negazione come di un oggetto; ma la possibilità della negazione è già implicata nell'affermazione.

E se vi fosse un oggetto chiamato «~», «~~p» dovrebbe dire qualcosa di diverso da «p». Poiché l'una proposizione tratterebbe appunto di ~, l'altra no.