Tractatus logico-philosophicus (version arborescente interactive)

Tractatus logico-philosophicus

Version arborescente interactive

Go to static tree-like view · Go to linear view

Ludwig Wittgenstein

Tractatus logico-philosophicus (version arborescente interactive)

Traduction, préambule et notes de Gilles Gaston Granger

Cette édition digitale est une reproduction de l’édition papier suivante : Ludwig Wittgenstein (traduction, préambule et notes de Gilles Gaston Granger), Tractatus logico-philosophicus, Paris, Gallimard, coll. « Bibliothèque de philosophie », 1993. La transcription publiée sur ce site internet a été réalisée par Michele Lavazza et corrigée par Thomas Houlié. Le texte original est dans le domaine public dans tous les pays pour lesquels le droit d’auteur a une durée de vie de 70 ans ou moins après la mort de l’auteur. Tous les droits sur la traduction appartiennent au Centre Gilles Gaston Granger. Le Ludwig Wittgenstein Project remercie les Directeurs du Centre Gilles Gaston Granger de l’avoir autorisé à publier cette édition digitale. Toute reproduction de ce texte est interdite.

This is a "Scholarly Approved" translation

Préambule du traducteur

Faut-il faire précéder d'une préface la traduction du Tractatus ? L'exemple malheureux de Russell suffirait à nous en dissuader. Rédigée par l'un des philosophes les plus pénétrants de son temps, et apparemment le plus capable de comprendre l'originalité de son cadet, sa préface que l'on lira n'eut pas l'heur, c'est le moins que l'on puisse dire, de plaire à Wittgenstein. Il écrit dans une lettre en allemand du 6 mai 1922, adressée à Russell:

Ton Introduction ne sera pas imprimée, et, par conséquent, il est vraisemblable que mon livre ne le sera pas non plus. Car lorsque j'ai eu devant les yeux la traduction allemande de l'Introduction, je n'ai pu alors me résoudre à la laisser imprimer avec mon livre. La finesse de ton style anglais s'était en effet, comme il est naturel, perdue dans la traduction, et ce qui restait n'était que superficialité et incompréhension^[1]... »

Il est permis d'attribuer au souci de ménager quelque peu son ami l'allusion à la « finesse du style anglais » et de retenir surtout la « superficialité et l'incompréhension ». Jugement sévère, mais pas tout à fait inexact comme pourra s'en assurer le lecteur. Avec infiniment moins de talent que Russell mais beaucoup plus de recul, il ne serait sans doute pas impossible d'espérer éviter un désaveu aussi radical – qui ne serait alors il est vrai, de toute façon, que posthume. Le présent traducteur ne s'y risquera pourtant pas, estimant que, malgré sa difficulté et son laconisme, le texte du Tractatus peut aujourd'hui être présenté dans son orgueilleuse et souveraine nudité.

Le Tractatus propose une philosophie complète. Les sept aphorismes principaux ne sont cependant pas des thèses, mais des élucidations, successivement enchaînées, de ce qu'il est légitime de formuler dans le langage touchant la réalité (le monde). Il s'agit donc d'une philosophie « négative », au sens où les théologiens parlent d'une théologie négative, circonscrivant seulement les frontières de ce qui serait pensable à propos de Dieu. Le Tractatus a pour but non de dire ce qu'est la réalité du monde, mais de délimiter ce qui en est pensable, c'est-à-dire exprimable dans un langage. Et seules les propositions de la science, vraies ou fausses, satisferaient à cette exigence. Le discours du philosophe ne peut que rendre manifeste le fonctionnement correct du langage et montrer le caractère illusoire de son usage lorsqu'il prétend aller au-delà d'une description des faits.

Wittgenstein reviendra plus tard, dans ses écrits postérieurs, sur les difficultés internes de cette philosophie négative, sans toutefois abandonner vraiment l'idée qu'un tel discours ne peut rien nous dire du monde des faits. Il insistera alors sur la pluralité des formes possibles d'utilisation du langage, et sur le caractère thérapeutique de l'usage que le philosophe en peut faire. Aussi bien, comme il le fait remarquer lui-même en quelque endroit, on ne saurait saisir le sens de cette philosophie renouvelée que si l'on a traversé le moment du Tractatus.

Ce bref ouvrage n'est pas seulement un des textes marquants de la philosophie contemporaine, il est aussi une œuvre d'art qui frappe par la concision incisive de la langue et la cadence souvent poétique du style philosophique. Incessu, comme dit le poète, incessu patuit dea. « À sa démarche on reconnut la déesse. » Une traduction parfaite devrait donc transposer dans notre langue et faire sentir au lecteur cette qualité littéraire. On ne saurait se vanter d'y être généralement parvenu. D'autant plus qu'une autre exigence, dominante, devait être satisfaite, à savoir l'obligation majeure de transmettre exactement le contenu philosophique du texte. Pour y parvenir une condition minimale était de maintenir en français une uniformité de traduction rigoureuse du vocabulaire philosophiquement significatif, bien que le contexte français suggère parfois des variantes ; on trouvera dans l'index les mots allemands ainsi traduits. On a ajouté quelques notes, en très petit nombre, soit pour attirer l'attention en cours de lecture sur le mot allemand, soit pour éclairer le sens littéral d'une expression, mais jamais pour esquisser un commentaire ou une interprétation philosophique, largement réalisée dans d'autres ouvrages ainsi que par d'autres auteurs.

Gilles Gaston Granger
« Cassiopée », août 1992

Cette traduction doit beaucoup à Françoise Hock, naguère ma collègue à l'Université de Provence, qui a bien voulu en réviser, et en a considérablement amélioré, une première version. Je lui exprime ici le plaisir que m'a donné cette collaboration, et ma très vive gratitude. Il va de soi que je suis seul responsable de l'ensemble et des aspects critiquables qui peuvent y subsister.

Ludwig Wittgenstein

Traité logico-philosophique

Tractatus logico-philosophicus

Dédié à la mémoire de mon ami
DAVID H. PINSENT

Devise : ... et tout ce que l'on sait, qu'on n'a pas seulement entendu comme un bruissement ou un grondement, se laisse dire en trois mots.
Kürnberger

Avant-propos

Ce livre ne sera peut-être compris que par qui aura déjà pensé lui-même les pensées qui s'y trouvent exprimées – ou du moins des pensées semblables. Ce n'est donc point un ouvrage d'enseignement. Son but serait atteint s'il se trouvait quelqu'un qui, l'ayant lu et compris, en retirait du plaisir.

Le livre traite des problèmes philosophiques, et montre – à ce que je crois – que leur formulation repose sur une mauvaise compréhension de la logique de notre langue. On pourrait résumer en quelque sorte tout le sens du livre en ces termes : tout ce qui proprement peut être dit peut être dit clairement, et sur ce dont on ne peut parler, il faut garder le silence.

Le livre tracera donc une frontière à l'acte de penser, – ou plutôt non pas à l'acte de penser, mais à l'expression des pensées : car pour tracer une frontière à l'acte de penser, nous devrions pouvoir penser les deux côtés de cette frontière (nous devrions donc pouvoir penser ce qui ne se laisse pas penser).

La frontière ne pourra donc être tracée que dans la langue, et ce qui est au-delà de cette frontière sera simplement dépourvu de sens.

Jusqu'à quel point mes efforts coïncident avec ceux d'autres philosophes, je n'en veux pas juger. En vérité, ce que j'ai ici écrit n'élève dans son détail absolument aucune prétention à la nouveauté ; et c'est pourquoi je ne donne pas non plus de sources, car il m'est indifférent que ce que j'ai pensé, un autre l'ait déjà pensé avant moi.

Je veux seulement mentionner qu'aux œuvres grandioses de Frege et aux travaux de mon ami M. Bertrand Russell je dois, pour une grande part, la stimulation de mes pensées.

Si ce travail a quelque valeur, elle consiste en deux choses distinctes. Premièrement, en ceci, que des pensées y sont exprimées, et cette valeur sera d'autant plus grande que les pensées y sont mieux exprimées. D'autant mieux on aura frappé sur la tête du clou. Je suis conscient, sur ce point, d'être resté bien loin en deçà du possible. Simplement parce que mes forces sont trop modiques pour dominer la tâche. Puissent d'autres venir qui feront mieux.

Néanmoins, la vérité des pensées ici communiquées me semble intangible et définitive. Mon opinion est donc que j'ai, pour l'essentiel, résolu les problèmes d'une manière décisive. Et si en cela je ne me trompe pas, la valeur de ce travail consiste alors, en second lieu, en ceci, qu'il montre combien peu a été fait quand ces problèmes ont été résolus.

L.W.

Vienne, 1918.

[Afficher]1 Le monde est tout ce qui a lieu^[N].

[Afficher]2 Ce qui a lieu, le fait, est la subsistance^[5] d'états de chose.

[Afficher]2.01 L'état de choses est une connexion d'objets (entités, choses).

2.011 Il fait partie de l'essence d'une chose d'être élément constitutif d'un état de choses.

[Afficher]2.012 En logique, rien n'est accidentel : quand la chose se présente dans un état de choses, c'est que la possibilité de l'état de choses doit déjà être préjugée dans la chose.

[Afficher]2.013 Chaque chose est, pour ainsi dire, dans un espace d'états de choses possibles. Cet espace, je puis me le figurer comme vide, mais non me figurer la chose sans l'espace.

[Afficher]2.014 Les objets contiennent la possibilité de toutes les situations.

[Afficher]2.02 L'objet est simple.

2.0201 Tout énoncé portant sur des complexes se laisse analyser en un énoncé sur leurs éléments et en propositions telles qu'elles décrivent complètement ces complexes.

[Afficher]2.021 Les objets constituent la substance du monde. C'est pourquoi ils ne peuvent être composés.

2.022 Il est patent que, si différent du monde réel que soit conçu un monde, il faut qu'il ait quelque chose – une forme – en commun avec lui.

[Afficher]2.023 Cette forme consiste justement dans les objets.

2.024 La substance est ce qui subsiste indépendamment de ce qui a lieu.

[Afficher]2.025 Elle est forme et contenu.

2.026 Ce n'est que s'il y a des objets qu'il peut y avoir une forme fixe du monde.

[Afficher]2.027 Le fixe, le subsistant et l'objet sont une seule et même chose.

[Afficher]2.03 Dans l'état de choses, les objets sont engagés les uns dans les autres comme les anneaux pendants d'une chaîne.

2.04 La totalité des états de choses subsistants est le monde.

2.05 La totalité des états de choses subsistants détermine aussi quels sont les états de choses non subsistants.

[Afficher]2.06 La subsistance des états de choses et leur non-subsistance est la réalité.

(La subsistance des états de choses et leur non-subsistance, nous les nommerons respectivement aussi fait positif et fait négatif.)

[Afficher]2.1 Nous nous faisons des images des faits.

2.11 L'image présente la situation dans l'espace logique, la subsistance et la non-subsistance des états de choses.

2.12 L'image est un modèle de la réalité.

[Afficher]2.13 Aux objets correspondent, dans l'image, les éléments de celle-ci.

[Afficher]2.14 L'image consiste en ceci, que ses éléments sont entre eux dans un rapport déterminé.

