Signes formels et computation numrique!

: entre intuition et formalisme

Critique de la raison computationnelle

Bruno Bachimont
Direction de la recherche et de lExprimentation Institut National de lAudiovisuel 4 avenue de lEurope 94366 Bry sur Marne Bbachimont@ina.fr 00 33 1 49 83 24 66 Heudiasyc CNRS/UMR 6599 Centre de recherche de Royallieu Universit de Technologie de Compigne BP 20259 60205 Compigne Cedex Bruno.Bachimont@utc.fr 00 33 3 44 23 49 74

INTUITION ET FORMALISME LE LEGS DU 17E SICLE UNE SITUATION CONTEMPORAINE ANALOGUE!: CALCUL ET SIGNIFICATION TECHNOLOGIES NUMRIQUES ET CRITURE DE LA RAISON GRAPHIQUE LA RAISON COMPUTATIONNELLE LCRITURE ET LA SYNTHSE LA TECHNIQUE ET LA SYNTHSE LES STRUCTURES DE LA RAISON GRAPHIQUE DU GRAPHIQUE AU CALCUL UN RAISON COMPUTATIONNELLE!? LES STRUCTURES DE LA RAISON COMPUTATIONNELLE RAISON GRAPHIQUE CRITIQUE DE LA RAISON COMPUTATIONNELLE LE PROBLME DE LINTELLIGIBILIT LA RHTORIQUE COMME PRINCIPE RGULATEUR DU DISCURSIF NUMRIQUE NATURE PHYSIQUE ET NATURE SYMBOLIQUE NATURE SENSIBLE CONCLUSION

2 2 3 5 6 7 8 9 9 10 11 12 12 12 13 14 15 15

Intuition et formalisme!
Le legs du 17e sicle
Les signes constituent des supports prcieux pour le raisonnement, en particulier pour le raisonnement logique et scientifique. Cest au 17e sicle que se sont forges les principales conceptions du signe et de son rle dans le raisonnement. On distinguera en effet lintuitionnisme gomtrique de Descartes, le formalisme arithmtique et algbrique de Leibniz1, et en troisime lieu le raisonnement philosophique qui, comme Kant le soulignera plus tard, en digne hritier de ces rflexions sur le signe, constitue.une position intermdiaire2. Lintuitionnisme gomtrique cartsien correspond au fait que le signe prsente directement et immdiatement (i.e. sans mdiation) le contenu dont il est le signe. Cest par exemple la figure gomtrique. Le raisonnement seffectue en tant guid par la figure dans la mesure o elle donne voir directement ce dont il sagit!: en suivant la lettre symbolique de la figure, le gomtre na pas besoin de mobiliser des entits signifies et absentes!; la signification est ici immanente la figure qui montre ce quelle signifie. Cest la raison pour laquelle elle permet de suivre de manire assure et vrace les raisonnements o la force de la forme est au service dun contenu signifi constamment adhrent la forme signifiante et directement apprhendable. Lexactitude des raisonnements et le fondement de leur vrit reposent par consquent sur lvidence (i.e. tymologiquement, ce qui saute aux yeux, ce qui ressort). La forme de la figure na donc de valeur que dans la mesure o elle donne voir. Le formalisme algbrique leibnizien emprunte une toute autre voie. En effet, lvidence restant entache de subjectivit et darbitraire, le mathmaticien formaliste mobilise un symbolisme quil manipule travers une combinatoire rgle par des lois formelles, cest-dire appliques uniquement en vertu de la forme indpendamment du contenu signifi. Le recours un symbolisme entrane une conomie cognitive permettant de mener des raisonnements complexes o lon ne peut avoir tous ses lments prsents lesprit!:
Tout raisonnement humain saccomplit au moyen de certains signes ou caractres. Ce nest pas seulement les choses elles-mmes mais aussi les ides des choses que lesprit ne peut et ne doit pas observer toujours de faon distincte!; cest pourquoi on a mis des signes leur place, afin dabrger. En effet, si un gomtre, chaque fois quil nommait une hyperbole, une spirale ou une quadratrice au cours de ses dmonstrations, devait se contraindre faire figurer exactement au pralable leur dfinition ou leur mode dengendrement ainsi que, leur tour, les dfinitions des termes qui interviennent dans ces dfinitions, cest trs lentement quil en viendrait dceler quoi que ce soit de nouveau!; si un arithmticien pensait continuellement au cours de ses calculs aux valeurs de toutes les marques ou chiffres quil crit, ainsi qu la multitude des units, il ne viendrait jamais bout de longs calculs, pas plus que sil voulait se servir dautant de cailloux!; quant au jurisconsulte enfin, il ne peut pas parcourir toujours par lesprit les rquisits essentiels, souvent longs, des actions, exceptions, bnfices de droit, chaque fois quil les mentionne, et il nen a aucun besoin. Ainsi a-t-on assign des noms aux contrats, aux figures, des espces varies de choses, ainsi que des signes aux nombres en arithmtique et aux grandeurs en algbre, de sorte que si lexprience et le raisonnement nous ont un jour fait faire des dcouvertes sur certaines choses, on puisse par la suite conjoindre en toute scurit les signes des uns et les signes des autres. Leibniz, Projet de prface la science gnrale, GP VII 204.

Ainsi, le raisonnement est men de manire assure, non parce quil sappuie sur un contenu manifest et rendu visible par un symbolisme gomtrique, mais parce quil mobilise la manipulation de signes matriels effectifs quil suffit de considrer en eux-mmes et indpendamment de ce quil signifie.

1 2

Leibniz critique de Descartes, Yvon Belaval, Gallimard, 1960. Kant et les mathmatiques, Franck Pirobon, Vrin, 2003.

Les preuves ou expriences quon fait en mathmatiques pour se garantir dun faux raisonnement ne se font pas sur la chose mme,mais sur les caractres que nous avons substitus la place de la chose. Opuscules et fragments indits de Leibniz, slection de textes de L. Couturat, 1903, p. 154.

