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

5.02 E fácil confundir argumentos de uma função com índices de nomes. Conheço em particular a denotação de um signo que a contém tanto pelo argumento como pelo índice.

No sinal de Russell “+_c”, por exemplo, “c” é um índice que indica valer o signo inteiro para a soma de números cardinais. Esta designação, porém, se apóia num ajuste arbitrário, de sorte que seria possível em vez de “+_c” escolher outro signo simples; em “∼p”, entretanto, “p” não é índice algum, mas argumento: o sentido de “∼p” não pode ser compreendido sem que antes o sentido de “p” o seja. (No nome Julius Caesar, “Julius” é índice. Êste é sempre parte da descrição do objeto cujos nomes vinculamos a êle. Por exemplo, o Caesar da gente juliana.)

A confusão entre argumento e índice constitui, se não me engano, a base da teoria de Frege a respeito da denotação das proposições e das funções. Para Frege, as proposições da lógica seriam nomes, e seus argumentos, os índices dêsses nomes.