5.44 As funções de verdade não são funções materiais.

Já que, por exemplo, é possível gerar uma afirmação por meio da dupla negação, estará a negação — seja qual fôr o sentido — incluída na afirmação? “∼∼p” nega ∼p ou afirma p, ou ambos?

A proposição “∼∼p” não trata a negação como um objeto; a possibilidade da negação, entretanto, já está antecipada na afirmação.

E se houvesse um objeto chamado “∼”, então “∼∼p” deveria dizer outra coisa do que “p”. Porquanto uma proposição trataria de “∼”, enquanto a outra não.