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

Notas Ditadas a G.E. Moore na Noruega (view source)

Revision as of 09:12, 19 August 2024

No change in size , 3 months ago

no edit summary

MLavazza

Bureaucrats, Editors, Interface administrators, Administrators

5,953

edits

@@ 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.]
-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.