Notas Ditadas a G.E. Moore na Noruega: Difference between revisions

|notes=Esta tradução está baseada na edição ''Notes Dictated to G. E. Moore in Norway'' by Ludwig Wittgenstein. Appendix II from Notebooks 1914-1916, edited by G. H. Von Wright and G. E. M. Anscombe, Harper Torchbooks, New York: Harper & Row Publishers, 2nd edition, 1984, e foi revisada por Cristiano Moita. O texto da língua original está em domínio público no seu país de origem e em outros países e áreas onde o período de proteção dos direitos autorais é igual à vida do autor mais 70 anos ou menos. Esta tradução está publicada no website do Projeto Ludwig Wittgenstein sob os termos da licença [https://creativecommons.org/licenses/by-sa/4.0/deed.pt Creative Commons Atribuição-CompartilhaIgual].  

{{p right|Abril, 1914}}

E.g., considere ϕa, ϕa '''⊃''' ψa, ψa. Por meramente olhar esses três [símbolos], eu posso perceber que 3 se segue de 1 e 2; i.e. eu posso perceber o que é chamado de verdade de uma proposição lógica, isto é, d[a] proposição ϕa. ϕa '''⊃''' ψa : '''⊃''' : ψa. Mas isso ''não'' é uma proposição; pois, ao perceber que isso é uma tautologia, eu posso ver o que eu já vi ao olhar as três proposições: a diferença é que ''agora'' eu vejo que AQUILO é uma tautologia. [Cf. 6.1221.].

(1) Considere ϕx. Nós queremos explicar o significado de ‘Em “ϕx” uma ''coisa'' [se] simboliza’. A análise é:一

{{p indent|(∃y) . y simboliza . y <nowiki>=</nowiki> “x” . “ϕx”}}

[“x” é o nome de y: “ϕx” = ‘“ϕ” está na esquerda de “x”’ e ''diz'' ϕx.]

(N.B. N[a] expressão (∃y).ϕy, alguém está apto a dizer [que] isso significa “Existe uma ''coisa'' tal que…”. Mas, na verdade, nós deveríamos dizer “Existe um y, tal que…”; o fato de que y simboliza expressar o que queremos dizer.)

(2) O ponto pode ser abordado como se segue. Pegue ϕa e ϕA: e pergunte o que se quer dizer com “Tem uma coisa em ϕa, e uma complexa em ϕA”?

{{p indent|(1) quer dizer: (∃x) . ϕx . x <nowiki>=</nowiki> a}}

{{p indent|(2) quer dizer: (∃x, ψξ) . ϕA <nowiki>=</nowiki> ψx . ϕx<ref>ξ é a marca de Frege de um ''Argumentstelle'' [posição do argumento], para mostrar que ψ é uma ''Funktionsbuchstabe'' [letra de função] [Edd.].</ref>}}

A razão pela qual ~x é sem significado é simplesmente que nós demos nenhum sentido para o símbolo ~. I.e. enquanto ϕx e ϕp parecem ser do mesmo tipo, eles não são porque, para dar um significado para ~x, você deveria ter alguma ''propriedade'' ~. O que simboliza em ϕ é ''que'' ϕ está à esquerda de ''um'' nome próprio e obviamente isso não é assim em ~p. O que é comum a todas proposições em que o nome de uma propriedade (para falar frouxamente) ocorre é que esse nome está à esquerda de uma ''forma-nome.''

ϕ não pode possivelmente estar à esquerda de (ou em qualquer outra relação com) o símbolo de uma propriedade. Então o símbolo de uma propriedade, e.g., ψx é ''que'' ψ está à esquerda de uma forma-nome, e outro símbolo ϕ não pode possivelmente estar à esquerda de tal ''fato:'' se pudesse, nós deveríamos ter uma linguagem ilógica, o que é impossível.

Proposições podem ter muitas relações internas diferentes umas com as outras. ''A'' única que nos autoriza deduzir uma da outra é se, digamos, elas são ϕa e ϕa ⊃ ψa, então ϕa.ϕa ⊃ ψa: ⊃ : ψa é uma tautologia.

O símbolo de identidade expressa uma relação interna entre a função e o seu argumento: i.e. ϕa = (∃x) . ϕx.x = a.

A proposição (∃x) . ϕx . x = a : = : ϕa pode ser vista como uma tautologia, se alguém expressas as ''condições'' de verdade de (∃x) . ϕx . x = a, sucessivamente, e.g., dizendo: isso é verdade ''se'' isso e aquilo, e isso novamente é verdade ''se'' isso e aquilo, etc., pois (∃x) . ϕx . x = a; e então também para ϕa. Expressar a questão desse modo é uma notação desajeitada, da qual a ab-notação é uma tradução mais arrumada.  

Funções lógicas todas pressupõem umas às outras. Assim como podemos ver que ~p não tem sentido, se p não tem nenhum; então também podemos dizer p não tem se ~p não tem. O caso é bem diferente com ϕa e a: pois aqui a tem significado independentemente de ϕa, ainda que ϕa pressuponha isso.