[Afficher]2.15 Que les éléments de l'image soient entre eux dans un rapport déterminé présente ceci : que les choses sont entre elles dans ce rapport.

Cette interdépendance des éléments de l'image, nommons-la sa structure, et la possibilité de cette interdépendance sa forme de représentation.

[Afficher]2.16 Pour être une image, le fait doit avoir quelque chose en commun avec ce qu'il représente.

[Afficher]2.17 Ce que l'image doit avoir en commun avec la réalité pour la représenter à sa manière – correctement ou incorrectement – c'est sa forme de représentation.

[Afficher]2.18 Ce que toute image, quelle qu'en soit la forme, doit avoir en commun avec la réalité pour pouvoir proprement la représenter – correctement ou non – c'est la forme logique, c'est-à-dire la forme de la réalité.

2.19 L'image logique peut représenter le monde.

[Afficher]2.2 L'image a en commun avec le représenté la forme logique de représentation.

[Afficher]3 L'image logique des faits est la pensée.

3.001 « Un état de choses est pensable » signifie : nous pouvons nous en faire une image.

3.01 La totalité des pensées vraies est une image du monde.

3.02 La pensée contient la possibilité des situations qu'elle pense. Ce qui est pensable est aussi possible.

[Afficher]3.03 Nous ne pouvons rien penser d'illogique, parce que nous devrions alors penser illogiquement.

3.04 Une pensée correcte a priori serait telle que sa possibilité détermine sa vérité.

3.05 Nous ne pourrions savoir a priori qu'une pensée est vraie, que si sa vérité pouvait être reconnue dans la pensée même (sans objet de comparaison).

[Afficher]3.1 Dans la proposition la pensée s'exprime pour la perception sensible.

3.11 Nous usons du signe sensible (sonore ou écrit, etc.) de la proposition comme projection de la situation possible.

La méthode de projection est la pensée du sens de la proposition.

3.12 Le signe par lequel nous exprimons la pensée, je le nomme signe propositionnel. Et la proposition est le signe propositionnel dans sa relation projective au monde.

3.13 À la proposition appartient tout ce qui appartient à la projection ; mais non pas le projeté.

Donc la possibilité du projeté, non le projeté lui-même.

Dans la proposition, le sens n'est donc pas encore contenu, mais seulement la possibilité de l'exprimer.

(« Le contenu de la proposition » signifie le contenu de la proposition pourvue de sens.)

Dans la proposition, est contenue la forme de son sens, mais non pas le contenu de celui-ci.

[Afficher]3.14 Le signe propositionnel consiste en ceci, qu'en lui ses éléments, les mots, sont entre eux dans un rapport déterminé. Le signe propositionnel est un fait.

[Afficher]3.2 Dans la proposition la pensée peut être exprimée de telle façon que les objets de la pensée correspondent aux éléments du signe propositionnel.

3.201 Je nomme ces éléments : « signes simples » et cette proposition : « complètement analysée ».

3.202 Les signes simples utilisés dans la proposition s'appellent noms.

3.203 Le nom signifie^[6] l'objet. L'objet est sa signification. (« A » est le même signe que « A ».)

3.21 À la configuration des signes simples dans le signe propositionnel correspond la configuration des objets dans la situation.

[Afficher]3.22 Le nom est dans la proposition le représentant de l'objet.

3.23 Requérir la possibilité des signes simples, c'est requérir la détermination du sens.

3.24 La proposition qui concerne un complexe est dans un rapport interne avec la proposition qui concerne un élément de ce complexe.

Le complexe ne peut être donné que par une description, et celle-ci convient ou ne convient pas. La proposition dans laquelle il est question d'un complexe, si celui-ci n'existe pas, ne sera pas dépourvue de sens^[8], mais simplement fausse.

Qu'un élément propositionnel dénote un complexe, on peut le reconnaître à une indétermination dans les propositions où il apparaît. Nous savons que par cette proposition tout n'est pas encore déterminé. (La notation du général contient en effet une image primitive.)

La contraction du symbole d'un complexe en un symbole simple peut être exprimée par une définition.

[Afficher]3.25 Il y a une analyse complète de la proposition, et une seulement.

[Afficher]3.26 Le nom ne saurait être fractionné en éléments par une définition : c'est un signe primitif.

[Afficher]3.3 Seule la proposition a un sens ; ce n'est que lié dans une proposition que le nom a une signification.

[Afficher]3.31 Chaque partie de la proposition qui caractérise son sens, je la nomme expression (symbole).

(La proposition elle-même est une expression.)

Est expression tout ce qui, étant essentiel au sens d'une proposition, peut être commun à des propositions.

L'expression fait reconnaître une forme et un contenu.

3.311 L'expression présuppose les formes de toutes les propositions dans lesquelles elle peut apparaître. Elle est la marque caractéristique commune d'une classe de propositions.

3.312 Elle est donc figurée par la forme générale des propositions qu'elle caractérise.

Et alors, dans cette forme, l'expression sera constante et tout le reste variable.

3.313 L'expression sera donc figurée au moyen d'une variable, dont les valeurs sont les propositions qui contiennent cette expression.

