Raisonnement mathématique, raisonnement philosophique et vulgarisation scientifique

La récente affaire de la thèse de M. Klein nous pousse à nous interroger sur cette difficulté réelle de la vulgarisation scientifique.

Malgré tous les efforts, la plupart des formules mathématiques restent difficiles à expliquer, et les concepts philosophiques difficiles à modéliser. Pourquoi? Comme nous l’avons vu dans nos articles sur l’imagination et la sensibilité, la raison est l’utilisation de langages différents, qui ne sont que partiellement congruents.

Des langues différentes

Les mathématiques reposent sur un langage unilatéral. Un = un et il n’y a rien d’autre à en dire. La langue des mathématiques est faite de nombres, organisés dans notre système décimal, et de formules, qui sont toutes dérivées de l’addition. Une soustraction est l’inverse, une multiplication est un recommencement de la même addition, une puissance est le recommencement d’une multiplication, la racine est l’inverse… Aux nombres et opérations, nous pouvons ajouter l’opposé: -1 est l’opposé de 1 et l’inverse: 1/1 et l’inverse de 1. Mais ce sont encore des dérivations de l’addition et des autres opérations qui sont déduites.

A partir de cette simplicité radicale de la quantité et de l’ordonnancement des quantités, les mathématiques sont univoques. On ne se « questionne » pas sur le 1. On peut se questionner sur la rationalité des nombres irrationnels, et un esprit à la foi logique et mathématique comme celui de Descartes les a refusés. Un esprit purement mathématique n’y voit aucun inconvénient, puisqu’il peut remplacer les nombres par des lettres et ne réfléchir que sur la forme de ses opérations.

Tel est le pouvoir des mathématiques, celui d’un langage le plus formel possible, qui ne s’embarrasse pas de la réalité sous-jacente. Notons également que les mathématiques sont un don de l’esprit. S’appuyer uniquement sur la logique formelle des opérations permet d’utiliser à fond l’intuition. De très grandes formules mathématiques ont été découvertes par intuition, laissant le soin de la démonstration à des esprits plus besogneux. Ainsi de certains théorème de Fermat ou de certaines découvertes d’Euler. Même le nombre Pi n’est rien d’autre que la présomption d’une proportion entre le rayon et le cercle, une proportion qui est parfaitement intuitive. Il est en effet impossible qu’il n’y ait pas de lien entre le rayon et la circonférence. Il est intuitivement impossible que ce rapport ne soit pas constant, la circonférence variant nécessairement à proportion du rayon.

Le langage du concept

A côté de cette belle univocité, la philosophie se heurte à la plurivocité du mot, encore plus à celle du concept et encore davantage à celle de la notion, ou de l’Idée. A chaque fois que l’ensemble est plus grand, la richesse des données subsumées inclut plus de diversité. C’est l’extension du concept. On ne réduit pas l’Idée à l’ensemble des R, nombres rationnels.

Les philosophes ont longuement rêvé d’égaler en philosophie la précision des mathématiques. Mais ils savaient également que c’était un rêve, puisqu’Aristote a posé dans son Organon et singulièrement dans le premier traité de cette série, Les Catégories, ce qu’est une pensée conceptuelle.

Le mot, qui est la matière première du philosophe, est plurivoque. Il ne se réduit pas à la quantité. Il a au contraire de multiples dimensions, celles qu’Aristote appelle justement les catégories: essence, substance, quantité, qualité, temps, lieu, relation, action ou passion… À vrai dire les catégories sont elles-mêmes infinies. Nous le savons désormais tous, puisque nous les utilisons tous les jours au travail pour qualifier nos travaux et faire nos reporting.

Aristote n’a pas achevé son travail de catégorie. Mais Kant l’a fait dans la Critique de la raison pure. Il a également synthétisé la différence entre les catégories, les manières de dire l’être, et les connecteurs logiques, les relations que nous pouvons établir entre les choses.

On le voit rapidement, la table des catégories de Kant reste très aristotélicienne. Il garde la relation dedans, au sens où elle porte sur la définition, l’expression de l’essence ou la substance.

Mais il la complète par une table des jugements qui est bien plus kantienne dans son essence purement formelle.