Cest ce qui se passe dj dans larithmtique mais en fait surtout en algbre!: partir dune correspondance tablie initialement entre les symboles et des entits, extrieures au symbolisme, quils signifient, la manipulation algbrique est mene en ne considrant plus ces entits pour, finalement, rassocier aux symboles par lesquels le rsultat se rduit les entits correspondantes et trouver la solution recherche. Kant le paraphrase de manire tout fait claire ainsi!:
Puisque nous ne traitons ici nos propositions que comme des conclusions immdiates dexpriences, je men rapporte dabord, en ce qui concerne celle-ci, larithmtique, aussi bien larithmtique gnrale des grandeurs indtermines qu celle des nombres o lon dtermine le rapport de la grandeur lunit. Dans lune et lautre sont dabord poss, la place des choses mmes, leurs signes avec la dsignation particulire de leur accroissement ou de leur diminution, de leurs rapports, etc., et on procde ensuite, avec ces signes, selon des rgles simples et certaines, par permutation, combinaison et soustraction, et par toutes sortes dautres changements, de telle manire que les choses signifies ellesmmes y sont laisses entirement en dehors de la pense, jusqu ce qu la fin, dans la conclusion, la signification symbolique de la consquence en soit dchiffre. Recherche sur lvidence des principes de la thologie naturelle et de la morale Ak II, 278.

Dune certaine manire, intuitionnisme et formalisme se rejoignent!: dans les deux cas, on ne mne le raisonnement sur le contenu que sur la foi de ce quon voit et manipule concrtement. Dans loptique intuitionniste, le contenu est l aussi sous les yeux, adhrent et immanent au symbolisme, dans loptique formelle, le contenu na pas besoin dtre considr. Bref, soit le contenu est prsent, soit on peut sen passer, mais on ne raisonne que sur la prsence des symboles. Tout autre est le raisonnement philosophique. En effet, ce dernier sappuyant sur la langue naturelle, il doit mobiliser des concepts travers des mots et lesprit doit faire leffort de toujours mettre sous le regard de lesprit le contenu signifi mais non manifest par les symboles. Contrairement lintuitionnisme, les mots et symboles du raisonnement conceptuel et philosophique ne manifestent pas directement le contenu. Contrairement au formalisme, on ne peut pas se passer de le considrer pour mener bien le raisonnement. Ce type de raisonnement ne semble alors ne pas pouvoir trouver de mthode le guidant avec assurance et certitude dans la voie de la vrit, car il doit toujours se protger du verbalisme, cest--dire la tendance formelle faire confiance aux mots et leur combinaison sans vrifier les implications au niveau du contenu, et du mysticisme, cest--dire la tendance intuitionniste se fonder sur un contenu quon ne peut jamais voir ni communiquer ou faire partager. Pris entre une forme refltant imparfaitement le contenu et un contenu non directement accessible, le raisonnement discursif fond sur les signes linguistiques bnficie dune combinatoire dont laveuglement au contenu conduit la ccit du raisonnement. Cest pourquoi la puissance formelle ne peut tre quun support lexercice de la pense et sa substitution algbrique.

Une situation contemporaine analogue!: calcul et signification

Linformatique peut tre comprise comme une automatisation des raisonnements mens dans les systmes formels3, ces systmes algbriques formalisant le raisonnement logique et mathmatique. Ces systmes algbrisent en effet lactivit mathmatique elle-mme et non les objets sur lesquels cette dernire porte habituellement. Dans cette optique, linformatique est une consquence directe et extrme du formalisme algbrique leibnizien, repris comme le sait

Mind Design, John Haugeland, MIT Press, 1981.

par D. Hilbert lors de la crise des fondements des mathmatiques4!: la manipulation aveugle de signes considrs indpendamment de leur contenu permet de mener bien les calculs. Le formalisme aurait donc dfinitivement gagn la partie sur lintuitionnisme cartsien et il serait ainsi devenu la seule conception adquate pour comprendre le statut des programmes informatiques et leur fonctionnement. Cependant, il nen est pas ainsi. Il faut en effet distinguer deux manires trs diffrentes dutiliser les systmes informatiques. Selon la premire, on considre un ensemble dentits mathmatiques reprsentes par un symbolisme prcisment dfini. Ce symbolisme, manipul par des rgles formelles (indpendamment du contenu signifi), peut tre mis en uvre via un programme. Le comportement aveugle du programme reste cependant adquat au contenu, linstar du formalisme mathmatique ou leibnizien. Le rsultat du programme est intelligible car on sait avec exactitude et prcision associer chaque signe du symbolisme informatique une entit du monde mathmatique tudi. Dans la seconde situation, on ne manipule pas des symboles associs un modle mathmatique, mais des symboles librement interprts selon des rgles empruntes la langue gnrale ou la langue spcialise dun domaine dactivit. Ces symboles, appartenant au lexique de ces langues, nont pas de signification prcise (au sens des formalismes mathmatiques et logiques) et il nest pas possible de leur associer de manire univoque une entit signifie et associe. Autrement dit, alors quon dispose dun formalisme dans la mesure o les symboles sont manipuls uniquement en fonction de leur forme et indpendamment du contenu, ces symboles, contrairement au symbolisme algbrique, nont pas de signification prcise. On retrouve dans cette dernire situation les difficults analogues celles du raisonnement philosophique!: puisque le formalisme nest pas associ un contenu de manire systmatique, on risque de verser dans le verbalisme en prenant trop !au pied de la lettre! les symboles inscrits sur lordinateur, ou dans un mysticisme en croyant que le systme vise les mmes entits que celles que nous associons aux symboles manipuls. Cette situation correspond aujourdhui la majorit des circonstances dutilisation des outils informatiques!: que ce soit le gnie logiciel, la bureautique, le gnie documentaire, etc., on met en uvre des formalismes dont la signification nest pas systmatiquement tablie si bien quil nest pas possible dtablir avec rigueur et certitude ce que veut dire la machine en proposant un rsultat, ni de savoir ce quil signifie. Autrement dit, en dehors de linformatique scientifique, on se retrouve devant des rsultats dont lintelligibilit nest pas pr-dtermine. Dans ce cas, on peut produire du non sens, mais aussi des configurations symboliques indites ou imprvues dont linterprtation permet de dboucher sur de nouvelles penses ou conceptions, de la mme manire que lon peut comprendre des phrases que lon na encore jamais dites ou entendues. Cest prcisment de ce type de situations que nous voulons traiter dans cet article. Comment comprendre la nature de ce que nous faisons avec nos machines informatiques quand il ne sagit pas seulement dautomatiser nos symbolismes algbriques issus des sciences mathmatiques, mais de mcaniser la manipulation de symboles comme sils taient algbriques (cest--dire en congdiant leur signification pendant leur manipulation) alors quils ne le sont pas (les comprendre, cest les considrer dans leur matrialit physique avec leur signification sans jamais les dissocier).

ber das Unendliche, David Hilbert, Math. Annalen, 95, 1926, pp. 161-190.