(À la limite, la variable devient une constante, l'expression une proposition.)

J'appelle une telle variable « variable propositionnelle ».

3.314 L'expression n'a de signification que dans la proposition. Toute variable peut être conçue comme variable propositionnelle.

(Y compris le nom variable.)

3.315 Si nous transformons en variable une partie constituante d'une proposition, il existe alors une classe de propositions qui sont toutes les valeurs de la proposition variable ainsi créée. Cette classe dépend encore en général de ce que par convention arbitraire nous entendons par parties de cette proposition. Mais si nous transformons en variable tout signe dont la signification a été arbitrairement déterminée, il existe encore une telle classe, mais elle ne dépend plus alors d'aucune convention, et dépend seulement de la nature de la proposition. Elle correspond à une forme logique, à une image logique primitive.

3.316 Les valeurs que la variable propositionnelle peut prendre sont déterminées.

La détermination de ces valeurs est la variable.

3.317 La détermination des valeurs de la variable propositionnelle est la donnée des propositions dont cette variable est la marque commune.

Cette détermination est une description de ces propositions. Cette détermination ne concerne donc que les symboles non leur signification.

Ceci seulement est essentiel à cette détermination, à savoir qu'elle n'est qu'une description de symboles, qui ne déclare rien au sujet de ce qui est dénoté.

La manière dont se produit la description des propositions est inessentielle.

3.318 Je conçois la proposition – avec Frege et Russell – comme fonction des expressions qu'elle contient.

[Afficher]3.32 Le signe est ce qui est perceptible aux sens dans le symbole.

3.321 Deux symboles différents peuvent avoir leur signe en commun (écrit ou parlé, etc.) – ils dénotent alors de manières différentes.

3.322 Que nous dénotions deux objets par le même signe, mais selon deux modes de dénotation différents, ne peut jamais indiquer la marque commune de ces objets. Car le signe est arbitraire. On pourrait donc aussi bien choisir deux signes différents, et où serait alors le caractère commun dans la dénotation ?

3.323 Dans la langue usuelle il arrive fort souvent que le même mot dénote de plusieurs manières différentes – et appartienne donc à des symboles différents –, ou bien que deux mots, qui dénotent de manières différentes, sont en apparence employés dans la proposition de la même manière.

Ainsi le mot « est » apparaît comme copule, comme signe d'égalité et comme expression de l'existence ; « exister » comme verbe intransitif, à la façon d'« aller » ; « identique » comme adjectif qualificatif ; nous parlons « de quelque chose », mais disons aussi que « quelque chose » arrive.

(Dans la proposition « Brun est brun » – où le premier mot est un nom de personne, le dernier un adjectif qualificatif –, ces deux mots n'ont pas simplement des significations différentes, ce sont des symboles différents.)

3.324 Ainsi naissent facilement les confusions fondamentales (dont toute la philosophie est pleine).

3.325 Pour éviter ces erreurs, il nous faut employer une langue symbolique qui les exclut, qui n'use pas du même signe pour des symboles différents, ni n'use, en apparence de la même manière, de signes qui dénotent de manières différentes. Une langue symbolique donc qui obéisse à la grammaire logique – à la syntaxe logique.

(L'idéographie^[9] de Frege et de Russell constitue une telle langue, qui pourtant n'est pas encore exempte de toute erreur.)

3.326 Pour reconnaître le symbole sous le signe, il faut prendre garde à son usage pourvu de sens.

3.327 Le signe ne détermine une forme logique que pris avec son emploi logico-syntaxique.

3.328 Si un signe n'a pas d'usage, il n'a pas de signification. Tel est le sens de la devise d'Occam.

(Si tout se passe comme si un signe avait une signification, c'est qu'alors il en a une.)

[Afficher]3.33 Dans la syntaxe logique, la signification d'un signe ne saurait jouer aucun rôle ; il faut que la syntaxe soit établie sans pour autant faire état de la signification d'un signe, elle ne peut que supposer seulement la description des expressions.

[Afficher]3.34 La proposition possède des traits essentiels et des traits contingents.

Sont contingents les traits qui proviennent du mode particulier de production du signe propositionnel. Sont essentiels ceux qui permettent à la proposition d'exprimer son sens.

[Afficher]3.341 L'essentiel, dans une proposition, est donc ce qui est commun à toutes les propositions qui peuvent exprimer le même sens.

Et de même, plus généralement, est essentiel au symbole ce qui est commun à tous les symboles qui peuvent atteindre le même but.

[Afficher]3.342 Dans nos notations, il y a bien quelque chose d'arbitraire ; mais ce qui n'est pas arbitraire, c'est que, lorsque quelque chose a été arbitrairement déterminé, alors quelque chose d'autre doit avoir lieu. (Ceci résulte de l'essence de la notation.)

3.343 Les définitions sont des règles de traduction d'une langue dans une autre. Tout symbolisme correct doit pouvoir être traduit dans tout autre au moyen de telles règles : c'est cela qu'ils ont tous en commun.

[Afficher]3.344 Ce qui dénote dans le symbole, c'est ce qui est commun à tous les symboles qui peuvent le remplacer conformément aux règles de syntaxe logique.

[Afficher]3.4 La proposition détermine un lieu dans l'espace logique. L'existence de ce lieu logique est garantie par la seule existence des parties constituantes, par l'existence de la proposition pourvue de sens.

3.5 Le signe propositionnel employé, pensé, est la pensée.

[Afficher]4 La pensée est la proposition pourvue de sens.

4.001 La totalité des propositions est la langue.

4.002 L'homme possède la capacité de construire des langues par le moyen desquelles tout sens peut être exprimé, sans qu'il ait une idée de ce que chaque mot signifie, ni comment il signifie. De même aussi l'on parle sans savoir comment sont produits les différents sons.

La langue usuelle est une partie de l'organisme humain, et n'est pas moins compliquée que lui.

Il est humainement impossible de se saisir immédiatement, à partir d'elle, de la logique de la langue.

La langue déguise la pensée. Et de telle manière que l'on ne peut, d'après la forme extérieure du vêtement, découvrir la forme de la pensée qu'il habille ; car la forme extérieure du vêtement est modelée à de tout autres fins qu'à celle de faire connaître la forme du corps.

Les conventions tacites nécessaires à la compréhension de la langue usuelle sont extraordinairement compliquées.

[Afficher]4.003 La plupart des propositions et des questions qui ont été écrites touchant les matières philosophiques ne sont pas fausses, mais sont dépourvues de sens. Nous ne pouvons donc en aucune façon répondre à de telles questions, mais seulement établir leur non-sens. La plupart des propositions et questions des philosophes découlent de notre incompréhension de la logique de la langue.

(Elles sont du même type que la question : le Bien est-il plus ou moins identique que le Beau ?)

Et ce n'est pas merveille si les problèmes les plus profonds ne sont, à proprement parler, pas des problèmes.

[Afficher]4.01 La proposition est une image de la réalité.

La proposition est un modèle de la réalité, telle que nous nous la figurons.

4.011 À première vue, la proposition – telle qu'elle est imprimée sur le papier, par exemple – ne paraît pas être une image de la réalité dont elle traite. Mais la notation musicale, à première vue, ne paraît pas être non plus une image de la musique, ni nos signes phonétiques (les lettres) une image des sons de notre langue.

Et pourtant ces symbolismes se révèlent bien comme étant, même au sens usuel du mot, des images de ce qu'ils présentent.

4.012 Il est patent que nous percevons une proposition de la forme « aRb » comme une image. Il est patent qu'ici le signe est une métaphore^[12] du dénoté.

4.013 Et si nous pénétrons l'essence de cette capacité d'être image, nous voyons qu'elle n'est pas perturbée par d'apparentes irrégularités (comme l'emploi du dièse et du bémol dans la notation musicale).

Car ces irrégularités mêmes représentent ce qu'elles doivent exprimer ; mais seulement d'une autre manière.

[Afficher]4.014 Le disque de phonographe, la pensée musicale, la notation musicale, les ondes sonores sont tous, les uns par rapport aux autres, dans la même relation représentative interne que le monde et la langue.

À tous est commune la structure logique.

(Comme dans le conte, les deux jeunes gens, leurs deux chevaux et leurs lis. Ils sont tous en un certain sens un.)

4.015 La possibilité de toute métaphore, de toute capacité d'être image dans notre mode d'expression, repose sur la logique de la représentation.

4.016 Pour comprendre l'essence de la proposition, pensons aux hiéroglyphes qui représentent les faits qu'ils décrivent.

À partir d'eux, a été créée l'écriture alphabétique, sans que soit perdu l'essentiel de la représentation.

[Afficher]4.02 Nous le voyons en ceci que nous comprenons le sens du signe propositionnel sans qu'il nous ait été expliqué.

[Afficher]4.03 Une proposition doit communiquer un sens nouveau avec des expressions anciennes.

La proposition nous communique une situation, donc elle doit avoir une interdépendance essentielle avec cette situation.

Et cette interdépendance consiste justement en ce qu'elle est l'image logique de la situation.

La proposition ne dit quelque chose que dans la mesure où elle est image.

[Afficher]4.04 Dans la proposition, il doit y avoir exactement autant d'éléments distincts que dans la situation qu'elle présente.

Toutes deux doivent posséder le même degré de multiplicité logique (mathématique). (Comparez avec la « Mécanique » de Herz, à propos des modèles dynamiques.)

4.05 La réalité est comparée à la proposition.

[Afficher]4.06 La proposition ne peut être vraie ou fausse que dans la mesure où elle est une image de la réalité.

4.061 Si l'on ne considère pas que le sens de la proposition est indépendant des faits, on peut facilement croire que le vrai et le faux sont, au même titre, des relations des signes au dénoté.

On pourrait dire alors, par exemple, que « p » dénote selon la vérité, ce que « ~p » dénote selon la fausseté, etc.

[Afficher]4.062 Ne peut-on se faire comprendre au moyen de propositions fausses, comme on l'a fait jusqu'à présent avec des vraies ?

Pourvu que l'on sache seulement qu'elles sont entendues comme fausses. Non ! car une proposition est vraie si les états de choses sont tels que nous le disons par son moyen ; et si par « p » nous voulons dire ~p, et qu'il en soit ainsi que nous le disons, « p » est alors, dans la nouvelle conception, une proposition vraie et non une fausse.

4.063 Une image pour expliquer le concept de vérité : une tache noire sur un papier blanc ; la forme de la tache peut être décrite en disant pour chaque point de la feuille s'il est blanc ou noir. Le fait qu'un point soit noir correspond à un fait positif – le fait qu'un point soit blanc (non noir) à un fait négatif. Si j'indique un point de la surface (une valeur de vérité frégéenne), ceci correspond à une hypothèse proposée à un jugement, etc., etc.

Mais pour pouvoir dire qu'un point est noir ou blanc, il me faut tout d'abord savoir quand un point sera dit blanc et quand il sera dit noir ; pour pouvoir dire « p » est vrai (ou faux), il me faut avoir déterminé en quelles circonstances j'appelle « p » vraie, et par là je détermine le sens de la proposition.

Le point où la métaphore cloche c'est alors celui-ci : nous pouvons montrer un point de la feuille de papier sans savoir s'il est blanc ou noir ; tandis qu'une proposition détachée de son sens ne correspond à rien, car elle ne dénote aucune chose (valeur de vérité) dont les qualités puissent être dites vraies ou fausses ; le verbe d'une proposition n'est pas « est vrai » ou « est faux », comme le croyait Frege, – mais il faut que ce qui « est vrai » contienne déjà le verbe.

[Afficher]4.064 Toute proposition doit déjà avoir un sens ; l'assertion ne peut le lui donner, car ce qu'elle affirme c'est justement ce sens lui-même. Et cela vaut de même pour la négation, etc.

[Afficher]4.1 La proposition figure la subsistance ou la non-subsistance des états de choses.

[Afficher]4.11 La totalité des propositions vraies est toute la science de la nature (ou la totalité des sciences de la nature).

[Afficher]4.12 La proposition peut figurer la totalité de la réalité, mais elle ne peut figurer ce qu'elle doit avoir de commun avec la réalité pour pouvoir figurer celle-ci : la forme logique.

Pour pouvoir figurer la forme logique, il faudrait que nous puissions, avec la proposition, nous placer en dehors de la logique, c'est-à-dire en dehors du monde.

[Afficher]4.121 La proposition ne peut figurer la forme logique, elle en est le miroir.

Ce qui se reflète dans la langue, celle-ci ne peut le figurer.

Ce qui s'exprime dans la langue, nous ne pouvons par elle l'exprimer.

La proposition montre la forme logique de la réalité.

Elle l'indique.

[Afficher]4.122 Nous pouvons en un certain sens parler de propriétés formelles des objets et des états de choses, et respectivement des propriétés de structure des faits, et dans le même sens de relations formelles et de relations entre structures.

(Au lieu de propriété d'une structure, je parle aussi de « propriété interne » ; au lieu de relation des structures, « relation interne ».

J'introduis ces expressions en vue de montrer la raison de la confusion largement répandue chez les philosophes entre les relations internes et les relations proprement dites (externes).)

La subsistance de telles propriétés et relations internes ne peut cependant pas être affirmée dans des propositions, mais elle se montre dans les propositions qui figurent ces états de choses et traitent de ces objets.

4.123 Une propriété est interne quand il est impensable que son objet ne la possède pas.

(Cette nuance de bleu et cette autre sont ipso facto dans une relation interne de plus clair à plus foncé. Il est impensable que ces deux objets ne soient pas dans cette relation.)

(Ici, à l'usage incertain des mots « propriété » et « relation » correspond l'usage incertain du mot « objet ».)

[Afficher]4.124 La subsistance d'une propriété interne d'une situation possible n'est pas exprimée par une proposition, mais elle s'exprime dans la proposition qui présente cette situation par une propriété interne de cette proposition.

Il serait tout aussi dépourvu de sens d'attribuer une propriété formelle à une proposition aussi bien que de la lui refuser.

[Afficher]4.125 La subsistance d'une relation interne entre deux situations possibles s'exprime dans le langage au moyen d'une relation interne entre les propositions qui la figurent.

4.126 Dans le même sens où nous parlons de propriétés formelles, nous pouvons aussi maintenant parler de concepts formels.

(J'introduis cette expression afin de rendre claire la raison de la confusion des concepts formels et des concepts proprement dits, qui pénètre toute l'ancienne logique.)

Que quelque chose tombe sous un concept formel comme l'un de ses objets ne peut être exprimé par une proposition. Mais cela se montre dans le signe même de cet objet. (Le nom montre qu'il dénote un objet, le chiffre montre qu'il dénote un nombre, etc.)

Les concepts formels ne peuvent, comme les concepts propres, être présentés au moyen d'une fonction.

Car leurs caractères, les propriétés formelles, ne sont pas exprimés par des fonctions.

L'expression de la propriété formelle est un trait de certains symboles.

Le signe des caractères d'un concept formel est donc un trait caractéristique de tous les symboles dont les significations tombent sous ce concept.

L'expression du concept formel est donc une variable propositionnelle dans laquelle seul est constant ce trait caractéristique.

[Afficher]4.127 La variable propositionnelle dénote le concept formel, et ses valeurs dénotent les objets qui tombent sous lui.

4.1271 Chaque variable est le signe d'un concept formel.

Car chaque variable figure une forme constante, que possèdent toutes ses valeurs, et qui peut être conçue comme leur propriété formelle.

[Afficher]4.1272 Ainsi le nom variable « x » est le signe propre du pseudo-concept objet.

Chaque fois que le mot « objet » (« chose », « entité », etc.) est correctement employé, il est exprimé dans l'idéographie par le moyen du nom variable.

Par exemple dans la proposition : « Il y a deux objets qui... », au moyen de « (∃ x,y)... »

Chaque fois qu'il en est autrement, qu'il est donc utilisé comme nom de concept propre, naissent des pseudo-propositions dépourvues de sens.

Ainsi ne peut-on dire : « Il y a des objets », comme on dit par exemple : « Il y a des livres. » Et encore moins : « Il y a 100 objets » ; ou : « Il y a ℵ₀ objets. »

Et il est dépourvu de sens de parler du nombre de tous les objets.

Il en est de même pour les mots « complexe », « fait », « fonction », « nombre », etc.

Tous dénotent des concepts formels et sont présentés dans l'idéographie par des variables, et non par des fonctions ou des classes. (Comme le croyaient Frege et Russell.)

Des expressions comme : « 1 est un nombre », « Il n'y a qu'un seul zéro », et toutes celles du même genre sont dépourvues de sens.

(Il est tout aussi dépourvu de sens de dire : « Il n'y a qu'un seul 1 » qu'il serait dépourvu de sens de dire : « 2 + 2 est, à 3 heures, égal à 4. »)

4.1273 Si nous voulons exprimer dans l'idéographie la proposition générale : « b est un successeur de a », nous avons alors besoin d'une expression pour le terme général de la série de formes :

aRb,

(∃x) : aRx . xRb,

(∃ x,y) : aRx . xRy . yRb...

Le terme général d'une série de formes ne peut être exprimé que par une variable, car le concept de terme de cette série de formes est un concept formel. (Ce qui a échappé à Frege et Russell ; la manière dont ils veulent exprimer des propositions générales comme celles de l'exemple ci-dessus est par conséquent fausse ; elle renferme un cercle vicieux.)

Nous pouvons déterminer le terme général d'une série de formes en donnant son premier terme et la forme générale de l'opération qui produit le terme suivant à partir de la proposition précédente.

4.1274 La question de l'existence^[14] d'un concept formel est dépourvue de sens car aucune proposition ne peut répondre à une telle question.

(On ne peut donc demander, par exemple : « Y a-t-il des propositions de la forme sujet-prédicat qui soient non analysables ? »)

4.128 Les formes logiques n'ont pas de nombre.

C'est pourquoi il n'y a pas en logique de nombres distingués, et c'est pourquoi il n'y a pas de monisme ou de dualisme philosophique, etc.

[Afficher]4.2 Le sens de la proposition est son accord ou son désaccord avec les possibilités de subsistance ou de non-subsistance des états de choses.

[Afficher]4.21 La proposition la plus simple, la proposition élémentaire, affirme la subsistance d'un état de choses.

[Afficher]4.22 La proposition élémentaire se compose de noms. Elle est une interdépendance, un enchaînement de noms.

4.23 Le nom n'apparaît dans la proposition que lié dans la proposition élémentaire.

[Afficher]4.24 Les noms sont les symboles simples, je les indique par des lettres simples (« x », « y », « z »).

J'écris la proposition élémentaire comme fonction de noms, sous la forme : « fx », « φ(x,y) », etc.

Ou bien je l'indique au moyen des lettres p, q, r.

4.25 Si la proposition élémentaire est vraie, l'état de choses subsiste ; si la proposition élémentaire est fausse, l'état de choses ne subsiste pas.

4.26 La donnée de toutes les propositions élémentaires vraies décrit complètement le monde. Le monde est complètement décrit par la donnée de toutes les propositions élémentaires, plus la donnée de celles qui sont vraies et de celles qui sont fausses.

4.27 Concernant la subsistance et la non-subsistance de n états de choses, il y a :

Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle K_n = \sum_{\nu=0}^n \binom{n}{\nu}} possibilités^[16].

Pour toute combinaison d'états de choses, il est possible qu'elle subsiste, les autres ne subsistant pas.

4.28 À ces combinaisons correspondent exactement autant de possibilités de vérité – ou de fausseté – de n propositions élémentaires.

[Afficher]4.3 Les possibilités de vérité des propositions élémentaires signifient les possibilités de subsistance ou de non-subsistance des états de choses.

[Afficher]4.4 La proposition est l'expression de l'accord et du désaccord avec les possibilités de vérité des propositions élémentaires.

[Afficher]4.41 Les possibilités de vérité des propositions élémentaires sont les conditions de la vérité et de la fausseté des propositions.

4.42 Concernant l'accord et le désaccord d'une proposition avec les possibilités de vérité de n propositions élémentaires, il y a :

Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{\kappa=0}^{K_n} \binom{K_n}{\kappa} = L_n} ^[17] possibilités.

[Afficher]4.43 L'accord avec les possibilités de vérité peut être exprimé en adjoignant à celles-ci, dans le schéma, par exemple la marque « V » (vrai).

L'absence de cette marque signifie la non-concordance.

[Afficher]4.44 Le signe qui naît de l'adjonction de la marque « V » et des possibilités de vérité est un signe propositionnel.

4.45 Pour n propositions élémentaires il y a L_n groupes possibles de conditions de vérité.

Les groupes de conditions de vérité qui appartiennent aux possibilités de vérité d'un nombre donné de propositions élémentaires peuvent être ordonnés selon une série.

[Afficher]4.46 Parmi les groupes possibles de conditions de vérité, il existe deux cas extrêmes.

Dans l'un d'eux, la proposition est vraie pour toutes les possibilités de vérité des propositions élémentaires. Nous disons que les conditions de vérité sont tautologiques.

Dans le second cas, la proposition est fausse pour toutes les possibilités de vérité : les conditions de vérité sont contradictoires.

Dans le premier cas, nous appelons la proposition tautologie, dans le second cas contradiction.

[Afficher]4.461 La proposition montre ce qu'elle dit, la tautologie et la contradiction montrent qu'elles ne disent rien.

La tautologie n'a pas de conditions de vérité, car elle est inconditionnellement vraie ; et la contradiction n'est vraie sous aucune condition.

La tautologie et la contradiction sont vides de sens^[18]. (Comme le point, duquel partent deux flèches en directions opposées.)

(Je ne sais rien du temps qu'il fait par exemple, lorsque je sais ou il pleut ou il ne pleut pas.)

4.462 La tautologie et la contradiction ne sont pas des images de la réalité. Elles ne figurent aucune situation possible. Car celle-là permet toute situation possible, celle-ci aucune.

Dans la tautologie les conditions de l'accord avec le monde – les relations de figuration – s'annulent mutuellement, de sorte qu'elle n'entretient aucune relation de figuration avec la réalité.

4.463 Les conditions de vérité déterminent le domaine de variation laissé aux faits par la proposition.

(La proposition, l'image, le modèle sont, en un sens négatif, comme un corps solide qui limite la liberté de mouvement des autres corps ; dans un sens positif, comme l'espace borné par une substance solide, où un corps peut être placé.)

La tautologie laisse à la réalité la totalité – infinie – de l'espace logique ; la contradiction remplit la totalité de l'espace logique et ne laisse à la réalité aucun point. Aucune des deux ne peut donc déterminer en quelque manière la réalité.

4.464 La vérité de la tautologie est certaine, celle d'une proposition est possible, celle de la contradiction impossible.

(Certain, possible, impossible : nous avons ici l'indice des degrés dont nous avons besoin dans la théorie des probabilités.)

4.465 Le produit logique d'une tautologie et d'une proposition dit la même chose que cette proposition. Ce produit est donc identique à la proposition. Car on ne peut altérer ce qui est essentiel à un symbole sans altérer son sens.

[Afficher]4.466 À une connexion logique déterminée de signes correspond une connexion logique déterminée de leurs significations ; toute connexion arbitraire ne correspond qu'à des signes sans connexion.

C'est-à-dire que des propositions vraies pour chaque situation ne peuvent absolument pas être des connexions de signes, car ne pourraient en ce cas leur correspondre que des connexions déterminées d'objets.

(Et à l'absence de connexion logique correspond l'absence de connexion d'objets.)

La tautologie et la contradiction sont les cas limites de la connexion de signes, à savoir sa dissolution.

[Afficher]4.5 Il paraît maintenant possible de poser la forme la plus générale de la proposition, c'est-à-dire la description des propositions d'une langue symbolique quelconque, de telle sorte que chaque sens possible puisse être exprimé par un symbole auquel la description convienne, et que chaque symbole auquel la description convienne puisse exprimer un sens, si les significations des noms sont choisies adéquatement.

Il est clair que dans la description de la forme la plus générale de la proposition, l'essentiel seul peut être décrit – sans quoi elle ne saurait être la description la plus générale.

Qu'il y ait une forme générale de la proposition, ceci le prouve qu'il ne peut y avoir aucune proposition dont on n'aurait pu prévoir la forme (c'est-à-dire la construire). La forme générale de la proposition est : ce qui a lieu est ainsi et ainsi.

[Afficher]5 La proposition est une fonction de vérité des propositions élémentaires.

(La proposition élémentaire est une fonction de vérité d'elle-même.)

5.01 Les propositions élémentaires sont les arguments de vérité de la proposition.

5.02 Il est facile de confondre les arguments des fonctions avec les indices des noms. Je reconnais en effet aussi bien sur un argument que sur un indice la signification du signe qui les contient.

Chez Russell « _c » dans « +_c » est un indice qui montre que le signe dans son ensemble est le symbole de l'addition pour les cardinaux. Mais cette dénotation repose sur une convention arbitraire, et l'on pourrait, au lieu de « +_c », choisir un signe simple ; dans « ~p » au contraire, « p » n'est pas un indice mais un argument : le sens de « ~p » ne peut pas être compris sans qu'ait été compris auparavant le sens de « p ». (Dans le nom Julius Caesar, Julius est un indice. L'indice est toujours une partie de la description de l'objet au nom duquel nous l'apposons. Par exemple : le Caesar parmi les membres de la gens Julia.)

C'est la confusion de l'argument et de l'indice qui est à la base, si je ne me trompe, de la théorie de Frege sur la signification des propositions et des fonctions. Pour Frege, les propositions de la logique étaient des noms, et leurs arguments des indices de ces noms.

[Afficher]5.1 Les fonctions de vérité peuvent être ordonnées en séries.

Tel est le fondement de la théorie des probabilités.

5.101 Les fonctions de vérité de tout nombre donné de propositions élémentaires peuvent être écrites selon un schéma du type suivant :

(VVVV)(p, q)	Tautologie	(si p alors p ; et si q alors q.) (p ⊃ p . q ⊃ q)
(FVVV)(p, q)	soit :	pas à la fois p et q. (~(p . q))
(VFVV)(p, q)	«	si q alors p. (q ⊃ p)
(VVFV)(p, q)	«	si p alors q. (p ⊃ q)
(VVVF)(p, q)	«	p ou q. (p ∨ q)
(FFVV)(p, q)	«	non q. ~q
(FVFV)(p, q)	«	non p. ~p
(FVVF)(p, q)	«	p ou q, mais pas les deux. (p . ~q : ∨ : q . ~p)
(VFFV)(p, q)	«	si p alors q ; et si q alors p. (p ≡ q)
(VFVF)(p, q)	«	p
(VVFF)(p, q)	«	q
(FFFV)(p, q)	«	ni p ni q. (~p . ~q) ou (p \| q)
(FFVF)(p, q)	«	p et non q. (p . ~q)
(FVFF)(p, q)	«	q et non p. (q . ~p)
(VFFF)(p, q)	«	q et p. (q . p)
(FFFF)(p, q)	Contradiction	(p et non p ; et q et non q.) (p . ~p . q . ~q)

À ces possibilités de vérité de ses arguments de vérité qui vérifient une proposition, je donnerai le nom de fondements de vérité de cette proposition.

5.11 Si les fondements de vérité communs à un certain nombre de propositions sont aussi, pris ensemble, fondements de vérité d'une proposition déterminée, nous disons que la vérité de celle-ci suit de la vérité de celles-là.

[Afficher]5.12 En particulier, la vérité d'une proposition « p » suit de la vérité d'une proposition « q » quand tous les fondements de vérité de la seconde sont fondements de vérité de la première.

[Afficher]5.13 Que la vérité d'une proposition suive de la vérité d'autres propositions nous le voyons par leur structure.

[Afficher]5.131 Si la vérité d'une proposition suit de la vérité d'autres propositions, ceci s'exprime dans les relations qu'ont entre elles leurs formes ; et nous n'avons certes nul besoin de les mettre d'abord dans ces relations en les combinant dans une proposition unique, car ces relations sont au contraire internes, et elles subsistent dès que subsistent ces propositions, et par cette subsistance même.

5.132 Si p suit de q, je puis déduire p de q, tirer de q la conséquence p.

La manière de déduire ne peut être tirée que des deux propositions.

Elles seules peuvent justifier la déduction.

Des « lois de la déduction », qui – comme chez Frege et Russell – doivent justifier les déductions, sont vides de sens, et seraient superflues.

5.133 Toute conséquence est conséquence a priori.

5.134 D'une proposition élémentaire ne suit aucune autre.

5.135 On ne peut en aucune manière déduire de la subsistance d'une situation quelconque la subsistance d'une autre situation totalement différente.

[Afficher]5.136 Il n'y a pas de lien causal qui justifierait une telle déduction.

[Afficher]5.14 Si une proposition suit d'une autre, celle-ci dit plus que celle-là, celle-là moins que celle-ci.

[Afficher]5.15 Si V_r est le nombre des fondements de vérité de la proposition « r », V_rs le nombre des fondements de vérité de la proposition « s » qui sont en même temps fondements de vérité de « r », nous nommons alors le rapport V_rs : V_r mesure de la probabilité que la proposition « r » confère à la proposition « s ».

[Afficher]5.151 Dans un schéma comme celui de 5.101, soit V_r le nombre des « V » de la proposition r ; V_rs le nombre des « V » de la proposition s qui correspondent, dans une même colonne à des « V » de la proposition r. La proposition r confère alors à la proposition s la probabilité V_rs : V_r.

5.152 Les propositions qui n'ont en commun aucun argument de vérité nous les nommerons mutuellement indépendantes.

Deux propositions élémentaires se confèrent mutuellement la probabilité 1/2.

Si p suit de q, la proposition « q » confère à la proposition « p » la probabilité 1. La certitude de la déduction logique est un cas limite de la probabilité.

(Application à la tautologie et à la contradiction.)

5.153 Une proposition n'est, en elle-même, ni probable ni improbable. Un événement se produit ou ne se produit pas, il n'y a pas de milieu.

5.154 Soient dans une urne autant de boules blanches de que boules noires (et nulles autres). Je tire une boule après l'autre et les remets dans l'urne. Je puis alors, par cette épreuve, établir que les nombres de boules noires et de boules blanches tirées se rapprochent à mesure que l'on poursuit le tirage.

Il ne s'agit donc pas là d'une propriété mathématique.

Si maintenant je dis : il est également probable que je tirerai une boule blanche ou une boule noire, cela signifie : toutes les circonstances de moi connues (y compris les lois de la nature prises comme hypothèses) ne confèrent pas à la production de l'un de ces événements plus de probabilité qu'à la production de l'autre. C'est-à-dire qu'elles donnent à chacun – comme on le conclut aisément des explications précédentes – la probabilité 1/2.

Ce que je confirme par cette épreuve, c'est que la production des deux événements est indépendante des circonstances que je ne connais pas plus exactement.

5.155 La proposition élémentaire de probabilité^[19] est : les circonstances – dont je n'ai pas par ailleurs une connaissance plus poussée – confèrent à la production d'un événement déterminé tel ou tel degré de probabilité.

5.156 C'est ainsi que la probabilité est une généralisation.

Elle enveloppe la description générale d'une forme propositionnelle.

Ce n'est qu'à défaut de certitude que nous utilisons la probabilité. Quand nous ne connaissons pas un fait complètement, tout en sachant quelque chose au sujet de sa forme.

(Une proposition peut certes n'être qu'incomplètement l'image d'une situation déterminée, mais elle est toujours une image complète.)

La proposition de probabilité est comme un extrait d'autres propositions.

[Afficher]5.2 Les structures des propositions ont entre elles des relations internes.

5.21 Nous pouvons souligner par notre mode d'expression ces relations internes en figurant une proposition comme résultat d'une opération qui la produit à partir d'autres propositions (les bases de l'opération).

5.22 L'opération est l'expression d'une relation entre les structures de son résultat et celles de ses bases.

[Afficher]5.23 L'opération est ce qui doit arriver à une proposition pour que l'autre en résulte.

[Afficher]5.24 L'opération se manifeste dans une variable ; elle montre comment, d'une forme de propositions, on parvient à la forme d'autres propositions.

Elle donne une expression à la différence des formes.

(Et ce qui est commun aux bases et au résultat de l'opération, ce sont justement les bases.)

[Afficher]5.25 L'occurrence de l'opération ne caractérise nullement le sens de la proposition.

L'opération en effet ne dit rien, mais seulement son résultat, et celui-ci dépend des bases de l'opération.

(Opération et fonction ne doivent pas être confondues.)

[Afficher]5.3 Toutes les propositions sont les résultats d'opérations de vérité sur des propositions élémentaires.

Une opération de vérité est la manière dont, à partir de propositions élémentaires, naît une fonction de vérité.

De par la nature de l'opération de vérité, de même que naît de propositions élémentaires leur fonction de vérité, de même naîtra de fonctions de vérité une fonction de vérité nouvelle. Chaque opération de vérité engendre, à partir de fonctions de vérité de propositions élémentaires, une nouvelle fonction de vérité de propositions élémentaires, une proposition. Le résultat de chaque opération de vérité ayant pour base des résultats d'opérations de vérités sur des propositions élémentaires est à nouveau le résultat d'une opération de vérité sur des propositions élémentaires.

Chaque proposition est le résultat d'opérations de vérité sur des propositions élémentaires.

[Afficher]5.4 Il devient ici manifeste qu'il n'y a pas d'« objets logiques », de « constantes logiques » (au sens de Frege et Russell).

5.41 Car sont identiques entre eux tous les résultats d'opérations de vérité sur des fonctions de vérité, s'ils sont une seule et même fonction de vérité de propositions élémentaires.

5.42 Il est évident que ∨, ⊃, etc., ne sont pas des relations au sens de : à droite de, à gauche de, etc.

La possibilité des définitions réciproques des signes logiques « primitifs » de Frege et Russell montre déjà que ce ne sont pas des signes primitifs, et encore mieux qu'ils ne désignent aucune relation.

Et il est patent que le « ⊃ » que nous définissons au moyen de « ~ » et de « ∨ » est identique à celui au moyen duquel nous définissons « ∨ » en usant de « ~ », et que ce « ∨ » est identique au premier. Et ainsi de suite.

5.43 Qu'à partir du fait p doivent s'ensuivre une infinité d'autres faits, à savoir ~~p, ~~~~p, etc., voilà qui est au premier abord à peine croyable. Et il n'est pas moins remarquable que le nombre infini des propositions de la logique (de la mathématique) suivent d'une demi-douzaine de « lois fondamentales ».

Mais toutes les propositions de la logique disent la même chose. A savoir : rien.

[Afficher]5.44 Les fonctions de vérité ne sont pas des fonctions matérielles.

Si l'on peut, par exemple, engendrer une affirmation par une double négation, la négation est-elle donc alors en un certain sens contenue dans l'affirmation ? « ~~p » nie-t-il ~p, ou affirme-t-il p ; ou les deux à la fois ?

La proposition « ~~p » ne traite pas la négation comme un objet ; mais la possibilité de la négation est assurément présupposée dans l'affirmation.

Et s'il y avait un objet nommé « ~ », « ~~p » devrait dire autre chose que « p ». Car l'une des deux propositions traiterait justement de ~, et l'autre point.

[Afficher]5.45 S'il y a des signes logiques primitifs, une logique correcte doit rendre claire leur position relative, et justifier leur existence. La construction de la logique à partir de ses signes primitifs doit être rendue claire.

5.451 Si la logique a des concepts fondamentaux, ils doivent être mutuellement indépendants. Si un concept fondamental est introduit, il doit être introduit dans toutes les connexions dans lesquelles il peut apparaître. On ne peut donc l'introduire d'abord pour l'une d'elles, puis de nouveau pour une autre. Par exemple, si la négation est introduite, nous devons alors la comprendre dans des propositions de la forme « ~p » aussi bien que dans « ~(p ∨ q) », « (∃x) . ~fx », etc. Nous n'avons pas le droit de l'introduire d'abord pour une classe de cas, puis pour les autres, car il demeurerait alors douteux si sa signification dans les deux cas est la même, et l'on ne disposerait d' aucune raison d'user dans les deux cas du même mode de connexion des signes.

(En bref, pour l'introduction de signes primitifs, vaut mutatis mutandis ce que dit Frege (Lois fondamentales de l'arithmétique) de l'introduction des signes au moyen de définitions^[20].)

5.452 L'introduction d'un expédient nouveau dans le symbolisme logique est nécessairement un événement lourd de conséquences. Aucun expédient nouveau ne devrait en logique être introduit, pour ainsi dire, avec des airs innocents, comme parenthèse ou comme note.

(C'est ainsi que dans les Principia Mathematica de Russell et Whitehead des définitions et des lois fondamentales sont données en mots ordinaires. Pourquoi ce soudain usage de mots ? Ceci appellerait une justification, qui manque, et doit manquer, car cette façon de procéder est en fait inadmissible.)

Mais si l'introduction d'un nouvel expédient en un certain endroit se révèle indispensable, on doit aussitôt se demander : où cet expédient doit-il être maintenant constamment appliqué ? Sa place en logique doit désormais être expliquée.

5.453 Tout nombre, en logique, doit être justifié.

Ou plutôt, il doit ressortir qu'en logique il n'y a pas de nombres.

Il n'y a pas de nombres distingués.

[Afficher]5.454 En logique, il ne peut y avoir de coordination ni de classification.

En logique, il ne peut y avoir un plus général et un plus spécifique.

[Afficher]5.46 Si l'on introduisait correctement les signes logiques, on aurait du même coup déjà introduit le sens de toutes leurs combinaisons ; donc, non seulement « p ∨ q », mais encore « ~(p ∨ ~q) », etc., etc. On aurait introduit déjà du même coup l'effet de toutes les seules combinaisons possibles de parenthèses. Et il serait par là devenu clair que les authentiques signes primitifs généraux ne sont pas « p ∨ q », « (∃x) . fx », etc., mais plutôt la forme la plus générale de leurs combinaisons.

[Afficher]5.47 Il est clair que ce qui peut simplement être dit par avance de la forme de toutes les propositions, doit pouvoir se dire en une seule fois.

Toutes les opérations logiques sont déjà contenues dans les propositions élémentaires. Car « fa » dit la même chose que : « (∃fx) . fx . x = a ».

Là où il y a composition, il y a argument et fonction, et avec eux sont présentes toutes les constantes logiques.

On pourrait dire que la constante logique unique est ce que toutes les propositions, de par leur nature, ont en commun.

Mais cela, c'est la forme générale de la proposition.

[Afficher]5.471 La forme générale de la proposition est l'essence de la proposition.

5.472 La description de la forme la plus générale de la proposition, c'est la description du seul et unique signe primitif général de la logique.

[Afficher]5.473 La logique doit prendre soin d'elle-même.

Si un signe est possible, il est aussi capable de dénoter. En logique, tout ce qui est possible est aussi permis. (« Socrate est identique » ne veut rien dire parce qu'il n'y a aucune propriété appelée « identique ». La proposition est dépourvue de sens, parce que nous n'avons pas effectué une détermination arbitraire, mais non pas parce que le symbole serait illégitime en soi et par soi.)

En un certain sens, nous ne pouvons nous tromper en logique.

5.474 Le nombre des opérations fondamentales nécessaires ne dépend que de notre notation.

5.475 Il s'agit seulement de construire un système de signes ayant un nombre déterminé de dimensions – d'une multiplicité mathématique déterminée.

5.476 Il est clair qu'il n'est pas question ici d'un certain nombre de concepts fondamentaux qui doivent être dénotés, mais de l'expression d'une règle.

[Afficher]5.5 Chaque fonction de vérité est le résultat d'applications successives de l'opération : (– – – – – V) (ξ,....) à des propositions élémentaires.

Cette opération nie l'ensemble des propositions comprises dans les parenthèses de droite, et je la nomme négation de ces propositions.

5.501 Une expression entre parenthèses, dont les membres sont des propositions dont l'ordre est arbitraire, je la note par un signe de la forme « Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ( \bar{\xi} )} ». « ξ » est une variable dont les valeurs sont les membres de l'expression entre parenthèses ; et la barre au-dessus de la variable note que celle-ci représente l'ensemble de ses valeurs dans les parenthèses.

(Si par exemple ξ a les trois valeurs P,Q,R :

Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle ( \bar{\xi} )} = (P,Q,R).)

Les valeurs des variables sont fixées. On les fixe en décrivant les propositions dont la variable tient lieu.

Le mode de description des membres de l'expression entre parenthèses n'est pas essentiel.

Nous pouvons distinguer trois espèces de description : 1. L'énumération directe. En ce cas, nous pouvons, au lieu de la variable, poser simplement ses valeurs constantes. 2. La donnée d'une fonction fx, dont les valeurs pour toutes les valeurs de x sont les propositions à décrire. 3. La donnée d'une loi formelle, selon laquelle ces propositions sont construites. En ce cas, les membres de l'expression entre parenthèses sont l'ensemble des membres d'une série de formes.

5.502 J'écris donc, au lieu de « (– – – – – V) (ξ,....) », « Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N ( \bar{\xi} )} ».

Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N ( \bar{\xi} )} est la négation de l'ensemble des valeurs de la variable propositionnelle ξ.

5.503 Puisqu'il est patent que l'on peut aisément exprimer comment, au moyen de cette opération, des propositions peuvent être construites et comment des propositions ne le peuvent pas, ceci doit donc pouvoir trouver une expression exacte.

[Afficher]5.51 Si ξ n'a qu'une seule valeur, Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N ( \bar{\xi} )} = ~p (non p) ; si elle en a deux, Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N ( \bar{\xi} )} = ~p . ~q (ni p, ni q).

5.511 Comment la logique, qui embrasse toute chose et reflète le monde, peut-elle avoir recours à des manipulations et à des instruments si particuliers ? Simplement parce qu'ils se relient tous dans un réseau infiniment fin, dans le grand miroir.

5.512 « ~p » est vraie si « p » est fausse. Par conséquent, dans la proposition vraie « ~p », « p » est une proposition fausse. Comment le trait « ~ » peut-il la rendre conforme à la réalité ?

Ce qui nie dans « ~p » ce n'est pas le « ~ », mais ce qui est commun à tous les signes de cette notation qui nient p.

Et par conséquent la règle commune selon laquelle sont construits « ~ p », « ~~~p », « ~p ∨ ~p », « ~p . ~p », etc. (ad inf.). Et ce qui est commun est le reflet répété de la négation.

5.513 On pourrait dire : ce qui est commun à tous les symboles qui affirment à la fois p et q, c'est la proposition « p . q ». Ce qui est commun à tous les symboles qui affirment p ou q, c'est la proposition « p ∨ q ».

Et ainsi pourrait-on dire : deux propositions sont opposées quand elles n'ont rien en commun ; et : à chaque proposition correspond une seule négation, parce qu'il n'y a qu'une seule proposition qui lui soit complètement extérieure.

Dans la notation de Russell, se montre également que « q : p ∨ ~p » dit la même chose que « q » ; que « p ∨ ~p » ne dit rien.

5.514 Quand une notation est fixée, elle comporte une règle selon laquelle toutes les propositions qui nient p sont construites ; une règle selon laquelle toutes les propositions affirmant p sont construites ; une règle selon laquelle toutes les propositions affirmant p ou q sont construites, et ainsi de suite. Ces règles sont équivalentes aux symboles, et en elles se reflète leur sens.

[Afficher]5.515 Il doit se montrer dans nos symboles que ce qui est combiné par « ∨ », « . », etc., ce doit être des propositions.

Et c'est en effet le cas, car le symbole « p » et le symbole « q » présupposent d'eux-mêmes les « ∨ », « ~ », etc. Si le signe « p » dans « p ∨ q » ne tient pas lieu d'un signe complexe, il ne peut avoir de sens pris isolément ; et les signes « p ∨ p », « p . p » équivalents à « p » ne peuvent non plus avoir aucun sens. Mais si « p ∨ p » n'a aucun sens, « p ∨ q » ne peut en avoir un.

[Afficher]5.52 Si les valeurs de ξ sont l'ensemble des valeurs d'une fonction fx pour toutes les valeurs de x, alors Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N ( \bar{\xi} )} = ~(∃x) . fx.

5.521 Je sépare le concept tous de la fonction de vérité.

Frege et Russell ont introduit la généralisation en connexion avec le produit ou la somme logique. Il était dès lors difficile de comprendre les propositions « (∃x) . fx » et « (x) . fx », dans lesquelles les deux idées sont impliquées.

5.522 Le propre de la notation du général c'est, premièrement qu'elle renvoie à une image primitive, et, deuxièmement, qu'elle met en vedette des constantes.

5.523 La notation du général s'introduit comme argument.

5.524 Si les objets sont donnés, alors nous sont du même coup donnés tous les objets.

Si les propositions élémentaires sont données, alors sont données du même coup toutes les propositions élémentaires.

5.525 Il est incorrect de traduire en mots, comme l'a fait Russell, la proposition « (∃x) . fx » par « fx est possible ».

La certitude, la possibilité, ou l'impossibilité d'une situation ne s'expriment pas au moyen d'une proposition, mais par ceci qu'une expression est une tautologie, une proposition pourvue de sens ou une contradiction.

Cette circonstance préliminaire, à laquelle on voudrait toujours faire appel, doit déjà être présente dans les symboles mêmes.

[Afficher]5.526 On peut décrire complètement le monde au moyen de propositions totalement généralisées, c'est-à-dire, par conséquent, sans coordonner par avance aucun nom à un objet déterminé.

Pour passer alors au mode d'expression usuel il suffit, après une expression comme : « il y a un x et un seulement tel que... », d'ajouter : et cet x est a.

[Afficher]5.53 J'exprime l'égalité^[22] des objets par l'égalité des signes, et non au moyen d'un signe d'égalité. J'exprime la différence des objets par la différence des signes.

5.5301 Que l'identité^[21] ne soit pas une relation entre objets, c'est évident. Cela devient très clair, si l'on considère, par exemple, la proposition : « (x) : fx . ⊃ . x = a ». Cette proposition dit simplement que a est seul à satisfaire la fonction f, et non que seules satisfont la fonction f des choses qui ont une relation déterminée avec a.

On pourrait dire alors, il est vrai, que a seul a cette relation avec a, mais pour exprimer cela nous aurions besoin du signe d'égalité lui-même.

5.5302 La définition que donne Russell de « = » ne suffit pas ; car on ne peut, selon elle, dire que deux objets ont en commun toutes leurs propriétés. (Même si cette proposition est incorrecte, elle a pourtant un sens.)

5.5303 Sommairement parlant, dire que deux choses sont identiques est dépourvu de sens, et dire d'une chose qu'elle est identique à elle-même c'est ne rien dire du tout.

5.531 Je n'écris donc pas « f(a,b) . a = b », mais « f(a,a) » (ou « f(b,b) »). Ni « f(a,b) . ~ a = b », mais « f(a,b) ».

[Afficher]5.532 Et de même, non pas « (∃x,y) . f(x,y) . x = y » mais « (∃x) . f(x,x) » ; ni « (∃x,y) . f(x,y) . ~x = y) », mais « (∃x,y) . f(x,y) ».

(Donc, au lieu de la formule de Russell « (∃x,y) . f(x,y) », j'écris « (∃x,y) . f(x,y) . ∨ . (∃x) . f(x,x) ».)

5.533 Le signe d'égalité n'est donc pas un élément essentiel de l'idéographie.

5.534 Et nous voyons maintenant que des pseudo-propositions telles que : « a = a », « a = b . b = c . ⊃ a = c », « (x) . x = x », « (∃x) . x = a », etc., ne se laissent absolument pas écrire dans une idéographie correcte.

[Afficher]5.535 Par là sont aussi réglés tous les problèmes liés à de telles pseudo-propositions.

Tous les problèmes introduits par l'« axiome de l'infini » de Russell trouvent alors ici une solution.

Ce que doit dire l'axiome de l'infini pourrait s'exprimer dans la langue par ceci, qu'il y a une infinité de noms avec des significations différentes.

[Afficher]5.54 Dans la forme générale de la proposition, la proposition n'apparaît dans une proposition que comme base d'une opération de vérité.

[Afficher]5.55 Il nous faut maintenant répondre a priori à la question concernant toutes les formes possibles de propositions élémentaires.

La proposition élémentaire se compose de noms. Mais puisque nous ne pouvons fixer le nombre des noms ayant des significations distinctes, nous ne pouvons de même fixer la composition de la proposition élémentaire.

5.551 Notre principe est que toute question susceptible d'être en général décidée par la logique, doit pouvoir être décidée sans autre apport.

(Et si nous nous trouvons en situation de devoir résoudre un tel problème en observant le monde, cela montre que nous nous sommes engagés dans une voie fondamentalement erronée.)

[Afficher]5.552 L'« expérience » dont nous avons besoin pour comprendre la logique, ce n'est pas qu'il y ait tel ou tel état de choses, mais qu'il y ait quelque chose : mais ce n'est pas là une expérience.

La logique est antérieure à toute expérience – que quelque chose est ainsi. Elle est antérieure au Comment, non au Quoi.

5.553 Russell a dit qu'il y avait des relations simples entre différents nombres de choses (d'individus). Mais entre quels nombres ? Et comment doit-il en être décidé ? Par l'expérience ?

(Il n'y a pas de nombre distingué.)

[Afficher]5.554 La fixation de chaque forme spécifique serait totalement arbitraire.

5.555 Il est clair que nous avons le concept de proposition élémentaire indépendamment de sa forme logique particulière.

Mais quand il est possible de créer des symboles selon un système, c'est ce système qui est logiquement important et non les symboles individuels.

Et comment se pourrait-il qu'en logique j'aie affaire à des formes que je puis inventer ; c'est bien plutôt à ce qui me rend capable de les inventer que je dois avoir affaire.

[Afficher]5.556 Il ne peut y avoir de hiérarchie des formes des propositions élémentaires. Nous ne pouvons anticiper que ce que nous-mêmes construisons.

[Afficher]5.557 L'application de la logique décide quelles sont les propositions élémentaires.

Ce qui appartient à son application, la logique ne peut le présupposer.

Il est clair que la logique ne saurait entrer en conflit avec son application.

Mais la logique doit être en contact avec son application.

La logique et son application ne doivent donc pas empiéter l'une sur l'autre.

[Afficher]5.6 Les frontières de mon langage sont les frontières de mon monde.

5.61 La logique remplit le monde ; les frontières du monde sont aussi ses frontières.

Nous ne pouvons donc dire en logique : il y a ceci et ceci dans le monde, mais pas cela.

Car ce serait apparemment présupposer que nous excluons certaines possibilités, ce qui ne peut avoir lieu, car alors la logique devrait passer au-delà des frontières du monde ; comme si elle pouvait observer ces frontières également à partir de l'autre bord.

Ce que nous ne pouvons penser, nous ne pouvons le penser ; nous ne pouvons donc davantage dire ce que nous ne pouvons penser.

[Afficher]5.62 Cette remarque fournit la clef pour décider de la réponse à la question : dans quelle mesure le solipsisme est-il une vérité ?

Car ce que le solipsisme veut signifier est tout à fait correct, seulement cela ne peut se dire, mais se montre.

Que le monde soit mon monde se montre en ceci que les frontières du langage (le seul langage que je comprenne) signifient les frontières de mon monde.

[Afficher]5.63 Je suis mon monde. (Le microcosme.)

[Afficher]5.64 On voit ici que le solipsisme, développé en toute rigueur, coïncide avec le réalisme pur. Le je du solipsisme se réduit à un point sans extension, et il reste la réalité qui lui est coordonnée.

[Afficher]6 La forme générale de la fonction de vérité est : Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [ \bar{p}, \bar{\xi}, N (\bar{\xi}) ]} .

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 Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N ( \bar{\xi} )} à 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 proposition en engendre une autre.

