5,973
edits
Notas Ditadas a G.E. Moore na Noruega: Difference between revisions
Notas Ditadas a G.E. Moore na Noruega (view source)
Revision as of 12:30, 16 August 2024
, 3 months agono edit summary
No edit summary |
No edit summary |
||
| Line 17: | Line 17: | ||
{{title}}Abril, 1914 | {{title}} | ||
Abril, 1914 | |||
Proposições assim chamadas lógicas ''mostram'' [as] propriedades lógicas da linguagem, e portanto, do Universo, mas nada ''dizem.'' [Cf. 6.12.] | Proposições assim chamadas lógicas ''mostram'' [as] propriedades lógicas da linguagem, e portanto, do Universo, mas nada ''dizem.'' [Cf. 6.12.] | ||
| Line 103: | Line 105: | ||
Nós queremos explicar a relação das proposições com a realidade. | Nós queremos explicar a relação das proposições com a realidade. | ||
A relação é a seguinte: Seus simples têm significado = são nomes de simples; e suas relações tem uma relação bem diferente com relações; e esses dois fatos já estabelecem uma espécie de correspondência entre a proposição que contém esses, e apenas esses, e a realidade: i.e. se todos os simples de uma proposição são conhecidos, nós já sabemos que PODEMOS descrever a realidade ao dizer que ela se ''comporta''< | A relação é a seguinte: Seus simples têm significado = são nomes de simples; e suas relações tem uma relação bem diferente com relações; e esses dois fatos já estabelecem uma espécie de correspondência entre a proposição que contém esses, e apenas esses, e a realidade: i.e. se todos os simples de uma proposição são conhecidos, nós já sabemos que PODEMOS descrever a realidade ao dizer que ela se ''comporta''<ref>Presumivelmente “verhält sich zu”, i.e. “está relacionado” [Edd.].</ref> de um certo modo para o todo da proposição. (Isso equivale dizer que nós podemos ''comparar'' realidade com proposição. No caso de duas linhas, nós podemos ''compará-las'' em relação ao seu comprimento sem nenhuma convenção: a comparação é automática. Mas no nosso caso a possibilidade da comparação depende das convenções pelas quais nós damos sentido aos nossos simples (nomes e relações). | ||
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. | 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. | ||
| Line 169: | Line 171: | ||
O que simboliza em um símbolo é o que é comum a todos os símbolos que poderiam, de acordo com as regras da lógica = regras sintéticas para manipulação de símbolos, ser substituídos por ela. [Cf. 3.344.] | O que simboliza em um símbolo é o que é comum a todos os símbolos que poderiam, de acordo com as regras da lógica = regras sintéticas para manipulação de símbolos, ser substituídos por ela. [Cf. 3.344.] | ||
A questão sobre se uma proposição tem sentido (Sinn) nunca pode depender da ''verdade'' de outra proposição sobre um constituinte da primeira. E.g., a questão de se (x) x=x tem significado (Sinn)< | A questão sobre se uma proposição tem sentido (Sinn) nunca pode depender da ''verdade'' de outra proposição sobre um constituinte da primeira. E.g., a questão de se (x) x=x tem significado (Sinn)<ref>Possivelmente “entre as barras verticais (''sheffer-strokes'')”. [Edd.]</ref> não pode depender da questão se (∃x) x=x é ''verdadeiro''. Não descreve a realidade de nenhum modo, e lida unicamente com símbolos; e diz que eles devem ''simbolizar'', mas não ''o que'' eles simbolizam. | ||
É ó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. | É ó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. | ||
| Line 177: | Line 179: | ||
É muito importante perceber que, quando você tem duas relações diferentes (a,b)R, (c,d)S, isso ''não'' estabelece uma correlação entre a e c, e b e d, ou a e d, e b e c: não existe nenhuma correlação assim estabelecida. É claro, no caso de dois pares de termos unidos pela ''mesma'' relação, existe uma correlação. Isso mostra que a teoria que sustentou que um fato relacional contendo os termos e as relações unidos por uma ''cópula'' (ϵ₂) é uma inverdade; pois, se isso fosse o caso, existiria uma correspondência entre os termos de diferentes relações. | É muito importante perceber que, quando você tem duas relações diferentes (a,b)R, (c,d)S, isso ''não'' estabelece uma correlação entre a e c, e b e d, ou a e d, e b e c: não existe nenhuma correlação assim estabelecida. É claro, no caso de dois pares de termos unidos pela ''mesma'' relação, existe uma correlação. Isso mostra que a teoria que sustentou que um fato relacional contendo os termos e as relações unidos por uma ''cópula'' (ϵ₂) é uma inverdade; pois, se isso fosse o caso, existiria uma correspondência entre os termos de diferentes relações. | ||
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 ⎸, < | 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.] | ||
| Line 197: | Line 199: | ||
A relação de “eu acredito p” para “p” pode ser comparada com a relação de ‘ “p” diz (''besagt'') p’ para p: é tão impossível que ''eu'' deveria ser simples como “p” deveria ser. [Cf. 5.542.] | A relação de “eu acredito p” para “p” pode ser comparada com a relação de ‘ “p” diz (''besagt'') p’ para p: é tão impossível que ''eu'' deveria ser simples como “p” deveria ser. [Cf. 5.542.] | ||
{{references}} | |||