La question qui a été posée de quatre manières différentes

Demandez à un Athénien du quatrième siècle ce qui rend un argument bon et vous obtiendrez une réponse sur la <em>forme</em> : la conclusion découle-t-elle des prémisses, peu importe de quoi elles parlent. Demandez à un philosophe Nyāya et vous obtiendrez une réponse sur la <em>connaissance</em> : par quel processus une cognition en vient-elle à être considérée comme connue. Demandez à un Mohiste et vous obtiendrez une réponse sur <em>le nommage</em> : ce terme correspond-il correctement à cette chose, et quelle similarité le dit-elle. Demandez à un juriste de Samarkand au quatorzième siècle et vous obtiendrez une réponse sur <em>la procédure et la conduite</em> : à qui le tour, que peut-on objecter, ce qui a été concédé, et si vous vous comportez comme quelqu'un cherchant la vérité ou comme quelqu'un cherchant à gagner.

Quatre réponses, aucune d'elles incorrecte, presque pas de chevauchement. C'est la conclusion sur laquelle cette série est construite, et elle est plus utile que l'histoire habituelle sur qui a inventé la logique en premier.

Parce que si vous avez déjà assisté à une réunion qui s'est mal passée, vous savez déjà que le diagnostic est rarement formel. Personne n'a affirmé le conséquent. Ce qui s'est passé, c'est qu'une prémisse que tout le monde acceptait n'a jamais été examinée, ou qu'une analogie avec le trimestre précédent ne tenait pas, ou que deux personnes utilisaient le même mot pour des choses différentes, ou que l'argument n'a tout simplement jamais pris fin — il n'y avait pas de notion partagée de ce que cela signifierait pour quelqu'un d'avoir été répondu. Trois de ces quatre modes d'échec sont invisibles à l'outil grec, et chacun d'eux a été nommé, analysé et enseigné ailleurs.

Cet article est le centre de la série Racines du Raisonnement. Il esquisse les quatre grandes traditions et ce que chacune a contribué. Les articles complémentaires approfondissent le sujet : la logique indienne, la logique mohiste, la logique d'Aristote, la dialectique islamique, et une analyse comparative des cinq structures d'argumentation.

Ce que chaque tradition a réellement systématisé

Inde : Raisonnement en tant qu'acquisition de connaissances et concours régulé

Les traditions indiennes sont probablement le contrepartie indépendante à grande échelle la plus claire de la logique grecque — et la moins familière aux lecteurs occidentaux. Le débat public et parrainé par la cour existait bien avant les manuels survivants ; au cours des IIIe et IIe siècles av. J.-C., les moines et les brahmanes étaient censés avoir une formation au débat.

La question de départ n'est pas "est-ce que cela suit ?" mais par quel processus une cognition compte-t-elle comme connaissance ? Le Nyāya a reconnu quatre pramāṇas — la perception, l'inférence, la comparaison et le témoignage d'un locuteur compétent. D'autres écoles ont ajusté la liste. La conséquence est que la logique se trouve à l'intérieur de l'épistémologie : une inférence n'est pas un agencement de phrases mais un processus par lequel quelqu'un passe de ce qu'il sait à ce qu'il ne sait pas.

La forme d'argument largement enseignée comporte cinq membres : thèse (il y a du feu sur la colline), raison (parce qu'il y a de la fumée), exemple ou règle générale (partout où il y a de la fumée, il y a du feu — comme dans une cuisine), application (la colline a de la fumée de ce type), conclusion (donc il y a du feu). L'une des premières déclarations survivantes à ce sujet se trouve dans le Caraka-saṃhitā, un texte médical — la formation au débat faisait partie de l'éducation d'un médecin.

Ce n'est pas un syllogisme inutilement long. Les membres supplémentaires effectuent un travail dialogique : annoncer la revendication contestée, donner la raison, fournir un cas convenu, le relier au sujet, reformuler ce qui a été établi. La forme était initialement fortement analogique ; des auteurs ultérieurs ont rendu la connexion universelle de plus en plus explicite et stricte.