6.01 La forme générale de l'opération Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Omega ' (\bar{\eta})} est donc : Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\bar{\xi}, N(\bar{\xi})]' (\bar{\eta}) (= [ \bar{\eta}, \bar{\xi}, N (\bar{\xi}) ])} .

Ce qui est la forme générale du passage d'une proposition à une autre.

[Afficher]6.02 Ainsi en venons-nous aux nombres : je définis

Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x = \Omega^{0 \prime} x \text{ Déf.}} et
Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Omega^{\prime} \Omega^{ \nu \prime} x = \Omega^{ \nu + 1 \prime} x \text{ Déf.}}

Conformément à ces règles de signes nous écrivons donc la série Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x, \Omega ' x, \Omega ' \Omega ' x, \Omega ' \Omega ' \Omega ' x, ...}

de cette manière : Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \Omega^{0 \prime} x, \Omega^{0+1 \prime} x, \Omega^{0 + 1 + 1 \prime} x, \Omega^{0 + 1 + 1 + 1 \prime} x, ...}

J'écris donc, au lieu de « Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [ x, \xi, \Omega ' \xi ]} » :

« Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [ \Omega^{0 \prime} x, \Omega^{ \nu \prime} x, \Omega^{ \nu + 1 \prime} x ]} ».

Et je définis :

Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0 + 1 = 1 \text{ Déf.}}

Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0 + 1 + 1 = 2 \text{ Déf.}}

Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0 + 1 + 1 + 1 = 3 \text{ Déf.}}

