5.44 Les fonctions de vérité ne sont pas des fonctions matérielles.

Si l'on peut, par exemple, engendrer une affirmation par une double négation, la négation est-elle donc alors en un certain sens contenue dans l'affirmation ? « ~~p » nie-t-il ~p, ou affirme-t-il p ; ou les deux à la fois ?

La proposition « ~~p » ne traite pas la négation comme un objet ; mais la possibilité de la négation est assurément présupposée dans l'affirmation.

Et s'il y avait un objet nommé « ~ », « ~~p » devrait dire autre chose que « p ». Car l'une des deux propositions traiterait justement de ~, et l'autre point.