6,064
edits
No edit summary Tag: Manual revert |
No edit summary |
||
Line 179: | Line 179: | ||
A questão surge: como pode uma proposição (ou função) ocorrer em outra proposição? A proposição ou função por si só não pode possivelmente ficar em relação a outros símbolos. Por essa razão nós devemos introduzir funções assim como nomes de uma vez na nossa forma geral de uma proposição; explicando o que se quer dizer, atribuindo significado ao fato de que os nomes ficam entre a |,<ref>No original, “''meaning''” está traduzido por “significado” neste trabalho, e não “''sense''” como o substantivo em alemão “''Sinn''” entre parênteses pode sugerir.</ref> e que a função fica à esquerda dos nomes. | A questão surge: como pode uma proposição (ou função) ocorrer em outra proposição? A proposição ou função por si só não pode possivelmente ficar em relação a outros símbolos. Por essa razão nós devemos introduzir funções assim como nomes de uma vez na nossa forma geral de uma proposição; explicando o que se quer dizer, atribuindo significado ao fato de que os nomes ficam entre a |,<ref>No original, “''meaning''” está traduzido por “significado” neste trabalho, e não “''sense''” como o substantivo em alemão “''Sinn''” entre parênteses pode sugerir.</ref> e que a função fica à esquerda dos nomes. | ||
É verdadeiro, em certo sentido, que proposições lógicas são “postulados” – algo que nós “demandamos”; pois nós demandamos uma notação satisfatória. <!-- [Cf. 6.1223.] --> | É verdadeiro, em certo sentido, que proposições lógicas são “postulados” – algo que nós “demandamos”; pois nós ''demandamos'' uma notação satisfatória. <!-- [Cf. 6.1223.] --> | ||
Uma tautologia (''não'' uma proposição lógica), não é sem sentido da mesma forma em que, e.g., uma proposição na qual palavras que não têm significado ocorrem. O que acontece nela é que todas as suas partes simples têm significado, mas as conexões entre essas paralisam ou destroem umas às outras, de modo que elas todas estão conectadas somente numa maneira irrelevante. | Uma tautologia (''não'' uma proposição lógica), não é sem sentido da mesma forma em que, e.g., uma proposição na qual palavras que não têm significado ocorrem. O que acontece nela é que todas as suas partes simples têm significado, mas as conexões entre essas paralisam ou destroem umas às outras, de modo que elas todas estão conectadas somente numa maneira irrelevante. |