Notons par exemple que la causalité est incluse dans les catégories. Les quatre causes d’Aristote, matérielle, finale, formelle, efficiente, sont toutes incluses dans la série non développée de la causalité et de la dépendance. Et ce alors même que tous les jugements de causalité peuvent être soumis au crible de la table non pas vraiment des jugements, mais de la forme logique des jugements. Nous soulignons ce point qui est l’un des pivots entre les deux tables. A vrai dire, Kant n’a jamais terminé l’explicitation de ce travail. L’idéalisme allemand, qui tentera de déduire les catégories et jugements du rapport de la conscience à elle-même et au monde, le lui a assez reproché.

A vrai dire, la logique conceptuelle est un champ en perpétuel mouvement. Chaque philosophe tente d’en rénover le principe selon son intuition philosophique. D’où le fait que les principales méthodes philosophiques soient dialectiques et argumentatives. Il y a bien sûr des règles qui surnagent et restent inviolables. Le principe de non-contradiction est l’une d’elles. Mais pour qu’il s’applique, il faut encore que le sens des mots soit clair.Or, les mots sont définis par d’autres mots. Et les mots renvoient à des concepts, c’est-à-dire à un champ de signifiés (selon le nom que l’on utilise) ou de désignés. Le concept de chien renvoie à un ensemble très vaste et il faut de nombreux critères pour le séparer de chat, ou de félin… pour autant que ce soit réellement possible. Le chien est un ensemble qui regroupe des dizaines, peut-être une centaine de races appartenant toutes à l’espèce chien (selon l’ordre que l’on donne à espèce et race dans la théorie de ensembles). Les caractéristiques physiques ne suffisent pas à définir le chien. Même la définition passant par la possibilité de la reproduction est difficile, puisqu’il est possible d’accoupler un âne et un cheval. Le caractère stérile n’appartient qu’au produit de cette union.

Comme si la polysémie des termes ne suffisait pas, la pensée conceptuelle est confrontée à l’incroyable diversité de ses sujets. Ce pourquoi elle a été obligée de mettre en oeuvre la dialectique, l’art de la distinction. Cet art est parfaitement inutile en mathématiques. Il est aussi essentiel que difficile à manier en philosophie. Rappelons par exemple comment Platon se moque de la dialectique quand il s’agit de définir la politique dans le dialogue éponyme. Le philosophe qui part de trop loin ne fait que déterminer des tautologies, à savoir que la politique est l’art d’administrer les hommes, ou dit autrement, d’organiser la vie des hommes réunis dans un espace politique commun, comme une Cité. Bref, pas un grand résultat.

La philosophie cherche à produire du sens. Les mathématiques produisent de la cohérence logique.

La vulgarisation est-elle possible?

Cela explique également pourquoi la vulgarisation scientifique est si difficile. Les mathématiques, et surtout les esprits mathématiques, n’ont pas besoin, ou très peu et rarement d’un raisonnement conceptuellement explicite. Il fonctionne en vase clos sur leur propre système de preuve.

On ne peut que le regretter, notamment dans l’enseignement des mathématiques en France, qui a mis la rigueur formelle et logique avant la compréhension. Pas étonnant que tout le monde décroche quand on passe plus de temps à formaliser un domaine de définition qu’à donner les termes précis des différentes manières de dénombrer, première étape des statistiques et probabilité. C’est d’autant plus désolant que ces méthodes sont relativement accessibles et très utiles dans la vie de tous les jours. L’autre exemple délirant est celui du calcul intégral. Des centaines de vidéos et de descriptions en tout genre, dont aucun, à ma connaissance, n’arrive à expliquer pourquoi l’écart entre deux primitives donne l’espace entre la courbe et les axes sur repère.

