L'Encyclopédie
Accueil · Philosophie · Méthodes

Les Arbres de Vérité

Logique → Une machine à prouver qu'un raisonnement est valide — ou à trouver exactement où il craque — Le langage naturel MENT — non par malice, mais par structure.

Logique → Une machine à prouver qu’un raisonnement est valide — ou à trouver exactement où il craque

1. Pourquoi formaliser ?

Le langage naturel MENT — non par malice, mais par structure. « Tous les Français ne sont pas grossiers » : est-ce que aucun ne l’est, ou est-ce que certains ne le sont pas ? La phrase est ambiguë ; le formalisme, non.

👉 La logique formelle sépare la FORME d’un raisonnement de son CONTENU. Un argument est valide ou non indépendamment de ce dont il parle. C’est le geste fondateur de la philosophie analytique — et l’outil vient de Frege.

⚠️ Distinction capitale, à ne jamais confondre :

Ça veut dire
VALIDE si les prémisses sont vraies, la conclusion DOIT l’être. C’est une propriété de la FORME.
VRAI ça correspond au monde. C’est une propriété du CONTENU.

👉 Un raisonnement peut être PARFAITEMENT VALIDE et TOTALEMENT FAUX (« Tous les chats volent ; Félix est un chat ; donc Félix vole » — impeccable, et absurde). Et il peut avoir des prémisses vraies, une conclusion vraie, et être INVALIDE. La logique ne dit pas ce qui est vrai : elle dit ce qui SUIT. Voir La Vérité, L’Esprit Critique.

2. Le vocabulaire (le minimum)

Symbole Nom Lecture
¬ négation « non P »
∧ conjonction « P et Q »
∨ disjonction « P ou Q » (inclusif : l’un, l’autre, ou les deux)
→ implication « si P alors Q »
↔ équivalence « P si et seulement si Q »
∀ quantificateur universel « pour tout x »
∃ quantificateur existentiel « il existe un x »

⚠️ Le piège de l’implication (→) : en logique, « P → Q » est VRAI dès que P est faux. « S’il pleut, je prends mon parapluie » — s’il ne pleut pas, la phrase est vraie quoi que je fasse. Cela heurte l’intuition, mais c’est nécessaire au système. (C’est le fameux « ex falso quodlibet » : du faux, on peut déduire n’importe quoi.)

3. La table de vérité (l’ancêtre)

On énumère TOUS les cas possibles. Pour n propositions, il y a 2ⁿ lignes.

Exemple : P → Q

P Q P → Q
V V V
V F F ← le seul cas faux !
F V V
F F V

👉 Une implication n’est fausse QUE dans un cas : quand la prémisse est vraie et la conclusion fausse. (C’est-à-dire : quand on vous a promis quelque chose et qu’on ne l’a pas tenu.)

⚠️ Limite fatale : avec 10 propositions, il faut 1 024 lignes. La méthode devient impraticable. D’où les arbres.

4. L’ARBRE DE VÉRITÉ (tableaux sémantiques)

L’idée est magnifique, et c’est une RÉFUTATION organisée :

Pour prouver qu’un argument est valide, on suppose qu’il est INVALIDE — et on montre que cela mène à une CONTRADICTION.

La méthode, en 4 étapes :

  1. Écrire toutes les PRÉMISSES.
  2. Écrire la NÉGATION de la conclusion. (On suppose donc : prémisses vraies ET conclusion fausse — c’est-à-dire exactement ce qu’un argument invalide autoriserait.)
  3. DÉCOMPOSER chaque formule selon des règles fixes, jusqu’aux propositions atomiques.
  4. Chercher les contradictions.

Les règles de décomposition (les seules à connaître) :

  • Règles LINÉAIRES (on continue tout droit) : P ∧ Q → on écrit P, puis Q. ¬(P ∨ Q) → on écrit ¬P, puis ¬Q.
  • Règles de BRANCHEMENT (l’arbre se divise en deux) : P ∨ Q → une branche P, une branche Q. P → Q → une branche ¬P, une branche Q. ¬(P ∧ Q) → une branche ¬P, une branche ¬Q.

La lecture du résultat — et c’est là que c’est beau :

  • Une branche qui contient à la fois X et ¬X est FERMÉE (on la marque ✗). Elle est impossible.
  • Si TOUTES les branches sont fermées → l’hypothèse (« prémisses vraies + conclusion fausse ») est impossible → 👉 L’ARGUMENT EST VALIDE.
  • S’il reste UNE SEULE branche ouverte → 👉 L’ARGUMENT EST INVALIDE. Et cette branche ouverte vous donne EXACTEMENT le contre-exemple : elle vous dit quelles valeurs de vérité rendent les prémisses vraies et la conclusion fausse.

