Tractatus logico-philosophicus (français): Difference between revisions

Line 1,574:

[[File:TLP 6.1203e-it.png|250px|center|link=]]

Remplaçons maintenant « q » par « p » et examinons la connexion des V et F les plus externes avec les internes; il en résulte que la vérité de la proposition entière correspond à toutes les combinaisons de vérité de son argument, et sa fausseté à aucune<ref>Cette consigne est trop vague. Une fois q remplacé par p, il faut évidemment veiller à ce que les valeurs de vérité de l'unique proposition p soient les mêmes à gauche et à droite du schéma, qui se réduit alors en effet à :</ref>.

Remplaçons maintenant « q » par « p » et examinons la connexion des V et F les plus externes avec les internes; il en résulte que la vérité de la proposition entière correspond à toutes les combinaisons de vérité de son argument, et sa fausseté à aucune<ref>Cette consigne est trop vague. Une fois q remplacé par p, il faut évidemment veiller à ce que les valeurs de vérité de l'unique proposition p soient les mêmes à gauche et à droite du schéma, qui se réduit alors en effet à :

[[File:TLP 6.1203footnote-fr.png|180px|center|link=]]

</ref>.

'''6.121''' Les propositions de la logique démontrent les propriétés logiques des propositions, en formant par leur connexion des propositions qui ne disent rien.

On pourrait appeler encore cette méthode : méthode de réduction à zéro. Dans la proposition logique, les propositions sont mises entre elles en équilibre, et cet état d'équilibre montre alors comment ces propositions doivent être logiquement agencées.

'''6.122''' Il en résulte que nous pourrions aussi bien nous passer des propositions logiques, puisque, dans une notation convenable, nous pouvons déjà reconnaître les propriétés formelles des propositions à la seule inspection de celles-ci.

'''6.1221''' Si, par exemple, des deux propositions « p » et « q » dans leur connexion « p ⊃ q » une tautologie résulte, il est alors clair que q suit de p.

Que par exemple « q » suive de « p ⊃ q . p » nous le voyons sur ces deux propositions mêmes, en les liant dans « p ⊃ q . p : ⊃ : q», et montrant alors que c'est là une tautologie.

'''6.1222''' Cela éclaire la question: pourquoi les propositions logiques ne peuvent-elles être confirmées par l'expérience, pas plus que par l'expérience elles ne peuvent être réfutées. Non seulement une proposition de la logique ne peut être réfutée par aucune expérience possible, mais encore elle ne peut être confirmée par aucune.

'''6.1223''' La raison sera maintenant claire pour laquelle on a souvent eu le sentiment que les « vérités logiques » doivent être de nous « exigées » : nous pouvons en effet les exiger, dans la mesure où nous pouvons exiger une notation convenable.

'''6.1224''' La raison sera également claire pour laquelle la logique a été nommée théorie des formes et des déductions.

'''6.123''' Il est clair que les lois logiques ne doivent pas elles-mêmes se soumettre derechef à des lois logiques.