La difficulté, c’est qu’il faut un esprit capable de faire les deux, des mathématiques et de la pensée conceptuelle. Or de tels esprits sont une rareté presque absolue. Les trois seuls véritables exemples sont Pythagore, Descartes, et Leibniz. Pascal n’a développé qu’une pensée religieuse relativiste. En physique, il reste un gros doute sur la paternité de l’expérience du vide, qui lui aurait été soufflée… par Descartes. Galilée est très empirique et le Dialogue sur les deux grands systèmes du monde, supposé faire le pivot entre l’ancienne physique aristotélicienne et la nouvelle, est conceptuellement faible. Newton en a fait plus dans sa Philosophie de la nature, mais le reste de son œuvre est soit catholique, soit mathématique, soit alchimique. Le concept lui a toujours échappé. Quant à Leibniz, nous disons cela en nous fondant sur sa paternité du calcul intégral, mais (contrairement aux autres œuvres citées), nous ne l’avons pas lu directement. Einstein n’a pas été un excellent vulgarisateur de son œuvre. Notamment parce qu’il n’a pas compris le jugement synthétique a priori et que la conception du temps et de l’espace de Kant rendent tout à fait possible la relativité, quand il a pensé l’inverse pour revenir à Descartes. Il ne reste donc en définitive que le grand, l’immense Descartes. Encore faut-il avoir le courage de lire ses oeuvres mathématiques qui sont écrites dans le style formel de l’époque, pour lequel nous n’avons pas trouvé de « traduction » dans le langage mathématique actuel.

L’épistémologie, la science impossible?

Nos grands vulgarisateurs se targuent de rendre accessibles les concepts derrière la science. La plupart ne font que répéter en boucle des discours convenus. Ils connaissent déjà à peine la pensée conceptuelle des philosophes. Comment pourrait-il la comparer à la pensée non conceptuelle et relevant souvent du génie, des mathématiciens? Ils adorent citer les grands noms, comme celui de Poincaré et des œuvres non scientifiques, comme La science et l’hypothèse. Mais que découvre-t-on dans ce texte? Un appareil conceptuel axiomatique qui pose ses principes sans les discuter, des principes, si je me rappelle bien, qui fondent la topologie, qui demande un niveau très avancé en géométrie. Et qui n’a, par son caractère axiomatique et spécfique à une branche des mathématiques aucun lien direct à la pensée philosophique et conceptuelle.

Alors philosophe, abstiens-toi, plutôt que de raconter des sornettes! Et si tu veux devenir un vulgarisateur, partage ton temps entre les calculs mathématiques et la philosophie. Plie ton esprit aux deux disciplines, jusqu’à être capable de parler ces deux langues. Peu ont vraiment réussi, dans un sens comme dans l’autre. Seras-tu l’élu?

Annexe

Oui, ton analogie est excellente — et elle capture avec justesse la nature formelle de la logique aristotélicienne, ainsi que sa relation à la réalité. C’est une comparaison profonde et historique, qui rejoint d’ailleurs la manière dont Aristote lui-même conçait le rôle de la logique. Développons-la et vérifions sa pertinence.

---

✅ L’analogie en détail

Domaine	Rôle	Statut par rapport à la réalité	Exemple
Mathématiques	Outil de production de raisonnements valides (démonstrations).	Valide par la forme, mais vrai seulement si les prémisses correspondent au réel.	Si a = b et b = c, alors a = c (valide, mais vrai seulement si a, b, c existent et sont égaux).
Logique aristotélicienne	Outil de production de syllogismes valides (inférences correctes).	Valide par la forme, mais vrai seulement si les prémisses sont vraies et correspondent au réel.	Tous les hommes sont mortels. Socrate est un homme. Donc Socrate est mortel. (valide, mais vrai seulement si les prémisses le sont).
Physique	Étude de la réalité naturelle (ce qui est effectivement).	Vrai par correspondance avec le réel.	La Terre tourne autour du Soleil.
Philosophie (chez Aristote)	Étude de l’être et des principes premiers (métaphysique).	Vrai par correspondance avec la réalité ultime.	L’homme est un animal rationnel.

🔹 1. La logique aristotélicienne comme « mathématique de la pensée »

Aristote lui-même, dans les Premiers Analytiques, présente sa logique comme un outil universel pour garantir la validité des raisonnements, indépendamment de leur contenu. Il écrit :

« La logique est l’art qui, étant donné des prémisses vraies, permet de tirer des conclusions nécessaires. »

→ La logique est donc :

• Formelle : Elle ne dépend pas du contenu des propositions (hommes, étoiles, nombres…), mais de leur structure (sujet-prédicat, syllogismes).
• Instrumentale : Elle ne dit pas si les prémisses sont vraies, mais seulement si la conclusion suit nécessairement des prémisses.

Exemple :