(etc.)

[Afficher]6.03 La forme générale du nombre entier est : [0, ξ, ξ+1].

[Afficher]6.1 Les propositions de la logique sont des tautologies.

[Afficher]6.11 Les propositions de la logique ne disent donc rien. (Ce sont les propositions analytiques.)

[Afficher]6.12 Que les propositions de la logique soient des tautologies montre les propriétés formelles – logiques – de la langue, du monde.

Que les composants liés de cette manière engendrent une tautologie, voilà qui caractérise la logique de ses composants.

Pour que des propositions liées d'une certaine manière engendrent une tautologie, elles doivent avoir des propriétés déterminées de structure. Qu'elles engendrent, dans cette connexion, une tautologie, montre donc qu'elles possèdent ces propriétés de structure.

6.1201 Que par exemple les propositions « p » et « ~p » dans la connexion « ~(p . ~p) » engendrent une tautologie montre qu'elles se contredisent l'une l'autre. Que les propositions « p ⊃ q », « p », et « q » liées sous la forme : « (p ⊃ q) . (p) : ⊃ : (q) » engendrent une tautologie montre que q suit de p et de p ⊃ q. Que « (x) . fx : ⊃ : fa » soit une tautologie montre que fa suit de (x) . fx, etc., etc.

6.1202 Il est clair que l'on pourrait, au lieu des tautologies, employer les contradictions.

