Andrew Nightingale
Dédié à mes amis imparfaits, Maheva Hellwig et Pierre Lamarque
Résumé
Cet article soutient que le pluralisme logique repose non seulement sur des notions divergentes de conséquence logique, mais aussi sur le vague de la négation elle-même. Si la négation est comprise comme un acte de distinction, alors de multiples systèmes logiques découlent de différentes manières de préciser ces distinctions. Cela recadre le pluralisme logique en le fondant sur l’instabilité de la distinction plutôt que sur de simples relations de conséquence concurrentes. Dans cette perspective, la logique ne devrait pas être enseignée comme un système figé, mais comme un espace de navigation entre plusieurs cadres. Pour soutenir cette approche pédagogique, un outil en ligne — Logic Puzzle — a été développé afin de permettre aux étudiants de construire et de comparer des énoncés logiques à travers les logiques classique, paraconsistante et constructive. Une étude empirique préliminaire suggère que l’exposition au pluralisme logique renforce le sentiment de flexibilité conceptuelle des étudiants et leur perception du lien entre la logique et le raisonnement quotidien.
Enseigner le sens sans fondements : une pédagogie du pluralisme logique
La logique est souvent enseignée comme si son opération la plus fondamentale — la négation — était stable, sans ambiguïté et universellement fixe. L’expression « non P » est traitée comme si elle remplissait une fonction unique et bien définie dans tous les contextes. Cette hypothèse sous-tend la logique classique, où des lois telles que l’élimination de la double négation (~~P → P) sont considérées comme fondamentales.
Pourtant, cette stabilité apparente s’effrite d’un système logique à l’autre. En logique constructive, la double négation ne s’effondre pas de la même manière. En logique paraconsistante, les contradictions impliquant la négation ne se comportent pas comme elles le font en logique classique. Un même symbole – la négation – endosse des rôles structurellement différents. Ce qui semble être une opération unique se fracture en de multiples formes.
Cet article soutient que cette fragmentation n’est pas fortuite, mais fondamentale. J’appelle « monisme de la négation » l’hypothèse standard selon laquelle la négation est une opération unique et stable. Contre cette vision, je soutiens que la négation elle-même est vague. Une fois cela reconnu, le pluralisme logique ne peut plus être compris simplement comme une pluralité de relations de conséquence, mais doit s’ancrer plus profondément dans l’instabilité de la distinction elle-même.
Si la négation est comprise, à la suite de Peirce, comme un acte de distinction, alors les multiples systèmes logiques reflètent de multiples façons de tracer des frontières entre ce qui est et ce qui n’est pas. La logique classique représente une façon de stabiliser cet acte, mais ce n’est pas la seule. Cela a des implications directes pour la pédagogie. La logique ne peut être enseignée de manière adéquate comme un système fermé fondé sur des opérations fixes ; elle doit plutôt être présentée comme un champ de mouvement à travers des cadres multiples et sensibles au contexte.
Le pluralisme logique est généralement défini comme la conception selon laquelle il existe plusieurs logiques déductives valables. Les théories contemporaines décrivent souvent cette pluralité en termes de relations de conséquence différentes. D’autres approches considèrent les logiques comme des modèles du langage ou comme des outils adaptés à des fins diverses. D’un point de vue historique, les tendances pluralistes remontent aux débats stoïciens, aux cadres linguistiques de Carnap et à la critique de Lakatos à l’égard des structures de preuve formelles. La prédominance de la logique classique dans l’enseignement est étroitement liée à la méthode axiomatique d’Euclide, qui a façonné la présentation du savoir pendant des siècles. Cependant, des développements tels que la géométrie non euclidienne et les systèmes logiques alternatifs remettent en cause l’idée qu’une seule structure fondamentale régit tout le raisonnement.
Les arguments classiques en faveur du pluralisme logique font souvent appel au vague de la conséquence logique ou au rôle du raisonnement probabiliste. Cet article change de perspective. La source du pluralisme ne réside pas seulement dans la conséquence, mais dans la négation elle-même.
L’argument central de cet article est que le pluralisme logique trouve son fondement dans le vague de la négation. Si la négation est comprise comme une distinction, alors le pluralisme découle de l’existence de multiples types de distinction. Il ne s’agit pas simplement de variations au sein d’une seule opération, mais de manières fondamentalement différentes de tracer des frontières.
Avant de poursuivre, il est important de distinguer le vague de la généralité. Une affirmation générale s’applique à de nombreux cas sans en préciser lesquels ; chaque application particulière peut néanmoins être parfaitement déterminée. Le vague est différent : il concerne les cas où l’application d’un concept est elle-même indéterminée — où aucune information supplémentaire ne permet de déterminer si le concept s’applique. Ce que nous affirmons ici, ce n’est pas que la négation est simplement générale, applicable à de multiples contextes tout en restant précise dans chacun d’eux. C’est que la négation est vague : il existe des cas où l’opération en jeu est véritablement indéterminée, et où les précisifications concurrentes ne sont pas simplement différentes, mais incompatibles. Une conception plus abstraite ou plus générale de la négation ne dissout pas cette indétermination ; elle la déplace.
La logique classique suppose ce que l’on pourrait appeler un monisme de la négation : l’idée qu’il existe une opération de négation unique et stable sous-jacente à tout raisonnement. Cette hypothèse se reflète dans des principes tels que l’élimination de la double négation. Pour que ce principe s’applique universellement, les deux instances de négation doivent être la même opération. Si ce n’est pas le cas — si des actes de négation différents sont en jeu —, alors appliquer deux fois la négation ne ramène pas nécessairement à la proposition d’origine.
Cette possibilité reflète une instabilité plus profonde inhérente au concept même de différence. Prenons des exemples courants. Une étoile à neutrons diffère d’une question, et un citron diffère d’un citron vert. Dans les deux cas, on dit que les objets sont distincts, mais les types de différence en jeu ne sont pas les mêmes. L’une est une différence entre catégories, l’autre au sein d’une même catégorie. Dire simplement qu’ils sont distincts laisse indéterminée la nature de leur distinction. En ce sens, le concept de distinction est lui-même indistinct.
Les tentatives visant à résoudre cette ambiguïté en renforçant la précision ne parviennent pas à éliminer le problème. On pourrait tenter de répertorier toutes sortes de distinctions, en attribuant à chacune une définition précise. Mais cela conduit à des distinctions entre les distinctions, puis à d’autres distinctions à des niveaux supérieurs. L’effort visant à éliminer le vague par le raffinement produit une hiérarchie ouverte. Cela reflète des problèmes familiers liés au vague. Lorsqu’on tente de localiser une frontière précise — telle que le bord d’un objet physique —, une plus grande précision conduit à une plus grande indétermination. L’agrandissement ne révèle pas une limite définitive ; il la dissout.
Dans cette perspective, la négation classique peut être comprise comme une manière de rendre la distinction précise — une manière qui impose une opposition binaire stricte entre P et non-P. D’autres systèmes logiques adoptent des précisifications différentes. Les logiques paraconsistantes assouplissent la frontière entre P et non-P, permettant des contradictions sans effondrement. La logique constructive lie la négation aux notions de construction et d’impossibilité, produisant une interprétation tout à fait différente. Ces systèmes ne se contentent pas de réinterpréter une opération fixe ; ils définissent des opérations différentes sous un nom commun.
Il n’existe donc pas d’opération de négation unique, mais une famille d’opérations dépendantes du contexte, unifiées de manière seulement approximative par leur rôle dans l’établissement de distinctions. Le pluralisme logique ne reflète pas une prolifération externe de systèmes, mais une instabilité au sein même du concept central de la négation.
Cela redéfinit la relation entre le vague et la logique. Le vague est souvent considéré comme un défaut qu’il convient d’éliminer par des définitions plus précises. Ici, il est compris comme inhérent aux opérations que la logique formalise. L’acte de distinction ne peut être rendu pleinement déterminé, car les critères de distinction eux-mêmes admettent des précisifications multiples et incompatibles. Les systèmes logiques organisent cette indétermination ; ils ne la suppriment pas.
Dans ce sens, le vague est une caractéristique de la recherche plutôt qu’un défaut. Les tentatives visant à l’éliminer — par la mesure, la formalisation ou des définitions de plus en plus précises — le reproduisent à des échelles plus fines. La limite d’un objet physique, lorsqu’on l’examine de près, devient indéterminée. La mesure n’atteint jamais un point final. D’un point de vue philosophique, cela s’aligne sur le traitement du vague par Peirce, l’explication de Russell sur la multiplicité des significations et la vision de Dewey selon laquelle la logique émerge de la recherche elle-même. Peirce lui-même était clair sur ce point : « Pour ériger un édifice philosophique qui survivra aux vicissitudes du temps, je dois veiller, non pas tant à poser chaque brique avec la plus grande précision, qu’à jeter des fondations profondes et massives… très larges, et dont les contours sont vagues et grossiers, mais solides, inébranlables et difficiles à ébranler. » Le vague n’est pas l’ennemi de la durabilité. Il en est souvent la condition.
Il ne s’agit pas ici d’un argument contre la précision. La précision reste essentielle : c’est grâce à elle que la recherche devient communicable, vérifiable et transmissible. L’argument vise plutôt le monopole de la précision : l’idée selon laquelle la pensée vague qui précède la formalisation serait simplement déficiente, une étape à surmonter plutôt qu’une condition de possibilité. Le concept de champ de Faraday est instructif à cet égard. Ce concept était génératif et productif bien avant que Maxwell ne lui donne une forme mathématique. L’imprécision n’était pas un obstacle à la recherche ; c’était le moyen par lequel la question pouvait rester ouverte suffisamment longtemps pour trouver une réponse. Ce que la formalisation accomplit, ce n’est pas l’élimination du vague, mais son organisation en une forme qui peut être partagée et testée. Ces deux moments — le vague et le précis — sont nécessaires. Une pédagogie qui ne présente que le second produit des étudiants capables de fonctionner au sein d’un système, mais incapables d’en générer un.
La théorie des probabilités est souvent considérée comme un moyen de résoudre le vague en attribuant des degrés de vérité. Cependant, cela remplace l’indétermination par des gradations précises qui ne parviennent pas à saisir la persistance des cas limites. Le vague n’est pas éliminé ; il est transformé.
Si la négation est vague, alors l’enseignement de la logique doit évoluer. Présenter la logique classique comme un système définitif occulte la variabilité qui la sous-tend et laisse les élèves mal préparés à aborder les contradictions ou d’autres cadres conceptuels. Il faut plutôt initier les élèves à divers systèmes logiques et aux différences qui les caractérisent.
Pour soutenir cette approche, un outil en ligne appelé Logic Puzzle a été développé. Le programme permet aux utilisateurs de construire des énoncés logiques via une interface de type glisser-déposer et d’explorer le comportement de ces énoncés sous différents systèmes logiques. Il comprend des paramètres classiques, paraconsistants et constructifs, chacun avec des représentations visuelles correspondantes telles que des tables de vérité et des graphiques.
En interagissant avec l’outil, les étudiants sont directement confrontés à la variabilité de la négation et à l’existence de multiples cadres logiques valides. L’objectif n’est pas d’atteindre une maîtrise formelle de chaque système, mais de prendre conscience que la structure logique n’est pas figée. Le pluralisme logique devient alors une expérience vécue plutôt qu’une simple affirmation.
Une étude préliminaire a été menée afin d’examiner les effets de cette approche. Cette étude a porté sur un petit groupe d’élèves qui ont utilisé l’outil Logic Puzzle et réalisé une série d’activités guidées et de réflexions. Les données ont été recueillies à l’aide d’une combinaison de questionnaires, de fiches de travail et de réponses ouvertes, l’accent étant mis sur l’analyse qualitative.
Les résultats suggèrent que l’exposition au pluralisme logique sensibilise davantage les élèves aux possibilités de choix en mathématiques. Les élèves ont déclaré avoir davantage le sentiment que les structures mathématiques sont construites plutôt qu’absolues, et certains ont indiqué que cela rendait la matière plus accessible. Les représentations visuelles semblaient faciliter la compréhension, et un petit nombre d’élèves ont été capables de relier des idées logiques abstraites au raisonnement quotidien.
Si les conclusions quantitatives sont limitées par la petite taille de l’échantillon, les résultats qualitatifs viennent étayer l’argument pédagogique central : le fait de se confronter à plusieurs systèmes logiques peut faire évoluer la perception des mathématiques chez les élèves, la faisant passer de rigide à flexible, et d’abstraite à significative.
Les implications de ce travail sont à la fois philosophiques et pédagogiques. Si la négation n’est pas une opération unique et stable, alors la recherche d’un système logique unique et correct doit être repensée. Le pluralisme logique, fondé sur le vague de la négation, offre un cadre alternatif dans lequel plusieurs systèmes coexistent pour répondre à un problème commun : comment établir des distinctions dans un monde où celles-ci ne sont jamais pleinement déterminées.
Cela n’implique pas que tous les systèmes soient également utiles dans tous les contextes, ni ne se résume à un relativisme. Au contraire, cela fait passer le rôle de la logique de l’identification d’un système unique et correct à la compréhension du fonctionnement des différents systèmes. La tâche devient alors une question de navigation plutôt que de fondement.
Nous n’éliminons pas le vague en affinant nos distinctions. Nous le retrouvons, à une échelle différente. Le travail de la logique — et de son enseignement — n’est pas d’échapper à cette condition, mais d’apprendre à évoluer en son sein.
Derrière cette revendication pédagogique se cache une autre, plus large. Cette recherche a été conçue avec le bonheur comme objectif explicite — non pas une « attitude positive envers les mathématiques », qui est mesurable, mais le bonheur, qui ne l’est pas. Les instruments ne permettent pas de mesurer les degrés de bonheur. Il est si léger qu’il peut se manifester sans qu’une personne s’en rende compte. Les conseillers ont raisonnablement suggéré une formulation plus maniable. La décision de conserver le bonheur comme objectif n’était pas de l’entêtement méthodologique, mais un engagement philosophique : face au choix entre être plus sûr d’un effet moindre ou moins sûr d’un effet plus important, cette recherche a choisi la seconde option. Ce choix est en soi une application de l’argument. Une logique qui ne peut poursuivre que ce qu’elle peut déjà mesurer n’est pas une logique adaptée à la vie humaine. Ce qu’Aristote appelait l’eudaimonia — l’épanouissement, sinon le bonheur — est le véritable but de l’éducation, défendu de manière vague, par nécessité, et sans s’en excuser. Le travail d’une véritable pédagogie n’est pas de durcir la technique dans l’esprit, mais de garder l’esprit suffisamment souple pour accueillir ce qu’il ne sait pas encore mesurer. Chaque soir, nous revenons d’un travail spécialisé à la vie vague du foyer et de la famille, à des conversations qui ne prouvent rien, aux arts moins précis de préparer le dîner et de faire la vaisselle. Ce n’est pas un recul de la réflexion. C’est là qu’elle est pour.
. Traditionally 3 
, is enforced.