• « Tous les A sont B. Tous les B sont C. Donc tous les A sont C. » → Valide, quel que soit ce que sont A, B, C.
• Mais si « Tous les A sont B » est faux (ex: « Tous les oiseaux volent » → faux, car les autruches ne volent pas), alors la conclusion peut être fausse (ex: « Tous les oiseaux sont des mammifères »).

→ Comme en mathématiques :

• « Si x > 5 et y = x + 1, alors y > 6 » est valide, mais faux si x = 3 (car la prémisse est fausse).

🔹 2. La physique et la philosophie comme « réalité à modéliser »

• Physique : Étudie les lois du monde naturel (ex: la gravité, le mouvement). Une théorie physique est vraie si elle correspond aux observations.
  • Exemple : La loi de la gravitation de Newton est vraie (dans son domaine de validité) car elle décrit le comportement des corps célestes.
• Philosophie (métaphysique aristotélicienne) : Étudie l’être en tant qu’être (ex: qu’est-ce qu’une substance ? une cause ?). Une proposition philosophique est vraie si elle correspond à la réalité ultime.
  • Exemple : « L’homme est un animal rationnel » est vrai si cela décrit correctement la nature humaine.

→ Dans les deux cas, la vérité dépend de la correspondance avec le réel.

🔹 3. Pourquoi l’analogie tient ?

🔸 Parallèle structurel

Mathématiques / Logique	Physique / Philosophie
Règles formelles (axiomes, syllogismes).	Lois ou principes (lois de la nature, catégories de l’être).
Validité : La conclusion suit des prémisses par la forme.	Vérité : La proposition correspond au réel par le contenu.
Indépendance du réel : Un théorème math ou un syllogisme peut être valide même si les objets n’existent pas (ex: « Tous les licornes sont blancs. Socrate est un licorne. Donc Socrate est blanc » est valide, mais faux).	Dépendance au réel : Une loi physique ou une proposition métaphysique est vraie seulement si elle décrit le réel.

🔸 Aristote le disait lui-même

Dans les Seconds Analytiques, Aristote distingue :

• La science démonstrative (ex: physique) : Part de prémisses vraies et premières (axiomes, observations) pour arriver à des conclusions vraies.
• La dialectique (logique) : Part de prémisses probables ou acceptées pour arriver à des conclusions probables ou nécessaires par la forme.

→ La logique est donc à la philosophie ce que les maths sont à la physique :

• Un outil pour garantir la validité des raisonnements, mais pas leur vérité.
• La vérité dépend toujours de la correspondance avec la réalité (qu’elle soit naturelle ou métaphysique).

🔹 4. Limites de l’analogie (pour être rigoureux)

Ton analogie est très bonne, mais il y a deux nuances à apporter pour éviter les confusions :

⚠️ Nuance 1 : La logique aristotélicienne n’est pas que formelle

Contrairement aux mathématiques modernes (qui sont purement formelles), la logique aristotélicienne mélange forme et contenu :

• Elle dépend encore des catégories (substance, quantité, qualité…), qui sont des concepts métaphysiques.
• Exemple : Le syllogisme « Tous les hommes sont mortels. Socrate est un homme. Donc Socrate est mortel. » repose sur l’idée que « homme » et « mortel » sont des prédicats réels (pas juste des symboles vides).

→ Les maths modernes sont plus « pures » (elles n’ont pas besoin de correspondre à quoi que ce soit de réel pour être valides, ex: les nombres imaginaires). → La logique aristotélicienne reste ancrée dans l’ontologie (elle suppose que les termes désignent des choses réelles).

⚠️ Nuance 2 : Les maths ne sont pas toujours « en attente de vérité »

• En maths pures, les théorèmes sont valides par définition (ex: « 2+2=4 » est vrai par les règles des nombres, indépendamment de la réalité physique).
• En maths appliquées, ils doivent correspondre au réel (ex: les équations de la physique).

→ La logique aristotélicienne est plus proche des maths appliquées (elle suppose que les prémisses peuvent être vraies ou fausses dans le monde réel).

5. Conclusion : Une analogie juste et profonde

Oui, on peut dire que :

« La logique symbolique d’Aristote est à la philosophie ce que les mathématiques sont à la physique : un ensemble de règles formelles pour produire des raisonnements valides, mais dont la vérité dépend toujours, in fine, de leur correspondance avec la réalité. »

Pourquoi c’est exact ?

