Template:Individual-TLP-paragraph-pt-br-5.5351

5.5351 Existem certos casos em que se é tentado a usar expressões da forma: “a = a”, ou “p ⊃ p” e outras. E isto com efeito acontece quando se deve falar da protofiguração: proposição, coisa, etc. Russell, nos Principles of Mathematics transpôs o absurdo “p é uma proposição” no símbolo “p ⊃ p”, tomando-o como hipótese diante de certas proposições a fim de que os lugares dos argumentos destas só pudessem ser ocupados por proposições.

(Já é um absurdo colocar diante de uma proposição a hipótese p ⊃ p para assegurar aos argumentos forma correta, porque a hipótese estabelecida para uma não-proposição enquanto argumento não se torna falsa mas absurda; além do mais, a própria proposição se torna absurda para argumentos de gênero incorreto, de sorte que se conserva tanto boa como má diante dos argumentos incorretos, assim como a hipótese sem sentido empregada para êsse fim.)