Tractatus logico-philosophicus (italiano): Difference between revisions

no edit summary
No edit summary
No edit summary
Line 1,571: Line 1,571:


Questa è la forma generale della proposizione.
Questa è la forma generale della proposizione.
6.001Questo non dice altro se non che ogni proposizione è un risultato dell'applicazione successiva dell'operazione <math>N (\bar{\xi})</math> alle proposizioni elementari.
6.002Se è data la forma generale secondo cui è costruita una proposizione, è anche già data con ciò la forma generale secondo cui da una proposizione, mediante un'operazione, può esserne generata un'altra.
6.01La forma generale dell'operazione <math>\Omega ' (\bar{\eta})</math> è quindi: <math>[\bar{\xi}, N(\bar{\xi})]' (\bar{\eta}) (= [ \bar{\eta}, \bar{\xi}, N (\bar{\xi}) ])</math>.
Questa è la forma più generale del passaggio da una proposizione a un'altra.
6.02E così veniamo ai numeri: definisco
<p style="text-align: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></p>
Secondo questa regola segnica quindi scriviamo la serie <math>x, \Omega ' x, \Omega ' \Omega ' x, \Omega ' \Omega ' \Omega ' x, .....</math>
<p style="text-align:center;">così: <math>\Omega^{0 \prime} x, \Omega^{0+1 \prime} x, \Omega^{0 + 1 + 1 \prime} x, \Omega^{0 + 1 + 1 + 1 \prime} x, .....</math></p>
Dunque, invece che «<math>[ x, \xi, \Omega ' \xi ]</math>», scrivo:
<p style="text-align:center;">«<math>[ \Omega^{0 \prime} x, \Omega^{ \nu \prime} x, \Omega^{ \nu + 1 \prime} x ]</math>».</p>
E definisco:
:<math>0 + 1 = 1 \text{ Def.}</math>
:<math>0 + 1 + 1 = 2 \text{ Def.}</math>
:<math>0 + 1 + 1 + 1 = 3 \text{ Def.}</math>
:<math>\text{(e così di seguito).}</math>
6.021
<references />
<references />