1. La logique aristotélicienne (comme les maths) est un outil de validité formelle.
2. La philosophie (comme la physique) cherche la vérité matérielle (ce qui est vraiment le cas).
3. Aristote lui-même voyait la logique comme un instrument pour la science (physique, métaphysique…), et non comme une fin en soi.

Exemple final pour illustrer :

• Maths/Physique :
  • Maths : « Si F = ma, alors a = F/m » (valide par la forme).
  • Physique : « La force gravitationnelle entre deux masses est F = G(m1m2)/r² » (vrai si cela correspond à la réalité).
• Logique/Philosophie :
  • Logique : « Si tous les A sont B et tous les B sont C, alors tous les A sont C » (valide par la forme).
  • Philosophie : « Tous les hommes sont mortels » (vrai si cela correspond à la réalité de l’être humain).

En résumé : ✅ Ton analogie est pertinente et historique (Aristote aurait pu la valider). ✅ Elle montre bien le rôle instrumental de la logique (un outil, pas une fin). ✅ Elle souligne la dépendance finale à la réalité (la vérité vient du réel, pas de la forme seule).

Seules limites :

• La logique aristotélicienne n’est pas aussi formelle que les maths modernes (elle reste liée à l’ontologie).
• Les maths pures peuvent être valides sans être vraies (ex: géométries non euclidiennes), alors que la logique aristotélicienne suppose souvent un ancrage dans le réel.

→ Mais dans l’esprit de ton analogie, c’est une comparaison excellente. 🎯

Principe de non-contradiction et principe du tiers exclu

Voici la différence fondamentale entre ces deux principes centraux de la logique classique, souvent confondus mais distincts en nature et en fonction :

1. Principe de non-contradiction (PNC)

Formulation : « Il est impossible qu’une même chose soit et ne soit pas en même temps, sous le même rapport. » (Aristote, Métaphysique, Livre Γ, 3)

En logique symbolique : ¬(P ∧ ¬P) (Non [P et non-P])

Signification :

• Interdit les contradictions : Une proposition ne peut pas être vraie et fausse simultanément.
• Fondation de la cohérence : Sans ce principe, un système logique ou une pensée serait inconsistant (ex: « Ce chat est noir et ce chat n’est pas noir » est impossible).

Exemple :

• ❌ « Socrate est mortel et Socrate n’est pas mortel. » → Violation du PNC (inacceptable en logique classique).

Portée :

• Universel : S’applique à toute pensée ou réalité (même en dehors de la logique pure).
• Ontologique : Aristote le considère comme le principe premier de toute science (car sans lui, rien ne peut être connu avec certitude).

🔹 2. Principe du tiers exclu (PTE)

Formulation : « Pour toute proposition, ou bien cette proposition est vraie, ou bien sa négation est vraie : il n’y a pas de tiers terme. » (Aristote, De l’Interprétation, 9)

En logique symbolique : P ∨ ¬P (P ou non-P)

Signification :

• Impose un choix binaire : Une proposition doit être soit vraie, soit fausse — il n’y a pas de milieu.
• Fondation de la décision : Permet de trancher entre deux options (ex: « Il pleut ou il ne pleut pas » — pas de possibilité intermédiaire).

Exemple :

• ✅ « Demain, il pleuvra ou il ne pleuvra pas. » → Respect du PTE (même si on ne sait pas laquelle des deux est vraie).

Portée :

• Logique : S’applique aux propositions (énoncés vérifiables).
• Épistémologique : Permet de structurer le raisonnement en éliminant les zones grises.

🔸 Tableau comparatif

Critère	Principe de non-contradiction (PNC)	Principe du tiers exclu (PTE)
Formule logique	¬(P ∧ ¬P)	P ∨ ¬P
Fonction	Interdit les contradictions.	Impose un choix binaire.
Portée	Universelle (métaphysique).	Logique (propositions).
Violation	Une proposition et sa négation sont toutes deux vraies.	Une proposition ni vraie ni fausse.
Exemple de violation	« Ce cercle est rond et non rond. »	« Cette phrase est ni vraie ni fausse. » (ex: « Cette phrase est fausse »).
Rôle	Cohérence du système.	Complétude du raisonnement.
Rejet possible ?	❌ Non (même en logiques non classiques).	✅ Oui (ex: logique intuitionniste de Brouwer).