Cet objectif est important dans la mesure o linvention que permettent les combinatoires algbriques (comme Leibniz le suggre, cf. ci-dessus), il faut ajouter linvention que permettraient ces combinatoires pseudo-algbriques. Pour aborder cette invention, nous proposons de considrer ces formalismes comme des critures et des outils intellectuels, cest-dire comme des symboles dont la manipulation peut tre purement formelle si on en reste leur nature matrielle et physique, mais dont linterprtation ne peut pas se rapporter des rgles algbriques. Il faut donc comprendre comment ces outils informatiques ou numriques mettent au service de la puissance dinvention du sens la combinatoire des symboles.

Technologies numriques et criture

Dans la longue histoire des outils intellectuels qui nous aident penser, linformatique et le numrique occupent une place importante, dont la porte reste encore tablir et tudier. En effet, si la nature scientifique et technique du numrique et du calcul reposent sur des bases solides, les consquences entranes par leur utilisation massive dans les secteurs les plus divers de lactivit humaine sont encore difficiles mesurer. Les technologies numriques sinscrivent en effet dans le mouvement dextriorisation et de prothtisation de la pense5, suivant lequel des oprations intellectuelles sont consignes et confies des outils et instruments matriels, dchargeant ainsi la pense et lui permettant de sintresser dautres choses. Cependant, en tant confies des instruments et supports matriels, les tches intellectuelles changent de nature et, quand lesprit se rapproprie leur rsultat, il y trouve autre chose que ce quil aurait trouv sil stait charg lui-mme de ces tches. Par exemple, si au lieu de mmoriser un discours, on le consigne par crit, le confiant ainsi au support matriel du papier, la lecture du texte rsultant permet de dgager dautres proprits que la remmoration. A travers les techniques de lcriture et le travail de ldition, la lecture donnera accs au contenu exact, alors que la mmoire peut tre fautive. Le texte crit permet en outre de voir ensemble, disposs dans un mme espace, des squences de mots qui taient spares par la succession de la parole. Le texte offre un accs simultan un contenu rassembl dans lespace synoptique de lcriture, contenu qui demeurait jusque l dispers dans la linarit temporelle de la parole. Spatialisant la parole, lcrit la dlinarise, et permet de considrer le contenu dans la spatialit bi-dimensionnelle des pages. Mais lcrit perd les intonations, la prosodie, les marqueurs motionnels dont la mmoire peut garder un souvenir plus ou moins fidle. Si lcrit apporte un supplment de dintelligibilit la parole, en la rendant visible, il lui enlve galement des niveaux de comprhension. Cest pourquoi, si lcrit permet deffectuer des tches que lon pourrait confier la mmoire orale, il le fait autrement, si bien quil fait autre chose, et nous fait faire autre chose. Lcrit nous offre la matire penser diffremment, penser autre chose, dgager de nouvelles tches intellectuelles et de nouveaux objets intellectuels. Par consquent, se dgage lide que nos outils intellectuels, selon leur nature et leurs proprits, nous aident penser diffremment, comme les outils mcaniques permettent de raliser des objets matriels diffrents. Et, de la mme manire quil existe une histoire des techniques et des objets quelles permettent de raliser, il existe une histoire de nos outils intellectuels et des modes de pense qui y sont attachs. Si, comme lcriture, le numrique marque une rupture dans lhistoire des outils de la pense, la question se pose de distinguer en quoi nous pensons diffremment quand nous disposons

La technique et le temps, Bernard Stiegler, Galile, 1999. Le geste et la parole, Tome II!: La mmoire et les rythmes, Andr Leroi-Gourhan, Albin Michel, 1967.

doutils numriques, en quoi nous constituons des objets intellectuels nouveaux, en quoi nous laborons des concepts qui resteraient inconcevables sans une telle mdiation numrique. Mais il ne faut pas considrer que la mutation technologique des outils intellectuels conduit ncessairement un supplment, une extension de notre champ cognitif. Il peut se traduire par un dficit dintelligibilit, par une perte de sens, par une dsorientation. Les possibilits ouvertes par une mutation technologique, avant dtre actualises, peuvent se traduire par un manque. Quel est le manque introduit par le numrique!? Il nous semble que le supplment apport par le numrique se laisse sans doute mieux comprendre par le manque auquel nous devons faire face quand nous abordons linstrumentation numrique de nos modes de pense. Ce manque est la marque de la rupture vis--vis des habitudes antrieures, et dcrit en creux les nouveaux horizons que nous pouvons tenter dexplorer. Enfin, en dernier pralable, la mutation numrique nest pas un progrs, ou une rgression, mais une mutation qui simpose nous mme si nous en sommes les auteurs. Le numrique nest sans doute pas mieux, ni moins bien que lcriture par exemple, mais srement aussi important. Il ne convient donc pas de se lamenter dune ventuelle rgression ou de se fliciter dun hypothtique progrs, mais plutt de se doter des concepts permettant de penser le numrique.

De la raison graphique la raison computationnelle

Il peut paratre surprenant dadosser le terme de !raison! un principe technique!: lcriture dans un cas, le calcul dans lautre. En effet, il est habituel de considrer que la pense, et la rationalit en particulier, est une activit propre de lesprit, indpendante en droit sinon en fait de son environnement culturel ou historique. Autrement dit, le pensable ne dpend pas de lenvironnement technique de lesprit, mme si, de manire contingente, ce qui est effectivement pens peut tre affect par les conditions matrielles de la raison. Par consquent, voquer comme le propose Goody6 une raison graphique et, comme nous le suggrons, une raison computationnelle7,!est paradoxal puisquon ferait dpendre dun principe technique une activit qui, en droit ne dpend que delle-mme. Pourtant, les travaux sur lcriture ont permis de montrer que les innovations techniques qui ont marqu son histoire ont eu des consquences directes sur le pensable (et pas seulement le pens). Les consquences lies la matrise de la technique de lcriture peuvent se considrer selon deux aspects, un aspect anthropologique, ou un aspect historique. Jack Goody est sans nul doute lanthropologue qui a le plus contribu comprendre le rle de lcriture dans lmergence de certaines oprations cognitives ou manires de penser qui seraient spcifiques lcriture. Dans son clbre ouvrage pour lequel les traducteurs franais ont propos le titre de !Raison graphique! (le titre original tant the domestication of the savage mind), Goody montre en quoi les cultures dotes de lcriture raisonnent diffremment des cultures dites orales. En effet, plutt que dattribuer ces diffrences un axe de dveloppement et de progrs continu sur lequel les cultures orales occuperaient une position infrieure aux cultures crites, les premires montrant un tat antrieur des secondes, Goody montre quil sagit plutt de diffrences procdant dinstrumentations techniques distinctes.

