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

no edit summary
No edit summary
No edit summary
Line 172: Line 172:
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)<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.
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.