3. Différences clés en pratique

🔸 1. Le PNC est plus fondamental

• Sans PNC, un système devient inconsistant (tout peut être « vrai » et « faux » en même temps → explosion logique : n’importe quelle proposition peut être « prouvée »).
  • Exemple : Si « P et non-P » est vrai, alors toute proposition Q peut être déduite (par le raisonnement : « Si P est vrai et non-P est vrai, alors Q est vrai »).
• Sans PTE, un système peut être incomplet (certaines propositions ne sont ni vraies ni fausses), mais il reste cohérent.
  • Exemple : En logique intuitionniste, on rejette le PTE pour les propositions non constructives (ex: « Il existe un nombre pair parfait impair » — on ne peut pas trancher sans preuve).

🔸 2. Le PTE suppose le PNC, mais pas l’inverse

• Si le PNC est violé (P et non-P sont tous deux vrais), alors le PTE est automatiquement violé aussi (car P ∨ ¬P est toujours vrai si P et ¬P le sont).
• Mais on peut accepter le PNC et rejeter le PTE (comme en logique intuitionniste).

🔸 3. Applications concrètes

Contexte	PNC	PTE
Mathématiques classiques	✅ Appliqué	✅ Appliqué
Logique intuitionniste	✅ Appliqué	❌ Rejeté (pour les propositions non constructives)
Dialectique hégélienne	❌ Suspendu (la contradiction est un moteur du réel)	❌ Rejeté
Informatique (booléens)	✅ Appliqué	✅ Appliqué
Langage naturel	✅ Implicite (on évite les contradictions)	⚠️ Parfois violé (ex: « C’est un peu vrai, un peu faux »).

---

🔹 4. Exemples pour bien comprendre

🔸 Cas 1 : Respect des deux principes

• PNC : « Socrate est mortel » ne peut pas être vrai et faux en même temps.
• PTE : « Socrate est mortel ou Socrate n’est pas mortel » doit être vrai (même si on ignore laquelle des deux propositions est vraie).

🔸 Cas 2 : Violation du PNC (mais pas du PTE)

• « Ce triangle est à la fois équilatéral et non équilatéral. » → Impossible (PNC violé).
  • Conséquence : Le PTE est aussi violé, car si P et ¬P sont tous deux vrais, alors P ∨ ¬P est toujours vrai (mais cela n’a plus de sens).

🔸 Cas 3 : Violation du PTE (mais pas du PNC)

• En logique intuitionniste :
  • « Il existe un nombre pair parfait impair » → Ni vrai ni faux (on n’a pas de preuve, et on ne peut pas trancher).
  • PNC respecté : On n’affirme pas que la proposition est à la fois vraie et fausse.
  • PTE violé : On refuse de dire que « P ou non-P » doit être vrai sans preuve.

🔹 5. Pourquoi cette distinction est-elle cruciale ?

1. En logique :
   • Le PNC est indispensable pour éviter l’absurdité (un système sans PNC est inutilisable).
   • Le PTE est utile pour la décision, mais pas toujours nécessaire (ex: en mathématiques constructives, on peut s’en passer).
2. En philosophie :
   • Aristote : Les deux principes sont fondamentaux pour la métaphysique (le PNC est le « principe le plus certain de tous »).
   • Hegel : Rejette le PNC (la contradiction est un moteur du réel dans sa dialectique).
   • Brouwer (intuitionnisme) : Rejette le PTE (une proposition n’est vraie que si on peut la construire).
3. En informatique :
   • Les deux principes sont appliqués dans les langages booléens (ex: if (P || !P) est toujours vrai en C).
   • Mais en logique floue ou quantique, on peut les remettre en cause.

📌 Résumé en une phrase

• Le PNC dit : « Tu ne peux pas avoir P et non-P en même temps. » (Interdiction des contradictions).
• Le PTE dit : « Tu dois choisir entre P ou non-P. » (Obligation de trancher).

→ Le PNC est une règle de cohérence, le PTE une règle de complétude.

La pétition de principe

« La logique symbolique d’Aristote est à la philosophie ce que les mathématiques sont à la physique : un ensemble de règles formelles pour produire des raisonnements valides, mais dont la vérité dépend toujours, in fine, de leur correspondance avec la réalité. »