La raison graphique, Jack Goody, Editions de Minuit, 1979. Voir aussi du mme auteur La logique de lcriture, Armand Colin 1985. 7 Lintelligence artificielle comme criture dynamique!: de la raison graphique la raison computationnelle, In Au nom du sens, Paolo Fabbri et Jean Petitot Editeurs, Grasset, 2000.

En quoi lcriture estelle si importante et induit-elle des oprations cognitives particulires, une manire de penser spcifique, bref une rationalit quil faudrait qualifier de graphique!? En allant lessentiel, lcriture apporte au contenu une synopsis spatiale, permettant de reprer des rapports et des proprits qui demeurent indcelables dans la succession linaire de la temporalit de la parole!: lcriture donne voir des rapports qui ne sont pas perceptibles lcoute de la parole. En effet, en apportant une bidimensionnalit spatiale la reprsentation du contenu, lesprit peut accder simultanment diffrentes parties du contenu indpendamment de lordre reliant ces parties dans le flux oral. Par consquent, ce qui est dispers dans le temps devient contigu dans lespace, lil pouvant librement naviguer et reprer des identits entre lments du contenu (par exemple, des mots possdant un mme radical mais des flexions diffrentes). Alors quune phrase contenant dans une succession linaire les mots !rosa, rosae, rosam, rosas, etc.! est trs improbable, si bien qu loral il demeure trs difficile de reprer que ces diffrents mots renvoient une mme dclinaison dont on peut dailleurs dgager la structure (les diffrentes flexions), la reprsentation crite permet de dlinariser le discours et den prlever des units que lon peut confronter et juxtaposer au regard de lesprit.

Lcriture et la synthse
Lcriture permet la synthse spatiale, le fait de poser (-thse) ensemble (syn-) des units sinon disperses et de les unifier dans une mme structure ou catgorie. Dune certaine manire, lcriture permet ce que Kant dcrit dans la Critique de la raison pure8 propos des trois synthses permettant la conscience dunifier les sensations ou reprsentations singulires dans lunit dun concept. On se souvient en effet que Kant mobilise la synthse de lapprhension dans lintuition, la synthse de la reproduction dans limagination et la synthse de la recognition dans le concept. Ces synthses sont ncessaires car lesprit se voit donner dans lexprience un divers spatio-temporel, cest--dire un contenu dispers dans le temps et dans lespace. Cette dispersion interdit de voir dans ce divers quelque chose , ni mme un quelque chose. Il manque cette dispersion cette unit qui permettrait dy reconnatre quelque chose. Pour surmonter cette dispersion, il faut donc rassembler les lments qui la composent pour les apprhender globalement, unitairement. Ce sera la tche de la synthse de lapprhension dans lintuition, cest--dire le fait de poser ensemble (cest la synthse) dans une mme apprhension ce qui est donn dans lintuition. Mais, pour que cela soit possible, il faut poser ensemble, dans une mme unit ce qui est dispers dans le temps. Or, la dispersion dans le temps implique que le divers scoule, le prsent sabmant continuellement dans le pass. Si lon veut effectuer une synthse dun divers temporel, il faut maintenir dans le prsent ce qui scoule dans le pass, pour que tous les lments du divers soient ensemble donns et disponibles pour une mme apprhension. Maintenir le pass dans le prsent se fait en le reproduisant, grce limagination, dans le prsent. Limagination rpte le pass dans le prsent, pour le rendre disponible avec le prsent et apprhendable en un tout. Mais, cette rptition ne peut se faire au hasard!: il ne faut rpter du divers qui sabme dans le pass que ce qui est pertinent et cohrent pour constituer une unit. Ce sera le rle du concept que de donner un principe de slection, dans le discernement de ce quil faut reproduire dans limagination. Ainsi, le concept est une rgle donnant le principe dune reproduction dans limagination donnant lintuition une apprhension globale, lapprhension dun quelque chose. En prenant une description phnomnologique de ce processus, et donc en sortant de la lettre kantienne, on peut reformuler ainsi!: je regarde par exemple mon livre sur la table et je tourne autour de la table. Continuellement, mes

Critique de la raison pure, Emmanuel Kant, Traduction Alain Renaut, Aubier 2001.

perceptions se succdent et sabment dans le pass. Mon imagination rpte ce qui est donn ma perception!: mais pas toute la scne, seulement ce qui relve de mon attention, cest-dire le livre tel que mon concept de livre permet de le caractriser. Ce concept de livre permet de slectionner dans la scne perue ce quil faut rpter dans limagination et de poser ensemble avec les autres vues du livre telles quelles sont donnes travers toutes les perceptions. Ces vues me donnent alors la perception du livre, comme objet spatial tridimensionnel, avec une couverture, des pages, etc. Lcriture permet techniquement de raliser ce que les trois synthses kantiennes effectuent. En spatialisant la parole, lcriture maintient prsentes les lments qui la composent. Par la transcription symbolique (par exemple alphabtique), elle slectionne ce qui est donn dans la perception sonore pour ne retenir que les phonmes, indpendamment de la prosodie par exemple. Ainsi, dans ce cas particulier de lcriture phontique, le phonme est le concept permettant la transcription qui assure, dans lespace de lcriture, la permanence du donn phontique. A ce moment, une autre perception est possible!: pour reprendre lexemple introduit plus haut, grce au concept de !mme forme lexicale!, je peux rassembler dans lespace de ma feuille les mots disperss dans la transcription, mais accessibles simultanment, manifestant une mme structure, par exemple !rosa!, et !rosae!, me permettant ainsi de dgager un paradigme de dclinaison. Autrement dit, lcriture non seulement permet lesprit daccomplir ce que Kant dcrit dans ses trois synthses, mais elle permet de constituer, au sens phnomnologique du terme, de nouveaux concepts Lcriture est une technique qui permet de proposer lesprit des configurations synthtiques nouvelles, ces configurations permettant de constituer de nouveaux concepts. On inverse alors lordre kantien!: selon Kant en effet, je dois apprhender globalement lintuition pour percevoir quelque chose, donc je dois reproduire dans limagination, donc que je dois mobiliser un concept. Ce faisant, le concept (avec les autres structures a priori, en particulier lespace et le temps) est la condition de lapprhension synthtique, non son rsultat. Mais, si la synthse seffectue par leffectivit technique, elle nest pas conditionne par le concept, en tout cas pas par le concept quelle permet de constituer. Ainsi, si lcriture correspond au concept de transcription phontique, elle ne correspond pas au concept de grammaire et de dclinaison, quelle permet nanmoins de constituer. Lcriture, constitue partir de la mise en uvre dune intention et dune certaine conceptualit, permet den constituer et laborer dautres. Le concept est donc la fois la condition mais aussi le rsultat de la synthse technique, en appelant ainsi le fait que la technique propose des configurations synthtiques nouvelles lapprhension de lesprit.