6.1203 Pour reconnaître une tautologie comme telle, on peut dans les cas où aucun signe de généralisation n'y apparaît, se servir de la méthode intuitive suivante : j'écris, au lieu de « p », « q », « r », etc., « VpF », « VqF », « VrF », etc. J'exprime les combinaisons de vérité au moyen d'accolades, par exemple :

et la correspondance de la vérité ou de la fausseté de la proposition entière, et des combinaisons de vérité de ses arguments de vérité, au moyen de traits de la manière suivante :

Ce signe, par exemple, figurerait donc la proposition p ⊃ q. Supposons maintenant que je veuille vérifier si, par exemple, la proposition ~(p. ~p) (loi de contradiction) est une tautologie.

La forme « ~ξ » sera dans notre notation écrite :

La forme « ξ . η » :

La proposition ~(p.~q) s'écrira par conséquent :

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^[23].

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.

[Afficher]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.

[Afficher]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.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 que plusieurs choses dans les symboles que nous utilisons étaient arbitraires, plusieurs ne l'étaient pas. En logique ce sont seulement les secondes qui expriment. Mais cela veut dire qu'en logique ce n'est pas nous qui exprimons, au moyen des signes, ce que nous voulons, mais qu'en logique c'est la nature des signes naturellement nécessaires qui elle-même se manifeste. Si nous connaissons la syntaxe logique d'un symbolisme quelconque, alors nous sont déjà données toutes les propositions de la logique.