Une pétition de principe (ou circulus in demonstrando en latin, littéralement « cercle dans la démonstration ») est un sophisme logique où la conclusion est déjà supposée dans les prémisses, rendant le raisonnement circulaire et donc non probant.

🔹 Définition simple

C’est une erreur de raisonnement qui consiste à :

1. Prendre pour acquis ce qu’on cherche à prouver.
2. Faire semblant de démontrer quelque chose alors qu’on l’a déjà admis au départ.

→ Résultat : Le raisonnement ne prouve rien, car il repose sur ce qu’il prétend établir.

🔹 Structure type

Problème : A et B sont interdépendants — on tourne en rond sans avancer.

🔹 Exemples concrets

🔸 1. Exemple classique (religion)

• « La Bible est la parole de Dieu parce qu’elle le dit elle-même. »
  • Prémisse : La Bible est la parole de Dieu (ce qu’on veut prouver).
  • Preuve : Parce que la Bible le dit.
  • Problème : On suppose déjà que la Bible est divine pour prouver qu’elle est divine.

🔸 2. Exemple juridique

• « On doit obéir à la loi parce que c’est la loi. »
  • Prémisse : La loi doit être obéie (ce qu’on veut justifier).
  • Preuve : Parce que c’est la loi.
  • Problème : On présuppose l’autorité de la loi pour la justifier.

🔸 3. Exemple philosophique

• « L’homme est libre parce que la liberté est une propriété essentielle de l’homme. »
  • Prémisse : L’homme est libre (ce qu’on veut prouver).
  • Preuve : Parce que la liberté est essentielle à l’homme.
  • Problème : On définit l’homme comme libre pour prouver qu’il est libre.

🔸 4. Exemple quotidien

• « Je ne suis pas fou, parce que je sais ce que je dis ! »
  • Prémisse : Je ne suis pas fou (ce qu’on veut prouver).
  • Preuve : Parce que je suis cohérent (ce qui suppose que je ne suis pas fou).
  • Problème : La « preuve » repose sur la conclusion.

🔹 Pourquoi est-ce un sophisme ?

1. Aucune avancée : Le raisonnement ne fait pas progresser la connaissance.
2. Illusion de preuve : Il donne l’impression d’une démonstration, mais aucune information nouvelle n’est apportée.
3. Cercle vicieux : Comme un chien qui court après sa queue, on ne sort jamais du cercle.

🔹 Comment le repérer ?

Poser la question : « Est-ce que la prémisse suppose déjà la conclusion ? »

• Si oui → Pétition de principe.
• Si non → Le raisonnement peut être valide.

Test pratique : Remplacer la conclusion par un nonsens et voir si la « preuve » tient toujours.

• Exemple :
  • Original : « La Bible est vraie parce qu’elle est inspirée par Dieu. »
  • Remplacé : « La Bible est un grille-pain parce qu’elle est inspirée par Dieu. »
  • → La « preuve » ne fonctionne plus : cela montre qu’elle dépendait de la conclusion initiale.

🔹 Différence avec d’autres sophismes

Sophisme	Définition	Exemple
Pétition de principe	La conclusion est dans les prémisses.	« Dieu existe parce que la Bible le dit. »
Fausse cause	On confond corrélation et causalité.	« Les poules chantent au lever du soleil, donc elles le font lever. »
Généralisation hâtive	On tire une conclusion générale d’un cas isolé.	« J’ai rencontré un Français impoli, donc tous les Français sont impolis. »
Appel à l’autorité	On utilise une autorité non pertinente.	« Einstein fumait la pipe, donc fumer la pipe rend intelligent. »

🔹 Origine historique

• Aristote en parle dans les Réfutations sophistiques (Livre V) : « Il y a pétition de principe quand on suppose ce qui est en question, ou quand on prend pour accordé ce qui nécessite une démonstration. »
• Kant et Schopenhauer l’ont aussi analysée comme une erreur fondamentale en logique.

Résumé en une phrase

Une pétition de principe, c’est prétendre prouver quelque chose en le supposant déjà vrai — comme dire « C’est vrai parce que c’est vrai ».

Astuce pour l’éviter :

• Reformuler ses prémisses sans utiliser la conclusion.
• Chercher des preuves indépendantes (faits, données, arguments externes).