La technique et la synthse
On peut alors entreprendre de gnraliser la technique ce que nous venons de constater loccasion de lcriture. La technique permet, travers la structuration quelle apporte lespace et au temps de notre exprience, de constituer de nouvelles connaissances et de nouveaux concepts. Loin de ntre que la simple application de thories ou concepts labores indpendamment delle, la technique est la condition dlaboration des connaissances. Instrumentant notre exprience en mthodes rptables et outils prolongeant notre action, la technique transforme notre rapport au monde et nous amne le penser diffremment, tel point que nous ne pensons pas seulement diffremment un monde qui resterait le mme, mais que nous constituons de nouveaux mondes, en plus ou moins grandes ruptures les uns avec les autres.

Les structures de la raison graphique

Cest ainsi que Jack Goody insiste sur le fait que lcriture induit un mode de pense particulier et un rapport au monde spcifique. Selon lui, lcriture permet de constituer trois types principaux de structures conceptuelles, conditionnant notre mode de penser. Ce sont la liste, le tableau et la formule. La liste permet de dlinariser le discours pour en prlever des units que lon ordonne ensuite dans une numration. La liste permet de rassembler dans une mme unit ce qui est dispers dans le discours!: elle induit par consquent un classement et une catgorisation. Faire des listes, cest choisir de consigner un item parmi dautres en considrant quils ont quelque chose faire ensemble!: ils appartiennent une mme classe, une mme catgorie. En favorisant la structure de liste, lcriture induit un rapport au monde qui procde de la raison classificatoire!: penser le monde, cest lorganiser en classes et hirarchies, cest lordonner et le ranger. Le monde de lcriture, cest le cosmos des antiques, comme univers (au sens de totalit, universum renvoyant lensemble des choses considres globalement) organis, cohrent et harmonieux. On sait9 en effet que kosmos signifie originellement !ornement! et a donn le !cosmos! de !cosmologie! comme celui de !cosmtique!. Cet univers harmonieux serait-il un artefact de lcriture alphabtique!? Cest une hypothse suscite par les possibilits classificatoires induites par les listes que lcriture permet de constituer. Le tableau est le fait de reprsenter un ensemble de rapports entre des units travers leur position respective selon les deux dimensions de lespace de lcriture!: tre gauche ou droite, tre au dessus ou au dessous, sont les deux types de relations spatiales qui permettent de mettre en relation smantique les units ainsi disposes. Dans un tableau, lunit occupant une case prend une signification dtermine, tout le moins conditionne, par la position de la case dans le tableau. Le mode de penser induit par le tableau est alors le systme!: un tableau spcifie des relations entre les cases, et permet par exemple de prvoir a priori, de manire systmatique , la valeur devant occuper une case, du fait de la position de cette dernire. Lexemple le plus fameux est sans doute le tableau de Mendeleev des lments, dont la systmaticit a permis de prdire, lors de sa formulation, que de futurs lments (comme luranium) devaient tre trouvs. Enfin, la formule. La formule est un procd permettant de mener des raisonnements en fonction seulement de la forme, sans avoir prter attention la signification. La forme prenant en charge dans sa structure ce quil faut retenir des significations considres, il suffit alors de manipuler la forme pour mener bien les raisonnements sur le contenu ou la signification. Cest ce qui est la base de la logique formelle et plus gnralement des mathmatiques. Le problme nest pas tant le fait de savoir si le formalisme permet de mener le raisonnement indpendamment du contenu, ce dernier pouvant mme tre remis en question (existe-t-il vraiment!?), mais le fait de pouvoir se fier la forme.

Du graphique au calcul
Se fier la forme est lattitude la base de tous les formalismes, notamment ceux qui seront lorigine de linformatique et du numrique. Quand, la fin du XIXe sicle, apparut la crise des fondements des mathmatiques, suscite notamment par les paradoxes issus de la thorie des ensembles, de nombreux mathmaticiens cherchrent des moyens de surmonter cette crise. David Hilbert proposa de considrer les mathmatiques travers leur criture, et de rechercher les procds permettant de contrler cette criture. Lobjectif est de sassurer que,

La sagesse du monde, Histoire de lexprience humaine de lunivers, Rmi Brague, Fayard, 1999.

un nonc mathmatique tant produit, il nest pas possible den driver lnonc dune contradiction. Pour y parvenir, Hilbert considre lcriture mathmatique de manire purement formelle10, cest--dire en ne considrant que les signes utilises indpendamment de leur signification. Or, le nombre de signes est fini, les noncs et les textes mathmatiques sont finis, le temps mobilis par les mathmaticiens est fini!: on se retrouve donc dans la situation o lon manipule un nombre fini de signes en un temps fini!; bref on fait de la combinatoire de signes. Il suffit alors de trouver des rgles purement formelles, qui ne demandent aucune inventivit mathmatique ou comprhension particulire pour les appliquer, qui permettent de vrifier que les signes dun nonc ou texte mathmatique ne permettent pas de dduire des noncs contradictoires. En termes contemporains, on dirait quil faut trouver un programme qui permette de prouver quun nonc mathmatique nentrane pas de contradiction. Cet objectif fix par Hilbert ne put tre atteint!: il nexiste pas de programme vrifiant la cohrence des noncs. Ce !programme! de Hilbert (programme au sens dobjectif ou de !programme! de travail) a cependant permis dlaborer lide de systmes de signes (les noncs) se manipulant de manire purement formelle via des rgles formelles. Turing, le pre de linformatique, continua sur la mme lance en proposant une machine abstraite conue de la manire suivante11!: on dispose dune bande mmoire infinie compose de cases ne pouvant contenir quun et un seul symbole (cest en fait la feuille de papier sur laquelle travaille le mathmaticien), une tte de lecture et dcriture, se dplaant sur la bande mmoire de case en case (une la fois), pouvant lire et crire un symbole (cest le stylo du mathmaticien), et enfin un tat interne de la tte de lecture (cest ltat mental du mathmaticien). Un programme, purement formel permet de dterminer ce que doit crire la tte de lecture et comment elle doit se dplacer en fonction de quelle lit et de son tat interne. Autrement dit, en fonction de ce quil pense et de quil voit, le mathmaticien crit un symbole sur sa feuille de papier. La mtaphore ne doit pas nous garer!: les manipulations de symboles sur la bande mmoire sont purement formelles, et le fonctionnement de la machine de Turing ne repose sur aucune interprtation ni signification associes aux symboles, mais uniquement sur leur forme. Autrement dit, le formalisme, issu de la structure de formule rendue possible selon Goody par lcriture, a permis dengendrer lide de systmes automatiques manipulant des signes formels!: une criture formelle automatique, qui scrit en quelque sorte toute seule.