👉 C’est ce qui rend la méthode supérieure à tout le reste : elle ne dit pas seulement « c’est faux ». Elle vous montre PRÉCISÉMENT OÙ ET POURQUOI. Elle fabrique le contre-exemple pour vous.

5. Un exemple complet (le modus tollens)

Argument : « Si P alors Q. Or non-Q. Donc non-P. »

1.  P → Q          (prémisse)
2.  ¬Q             (prémisse)
3.  ¬¬P            (NÉGATION de la conclusion « ¬P »)
4.  P              (de 3, double négation)

    Décomposons la ligne 1 (P → Q) : l'arbre se divise.
           ╱                    ╲
    5a.  ¬P                   5b.  Q
         ✗ (contredit 4 : P)       ✗ (contredit 2 : ¬Q)

Les deux branches sont FERMÉES. 👉 L’argument est VALIDE. (C’est le modus tollens — la forme même de la falsification de Popper : si ma théorie prédit Q, et que Q est faux, alors ma théorie est fausse.)

Contre-exemple d’un argument INVALIDE (l’erreur la plus commise au monde) : « Si P alors Q. Or Q. Donc P. » → C’est l’affirmation du conséquent. « S’il pleut, la route est mouillée. La route est mouillée. Donc il a plu. » ← NON (le camion-citerne est passé). L’arbre laisse une branche ouverte : ¬P et Q. Le contre-exemple est là, tout entier.

Dimension symbolique

  • Formaliser, c’est se rendre RÉFUTABLE. Un argument formalisé ne peut plus se cacher derrière le style, le charme, l’autorité ou le vocabulaire. Il est nu. 👉 C’est une éthique — l’exact contraire de l’effet gourou (où l’obscurité passe pour de la profondeur). Voir La Vulgarisation, Le Charisme, L’Esprit Critique.
  • Mais la logique ne pense pas à votre place. Elle vérifie la forme — jamais la pertinence des prémisses, ni le choix du problème, ni la signification. Un sophisme parfaitement valide reste un sophisme si ses prémisses sont fausses. La logique est un filtre, pas une source.
  • Et son grand échec est glorieux : Gödel (1931) a démontré que tout système formel assez puissant pour contenir l’arithmétique contient des vérités qu’il ne peut pas démontrer. 👉 La formalisation ne peut pas tout capturer — et c’est un THÉORÈME, pas un regret. La logique a prouvé sa propre limite. C’est peut-être son plus beau résultat.

À retenir

Formaliser sépare la FORME d’un raisonnement de son CONTENU. ⚠️ Ne jamais confondre VALIDE (si les prémisses sont vraies, la conclusion doit suivre — propriété de la forme) et VRAI (correspondance au monde — propriété du contenu) : « tous les chats volent ; Félix est un chat ; donc Félix vole » est parfaitement valide et totalement faux. La logique ne dit pas ce qui est vrai : elle dit ce qui SUIT. Piège de l’implication : « P → Q » est VRAI dès que P est faux — une implication n’est fausse que quand la prémisse est vraie et la conclusion fausse. L’ARBRE DE VÉRITÉ est une réfutation organisée : pour prouver qu’un argument est valide, on suppose qu’il est invalide (prémisses vraies + négation de la conclusion) et on montre que cela se contredit. On décompose (les règles ∧ vont tout droit ; ∨ et → font brancher l’arbre — pour P → Q, une branche ¬P, une branche Q), puis on ferme toute branche contenant X et ¬X. 👉 Toutes les branches fermées = argument VALIDE. Une seule branche ouverte = INVALIDE — et cette branche vous donne EXACTEMENT le contre-exemple. C’est sa supériorité : elle ne dit pas seulement que c’est faux, elle montre où et pourquoi. Erreur la plus fréquente au monde : l’affirmation du conséquent (« s’il pleut la route est mouillée ; la route est mouillée ; donc il a plu » — non : le camion-citerne). Et la limite est un théorème : Gödel (1931) — tout système assez puissant contient des vérités indémontrables en son sein. La logique a prouvé sa propre limite.

🔗 Liens

Fiches qui citent celle-ci (7)