[Afficher]6.125 Il est possible, et même selon la conception ancienne de la logique, de donner par avance une description de toutes les propositions logiques « vraies ».

[Afficher]6.126 On peut calculer si une proposition appartient à la logique en calculant les propriétés logiques du symbole.

Et c'est ce que nous faisons lorsque nous « démontrons » une proposition logique. Car, sans nous préoccuper de son sens^[24] ou de sa signification^[25], nous construisons la proposition logique à partir d'autres propositions au moyen de règles portant seulement sur les signes.

La démonstration des propositions logiques consiste en ce que nous l'engendrons à partir d'autres propositions logiques par applications successives d'opérations déterminées, lesquelles produisent toujours de nouvelles tautologies à partir des premières. (Car d'une tautologie ne suivent que des tautologies.)

Naturellement, cette façon de montrer que les propositions de la logique sont des tautologies ne lui est en aucune manière essentielle. Ne fût-ce que parce que les propositions dont part la démonstration doivent assurément montrer sans démonstration qu'elles sont des tautologies.

[Afficher]6.127 Toutes les propositions de la logique ont une égale légitimité, il n'y a pas parmi elles de lois fondamentales essentielles et de propositions dérivées.

Chaque tautologie montre par elle-même qu'elle est une tautologie.

6.13 La logique n'est point une théorie, mais une image qui reflète le monde.

La logique est transcendantale.

[Afficher]6.2 La mathématique est une méthode logique.

Les propositions de la mathématique sont des équations, et par conséquent des pseudo-propositions.

[Afficher]6.21 La proposition de la mathématique n'exprime aucune pensée.

6.22 La logique du monde, que les propositions de la logique montrent dans les tautologies, la mathématique la montre dans les équations.

[Afficher]6.23 Si deux propositions sont mises en connexion par le signe d'égalité, cela veut dire qu'elles sont mutuellement substituables. Mais si c'est le cas, les deux expressions mêmes doivent le montrer.

Qu'elles soient mutuellement substituables caractérise la forme logique des deux expressions.

[Afficher]6.24 La méthode dont use la mathématique pour obtenir ses équations est la méthode de substitution.

Les équations en effet expriment la substituabilité de deux expressions, et nous procédons d'un certain nombre d'équations à de nouvelles équations, en substituant, conformément aux équations, des expressions à d'autres.

[Afficher]6.3 L'exploration de la logique signifie l'exploration de toute capacité d'être soumis à des lois. Et hors de la logique, tout est hasard.

6.31 La prétendue loi d'induction ne peut en aucun cas être une loi logique, car elle est manifestement une loi pourvue de sens. Et elle ne peut par conséquent être une loi a priori.

[Afficher]6.32 La loi de causalité n'est pas une loi, mais la forme d'une loi.

6.33 Nous ne croyons pas a priori en une loi de conservation, mais nous connaissons a priori la possibilité d'une forme logique.

[Afficher]6.34 Toutes les propositions du genre du principe de raison suffisante, du principe de continuité de la nature, de moindre dépense dans la nature, etc., etc. sont toutes des vues a priori concernant la mise en forme possible des propositions de la science.

6.341 La mécanique newtonienne, par exemple, uniformise la description du monde. Figurons-nous une surface blanche, avec des taches noires irrégulières. Nous disons alors : tout ce qui ressort comme image, je puis toujours en donner une description aussi approchée que je veux, en recouvrant la surface d'un quadrillage convenablement fin et en disant de chaque carreau s'il est blanc ou noir. J'aurai ainsi uniformisé la description de la surface. Cette forme unique est arbitraire, car j'aurais pu utiliser avec le même succès un réseau à mailles triangulaires ou hexagonales. Il se peut que la description au moyen d'un réseau à mailles triangulaires soit plus simple ; ce qui veut dire que nous pourrions décrire plus exactement la surface au moyen d'un réseau à mailles triangulaires plus grossier qu'avec un quadrillage plus fin (ou inversement), et ainsi de suite. Aux différents réseaux correspondent différents systèmes de description du monde. La mécanique détermine une forme de description du monde en disant : toutes les propositions de la description du monde doivent être obtenues d'une manière donnée à partir d'un certain nombre de propositions données – les axiomes de la mécanique. Ainsi la mécanique fournit-elle les pierres pour la construction de l'édifice de la science et dit : quel que soit l'édifice que tu veux élever, tu dois le construire d'une manière ou d'une autre en assemblant ces pierres et seulement elles.