Un raison computationnelle!?
Cette ide a engendr linformatique, technique permettant de manipuler automatiquement les inscriptions symboliques, quelles reprsentent des nombres, des lettres, ou nimporte quoi dautre. De la mme manire que lcriture a permis dengendrer un mode particulier de penser, la question peut tre pose de savoir si on peut constater un phnomne semblable avec linformatique et le numrique!: en quoi le recours des reprsentations calcules induit-il une rationalit particulire!? Nous aborderons cette question sous deux angles!: dune part, quel serait lapport cognitif ou phnomnologique du calcul formel et de linformatique la connaissance, linstar de lcriture qui propose une synthse synoptique spatiale de ce qui est dispers dans le temps!;

10 11

Ibid. On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the Mathematical Society, 2(42), p. 230-265, corrections apportes dans 2(43), p. 544-546.

dautre part quelles seraient les structures de pense fondamentales suscites par linformatique, linstar de ce que sont la liste, le tableau et la formule pour lcriture!? Si lcriture permet la synthse du temps dans lespace, en permettant que ce qui est dispers dans le temps (flux de la parole) soit rassembl dans lunit dune reprsentation spatiale synoptique, offrant au regard de lesprit la possibilit de reprer des configurations synthtiques constituant de nouveaux concepts, linformatique permet le dploiement de lespace en temps12. En effet un programme nest pas autre chose quun dispositif rglant un droulement dans le temps, le calcul ou lexcution du programme, partir dune structure spcifie dans lespace, lalgorithme ou programme. Lalgorithme spcifie que, les conditions initiales tant runies, le rsultat ne peut manquer dtre obtenu, selon une complexit donne. Le programme est donc un moyen de certifier lavenir, den liminer lincertitude et limprobable pour le rapporter la matrise. Le temps de linformatique nest donc pas une disponibilit ce qui va venir, aussi improbable que cela puisse tre, mais la ngation du futur dans son ouverture pour le rduire ce qui peut sobtenir partir du prsent. Le calcul, cest le devenir - dans louverture, la disponibilit ltre - rduit ce qui est -venir, dans la certitude de la prvision formalise. Le calcul instaure une espce dquivalence ou correspondance entre temps et espace!: le temps devient celui qui est ncessaire lexploration systmatique dun espace de calcul, comme parcours de tous les cas possibles dune combinatoire!; lespace devient lespace quil faut parcourir en un certain nombre dtapes, spcifies par le calcul. Mais lespace et le temps sont duaux!: lespace est celui que lon peut parcourir travers les tapes du calcul!; le temps, ce sont les tapes ncessaires au parcours de lespace. Dans ces conditions, quelle est la fonction cognitive du calcul correspondant la spatialisation synoptique de lcriture!? Nous proposons la notion dexploration systmatique. Le calcul, cest ce qui permet de parcourir systmatique un espace de possibles. Ces possibles sont possibles en tant quils sont calculables, et le calcul les parcourt pour les examiner et leur appliquer un critre donn. Cest cette notion dexploration systmatique qui permet de driver les structures conceptuelles caractristiques dune raison computationnelle. Nous proposons de considrer la notion de programme, de rseau et de couche.

Les structures de la raison computationnelle

Le programme est la raison computationnelle ce que la liste est la raison graphique. Autant la liste permet de catgoriser et de classifier, doffrir une synopsis spatiale, le programme permet de spcifier un parcours systmatique!: lexcution du progamme nest alors que le dploiement temporel de la structure spatiale symbolique quest le programme. Le rseau est la raison computationnelle ce que le tableau est la raison graphique. Alors que le tableau propose une structuration et une systmaticit entre les contenus rpartis dans les cases du tableau, le rseau propose un mode de communication et rpartition entre les cases du tableau. Cest un tableau dynamique. Enfin, la couche est la raison computationnelle ce que la formule est la raison graphique. La formule permet en effet de considrer la forme abstraction faite du contenu!: la couche permet de considrer des relations calculatoires entre des units abstraction faite des calculs sous-jacents impliqus. La notion de couche en informatique, via celle dimplantation et de
12

Hermneutique matrielle et artfacture!: des machines qui pensent aux machines qui donnent penser. Bruno Bachimont, Thse de doctorat en pistmologie , Ecole Polytechnique, 1996.

compilation, permet de reprsenter les structures formelles en faisant abstraction des calculs lmentaires induits, comme la formule permet de sabstraire du sens. Raison graphique Liste Tableau Formule Raison computationnelle Programme Rseau Couche

Ces structures cognitives sont fondamentales et affectent dsormais nos modes de penser. La raison graphique a produit la raison classicatoire, la raison computationnelle produit la pense en rseau et le temps de la prvision. Pour une raison graphique, le rseau nest pas une structure de lintelligible!: le rseau, chappant la synopsis spatiale de fait de sa complexit, est un labyrinthe o lon se perd. Cest une figure de lirrationnel, et non une manire de penser le monde. Linteraction et la communication selon la structure des rseaux sont devenues intelligibles car le calcul permet de rduire la complexit et de parcourir lensemble des possibles induit par les rseaux par les programmes qui en spcifient le comportement. De mme, la notion de couche est une manire galement de rduire la complexit et de rapporter une masse quasi infinie de calculs formels des structures plus intelligibles pour ltre humain. Les structures en rseau et en couche, via les programmes qui les ralisent et les rendent effectives, permettent daborder le rel non comme une structure hirarchise et organise en classes, mais de le considrer comme une dynamique dployant une rationalit et un ordre sous-jacents!: le monde nest que lexcution de programmes qui temporalisent les relations quils spcifient. Non pas quil faille sous-entendre quil y ait un seul programme sous-jacent, mais au contraire que plusieurs ordres interagissent ensemble. Ces interactions ntant pas forcment prdictibles ni cohrentes, il faut alors en rechercher le programme et reconduire la recherche dun ordre calcul. Si la taxinomie des espces peut tre une illustration de la pense induite par la raison graphique, le code gntique est celle de la pense induite par la raison computationnelle.

