5,953
edits
Tractatus Logico-Philosophicus (português): Difference between revisions
Tractatus Logico-Philosophicus (português) (view source)
Revision as of 16:28, 26 December 2023
, 10 months agono edit summary
No edit summary |
No edit summary |
||
| Line 1,481: | Line 1,481: | ||
E não há coisa no ''campo visual'' que leve à conclusão de que ela é vista por um ôlho. | E não há coisa no ''campo visual'' que leve à conclusão de que ela é vista por um ôlho. | ||
'''5.6331''' O campo visual não tem nomeadamente uma forma como esta:[[File:TLP 5. | '''5.6331''' O campo visual não tem nomeadamente uma forma como esta:[[File:TLP 5.6331pt.png|250px|center|link=]]'''5.634''' Isto se liga a que nenhuma parte de nossa experiência é ''a priori''. | ||
Tudo o que vemos poderia ser diferente. | Tudo o que vemos poderia ser diferente. | ||
| Line 1,501: | Line 1,501: | ||
Esta é a forma geral da proposição. | Esta é a forma geral da proposição. | ||
'''6.001''' Isto nada mais diz do que: cada proposição resulta da aplicação sucessiva da operação <math>N (\bar{\xi})</math> sôbre as proposições elementares.<references /> | '''6.001''' Isto nada mais diz do que: cada proposição resulta da aplicação sucessiva da operação <math>N (\bar{\xi})</math> sôbre as proposições elementares. | ||
'''6.002''' Dada a forma geral de como construir uma proposição, com isto já está dada a forma geral de como é possível gerar outra, por meio de uma operação, partindo-se de uma proposição. | |||
'''6.01''' A forma geral da operação <math>\Omega ' (\bar{\eta})</math> é pois: <math>[\bar{\xi}, N(\bar{\xi})]' (\bar{\eta}) (= [ \bar{\eta}, \bar{\xi}, N (\bar{\xi}) ])</math>. | |||
Esta é a forma mais geral da transposição de uma proposição para outra. | |||
'''6.02''' Chegamos ''assim'' aos números. Defino: | |||
{{p center|<math>x = \Omega^{0 \prime} x \text{ Def.}</math> e<br> | |||
<math>\Omega^{\prime} \Omega^{ \nu \prime} x = \Omega^{ \nu + 1 \prime} x \text{ Def.}</math>}} | |||
Segundo essa regra de signos, escrevemos pois a série: <math>x, \Omega ' x, \Omega ' \Omega ' x, \Omega ' \Omega ' \Omega ' x, .....</math> | |||
{{p center|como: <math>\Omega^{0 \prime} x, \Omega^{0+1 \prime} x, \Omega^{0 + 1 + 1 \prime} x, \Omega^{0 + 1 + 1 + 1 \prime} x, .....</math>}} | |||
Em vez de "<math>[ x, \xi, \Omega ' \xi ]</math>" escrevo, portanto, | |||
{{p center|"<math>[ \Omega^{0 \prime} x, \Omega^{ \nu \prime} x, \Omega^{ \nu + 1 \prime} x ]</math>".}} | |||
E defino: | |||
{{p indent|<math>0 + 1 = 1 \text{ Def.}</math>}} | |||
{{p indent|<math>0 + 1 + 1 = 2 \text{ Def.}</math>}} | |||
{{p indent|<math>0 + 1 + 1 + 1 = 3 \text{ Def.}</math>}} | |||
{{p indent|(e assim por diante)}} | |||
'''6.021''' O número é o expoente de uma operação. | |||
'''6.022''' O conceito de número nada mais é do que é comum a todos os números, a forma geral do número. O conceito número é a variável número. | |||
E o conceito da igualdade entre os números é a forma geral de todas as igualdades especiais entre os números. | |||
'''6.03''' A forma geral dos números inteiros é: [0, ''ξ'', ''ξ''+1]. A teoria das classes é inteiramente supérflua para a matemática. | |||
Isto está ligado a que a universalidade de que precisamos na matemática não é a ''acidental''. | |||
'''6.1''' As proposições da lógica são tautologias.<references /> | |||