Puis la partie sans équivalent grec. Le Nyāya classait les débats par objectif — vāda (recherche de vérité coopérative), jalpa (compétitif), vitaṇḍā (attaquer sans défendre une thèse propre) — et cataloguait non seulement des pseudo-raisons mais aussi des nigraha-sthānas, des motifs de défaite. Les Nyāya-sūtra énumèrent 22, mélangeant erreurs logiques et violations procédurales : changer votre thèse, simple répétition, silence, évasion, concéder un point et continuer à argumenter. La défaite était un événement défini et observable.

Les auteurs bouddhistes ont affiné l'aspect probant. Dignāga a séparé l'inférence pour soi de l'argument pour autrui, et a exigé qu'une raison valide soit présente dans le sujet, présente dans des cas similaires, et absente de tous les cas dissemblables — puis a organisé les possibilités dans une matrice à neuf cellules dans laquelle seules deux produisent des inférences valables. Le prasaṅga bouddhiste expose les conséquences inacceptables de la vue d'un opposant, et le catuṣkoṭi examine une affirmation sous quatre alternatives — est, n'est pas, les deux, aucun — comme une technique dialectique dont l'interprétation logique exacte est encore contestée. Les philosophes jains ont ajouté anekāntavāda, la pluralité, et le syādvāda à sept volets : indiquez le respect dans lequel votre affirmation est valable, de sorte qu'une description partielle ne puisse pas se poser en tant que description exhaustive. Histoire complète : Logique indienne : La tradition de 2 500 ans du Nyāya au débat bouddhiste.

Chine : Argument comme distinction, adéquation sémantique et extension analogique

L'argumentation chinoise ancienne était à peu près contemporaine d'Aristote et a émergé de manière indépendante. Pendant la période des Royaumes combattants, les Mohistes, les Confucéens, les Daoïstes et les penseurs plus tard regroupés sous l'École des Noms se sont engagés dans <strong>biàn</strong> — la disputation, mais plus littéralement <em>distinction</em>.

La question centrale n'était caractéristiquement pas "cette conclusion est-elle valide ?" mais : ce nom, cette catégorie ou cette prescription correspondent-ils correctement à cet objet ou à cette situation ? Une partie l'appelle "bœuf", l'autre "non-bœuf" ; ils ne peuvent pas tous les deux convenir, donc l'un ne convient pas.

Les penseurs mohistes raisonnaient à partir de fǎ — modèles, normes, exemples. Vous identifiez un bœuf, une action juste ou une politique bénéfique en comparant le cas à un modèle fiable et en déterminant quelles similitudes sont pertinentes. L'argumentation mohiste précoce faisait appel à trois normes : les précédents établis par des dirigeants exemplaires, les preuves tirées de l'expérience ordinaire et les conséquences pour le bien social.

La Moins Grande Sélection nomme quatre techniques argumentatives, et elles sont souvent mal interprétées, donc les voici correctement :

• Pì — analogie : introduire un autre cas pour clarifier celui-ci
• Móu — parallélisme : placer des expressions de structure similaire côte à côte
• Yuán — tirer : citez quelque chose que l'adversaire accepte déjà et demandez pourquoi le cas présent devrait être traité différemment.
• Tuī — pousser : étendre un jugement accepté à un cas pertinent similaire

Tirer déplace efficacement le fardeau sur l'adversaire pour identifier une disanalogie pertinente ; pousser repose sur la cohérence avec leurs engagements antérieurs. Ce sont un répertoire, pas une séquence fixe. Les Mohistes les ont associés à un principe d'équité énoncé — ce que nous acceptons dans notre propre cas, nous ne le rejetons pas dans celui de l'adversaire — et à un avertissement durement acquis : les parallèles entre les expressions ne sont corrects que jusqu'à un certain point.

Ils ont également reconnu des principes ressemblant à la non-contradiction et au tiers exclu, mais formulés sémantiquement — "bœuf" et "non-bœuf" ne peuvent pas tous deux s'appliquer au même objet dans le même débat — en gardant l'accent sur les termes et la classification plutôt que sur un calcul propositionnel abstrait. Et ils ont décrit la délibération comme le poids des bénéfices et des dommages : lorsque toutes les options impliquent des dommages, choisissez la moins nuisible. Compte rendu complet : Logique Mohiste : L'art chinois de faire des distinctions.