Critique de la raison computationnelle

Le problme de lintelligibilit
Le calcul a pour principale vertu de rduire la complexit en permettant dexplorer systmatiquement un espace inintelligible pour une rationalit graphique. Cependant si le parcours de cet espace peut tre programm et effectu, lintelligibilit des rsultats de ce parcours nest pas forcment acquise. En effet, le calcul permet dautomatiser des oprations formelles en grand nombre si bien que les rsultats obtenus sont souvent difficilement apprhendables et les rapporter la rationalit qui a prsid lcriture du programme savre souvent impossible. Autrement dit, si le calcul permet daborder la complexit de lespace en le rduisant aux tapes dun calcul, le problme de la complexit de calcul et de lintelligibilit de ses rsultats demeure. On peut sen rendre compte en considrant la situation quoffre le Web aujourdhui et celle que proposera probablement le Web smantique de demain!: linternaute se trouvera confront des rsultats obtenus par linteractions de sources htrognes, parfois incompltes et fautives, selon des protocoles et des calculs complexes. Ne connaissant pas les sources mobilises, ne contrlant pas les calculs mens, linternaute se trouve confront une masse de rsultats et de documents qui ne sont pas a priori intelligibles pour lui.

Le calcul offre donc une situation paradoxale qui est celle de susciter un dficit dintelligibilit, de comprhension ,en face dun ensemble de rsultats et dobjets issus de la rationalit calculatoire. Il nous semble que ce paradoxe permet de souligner que dans notre fonctionnement cognitif, nous ne sommes pas seulement confronts une nature sensible nous proposant des sensations. Nous sommes galement confronts une nature discursive nous proposant non des sensations mais des inscriptions. Ces inscriptions, pour tre produites par notre technique et partir dintentions de communication, nen constituent pas moins un donn, un divers discursif pour reprendre une expression dinspiration kantienne, que nous devons nous rendre intelligibles. Comment pouvons-nous nous les rendre intelligibles!? En les rapportant aux concepts et structures rationnelles que nous connaissons et matrisons dj. Autrement dit, cest en rapportant les rsultats calculs nos connaissances mmorises que ces rsultats seront appropriables et intelligibles. Cest donc une articulation entre calcul et mmoire quil faut arriver.

La rhtorique comme principe rgulateur du discursif numrique

Le problme est ici de surmonter le divers discursif en effectuant les synthses !discursives! pertinentes. En effet, dans labsence de telles synthses, lesprit se voit confronter de multiples reprsentations, sans ordre ni lien, si bien quil souffre de dsorientation. Les synthses discursives ont pour rle dunifier et relier les diverses inscriptions donnes pour quelles fassent sens, pour quelles deviennent intelligibles. Lintelligibilit des reprsentations provient dun fil conducteur que lon est capable dtablir entre elles. Ce fil conducteur peut tre plus ou moins rudimentaire, en allant de la simple numration larticulation narrative ou argumentative des inscriptions. Nous proposons en effet de considrer 4 procds lmentaires dorientation synthtique du divers discursif!: Lnumration!: lordre numrique ou alphabtique permet de saisir lensemble des reprsentations et de passer de lune lautre de manire ordonne et non confuse. Cet ordre est rarement suffisant en soi, et une unit supplmentaire est souvent exige!: ce sont les inscriptions possdant une mme origine (un mme auteur, issus dun mme ouvrage, mme forme stylistique et mme finalit! par exemple les psaumes que les mdivaux apprenaient au moyens de grilles numriques, etc.). La narration!: la narration est la manire le plus facile retenir pour relier des lments htrognes. Procd abondamment utilis en gestion des connaissances (le story telling), la narration permet dintroduire de manire intelligible et apprhendable un divers. Largumentation!: forme plus structure encore, largumentation noue le divers en un raisonnement et non un histoire. La perception!: le divers discursif est reprsent dans lespace dun support dinscription donn (par exemple, la page que nous nous reprsentons quand nous nous remmorons son contenu!: une fiche, la liste des courses, etc.). Ces procds ne sont pas des oprations cognitives au sens o elles renverraient des fonctions naturelles de lesprit. Elles correspondent des mthodes labores par les traditions culturelles, qui permettent aux individus dun communaut de se retrouver sur des contenus partags et des mthodes communes dinvestigation. Ces procds sont plutt dorigine rhtorique!: ils correspondent aux stratgies dinventaire qui permettent de parcourir et de se remmorer un divers et de sen approprier le contenu pour inventer le sens quil a pour nous. Inventorier pour inventer, faire linventaire comme stratgie dinvention, cest la

tradition que nous lgue la rhtorique antique et mdivale13 qui, parmi les 5 parties qui la composent (linvention!: trouver les arguments du discours, llocution!: trouver les formules du discours, la disposition!: articuler les lments du discours, laction!: restituer le discours, la mmoire!: mmoriser le discours), articule troitement linvention et la mmoire!: je me souviens des discours pour mieux inventer celui que je dois faire!; jinnove parce que je rpte, jinvente parce que jai un fonds que je me suis assimil. La synthse discursive reposerait donc sur des procds de nature rhtorique, dont la finalit est de mobiliser un contenu ancien et mmoris pour laborer un discours nouveau. Ainsi, ces procds permettraient de parcourir le contenu prsent par les systmes numriques pour les fondre dans un nouveau discours, la comprhension que jen ai. Linternaute moderne, lutilisateur contemporain des technologies numriques, se retrouvent donc dans une situation analogue celle de celui qui doit tudier et assimiler un hritage littraire!: des ouvrages dont il connat parfois mal lorigine, la nature, quil unifie dans un rseau de lieux communs travers lesquels il constitue une mmoire partage avec dautres et dans lesquels il trouve le matriau ncessaire exprimer sa pense et ses intentions. La conception des systmes numriques doit par consquent prendre en compte lintelligibilit de ses rsultats et penser comment, par les procds rhtoriques de synthse discursive, un lecteur ou utilisateur peut consulter ces rsultats comme il interrogerait sa mmoire ou sa bibliothque!: travers les chemins forgs par une tradition faite de lieux communs, darguments classiques, il peut dcouvrir et sapproprier du nouveau et de lindit. Finalement, la raison computationnelle doit abolir le calcul pour faire place la rhtorique!: mort lalgorithme, paix la rhtorique, pour plagier et contrer Hugo. Non pas, bien sr, quil faille se dprendre des possibilits du calcul et des algorithmes!; mais il faut constater la limite de leur intelligibilit pour mobiliser des stratgies rationnelles non computationnelles, mais argumentatives, narratives, bref, rhtoriques.

