5,222
edits
Tractatus logico-philosophicus (français): Difference between revisions
Tractatus logico-philosophicus (français) (view source)
Revision as of 16:11, 3 December 2022
, 1 year agono edit summary
No edit summary |
No edit summary |
||
| Line 1,469: | Line 1,469: | ||
'''5.6331''' Le champ visuel n'a pas en fait une telle forme: | '''5.6331''' Le champ visuel n'a pas en fait une telle forme: | ||
[[File:TLP 5.6331fr.png|250px|center|link=]] | |||
'''5.634''' Ce qui dépend de ceci, à savoir qu'aucune partie de notre expérience n'est en même temps a priori. | '''5.634''' Ce qui dépend de ceci, à savoir qu'aucune partie de notre expérience n'est en même temps a priori. | ||
| Line 1,487: | Line 1,487: | ||
Le je philosophique n'est ni l'être humain, ni le corps humain, ni l'âme humaine dont s'occupe la psychologie, mais c'est le sujet métaphysique, qui est frontière – et non partie – du monde. | Le je philosophique n'est ni l'être humain, ni le corps humain, ni l'âme humaine dont s'occupe la psychologie, mais c'est le sujet métaphysique, qui est frontière – et non partie – du monde. | ||
'''6''' La forme générale de la fonction de vérité est : [p,, N( | '''6''' La forme générale de la fonction de vérité est : <math>[ \bar{p}, \bar{\xi}, N (\bar{\xi}) ]</math>. | ||
C'est la forme générale de la proposition. | |||
'''6.001''' Cequine dit rien d'autre que ceci : chaque proposition est le résultat d'applications successives de l'opération <math>N ( \bar{\xi} )</math> à des propositions élémentaires. | '''6.001''' Cequine dit rien d'autre que ceci : chaque proposition est le résultat d'applications successives de l'opération <math>N ( \bar{\xi} )</math> à des propositions élémentaires. | ||
'''6.002''' Quand est donnée la forme générale selon laquelle une proposition est construite, est déjà donnée du même coup la forme selon laquelle par le moyen d'une opération une | '''6.002''' Quand est donnée la forme générale selon laquelle une proposition est construite, est déjà donnée du même coup la forme selon laquelle par le moyen d'une opération une proposition en engendre une autre. | ||
'''6.01''' La forme générale de l'opération '( | '''6.01''' La forme générale de l'opération <math>\Omega ' (\bar{\eta})</math> est donc : <math>[\bar{\xi}, N(\bar{\xi})]' (\bar{\eta}) (= [ \bar{\eta}, \bar{\xi}, N (\bar{\xi}) ])</math>. | ||
Ce qui est la forme générale du passage d'une proposition à une | Ce qui est la forme générale du passage d'une proposition à une autre. | ||
'''6.02''' Ainsi en venons-nous aux nombres: je définis | |||
{{p center|<math>x = \Omega^{0 \prime} x \text{ Déf.}</math> et<br> | |||
<math>\Omega^{\prime} \Omega^{ \nu \prime} x = \Omega^{ \nu + 1 \prime} x \text{ Déf.}</math>}} | |||
x | Conformément à ces règles de signes nous écrivons donc la série <math>x, \Omega ' x, \Omega ' \Omega ' x, \Omega ' \Omega ' \Omega ' x, ...</math> | ||
de cette manière: <math>\Omega^{0 \prime} x, \Omega^{0+1 \prime} x, \Omega^{0 + 1 + 1 \prime} x, \Omega^{0 + 1 + 1 + 1 \prime} x, ...</math> | |||
J'écris donc, au lieu de « <math>[ x, \xi, \Omega ' \xi ]</math> » : | |||
{{p center|« <math>[ \Omega^{0 \prime} x, \Omega^{ \nu \prime} x, \Omega^{ \nu + 1 \prime} x ]</math> ».}} | |||
Et je définis : | |||
:<math>0 + 1 = 1 \text{ Déf.}</math> | |||
:<math>0 + 1 + 1 = 2 \text{ Déf.}</math> | |||
:<math>0 + 1 + 1 + 1 = 3 \text{ Déf.}</math> | |||
:(etc.) | |||
<references /> | |||