Grèce : La logique en tant que validité formelle

La tradition grecque est celle que la plupart des lecteurs connaissent déjà, elle peut donc être brève. Elle découle de la démocratie athénienne entre 508 et 322 av. J.-C., où l'assemblée, la boule et les tribunaux réglaient toutes les affaires par le débat et le vote — rendant le discours persuasif directement précieux, et créant le marché que les Sophistes servaient en l'enseignant moyennant des frais.

Platon a plutôt promu la dialectique : un questionnement structuré avec un échange de questions et de réponses, où le questionneur extrait une thèse et essaie de forcer sa contradiction, et le seul travail de celui qui répond étant de rester non réfuté dans un temps imparti. Les Topiques et Réfutations sophistiques d'Aristote sont la première systématisation de cette pratique — le premier recueil de règles écrit pour un sport argumentatif.

Aristote (384–322 av. J.-C.) a alors construit ce que personne d'autre n'avait construit. L'Organon couvre les catégories, les propositions, le syllogisme, la démonstration, la dialectique et la fallacie, et son innovation principale est le syllogisme catégorique : la validité en tant que propriété de la structure, indépendante du contenu. Remplacez n'importe quels termes dans une forme valide et elle reste valide. Cette abstraction est véritablement singulière, et le dire clairement est ce qui rend le reste de cette comparaison honnête plutôt que défensive.

Le Rhetoric a ajouté les trois appels — ethos, pathos, logos — et l'enthymème, le syllogisme avec une prémisse laissée à l'audience pour être fournie. Les Topics ont catalogué des modèles d'argumentation pour la dialectique, l'ancêtre direct des schémas d'argumentation modernes. Après Aristote, les Stoïciens ont développé la logique propositionnelle, énonçant le modus ponens avec des numéros pour des propositions entières ; cela était plus proche de la base de la logique symbolique moderne et a été mal transmis, si bien que le syllogisme a maintenu le programme jusqu'à Frege. Détail : La logique d'Aristote : La fondation méditerranéenne de l'argumentation occidentale.

Le monde islamique : trois traditions qui s'entrecroisent

Ce cas doit être divisé avec soin, et une concession vient en premier : la logique formelle arabe n'était pas indépendante d'Aristote. Mantiq commence par la traduction des œuvres logiques grecques à partir du huitième siècle. Al-Fārābī a lu la logique comme un ensemble gradé d'instruments pour la démonstration, la dialectique, la rhétorique et la poétique ; Ibn Sīnā a ensuite reconstruit la tradition héritée de manière si extensive que la logique arabe ultérieure est plus avicennienne qu'aristotélicienne, avec des innovations majeures en modalité, propositions hypothétiques et disjonctives, et démonstration. C'est une réception plus une reconstruction radicale — pas une invention indépendante.

Mais deux autres traditions ici étaient essentiellement autochtones. Kalām, la théologie rationnelle, a généré des pratiques dialectiques appelées jadal dont les premières formes systématiques se sont développées dans des controverses théologiques autour du passage du neuvième au dixième siècle, initialement séparées de la logique d'origine grecque des philosophes. Leurs traités spécifiaient quelle partie pose la question et laquelle répond, comment une affirmation est formulée, ce qui compte comme une objection pertinente, comment fonctionnent la contradiction et la concession, les règles de conduite, et les signes qu'un participant a été vaincu. Les juristes ont ensuite adapté cette mécanique pour les désaccords juridiques.

Uṣūl al-fiqh, théorie juridique, qiyās systématisé avec quatre éléments nommés : le aṣl ou cas racine, le farʿ ou cas dérivé, la ʿilla ou cause légalement opérante partagée par les deux, et le ḥukm ou jugement transféré de la racine à la branche. Une interdiction sur un intoxicant s'étend à un autre car l'intoxication est identifiée comme la cause opérante. Cela est plus structuré qu'une simple ressemblance : l'étape difficile n'est pas de remarquer la similarité mais de justifier pourquoi cette similarité est légalement opérante tandis que d'autres ne le sont pas — et de défendre cela contre des contre-exemples et des textes conflictuels.

