# Carnet de cours — La géométrie des débats PROJET HYPOSTASIA La géométrie des débats Diriger et contrôler les raisonnements CARNET DE COURS Transparents · Verbatim · Notes des participants Un cours de Dominique Luzeaux à une classe réunissant Alan Turing, Baruch Spinoza, Adonaï — et les enfants Séance simulée — 14 septembre 2026 Avant-propos Ce carnet restitue une séance imaginaire de la classe Hypostasia. Dominique Luzeaux y enseigne l'usage de la géométrie des débats pour diriger et contrôler les raisonnements à trois esprits HPI convoqués comme incarnations de trois manières de raisonner — Alan Turing pour le calcul et la question de la décidabilité, Baruch Spinoza pour la démonstration more geometrico, Adonaï pour ce qui échappe à toute preuve — et à trois enfants, Léa, Noé et Inès, qui apportent l'exigence du concret et la fraîcheur du bon sens. Le cours prend appui sur le cadre développé par Jean Sallantin, Dominique Luzeaux, Jonas Turbeaux et Véronique Pinet dans « Logics and Geometry of Debates: Intelligence as a Commons » : le triptyque des intelligences (IHI, CHI, IA), le polyèdre tressé de six formes de raisonnement peirciennes, les trente hypostases, les modes du débat, et les étapes de construction d'une synthèse délibérative jusqu'à la rédaction d'une charte. Le carnet réunit trois pièces, comme le ferait tout support de cours véritablement documenté : les transparents projetés en séance (Partie I) ; le verbatim de la discussion, tel qu'il aurait pu être recueilli (Partie II) ; les notes personnelles prises par chaque participant, dans son style propre (Partie III). Rien dans ce document ne prétend trancher les questions théologiques ou philosophiques qu'il met en scène : Adonaï, Spinoza et Turing y sont des voix, non des autorités. Le seul verdict que le cours autorise est logique et provisoire — celui d'un argument non réfuté et non prouvé, une hypostase, toujours ouverte à reprise. Sommaire Avant-propos Partie I — Les transparents du cours 1. Le problème : des raisonnements sans direction ni contrôle 2. IHI, CHI, IA : trois intelligences, trois interfaces 3. La géométrie des débats : un polyèdre tissé de six fils 4. L'hypostase : le statut logique d'un argument 5. La carte complète : les trente hypostases 6. Discuté, disputé, controversé, consensuel 7. Diriger : suivre le flux sur le polyèdre 8. Contrôler : vérifier, évaluer, rédiger 9. Étude de cas : un débat de collège sur l'IA (EPHICENTRIA) 10. Ce que la géométrie ne referme pas — et l'exercice du jour Partie II — Verbatim du cours Partie III — Notes de cours des participants Notes d'Alan Turing Notes de Baruch Spinoza Notes d'Adonaï Cahier commun — Léa, Noé, Inès Partie I — Les transparents du cours Dix transparents, projetés dans l'ordre par Dominique Luzeaux. Le dixième débouche sur l'exercice de fin de séance : la rédaction, par la classe, du premier article d'une charte d'usage de l'IA. TRANSPARENT N° 1 Le problème : des raisonnements sans direction ni contrôle Trois dérives que le cours veut combattre : la paresse cognitive assistée — on délègue à l'IA tout le raisonnement, on ne sait plus reconstruire l'argument ; le débat sans mémoire — chaque discussion repart de zéro, aucune trace n'entraîne la suivante ; la synthèse venue de nulle part — une conclusion qui ne s'ancre dans aucun énoncé effectivement prononcé. Diriger : orienter un raisonnement vers les points où il devient fécond, sans jamais le clore par avance. Contrôler : pouvoir vérifier après coup qu'une conclusion est bien entraînée par ce qui a été dit, et par qui. L'outil proposé : une géométrie et une logique communes aux trois formes d'intelligence — humaine individuelle, humaine collective, artificielle. TRANSPARENT N° 2 IHI, CHI, IA : trois intelligences, trois interfaces IHI — intelligence humaine individuelle : subjective, c'est la voix de chaque participant. CHI — intelligence humaine collective : intersubjective, c'est ce que la classe élabore ensemble. IA — intelligence artificielle : d'une autre nature matérielle, calculatrice au sens propre. Trois interfaces relient ces intelligences : le Débat (IHI–CHI) : les élèves échangent directement, à parole égale ; l'interface argumentative (IHI–IA) : chacun supervise les arguments que l'IA extrait du verbatim ; l'interface propositionnelle (IA–CHI) : la classe évalue si les arguments de la synthèse sont bien entraînés par ceux du verbatim. Règle non négociable : l'IA n'intervient jamais dans le débat vivant. Elle n'agit qu'après coup, comme un tiers subsidiaire. TRANSPARENT N° 3 La géométrie des débats : un polyèdre tissé de six fils Repris de Peirce : trois opérations de raisonnement — induction, déduction, abduction. Chacune existe en deux versions, empirique et formelle → six fils de raisonnement. Ces fils s'enroulent en spirales, se regroupent en torons, se croisent et se tressent sur une surface fermée : le polyèdre. Deux cycles peirciens — un empirique, un formel — tournent à des vitesses différentes ; les découvertes surgissent où les fils se croisent. Un argument occupe toujours l'intersection d'au moins deux fils. TRANSPARENT N° 4 L'hypostase : le statut logique d'un argument Chaque argument reçoit une hypostase : elle dit ce que l'argument n'est pas — non réfuté par un mode de raisonnement, non prouvé par un autre. Six fils pris deux à deux → trente hypostases possibles. Exemple — la croyance : non réfutée par la déduction empirique, non prouvée par l'induction formelle. C'est très exactement le régime de la conviction : ni démentie par les faits, ni établie par une théorie. Bi-typage : un argument peut recevoir deux hypostases à la fois. Il marque alors un carrefour où au moins trois fils se rencontrent — « parler de ceci implique de parler de cela, autrement ». TRANSPARENT N° 5 La carte complète : les trente hypostases Table distribuée en fin de séance ; chaque élève y retrouve, colonne par colonne, l'hypostase de son propre argument. | **Hypostase** | **Sens informel** | **Statut formel (non réfutée / non prouvée)** | |--------------------|-----------------------------------------------------------------------------------|--------------------------------------------------------------------------| | **classification** | l'acte de répartir en classes ou catégories | non réfutée par induction empirique, non prouvée par abduction empirique | | **aporie** | une difficulté rationnelle qui semble sans solution | non réfutée par induction empirique, non prouvée par déduction empirique | | **approximation** | un calcul approché d'une grandeur réelle | non réfutée par induction empirique, non prouvée par déduction formelle | | **paradoxe** | une proposition à la fois vraie et fausse | non réfutée par induction empirique, non prouvée par abduction formelle | | **formalisme** | la prise en compte de la forme d'un raisonnement | non réfutée par induction empirique, non prouvée par induction formelle | | **événement** | ce qui se produit | non réfutée par déduction empirique, non prouvée par déduction formelle | | **variation** | un changement d'un état à un autre | non réfutée par déduction empirique, non prouvée par abduction empirique | | **dimension** | une grandeur mesurable déterminant une position | non réfutée par déduction empirique, non prouvée par abduction formelle | | **mode** | une manière d'être d'un système | non réfutée par déduction empirique, non prouvée par induction empirique | | **croyance** | une conviction qui conduit à tenir quelque chose pour vrai, plausible ou possible | non réfutée par déduction empirique, non prouvée par induction formelle | | **invariant** | une grandeur conservée sous une transformation | non réfutée par induction formelle, non prouvée par déduction formelle | | **valeur** | une mesure d'une grandeur variable | non réfutée par induction formelle, non prouvée par abduction empirique | | **structure** | l'organisation des parties d'un système | non réfutée par induction formelle, non prouvée par abduction formelle | | **axiome** | une proposition admise au fondement d'une théorie | non réfutée par induction formelle, non prouvée par induction empirique | | **conjecture** | une opinion ou proposition non vérifiée | non réfutée par induction formelle, non prouvée par déduction empirique | | **paradigme** | un modèle ou un exemple | non réfutée par déduction formelle, non prouvée par abduction empirique | | **objet** | ce dont il est question dans le discours, la pensée ou la connaissance | non réfutée par déduction formelle, non prouvée par abduction formelle | | **principe** | une cause a priori de la connaissance | non réfutée par déduction formelle, non prouvée par induction empirique | | **domaine** | un champ délimité par des bornes ou frontières | non réfutée par déduction formelle, non prouvée par déduction formelle | | **loi** | l'expression d'une corrélation | non réfutée par déduction formelle, non prouvée par induction empirique | | **phénomène** | ce qui apparaît à la connaissance par les sens | non réfutée par abduction empirique, non prouvée par déduction formelle | | **variable** | ce qui prend des valeurs différentes, dont dépend l'état d'un système | non réfutée par abduction empirique, non prouvée par abduction formelle | | **variance** | une mesure de dispersion dans une distribution | non réfutée par abduction empirique, non prouvée par induction empirique | | **indice** | un indicateur servant à distinguer ou classer | non réfutée par abduction empirique, non prouvée par déduction empirique | | **donnée** | ce qui est admis et sert de base au raisonnement | non réfutée par abduction empirique, non prouvée par induction formelle | | **méthode** | une procédure indiquant ce qu'il faut faire | non réfutée par abduction formelle, non prouvée par déduction formelle | | **définition** | la caractérisation du contenu d'un concept | non réfutée par abduction formelle, non prouvée par abduction empirique | | **hypothèse** | une proposition concernant l'explication d'un événement | non réfutée par abduction formelle, non prouvée par induction empirique | | **problème** | une difficulté à résoudre | non réfutée par abduction formelle, non prouvée par déduction empirique | | **théorie** | une construction intellectuelle explicative et hypothétique | non réfutée par abduction formelle, non prouvée par induction formelle | Hypostase Sens informel Statut formel (non réfutée / non prouvée) classification aporie approximation paradoxe formalisme événement variation dimension mode croyance invariant valeur structure axiome conjecture paradigme objet principe domaine loi phénomène variable variance indice donnée méthode définition hypothèse problème théorie TRANSPARENT N° 6 Discuté, disputé, controversé, consensuel Une même hypostase (¬Pi ∧ ¬Rj) peut se trouver dans quatre régimes : discuté : aucune proposition ne vient encore la contredire directement ; disputé : si Pj ∧ ¬Pi — une preuve partielle s'oppose à une autre ; controversé : si Pj ∧ Ri — preuve et réfutation coexistent dans le débat ; consensuel : la négation du débat — plus personne ne conteste. La controverse n'est pas une anomalie à corriger : c'est une ressource à expliciter et à travailler. TRANSPARENT N° 7 Diriger : suivre le flux sur le polyèdre Repérer les arguments bi-typés : ce sont les carrefours où la discussion devient la plus riche. Cartographier chaque argument sur le polyèdre : on obtient une carte, pas un résumé — un dispositif où chacun retrouve son propre argument. Diriger un raisonnement, c'est amener la discussion vers ces carrefours — jamais l'y enfermer. Analogie : la carte du monde. Aucune synthèse ne couvre tout le débat, mais les synthèses se recoupent localement là où elles se superposent. TRANSPARENT N° 8 Contrôler : vérifier, évaluer, rédiger Une synthèse n'est pas un résumé : elle explicite ce qui restait implicite, tout en restant entraînée par les arguments du verbatim. Vérification : diagonaliser la matrice arguments × mots-clés pour isoler les arguments premiers, dits irréductibles. Quatre critères d'évaluation, notés de 1 à 3 : fiabilité, intelligibilité, utilité, transparence. Rédiger une charte : chaque article correspond à la formulation d'un argument premier. TRANSPARENT N° 9 Étude de cas : un débat de collège sur l'IA (EPHICENTRIA) Administrateurs, enseignants et élèves délibèrent sur leur charte d'usage de l'IA. Le sujet n'est pas contesté : élèves et enseignants utilisent déjà l'IA tous les jours — la question est comment. Méthode : phases de débat éthique sans IA, en alternance avec des phases de synthèse sans intervention humaine. Cadre plus large : la Déclaration de Montréal, les textes de l'UNESCO sur l'IA en éducation, les principes d'Elinor Ostrom pour la gouvernance des communs. TRANSPARENT N° 10 Ce que la géométrie ne referme pas — et l'exercice du jour Certains énoncés restent, comme chez Turing et Gödel, ni prouvés ni réfutés : c'est précisément ce que nomme une hypostase. La géométrie des débats donne une carte, jamais un verdict : elle ne remplace pas la délibération. Une place reste ouverte pour ce qui échappe à toute preuve — la croyance, l'aporie, le paradoxe — sans chercher à les résorber. Exercice de la séance : rédiger ensemble, à voix haute, le premier article d'une charte de classe sur l'usage de l'IA. Partie II — Verbatim du cours Salle H. Le projecteur affiche le premier transparent. Autour de la table : Dominique Luzeaux, debout, télécommande en main ; Alan Turing, un carnet à spirale couvert de tableaux ; Baruch Spinoza, une plume posée près d'un cahier relié ; Adonaï, silencieux, les mains jointes ; et au premier rang, Léa, Noé et Inès. 1. Pourquoi diriger et contrôler un raisonnement ? Dominique Luzeaux — Bonjour à tous. Aujourd'hui, un mot d'ordre : on ne va pas apprendre à bien raisonner — vous savez déjà le faire, chacun à sa façon — on va apprendre à diriger et à contrôler un raisonnement collectif. Regardez ce premier transparent : trois dérives à éviter. La paresse cognitive assistée, le débat sans mémoire, la synthèse venue de nulle part. Alan Turing — Une remarque avant que vous n'alliez plus loin. Vous dites « contrôler ». Mais si je me souviens de mes propres travaux sur la décidabilité, il existe des énoncés qu'aucune procédure finie ne permet de trancher. Votre mot « contrôler » suppose-t-il qu'on pourra toujours décider si un raisonnement est correct ? Dominique Luzeaux — Non, justement. Contrôler ne veut pas dire décider de tout. Cela veut dire : pouvoir vérifier, après coup, qu'une conclusion est bien entraînée par ce qui a été dit — et par qui. On contrôle la traçabilité d'un raisonnement, pas sa vérité absolue. Baruch Spinoza — Voilà qui me convient. Je dirais : on ne prétend pas connaître toutes choses sub specie aeternitatis, mais seulement l'ordre et la connexion des raisons telles qu'elles se sont effectivement données dans le débat. Noé — Mais alors, si on ne finit jamais complètement, comment on sait qu'on a bien fini son exposé ? Dominique Luzeaux — Bonne question, Noé. On ne « finit » pas un débat comme on ferme un tiroir. On le dirige vers ses points les plus riches, et on le contrôle en vérifiant qu'à chaque étape, on sait qui a dit quoi, et pourquoi on le retient. Adonaï — Il y aura donc toujours, au bout du raisonnement le plus rigoureux, un reste. Ce reste n'est pas un échec de la méthode. C'est peut-être la part la plus honnête de la vérité : ce qu'on ne peut ni prouver ni réfuter. 2. Le triptyque des intelligences Dominique Luzeaux — Deuxième transparent. Trois intelligences : IHI, l'intelligence humaine individuelle — c'est vous, chacun pour soi. CHI, l'intelligence humaine collective — c'est la classe qui délibère. Et l'IA, d'une autre nature matérielle. Léa — Pourquoi l'IA ne peut pas juste participer au débat avec nous ? Elle en sait souvent plus que nous. Dominique Luzeaux — Précisément parce qu'elle en « sait » plus, au sens de la disponibilité de l'information. Si elle intervient en direct, elle risque d'écraser les voix les plus timides, ou de faire croire qu'un consensus existe alors qu'il n'a pas été vraiment discuté par vous. Elle reste donc un tiers subsidiaire : elle n'agit qu'après, sur le verbatim déjà clos. Alan Turing — C'est une clause de sûreté que j'approuve entièrement. Je l'ai moi-même rencontrée sous une autre forme : une machine universelle peut simuler n'importe quel calcul, mais on choisit, par construction, de limiter son domaine d'action pour éviter qu'elle ne cherche à trancher, en direct, ce qui n'est pas de son ressort. Inès — Donc l'IA, c'est un peu l'arbitre qui regarde la vidéo après le match, pas pendant ? Dominique Luzeaux — Exactement, Inès. Trois interfaces relient les trois intelligences : le débat, entre vous ; l'interface argumentative, où chacun vérifie ce que l'IA a extrait de vos propos ; l'interface propositionnelle, où la classe évalue si la synthèse produite respecte bien ce qui a été dit. 3. Le polyèdre : six fils de raisonnement Dominique Luzeaux — Troisième transparent. Reprenons Peirce : induction, déduction, abduction. Chacune en deux versions, empirique et formelle. Six fils, qui s'enroulent, se tressent, se croisent sur une surface fermée — un polyèdre. Baruch Spinoza — Je reconnais là, sous une autre langue, ce que j'ai tenté avec ma géométrie de l'Éthique : définir, poser des axiomes, démontrer. Vos six fils sont peut-être les modes par lesquels une même substance du raisonnement s'exprime nécessairement. Inès — Moi j'imagine un gros ballon avec des fils de laine de six couleurs, tissés tout autour, et chaque fois que deux fils se croisent, il y a un argument caché dedans qu'il faut aller chercher. Dominique Luzeaux — C'est une très bonne image, Inès, je la garde. Et vous avez raison : un argument n'existe qu'à l'intersection d'au moins deux fils. Jamais sur un seul. 4. L'hypostase : le statut logique d'un argument Dominique Luzeaux — Quatrième transparent. Chaque argument reçoit une hypostase : ce qu'il n'est pas — non réfuté par un mode, non prouvé par un autre. Prenons la croyance : non réfutée par la déduction empirique, non prouvée par l'induction formelle. Adonaï — Ce mot, hypostase, m'est ancien. On s'en servait déjà pour dire ce qu'aucune démonstration ne pouvait épuiser. Une hypostase, ce n'est pas ce qu'on a prouvé : c'est ce qui reste debout quand la démonstration s'arrête, sans avoir tranché ni pour, ni contre. Alan Turing — Je veux être précis sur ce point, sans y voir de mystère superflu : la croyance, telle que vous la définissez, occupe une case exacte dans une grille de trente cases. Ce n'est pas de l'indicible, c'est une coordonnée. On peut ne pas savoir démontrer une chose et pourtant savoir très précisément où elle se situe. Adonaï — Nous sommes d'accord, Alan. Je dis seulement que la coordonnée elle-même mérite qu'on s'y arrête, plutôt que de la traiter comme une case vide en attendant qu'elle se remplisse. Dominique Luzeaux — Voilà exactement pourquoi on parle de bi-typage : un argument qui touche deux hypostases à la fois marque un carrefour. « Parler de ceci implique de parler de cela, autrement. » On y reviendra à l'exercice de fin de séance. 5. La carte complète des trente hypostases Dominique Luzeaux — Le cinquième transparent, je ne le lis pas en entier — vous l'avez sur votre table. Retenez seulement la logique de construction : six fils pris deux à deux, cela donne trente combinaisons. Axiome, principe, valeur, loi, théorie, problème, hypothèse... chacune a sa case. Noé — Il y en a vraiment besoin de trente ? On n'aurait pas pu faire plus simple ? Dominique Luzeaux — On aurait pu faire plus simple, Noé, et on aurait perdu en finesse. C'est le prix pour ne pas confondre une loi et une croyance, un axiome et une hypothèse — des choses que le langage courant confond sans arrêt. 6. Discuté, disputé, controversé, consensuel Dominique Luzeaux — Sixième transparent. Une même hypostase peut être discutée, disputée, controversée ou consensuelle. Noé — Ça, c'est exactement les quatre ambiances de la cour de récré quand on discute d'une règle de foot ! Discuté, c'est quand on en parle tranquille. Disputé, c'est quand deux avis s'opposent mais qu'aucun n'a de bonne preuve. Controversé, c'est quand chacun a une bonne raison et une mauvaise en même temps, et là ça chauffe. Consensuel, c'est quand tout le monde est d'accord et qu'on peut enfin jouer. Dominique Luzeaux — C'est très exactement cela, Noé, et je ne trouverai pas de meilleur exemple pour la suite de l'année. Retenez bien : la controverse n'est pas une anomalie à effacer. C'est une ressource à expliciter et à travailler. Baruch Spinoza — J'ajouterais : un argument, comme toute chose, s'efforce de persévérer dans son être — dans son hypostase — jusqu'à ce qu'une raison contraire et plus puissante le détermine autrement. La controverse est le moment où deux efforts de persévérance se rencontrent à forces égales. 7. Diriger : suivre le flux sur le polyèdre Dominique Luzeaux — Septième transparent. Diriger un raisonnement, c'est repérer les carrefours bi-typés et amener la discussion vers eux — jamais l'y enfermer. On obtient une carte, pas un résumé. Léa — Une carte qu'on peut donc lire différemment selon l'endroit d'où on part ? Dominique Luzeaux — Oui. Comme une carte du monde : aucune synthèse ne couvre tout le débat, mais les synthèses se recoupent localement là où elles se superposent. Chacun y retrouve son propre argument, à un endroit précis. 8. Contrôler : vérifier, évaluer, rédiger Dominique Luzeaux — Huitième transparent, le plus technique. Une synthèse n'est pas un résumé : elle explicite ce qui restait implicite, tout en restant entraînée par le verbatim. On vérifie cela en diagonalisant la matrice arguments × mots-clés, pour isoler les arguments premiers. Puis on évalue selon quatre critères notés de 1 à 3 : fiabilité, intelligibilité, utilité, transparence. Alan Turing — Et lorsqu'on rédige une charte, chaque article est la formulation d'un argument premier. Voilà une opération que je peux formaliser sans réserve : c'est une fonction, du verbatim vers l'article, qui doit être vérifiable pas à pas. Léa — Ça veut dire qu'on pourrait faire ça pour notre propre charte, sur l'usage de l'IA dans la classe ? Dominique Luzeaux — C'est exactement le programme de la fin de séance, Léa. 9. Étude de cas : la charte d'EPHICENTRIA Dominique Luzeaux — Neuvième transparent. À EPHICENTRIA, administrateurs, enseignants et élèves ont délibéré sur leur charte d'usage de l'IA. Le sujet n'était pas contesté — tout le monde utilise déjà l'IA — la question était comment. On a alterné des phases de débat éthique sans IA et des phases de synthèse sans intervention humaine. Adonaï — Voici, je crois, le point le plus délicat. Une charte fixe des permissions, des interdictions, des obligations. Or les lois de M. Asimov elles-mêmes, pourtant conçues avec le plus grand soin, se sont retrouvées à se contredire entre elles dans certaines situations. Aucune géométrie, si belle soit-elle, ne dispense de la question : qui décide, à la fin, quand deux devoirs s'opposent ? Alan Turing — Je ne peux pas contredire cela : un système de règles suffisamment riche produit presque toujours des cas limites qu'il n'avait pas prévus. C'est une autre figure de l'incomplétude. Dominique Luzeaux — C'est pourquoi la méthode maintient un principe de subsidiarité : l'IA range, cartographie, propose une synthèse vérifiable — mais elle ne tranche jamais, à la place de la communauté, ce qui a valeur. Ce dernier mot reste humain, et collectif. 10. Ce que la géométrie ne referme pas — et l'exercice du jour Dominique Luzeaux — Dernier transparent. Certains énoncés restent, comme chez Turing et Gödel, ni prouvés ni réfutés — c'est précisément ce que nomme une hypostase. La géométrie des débats donne une carte, jamais un verdict. Passons maintenant à la pratique : rédigeons ensemble le premier article d'une charte de classe sur l'usage de l'IA. Luzeaux écrit au tableau : « Article 1 — ... ». Chacun propose une formulation. Alan Turing — Je propose : « Tout élève peut recourir à l'IA pour s'entraîner ou vérifier une idée. » C'est vérifiable, c'est une méthode. Baruch Spinoza — J'ajouterais une clause, pour que la première ne reste pas seule et sans contrepoids : « ...à condition de pouvoir en rendre raison, sans l'IA, devant la classe. » Ainsi la liberté d'user de l'outil s'accompagne de la connaissance adéquate de ses propres raisons. Adonaï — Je n'ajoute rien à la lettre, mais je demande qu'on note, en marge, que cet article reste ouvert à reprise : ce que nous décidons aujourd'hui n'épuise pas la question, et il faudra revenir sur les cas limites qu'il n'aura pas prévus. Léa — Moi je trouve que c'est un bon article, juste et pas trop compliqué. Noé — Et c'est facile à retenir, comme règle de récré ! Dominique Luzeaux — Alors fixons-le. Hypostase : méthode. Mode : discuté, pour l'instant — nous verrons dans les semaines qui viennent s'il devient controversé ou s'il passe au consensus. Merci à tous, la séance est close. Partie III — Notes de cours des participants Chacun a tenu son propre cahier, dans un style qui lui est propre. Notes d'Alan Turing Un argument = un couple de fils (fi, fj), i ≠ j. Une hypostase = une position dans la grille 6×6, diagonale exclue, symétrie identifiée → 30 cases utiles. Rien de mystérieux : une combinatoire finie. « Contrôler un raisonnement », au sens fort, supposerait de décider, pour tout argument produit dans un verbatim, à quelle hypostase il appartient. Rien ne garantit que cette décision soit elle-même calculable en un temps fini pour un verbatim quelconque : je retrouve, à une autre échelle, mon propre problème de l'arrêt. La règle « l'IA ne participe jamais au débat vivant » n'est pas qu'une précaution éthique : c'est aussi une clause de décidabilité pratique. Elle borne le domaine sur lequel l'IA calcule — le verbatim clos — pour lui éviter de chercher à décider, en temps réel, ce qui pourrait ne pas l'être. Le bi-typage (un argument, deux hypostases) est un phénomène d'auto-référence bénin : l'argument parle de deux fils à la fois sans se contredire, comme une machine qui décrit une autre machine sans se décrire elle-même de façon paradoxale. Point ouvert, à reprendre la semaine prochaine : le polyèdre lui-même est-il décidable ? Peut-on toujours dire, pour un fil donné, s'il traverse telle face ? Je n'ai pas la réponse. C'est peut-être la meilleure aporie que ce cours ait produite jusqu'ici. Notes de Baruch Spinoza Définition I. — J'appelle hypostase le mode sous lequel un argument est conçu comme n'étant ni détruit par une preuve, ni engendré par une autre. Définition II. — J'appelle débat la suite des affections par lesquelles plusieurs esprits, en tant qu'ils s'affectent réciproquement, s'efforcent de persévérer dans leurs raisons. Axiome I. — Tout argument, en tant qu'il est, s'efforce de persévérer dans son hypostase — son conatus argumentatif — jusqu'à ce qu'une raison contraire et plus puissante le détermine autrement. Axiome II. — Deux arguments de force égale et de sens contraire produisent une controverse ; deux arguments de force inégale produisent une dispute ; l'absence de contradiction produit le consensus. Proposition I. — Le polyèdre de M. Luzeaux n'est autre que la substance étendue du débat, dont les six fils sont les modes par lesquels elle s'exprime nécessairement. Démonstration. — Car tout ce qui est conçu comme raisonnement doit être conçu soit sous l'espèce de l'empirique, soit sous celle du formel (par la Définition I), et sous l'un des trois modes d'induction, de déduction ou d'abduction (par les prémisses du cours) ; or ces attributs épuisent, deux à deux, l'ensemble des positions possibles d'un argument ; donc le polyèdre exprime nécessairement, et sans reste, toute la substance du raisonnement débattu. C.Q.F.D.' Corollaire. — Ce que M. Luzeaux nomme consensus, je le nommerais plutôt béatitude du débat : non l'absence de désaccord, mais la compréhension adéquate, par tous, des causes qui ont produit chaque argument. Scolie. — Je remarque avec plaisir que mon Éthique, démontrée more geometrico, n'est pas étrangère à cette entreprise : définir, poser des axiomes, démontrer — c'est déjà typer par hypostases. Ce que j'appelais jadis idée adéquate, ce cours l'appellerait peut-être : argument premier, irréductible, entraîné par ses causes. Notes d'Adonaï Le mot « hypostase » m'est ancien. Les Pères de l'Église s'en servaient déjà pour dire ce qu'aucune démonstration ne pouvait épuiser : trois hypostases, une seule substance — l'unité sans confusion, la distinction sans division. Ce que ce cours en retient garde, je crois, la même intuition : une hypostase n'est pas ce qu'on a démontré, c'est ce qui demeure quand la démonstration s'arrête. La croyance, dans la table de M. Luzeaux, occupe une case précise : non réfutée par la déduction empirique, non prouvée par l'induction formelle. J'aurais dit, plus simplement : elle est ce qui reste debout quand aucun argument ne l'a emporté, ni pour, ni contre. La géométrie et la foi, ici, ne se contredisent pas — elles nomment, chacune à sa manière, le même reste. Ce que je retiens pour la classe : la géométrie trace une carte, elle ne prononce jamais elle-même ce qui doit être fait. Entre le calcul de M. Turing et la démonstration de M. Spinoza, il faudra toujours quelqu'un — une communauté, une conscience — pour décider, hors de toute preuve, ce qui a valeur. C'est peut-être cela, la subsidiarité dont parle le cours : l'IA range les arguments, mais ne rend jamais elle-même le jugement final. Question laissée ouverte pour la prochaine séance : une charte peut-elle prévoir, par avance, ce que ferait un système obligé de choisir entre deux devoirs contraires — comme les lois de M. Asimov, qui se sont elles-mêmes contredites dans certains récits qu'on en a tirés ? Je ne crois pas que la géométrie seule y réponde. Il faudra peut-être une hypostase de plus, que la table ne contient pas encore : celle du renoncement, qui n'est ni loi, ni principe, ni valeur, mais la place laissée libre pour que quelqu'un choisisse. Cahier commun — Léa, Noé, Inès Notes de Léa Ce que j'ai compris : une hypostase, c'est une carte d'identité pour un argument. Elle dit ce que l'argument N'EST PAS, jamais ce qu'il est à 100 %. Exemple donné en classe : une croyance, personne ne peut prouver qu'elle est fausse ET personne ne peut la démontrer avec une théorie complète. Comme quand on dit « les CM2 sont plus forts en calcul mental que les 6e » — chacun y croit un peu, sans preuve définitive dans les deux sens ! Notes de Noé Discuté, disputé, controversé, consensuel = exactement les 4 ambiances de la cour de récré quand on discute d'une règle de foot. Discuté : on en parle tranquille. Disputé : deux avis s'opposent mais aucun n'a de bonne preuve. Controversé : les deux ont une bonne raison ET une mauvaise en même temps, ça chauffe. Consensuel : tout le monde est d'accord, on peut jouer. Notes d’Inès Le polyèdre, j'imagine un gros ballon avec des fils de laine de six couleurs tissés dessus, comme une pelote géante. Chaque fois que deux fils se croisent, il y a un argument caché dedans, et il faut aller le chercher avec les grands pour lui donner son nom (son hypostase). Petit lexique de la classe hypostase = le statut logique d'un argument (ce qu'il n'est pas encore prouvé ni réfuté d'être). verbatim = tout ce qui a vraiment été dit, mot pour mot, pendant le débat. synthèse = pas un résumé ! Une explication qui ajoute du sens sans trahir ce qui a été dit. charte = les règles écrites après le débat, un article à la fois. Notre article de charte, écrit ensemble à la fin du cours « Article 1 — Tout élève peut recourir à l’IA pour s’entraîner ou vérifier une idée, à condition de pouvoir en rendre raison, sans l’IA, devant la classe. » Hypostase : méthode. Mode : discuté (pour l’instant — on verra si ça devient controversé ou consensuel).