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

{{p right|Abril, 1914}}

É impossível ''dizer'' o que essas propriedades são, pois, para fazer isso,você precisaria de uma linguagem, que não possui as propriedades em questão, e é impossível que isso seja uma linguagem ''própria''. Impossível construir [uma] linguagem ilógica.

Como, geralmente, proposições lógicas mostram essas propriedades funciona assim: Nós damos uma certa descrição para uma espécie de símbolo; nós descobrimos que outros símbolos, combinados de certos modos, produzem um símbolo dessa descrição; e ''que'' elas mostram algo sobre esses símbolos.

Toda proposição ''real mostra'' alguma coisa, além do que diz, sobre o Universo: ''pois'', se ela não tem sentido, não pode ser utilizada; e se tem sentido, ela espelha alguma propriedade lógica do Universo.

Nós queremos dizer que, para entender [o] dito acima, quais propriedades um símbolo deve ter, para que seja uma tautologia.

Esse é o procedimento d[a] chamada Lógica ''antiga'': fornece proposições primitivas; chamadas regras de dedução; e então diz o que você tem aplicando as regras às proposições, é uma proposição ''lógica'' que você ''provou.'' A verdade é, ela diz algo sobre o tipo de proposição que você tem, viz. [''videlicet'' = isto é] que ela pode ser derivada dos primeiros símbolos por essas regras de combinação (= é uma tautologia).

Proposições lógicas ''mostram'' algo, ''porque'' a linguagem na qual elas são expressadas pode ''dizer'' tudo o que pode ser ''dito''.

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

''Uso de proposições lógicas''. Você pode ter uma tão complicada que você não consegue, ao olhar para ela, ver que é uma tautologia; mas você mostrou que pode ser derivada por determinas operações a partir de certas outras proposições de acordo com nossa regra para construir tautologias; e assim você está habilitado para ver que uma coisa se segue da outra, quando você não seria capaz de ver isso de outro modo. E.g., se nossa tautologia é d[a] forma p ⊃ q você pode ver que p se segue de p; e assim por diante.

Nós queremos explicar a relação das proposições com a realidade.

Apenas resta fixar o método de comparação ao dizer ''o quê'' sobre nossos simples é ''dizer'' o quê sobre a realidade. E.g., suponha que peguemos duas linhas de comprimentos diferentes: e dizemos que o fato de a menor ser de um comprimento que é quer dizer que a maior é do comprimento que ''ela'' é. Nós deveríamos então ter estabelecido uma convenção quanto ao sentido da menor, do tipo que vamos dar agora.

''Proposições lógicas'', {{small caps|é claro}}, todas mostram algo diferente: todas elas mostram, ''do mesmo modo'', viz. pelo fato de que elas são tautologias, mas elas são diferentes tautologias e portanto cada uma mostra algo diferente.

Assim, embora fosse possível interpretar a forma que tomamos como a forma de uma tautologia, como de uma contradição e vice versa, elas ''são'' diferentes na forma lógica porque, apesar da forma aparente dos símbolos ser a mesma, o que ''simboliza'' neles é diferente, e por isso o que se segue sobre os símbolos de uma interpretação vai ser diferente do que se segue de outra. Mas a diferença entre a e b ''não'' é uma forma lógica, de modo que nada vai se seguir dessa diferença sozinha quanto a interpretação de outros símbolos. Então, e.g., p.q., p ∨ q parecem símbolos da exata ''mesma'' forma lógica na notação ab. Ainda assim elas dizem algo inteiramente diferente; e, se você perguntar por quê, a resposta parece ser: Em um caso o esboço em cima tem o formato b, em outro o formato a. Enquanto que a interpretação de uma tautologia como uma tautologia é uma interpretação de uma ''forma lógica'', não o fornecimento de um significado para o rascunho de uma forma particular. O que importa é que a interpretação da forma do simbolismo deve ser fixada dando uma interpretação para suas ''propriedades lógicas'', e ''não'' dando interpretações para rascunhos particulares.

{{p indent|p é falso <nowiki>=</nowiki> ~(p é verdadeiro) Def.}}

Existem relações ''internas'' entre uma proposição e outra; mas uma proposição não pode ter com outra ''a'' relação interna que um ''nome'' tem com a proposição da qual seja constituinte e que deveria significar ao dizer que “ocorre” nela. Nesse sentido, uma proposição não pode “ocorrer” em outra.

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.  

É óbvio que os pontos e colchetes são símbolos, e óbvio que eles não têm nenhum significado ''independente''. Você deve, portanto, para introduzir as chamadas “constantes lógicas” adequadamente, introduzir a noção geral de ''todas as possíveis'' combinações delas = a forma geral de uma proposição. Você, portanto, introduz ambas ab-funções, identidade e universalidade (as três constantes fundamentais) simultaneamente.

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.

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.

Diferentes tipos lógicos podem não ter nada em comum. Mas o mero fato de que nós podemos falar sobre a possibilidade de uma relação de n lugares, ou de uma analogia entre um com dois lugares e um com quatro, mostra que relações com diferentes números de lugares têm algo em comum, que, portanto, a diferença não é uma de tipo, mas como a diferença entre nomes diferentes – algo que depende da experiência. Isso responde a questão como podemos saber que realmente obtivemos a forma mais geral de uma proposição. Nós temos apenas introduzir o que é ''comum'' a todas as relações de qualquer número de lugares.

{{references}}

[[Category:Previously unpublished translations]]