(Il n'y a pas, comme le voulait Russell, pour chaque « type » une loi de contradiction particulière, mais une seule suffit, parce qu'elle ne s'applique pas à elle-même.)

'''6.1231''' La marque de la proposition logique ''n'est pas'' la validité générale.

Être général veut en effet seulement dire : valoir accidentellement pour toutes choses. Une proposition non généralisée peut aussi bien être tautologique qu'une proposition généralisée.

'''6.1232''' La validité générale logique, on pourrait la nommer essentielle, par opposition à l'accidentelle, comme par exemple dans la proposition : « Tous les hommes sont mortels. » Des propositions comme l'« axiome de réductibilité » de Russell ne sont pas des propositions logiques, et ceci explique le sentiment que nous avons que, si elles sont vraies, elles ne sauraient l'être que par un heureux hasard.

'''6.1233''' Un monde dans lequel l'axiome de réductibilité ne vaudrait pas est pensable. Mais il est clair que la logique n'a rien à voir avec la question de savoir si notre monde est ou n'est pas réellement ainsi.

'''6.124''' Les propositions logiques décrivent l'échafaudage du monde, ou plutôt elles le figurent. Elles ne « traitent » de rien. Elles présupposent que les noms ont une signification et les propositions élémentaires un sens : et c'est là leur connexion au monde. Il est clair que quelque chose à propos du monde doit nous être indiqué par la circonstance que certaines connexions de symboles - qui ont par essence un caractère déterminé soient des tautologies. C'est là le point décisif. Nous avons dit

@@ Line 1,574: / Line 1,574: @@
 [[File:TLP 6.1203e-it.png|250px|center|link=]]
-Remplaçons maintenant « q » par « p » et examinons la connexion des V et F les plus externes avec les internes; il en résulte que la vérité de la proposition entière correspond à toutes les combinaisons de vérité de son argument, et sa fausseté à aucune<ref>Cette consigne est trop vague. Une fois q remplacé par p, il faut évidemment veiller à ce que les valeurs de vérité de l'unique proposition p soient les mêmes à gauche et à droite du schéma, qui se réduit alors en effet à :</ref>.
+Remplaçons maintenant « q » par « p » et examinons la connexion des V et F les plus externes avec les internes; il en résulte que la vérité de la proposition entière correspond à toutes les combinaisons de vérité de son argument, et sa fausseté à aucune<ref>Cette consigne est trop vague. Une fois q remplacé par p, il faut évidemment veiller à ce que les valeurs de vérité de l'unique proposition p soient les mêmes à gauche et à droite du schéma, qui se réduit alors en effet à :
+[[File:TLP 6.1203footnote-fr.png|180px|center|link=]]
+</ref>.
+'''6.121''' Les propositions de la logique démontrent les propriétés logiques des propositions, en formant par leur connexion des propositions qui ne disent rien.
+On pourrait appeler encore cette méthode : méthode de réduction à zéro. Dans la proposition logique, les propositions sont mises entre elles en équilibre, et cet état d'équilibre montre alors comment ces propositions doivent être logiquement agencées.
+'''6.122''' Il en résulte que nous pourrions aussi bien nous passer des propositions logiques, puisque, dans une notation convenable, nous pouvons déjà reconnaître les propriétés formelles des propositions à la seule inspection de celles-ci.
+'''6.1221''' Si, par exemple, des deux propositions « p » et « q » dans leur connexion « p ⊃ q » une tautologie résulte, il est alors clair que q suit de p.
+Que par exemple « q » suive de « p ⊃ q . p » nous le voyons sur ces deux propositions mêmes, en les liant dans « p ⊃ q . p : ⊃ : q», et montrant alors que c'est là une tautologie.
+'''6.1222''' Cela éclaire la question: pourquoi les propositions logiques ne peuvent-elles être confirmées par l'expérience, pas plus que par l'expérience elles ne peuvent être réfutées. Non seulement une proposition de la logique ne peut être réfutée par aucune expérience possible, mais encore elle ne peut être confirmée par aucune.
+'''6.1223''' La raison sera maintenant claire pour laquelle on a souvent eu le sentiment que les « vérités logiques » doivent être de nous « exigées » : nous pouvons en effet les exiger, dans la mesure où nous pouvons exiger une notation convenable.
+'''6.1224''' La raison sera également claire pour laquelle la logique a été nommée théorie des formes et des déductions.
+'''6.123''' Il est clair que les lois logiques ne doivent pas elles-mêmes se soumettre derechef à des lois logiques.
+(Il n'y a pas, comme le voulait Russell, pour chaque « type » une loi de contradiction particulière, mais une seule suffit, parce qu'elle ne s'applique pas à elle-même.)
+'''6.1231''' La marque de la proposition logique ''n'est pas'' la validité générale.
+Être général veut en effet seulement dire : valoir accidentellement pour toutes choses. Une proposition non généralisée peut aussi bien être tautologique qu'une proposition généralisée.
+'''6.1232''' La validité générale logique, on pourrait la nommer essentielle, par opposition à l'accidentelle, comme par exemple dans la proposition : « Tous les hommes sont mortels. » Des propositions comme l'« axiome de réductibilité » de Russell ne sont pas des propositions logiques, et ceci explique le sentiment que nous avons que, si elles sont vraies, elles ne sauraient l'être que par un heureux hasard.
+'''6.1233''' Un monde dans lequel l'axiome de réductibilité ne vaudrait pas est pensable. Mais il est clair que la logique n'a rien à voir avec la question de savoir si notre monde est ou n'est pas réellement ainsi.
+'''6.124''' Les propositions logiques décrivent l'échafaudage du monde, ou plutôt elles le figurent. Elles ne « traitent » de rien. Elles présupposent que les noms ont une signification et les propositions élémentaires un sens : et c'est là leur connexion au monde. Il est clair que quelque chose à propos du monde doit nous être indiqué par la circonstance que certaines connexions de symboles - qui ont par essence un caractère déterminé soient des tautologies. C'est là le point décisif. Nous avons dit
 <references />