(De même que l'on peut écrire n'importe quel nombre avec le système des nombres, de même avec le système de la mécanique on peut former n'importe quelle proposition de la physique.)

6.342 Nous voyons maintenant la position relative de la logique et de la mécanique. (On pourrait constituer le réseau avec des figures différentes, par exemple des triangles et des hexagones.) Qu'une image, comme celle mentionnée plus haut, se laisse décrire par un réseau de forme donnée ne dit rien concernant l'image. (Car ceci vaut pour toute image de cette espèce.) Mais ce qui caractérise l'image, c'est qu'elle se laisse décrire complètement par un réseau déterminé d'une finesse déterminée.

Ainsi, que le monde se laisse décrire par la mécanique newtonienne ne dit rien le concernant, mais qu'il se laisse ainsi décrire, comme c'est justement le cas, certes si. Et encore, qu'il se laisse décrire plus simplement par une mécanique que par une autre, ceci nous dit quelque chose concernant le monde.

[Afficher]6.343 La mécanique est un essai pour construire selon un plan unique toutes les propositions vraies dont nous avons besoin pour décrire le monde.

6.35 Bien que les taches dans notre image soient des figures géométriques, il va de soi que la géométrie ne peut rien dire quant à leur forme et leur position de fait. Le réseau, en revanche, est purement géométrique, toutes ses propriétés peuvent être données a priori.

Des lois comme le principe de raison suffisante, etc. concernent le réseau, non pas ce que le réseau décrit.

[Afficher]6.36 S'il y avait une loi de causalité, elle pourrait se formuler : « Il y a des lois de la nature. »

Mais à la vérité on ne peut le dire : cela se montre.

[Afficher]6.361 Dans la terminologie de Hertz, on pourrait dire : seules des interdépendances légales sont pensables.

6.362 Ce qui se laisse décrire peut aussi arriver, et ce que la loi de causalité doit exclure ne se laisse pas non plus décrire.

[Afficher]6.363 La procédure de l'induction consiste en ceci que nous adoptons la loi la plus simple qui puisse être mise en accord avec nos expériences.

[Afficher]6.37 Rien ne contraint quelque chose à arriver du fait qu'autre chose soit arrivé. Il n'est de nécessité que logique.

[Afficher]6.4 Toutes les propositions ont même valeur.

6.41 Le sens du monde doit être en dehors de lui. Dans le monde, tout est comme il est, et tout arrive comme il arrive ; il n'y a en lui aucune valeur – et s'il y en avait une elle serait sans valeur.

S'il y a une valeur qui a de la valeur, elle doit être extérieure à tout ce qui arrive, et à tout état particulier. Car tout ce qui arrive et tout état particulier est accidentel.

Ce qui le rend non accidentel ne peut être dans le monde, car ce serait retomber dans l'accident.

Ce doit être hors du monde.

[Afficher]6.42 C'est pourquoi il ne peut y avoir de propositions éthiques. Les propositions ne peuvent rien exprimer de Supérieur^[30].

[Afficher]6.43 Si le bon ou le mauvais vouloir changent le monde, ils ne peuvent changer que les frontières du monde, non les faits ; non ce qui peut être exprimé par le langage.

En bref, le monde doit alors devenir par là totalement autre. Il doit pouvoir, pour ainsi dire, diminuer ou croître dans son ensemble.

Le monde de l'homme heureux est un autre monde que celui de l'homme malheureux.

6.44 Ce n'est pas comment est le monde qui est le Mystique, mais qu'il soit.

6.45 La saisie du monde sub specie æterni est sa saisie comme totalité bornée.

Le sentiment du monde comme totalité bornée est le Mystique.

[Afficher]6.5 D'une réponse qu'on ne peut formuler, on ne peut non plus formuler la question.

Il n'y a pas d'énigme.

Si une question peut de quelque manière être posée, elle peut aussi recevoir une réponse.

7 Sur ce dont on ne peut parler, il faut garder le silence.

↑ Les nombres décimaux attachés à chaque proposition indiquent leur poids logique, leur importance dans mon exposition. Les propositions numérotées n.1, n.2, n.3, etc. sont des remarques à la proposition n ; les propositions numérotées n.ml, n.m2, etc. sont des remarques à la proposition n.m et ainsi de suite. (Seule note de Wittgenstein, toutes les autres, numérotées, sont du traducteur.)

↑ Publié dans Carnets (1914-1916), p. 235, trad. G. Granger, Gallimard, 1971.
↑ Sachlage. Employé par Wittgenstein apparemment comme substitut plus vague de fait possible ou réel.
↑ Wittgenstein use des mots darstellen, vorstellen, abbilden pour exprimer l'idée de représenter. Sans être sûr que les différences, dans son texte, soient toujours autres que purement stylistiques, je traduirai dans le Tractatus darstellen par figurer, vorstellen par présenter, abbilden par représenter et Abbildung par représentation. On trouvera aussi vertreten : être le représentant, le substitut de.
↑ Il y a trois définitions du monde : les faits dans l'espace logique (1.13), la totalité des états de choses subsistants (2.04), la totalité de la réalité (2.063), qui doivent coïncider.
↑ das Bestehen. La traduction « existence » me semble renvoyer trop directement à l'empirie, alors qu'il s'agit essentiellement d'existence dans l'espace logique. « Existence » traduira : Existenz, vocable qui semble être employé le plus souvent en un sens encore plus abstrait, par exemple l'existence d'un concept.
↑ bedeutet. On distinguera la traduction de ce verbe de celles de : aufweisen (montrer sans pouvoir exprimer, 2.172 par exemple), et de : bezeichnen (indiquer, dénoter, mot général et assez vague s'appliquant aussi bien au signe propositionnel qu'au nom). On traduira Bedeutung par : signification.
↑ aussprechen.
↑ unsinnig.
↑ Begriffsschrift.
↑ Existenz.
↑ Auteur de Contributions à une critique du langage (1903). Son influence sur Wittgenstein apparaît néanmoins clairement dans cette citation : « Sitôt que nous avons vraiment quelque chose à dire, il faut nous taire » (Contributions I, p. 111), à rapprocher de l'aphorisme 7 du Tractatus.
↑ Gleichnis.
↑ lebendes Bild. Nous empruntons à la traduction anglaise de D.F. Pears et B.F. McGuiness le mot français : « tableau vivant ».
↑ Existenz.
↑ sinnvolle.
↑ Wittgenstein note par le symbole Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \binom{n}{\nu}} le nombre des combinaisons de n objets ν à ν, soit :
Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{n!}{\nu! (n - \nu)!}}
Il y a en tout : Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{\nu=0}^n \binom{n}{\nu} = 2^n = K_n} situations possibles.
Il additionne en effet les nombres de combinaisons de n propositions (ou états de choses) dans lesquelles entrent 0, 1, 2,... ν propositions vraies (ou états de choses subsistants). Le calcul direct usuel du nombre des arrangements des 2 objets V et F n à n avec répétition est apparemment plus intuitif.
↑ D'après le calcul de la note précédente L = 2 exp 2ⁿ. Il s'agit alors en fait de dénombrer les connecteurs logiques de n propositions. On additionne les nombres de situations de n propositions comportant 0, 1, 2,... K_n combinaisons vraies. L'intérêt de ce calcul peu intuitif est qu'il est formellement identique au précédent, le nombre K_n des situations remplaçant le nombre n des propositions.
↑ sinnlos. Par opposition à unsinnig, dépourvu de sens. Tautologie et contradiction n'apportent aucune information sur le monde. Elles ont un sens, mais vide de tout contenu. Voir l'analogie avec le zéro arithmétique à l'aphorisme 4.4611.
↑ Die Einheit des Wahrscheinlichkeitssatzes.
↑ Grundgesetze, I. § 63. ; II. § 58., 67. En particulier une définition doit être « complète » ; elle doit permettre de donner un sens à l'application du concept à un objet, même si cette application est fausse.
↑ Identität.
↑ Gleichheit.
↑ 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 à :
↑ Sinn.
↑ Bedeutung.
↑ Bedeutung.
↑ Sinn.
↑ Widerspruch.
↑ Kontradiktion.
↑ nichts Höheres.

[tlp-note-1-2] Les nombres décimaux attachés à chaque proposition indiquent leur poids logique, leur importance dans mon exposition. Les propositions numérotées n.1, n.2, n.3, etc. sont des remarques à la proposition n ; les propositions numérotées n.ml, n.m2, etc. sont des remarques à la proposition n.m et ainsi de suite. (Seule note de Wittgenstein, toutes les autres, numérotées, sont du traducteur.)

[1] Publié dans Carnets (1914-1916), p. 235, trad. G. Granger, Gallimard, 1971.

[3] Sachlage. Employé par Wittgenstein apparemment comme substitut plus vague de fait possible ou réel.

[4] Wittgenstein use des mots darstellen, vorstellen, abbilden pour exprimer l'idée de représenter. Sans être sûr que les différences, dans son texte, soient toujours autres que purement stylistiques, je traduirai dans le Tractatus darstellen par figurer, vorstellen par présenter, abbilden par représenter et Abbildung par représentation. On trouvera aussi vertreten : être le représentant, le substitut de.

[5] Il y a trois définitions du monde : les faits dans l'espace logique (1.13), la totalité des états de choses subsistants (2.04), la totalité de la réalité (2.063), qui doivent coïncider.

[6] das Bestehen. La traduction « existence » me semble renvoyer trop directement à l'empirie, alors qu'il s'agit essentiellement d'existence dans l'espace logique. « Existence » traduira : Existenz, vocable qui semble être employé le plus souvent en un sens encore plus abstrait, par exemple l'existence d'un concept.

[7] bedeutet. On distinguera la traduction de ce verbe de celles de : aufweisen (montrer sans pouvoir exprimer, 2.172 par exemple), et de : bezeichnen (indiquer, dénoter, mot général et assez vague s'appliquant aussi bien au signe propositionnel qu'au nom). On traduira Bedeutung par : signification.

[8] aussprechen.

[9] unsinnig.

[10] Begriffsschrift.

[11] Existenz.

[12] Auteur de Contributions à une critique du langage (1903). Son influence sur Wittgenstein apparaît néanmoins clairement dans cette citation : « Sitôt que nous avons vraiment quelque chose à dire, il faut nous taire » (Contributions I, p. 111), à rapprocher de l'aphorisme 7 du Tractatus.

[13] Gleichnis.

[14] lebendes Bild. Nous empruntons à la traduction anglaise de D.F. Pears et B.F. McGuiness le mot français : « tableau vivant ».

[15] Existenz.

[16] sinnvolle.

[17] Wittgenstein note par le symbole Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \binom{n}{\nu}} le nombre des combinaisons de n objets ν à ν, soit :
Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{n!}{\nu! (n - \nu)!}}
Il y a en tout : Failed to parse (SVG with PNG fallback (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \sum_{\nu=0}^n \binom{n}{\nu} = 2^n = K_n} situations possibles.
Il additionne en effet les nombres de combinaisons de n propositions (ou états de choses) dans lesquelles entrent 0, 1, 2,... ν propositions vraies (ou états de choses subsistants). Le calcul direct usuel du nombre des arrangements des 2 objets V et F n à n avec répétition est apparemment plus intuitif.

[18] D'après le calcul de la note précédente L = 2 exp 2ⁿ. Il s'agit alors en fait de dénombrer les connecteurs logiques de n propositions. On additionne les nombres de situations de n propositions comportant 0, 1, 2,... K_n combinaisons vraies. L'intérêt de ce calcul peu intuitif est qu'il est formellement identique au précédent, le nombre K_n des situations remplaçant le nombre n des propositions.

[19] sinnlos. Par opposition à unsinnig, dépourvu de sens. Tautologie et contradiction n'apportent aucune information sur le monde. Elles ont un sens, mais vide de tout contenu. Voir l'analogie avec le zéro arithmétique à l'aphorisme 4.4611.

[20] Die Einheit des Wahrscheinlichkeitssatzes.

[21] Grundgesetze, I. § 63. ; II. § 58., 67. En particulier une définition doit être « complète » ; elle doit permettre de donner un sens à l'application du concept à un objet, même si cette application est fausse.

[22] Identität.

[23] Gleichheit.

[24] 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 à :

[25] Sinn.

[26] Bedeutung.

[27] Bedeutung.

[28] Sinn.

[29] Widerspruch.

[30] Kontradiktion.

[31] nichts Höheres.

[1]

[N]

[5]

[2]

[3]

[4]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[22]

[21]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]