À partir de la fin du XIIIe siècle, ādāb al-baḥth wa-l-munāẓara est devenu une discipline distincte — les règles et les manières d'enquête et de disputation. Les rôles sont asymétriques : un demandeur énonce et soutient une thèse ; un répondant teste la thèse, ses preuves et le lien entre elles. L'objectif déclaré est la manifestation de la vérité, non la victoire, et la discipline régit le caractère des participants ainsi que leurs mouvements — pertinence, équité, évitement des querelles, volonté de critiquer, volonté de céder. Elle était enseignée dans les madrasas aux côtés de la logique et des sciences linguistiques. Histoire complète : Dialectique islamique : du débat théologique à la science de la disputation.

Ce que chaque tradition voit (et manque)

Mis côte à côte, les contrastes sont instructifs :

Aucune tradition n'est complète, et les lacunes ne sont pas symétriques. La logique indienne lie l'inférence de manière étroite à l'épistémologie — un atout lorsque vous vous souciez <em>de savoir pourquoi</em> les prémisses sont crédibles, un coût lorsque vous devez seulement vérifier la forme. La logique grecque s'abstrait du contenu — décisif pour la preuve formelle, silencieuse lorsque les prémisses elles-mêmes sont contestées. La logique chinoise traite l'analogie et la nomination avec un soin que l'Occident a largement négligé, et n'a jamais construit de mécanismes pour enchaîner les déductions. La théorie de la dispute islamique ajoute des procédures et de l'éthique, et présuppose l'appareil formel grec.

La comparaison structure par structure — la forme Nyāya à cinq membres, le syllogisme à trois membres, la technique mohiste, le qiyās et le tétralemme — se trouve dans Cinq syllogismes : Comparer les structures d'argument à travers les civilisations.

Pourquoi cela compte maintenant

La théorie moderne de l'argumentation, l'argumentation computationnelle et le raisonnement en IA s'appuient — souvent sans le savoir — sur tout cela.

Schémas d'argumentation (Walton, Reed, Macagno) cataloguent des motifs récurrents tels que l'argument d'opinion d'expert, l'analogie, de la cause à l'effet, chacun avec des questions critiques pour le tester. C'est la rencontre des Topiques d'Aristote avec l'analyse analogique mohiste, avec une couche de conscience procédurale du jadal.

Les cadres d'argumentation abstraite (Dung, 1995) représentent les arguments comme des nœuds avec des relations d'attaque et calculent quels ensembles peuvent être acceptés rationnellement ensemble. La question sous-jacente — quels arguments survivent ? — est la question jadal, formalisée dans la théorie des graphes.

La cartographie des arguments et le modèle de Toulmin rendent la structure explicite : affirmation, fondements, garantie, soutien, réfutation, qualification. Toulmin est en conversation directe avec l'enthymème d'Aristote ; l'insistance sur un soutien explicite fait écho à l'udāharaṇa du Nyāya ; et la qualification est le "sous certains aspects" du syādvāda en version moderne.

Et le programme de recherche sur l'intelligence collective — du théorème du jury de Condorcet aux études sur le c-factor — continue de confirmer ce que les traditions de débat savaient déjà : la structure décide si les groupes deviennent plus intelligents. Une contribution indépendante, une agrégation explicite, une équité procédurale, un enregistrement du raisonnement. Ce sont les conditions, et c'est ce qu'Argumentree intègre dans le processus décisionnel.

La plus grande leçon comparative est celle pour laquelle toute cette série existe : "la logique" n'est qu'une partie de l'argumentation structurée. Bien avant la théorie moderne de l'argumentation, ces traditions considéraient le raisonnement simultanément comme un processus cognitif, une performance linguistique, une interaction sociale, une discipline éthique et une pratique institutionnelle. Ils ne construisaient pas des curiosités. Ils construisaient la machinerie de l'accord raisonné — l'alternative à la coercition, à la tradition et à l'accident. Vingt-cinq siècles plus tard, le projet se poursuit.

La série Les Racines du Raisonnement

Cet article est le hub. Les rayons vont en profondeur :