Nature physique et nature symbolique

En conclusion, nous voudrions revenir sur le constat fait plus haut!: les systmes numriques nous rappellent que la nature nest pas seulement sensible, elle est aussi symbolique. Autrement dit, alors que la tradition philosophique considre souvent que le concept nest que lencadrement du sensible par une forme donne par la pense, le concept ntant sens que sil permet de penser le sensible14, la signification nayant pour vocation que de renvoyer la donation du sensible, les outils numriques nous montrent que les inscriptions symboliques possdent leur propre autonomie!: les inscriptions appellent les inscriptions, indpendamment du sensible dont elles pourraient tre la formulation conceptuelle. Cela permet de jeter un regard nouveau sur les discussions difficiles et profondes concernant la signification, la connaissance et ltre. En confrant aux inscriptions une dynamicit propre, le calcul met en vidence une nature symbolique. Comme la notion d !exprience de pense! le suggre, la pense comme manipulation de concepts constitue une extriorit qui sexprimente, qui simpose et qui soppose, bref, qui est capable de nous dire non. Les systmes numriques ralisent matriellement cette extriorit de la pense discursive, que nous exprimentons souvent par la simulation. La simulation en effet, est une exprimentation authentique sur nos inscriptions. Cependant, ces inscriptions portant souvent sur la formalisation de phnomnes

13

Voir les deux ouvrages rcemment traduits en franais de Mary Curruthers!: Le livre de la mmoire, Macula, 2003, et Machina memorialis, Gallimard, 2002. 14 Comme le rappelle Joscelin Benoist dans son ouvrage!:La priori conceptuel, Vrin, 1999.

sensibles, elles simulent ces derniers. Mais le calcul porte bien sur leffectivit des concepts, et pas seulement sur une simulation des phnomnes. Nature Sensible Sensation Divers spatio-temporel Confusion des sens Synthse objectivante Schmes de lentendement Ingnierie physique Nature Symbolique Signification Divers discursif Dsorientation conceptuelle Synthse discursive Inventaire rhtorique Ingnierie des connaissances

Comment la nature symbolique et la nature sensible saccordent-elles!? Leur cohrence nest pas ncessaire, et une inscription nest pas dpourvue de signification si elle ne renvoie pas une exprience sensible possible. Elle est elle-mme une exprience symbolique. Il nous reste inventer comment le sens, le sensible et le sens communiquent et sarticulent dans notre exprience sensible et symbolique. Les systmes numriques nous aident mieux poser le problme, en ajoutant la confusion des sens la dispersion des inscriptions.

Conclusion
Il est facile de reconnatre dans le programme de Hilbert loptimisme du symbolique que professait Leibniz!: le symbolisme algbrique permet de guider avec assurance et certitude la conduite des raisonnements et dviter les contradictions et les paradoxes15. Cet optimisme, fcond puisquil a permis dengendrer les formalismes logiques et mathmatiques et leur manipulation formelle et automatisable, nen bute pas moins sur des limites infranchissables. Si les mathmatiques elles-mmes ne sont pas rductibles un formalisme aveugle16, le problme qui nous a intresss ici est lutilisation des formalismes dans des contextes o la signification des symboles manipuls nest pas rigoureusement dtermine. Dans ce cas, on allie une possibilit technique une puissance dinventer indite, o la combinatoire formelle engendre une productivit de la pense!: lesprit se voit proposer des configurations symboliques, engendres par une combinatoire formelle aveugle au sens et au contenu, et renvoyant des penses qui peuvent navoir jamais t penses auparavant. Lalgbre des symboles ne correspond pas une algbre des penses, puisque la correspondance entre

15

Pour sen convaincre, on se contentera de juxtaposer ces deux citations!: !il faut surtout faire en sorte que tout paralogisme ne soit rien dautre quune erreur de calcul, et quun sophisme exprim dans cette espce de nouvelle criture ne soit quant lui rien dautre quun solcisme ou un barbarisme, falice reprendre prcisment, grce aux lois de la grammaire philosophique dont il est question. Une fois quon aura fait cela, les controverses nimposeront pas davantage de recourir la dispute qu deux calculateurs. Il suffira en effet de prendre les plumes en main, de sasseoir aux abaques et de ses dire rciproquement (sil plat aux amis convovqus!: CALCULONS!!! Leibniz, GP VII, 201. ! Il est indispensable de donner partout aux infrences la sret quelle ont en arithmtique lmentaire, thorie labri du doute et dans laquelle contradictions et paradoxes, sil en survient, ne sont imputables qu notre manque de soin.! David Hilbert, op. cit. 16 Comme en tmoignent les thormes dits de limitation, en particulier ceux de Gdel. Voir par exemple Mathematical Logic, Eliott Mendelson, Wadsworth & Brooks/Cole, 1987.

symboles et penses nest quapproximative et relve dune interprtation smiotique et linguistique!; linterprtation des configurations symboliques produites nest pas prdictible et ne renvoie pas une recherche systmatique (numrer tous les cas possible dun systme formel, effectuer toutes les combinaisons dune situation donne) o lexamen systmatique des configurations symboliques correspond lexamen systmatique dune situation donne!: il manque pour cela la correspondance rigoureuse entre symboles et situations. Linterprtation correspond plutt une heuristique gnrale. Mais cette heuristique gnrale suscite galement une dispersion des inscriptions symboliques dans une profusion et confusion menaant leur intelligibilit. Ainsi est-il ncessaire de sinterroger sur la validit des inscriptions manipules et de leur prtention au sens!: un dtour de type kantien nous a permis de discuter le fondement du sens quon leur attribue et den exercer la critique. La critique propose na pas pour but dinterdire lusage des possibilits techniques formelles, mais den susciter un usage raisonn, en reposant dune part sur un principe rgulateur fond sur des principes rhtoriques et dautre part sur un principe dterminant fond sur le calcul. Leur union donne un espace de recherche innovant et passionnant, pour lequel on se prend renouveler une variante de loptimisme leibnizien.