Intellectica, 1993/2, 17, pp.

79-126

Jean P ETITOT Phnomnologie naturalise et morphodynamique : la fonction cognitive du synthtique a priori

Introduction 1. Le programme de recherche des sciences cognitives rcuse le partage classique entre les sciences explicatives de la nature (Naturwissenschaften) et les sciences interprtatives de l'esprit (Geisteswissenschaften). Son horizon est en effet celui dune naturalisation de lesprit et du sens. 2. Il existe essentiellement deux faons diffrentes de naturaliser l'esprit et le sens. Dans une premire perspective, le lien avec les sciences naturelles s'effectue travers une thorie de la compilation et de l'implmentation de structures symboliques formelles (logicocombinatoires) dans des substrats physiques (qu'il s'agisse de hardwares informatiques ou de substrats neuronaux). Le problme est alors de comprendre comment de telles machines la fois symboliques et physiques traitent de l'information (thories computationnelles). 1 Dans une seconde perspective, on refuse au contraire l'ide dualiste qu'il puisse exister deux types htrognes d'objectivit : l'objectivit physique causale et l'objectivit logique idale. On cherche dvelopper un monisme naturaliste. Cette seconde perspective est elle-mme (au moins) double. Soit, comme c'est le cas dans les conceptions dites liminativistes, on labore un rductionnisme physicaliste strict dniant toute ralit autre que
1

Cf. par exemple Pylyshyn [1986].

neuronale (et donc toute ralit symbolique objective autonome) aux actes, aux processus, aux reprsentations et aux contenus mentaux. Soit on se propose dexpliquer cette ralit comme une ralit mergente, c'est--dire comme une ralit d'chelle macroscopique mergeant de processus naturels collectifs d'(auto)organisation et d'(auto)rgulation s'effectuant l'chelle neuronale microscopique sous-jacente.2 Cette approche mergentielle est en particulier celle du connexionnisme et de la morphodynamique. Elle n'est videmment plausible que si une modlisation physico-mathmatique sophistique des organisations, structures et fonctions mergentes lui permet de raliser son programme. 3. S'il est une conception philosophique qui mrite d'tre reprise par le programme de recherche des sciences cognitives, c'est bien de la phnomnologie husserlienne qu'il s'agit. En effet, elle demeure lun des plus hauts lieux de rflexion la fois philosophique et scientifique sur l'esprit et la conscience. Sa reprise cognitiviste conduit la naturaliser. Quand on connat l'opposition catgorique, toujours fortement affirme par Husserl, entre la phnomnologie et le naturalisme scientifique cela ne va videmment pas sans faire question ... C'est pourquoi nous nous proposons ici de clarifier techniquement sur un exemple lmentaire, mais prcis, qui sera tir du premier chapitre de la Troisime Recherche Logique la signification la fois philosophique et scientifique d'une phnomnologie cognitive naturalise. Notre cadre sera celui, mergentiel, de l'approche morphodynamique. Lexemple concernera la perception visuelle. En effet, contrairement ce que
2

Le concept d'mergence n'a ici rien de vague ni de confusment mtaphysique. Il renvoie aux progrs techniques (considrables) accomplis ces vingt dernires annes en dynamique qualitative, en physique statistique et en thermodynamique de non quilibre, dans la comprhension des processus d'organisation et en particulier des phnomnes critiques produisant des structures macrophysiques qui, tout en tant causalement rductibles aux processus microphysiques sous-jacents manifestent nanmoins des proprits invariantes autonomes qui en sont indpendantes. (Pour une introduction, cf. Petitot [1992b] et EMG [1992]).

lon croit souvent, ce sont les structures de la perception qui fournissent l'exemple princeps d'intentionnalit. Nous nous permettrons de traduire un certain nombre de formulations husserliennes dans des lexiques thoriques (cognitifs et mathmatiques) contemporains. Nous sommes conscient du fait que cela trahit la lettre de Husserl. Mais c'est la condition sine qua non pour faire revivre son esprit. I. Ressemblances et dissemblances entre la phnom-nologie et le cognitivisme I.1. Ressemblances Il existe des rapprochements vidents entre la phnomnologie husserlienne et le cognitivisme contemporain. Ils concernent essentiellement le reprsentationnalisme mentaliste, le computationnalisme, le fonctionnalisme et le solipsisme mthodologique. Rappelons trs brivement la signification de ces ismes barbares. (i) Le cognitivisme symbolique classique est reprsentationnaliste au sens o il postule l'existence de reprsentations mentales neurologiquement implmentes (il s'oppose sur ce point aux liminativismes physicalistes la Churchland). Qui plus est, il conoit ces reprsentations comme des expressions d'un langage mental interne formel possdant des proprits formelles (syntaxiques) et reprsentationnelles (smantiques). Les tats mentaux mettent en relation lactivit crbrale avec des tokens de reprsentations mentales (qui sont elles-mmes smantiquement en relation avec des tats de choses externes) ; les processus mentaux sont quant eux des relations causales (computationnelles) entre tokens de reprsentations mentales, relations qui sont dtermines par les relations syntaxiques entre les types de ces tokens. (ii) Il est computationnaliste dans la mesure o il postule que ces reprsentations traitent de l'information en activant et contrlant des processus physiques qui sont sensibles leurs structures

syntaxiques, et non pas leurs contenus smantiques (condition de formalit). Les oprations computationnelles ne portant que sur la syntaxe, elles ne dpendent pas du monde externe. (iii) Il est fonctionnaliste au sens o il postule quon peut dcoupler le niveau matriel bio-physique et le niveau logiciel logicosymbolique et que donc, en ce qui concerne leur fonction, les reprsentations mentales sont indpendantes de leur implmentation. (iv) Enfin, il admet les thses du solipsisme mthodologique selon lequel l'identification fonctionnelle des contenus mentaux est indpendante non seulement de leur implmentation mais aussi de tout rapport causal avec l'environnement externe. Dans la mesure o seules les proprits syntaxiques des reprsentations mentales sont computationnellement significatives, les oprations mentales sont fermes la smantique de leurs symboles. Le contenu cognitif (syntaxique) des reprsentations mentales est un contenu troit, diffrent du contenu smantique large qui est, lui, causalement reli aux tats de choses externes.3 La dite thorie causale de la rfrence (selon laquelle toute rfrence organisme environnement peut-tre ramene des relations converses de relations causales environnement organisme) ne concerne que les contenus larges. Elle nest pas strictement parler cognitive. On peut considrer que Husserl est, au dbut de ce sicle, le vritable initiateur de ces points de vue. Avec sa conception eidtique et sa thorie de la corrlation entre dun ct les actes et les processus mentaux noses et dun autre ct les structures idales de sens nomes , il a t le premier laborer un authentique fonctionnalisme vitant le double pige d'un rductionnisme psychologique et d'un ontologisme logique. Dans l'antipsychologisme de Husserl ainsi que dans ses thses constamment rptes sur le statut des essences nomatiques idales on trouve une tonnante anticipation des principaux caractres du fonctionnalisme contemporain : ces structures sont formelles (logiques, syntaxiques, smantiques), atemporelles, identiques elles-mmes et indpendantes des vcus psychiques et
3

Sur ces points dlicats, cf. Proust [1990] et Pacherie [1992].

des actes mentaux, quant eux fluents et temporels, o elles se ralisent. On trouve en particulier dans la thse que, dans leur identit, ces idalits constituent des composantes non relles (i.e. non rductibles des donnes sensorielles hyltiques) des actes mentaux, une profonde anticipation de la diffrence entre token identity et type identity des contenus mentaux. Comme les fonctionnalistes contemporains, Husserl rejette un physicalisme des types : les contenus mentaux ne peuvent pas tre fonctionnellement individus par les processus neuronaux sous-jacents. Il y a selon lui une neutralit ontologique des processus cognitifs relativement la nature physico-biologique des processus neuronaux sous-jacents.4 D'autre part, la fameuse rduction transcendantale (l'poch, la mise entre parenthses ou la mise hors circuit de la thse de l'existence du monde) fournit l'exemple sans doute le plus labor et jusqu'ici le plus abouti de solipsisme mthodologique. I.2. Dissemblances Mais il existe nanmoins des diffrences fondamentales entre Husserl et le cognitivisme symbolique. D'abord, malgr l'importance cruciale qu'il accordait la logique, Husserl n'a pas dogmatiquement prjug du caractre ncessairement propositionnel des idalits corrlatives des actes mentaux. Profondment inspir par la Gestalttheorie (dont l'un des fondateurs fut son second matre Carl Stumpf 5), il a compris que toute compositionnalit et toute constituance ne sont pas forcment prdicativement formates. Cela est particulirement clair dans ses analyses de la perception. Il s'agit l d'un point dlicat. On a souvent soulign (H. Dreyfus, R. McIntyre, D. Fllesdal, etc.) la ressemblance qui existe entre le concept husserlien de nome et le concept cognitiviste de reprsentation mentale, ainsi que l'insistance de Husserl sur la
4

Insistons sur le fait que nous ne nous intressons pas ici lxgse du texte husserlien mais bien plutt son actualisation. Cela suppose videmment une forte part de rinterprtation. 5 Rappelons que Husserl fut d'abord un vrai mathmaticien, disciple et assistant de Weierstrass.

structure prdicative du nome et sur sa structuration comme hirarchie de rgles (pour des synthses notiques). Non seulement Husserl serait reprsentationnaliste, mais il le serait la Fodor. Une telle interprtation n'est toutefois pas satisfaisante. (i) D'abord, le point de vue symbolique et fonctionnaliste conduit faire des systmes cognitifs des systmes syntaxiques non intentionnels mimant des systmes smantiques intentionnels. Il y aurait une explication fonctionnelle syntaxique de ce qui est dcrit comme smantique. Par exemple, selon Dreyfus, Fodor et Dretske admettent tous deux que nous devons dcrire l'esprit de faon smantique, mais tous deux soutiennent que nous devons l'expliquer de manire syntaxique.6 Or, on ne trouve pas chez Husserl l'ide d'une telle problmatique du comme si : la conscience est une machine physique-symbolique qui se comporterait comme si elle tait intentionnelle. 7 Chez Husserl, le caractre intentionnel des reprsentations mentales est intrinsque et constitutif. Il n'est pas piphnomnal. Il n'est pas un artefact descriptif. On dirait aujourd'hui que le solipsisme et le fonctionnalisme husserliens sont conceptuels (au sens de la structure conceptuelle) et non pas syntaxiques. (ii) Dautre part, comme nous le verrons, l'eidtique formelle se ralise toujours chez Husserl travers des eidtiques matrielles non formelles, sources de rgles synthtiques a priori. 8 Ce n'est qu'au niveau de la mathmatisation de ces eidtiques que Husserl adopte des thses formalistes (hilbertiennes) et subordonne les eidtiques matrielles une Analytique formelle (axiomatisation). Mais il ne dveloppe pas la thse de la nature formelle mentale des nomes.
6 7

Dreyfus [1991], p. 76. Cette problmatique du comme si, du als ob, remonte la conception kantienne de l'organisation biologique (cf. Petitot [1985a]). Le point de vue de philosophes comme Dretske, et encore plus explicitement Daniel Dennett, sur l'intentionnalit retrouve exactement une problmatique du mme ordre. Il consiste dire que la maxime du jugement intentionnelle relve du jugement rflchissant et non pas du jugement dterminant. 8 Lexemple princeps deidtique matrielle est la gomtrie.

Une autre diffrence fondamentale entre Husserl et le cognitivisme contemporain concerne la nature de lintentionnalit conue comme directionnalit de la conscience, comme orientation et vise de la conscience vers des objets. L'une des plus grandes russites de Husserl aura t de s'tre donn les moyens avec l'approfondissement de la corrlation nose/nome de dvelopper une thorie de l'intentionnalit dans le cadre solipsiste mme de la rduction transcendantale. L'ide directrice de la phnomnologie savoir celle de la fondation des transcendances objectales dans l'immanence des vcus et des actes , la clbre thse que les objets intentionnels sont inclus titre de composantes non relles dans les actes dont ils sont les corrlats, cette ide et cette thse expriment que la directionnalit de la conscience se constitue sur la base des contenus mentaux troits (cognitifs). En ce sens, l'intentionnalit ne relve pas chez Husserl d'une smantique dnotative et dune thorie de la rfrence. Intra-mentale et rvle par la rduction transcendantale, elle est indpendante de toute thorie causale de la rfrence. Sur ce point, Husserl non seulement anticipe sur le cognitivisme contemporain mais le dpasse dans la mesure o il apporte des lments de rponse au problme le plus difficile, celui d'une thorie internaliste de l'intentionnalit. Comme nous allons le voir, la thse si importante de Husserl mais considre jusqu'ici comme irrmdiablement obscure par la plupart des commentateurs que, dans une perspective nomatique, l'immdiatet de la perception est elle-mme un caractre nomatique, autrement dit que dans son intentionnalit vidente la perception se constitue elle-mme partir d'une aperception, cette thse signifie que, bien qu'apparemment transparente et relevant apparemment des contenus smantiques larges rfrentiellement relis des transcendances objectales externes, l'intentionnalit perceptive se constitue en fait sur la base des contenus troits. Pour prciser ces points dlicats nous allons prendre, comme nous l'avons annonc, l'exemple de la perception visuelle. Nous allons en traiter avec un certain dtail lun des cas les plus simples de faon montrer explicitement comment les descriptions phnomnologiques peuvent sarticuler sur des tudes cognitivistes techniques qui les naturalisent.

II. Rappels lmentaires sur l'eidtique phnomno-logique 9 II.1. Essences, nomes et ontologies rgionales Un concept central de la phnomnologie husserlienne est celui d'ontologie rgionale. Il explicite l'ide (reprise de Kant) que les phnomnes ne portent pas en eux-mmes leur type d'objectivit. Pour tre analyss comme objets dexprience, les phnomnes doivent au pralable tre qualifis lgaliss par un type dobjectivit spcifique (statut juridique du transcendantal). Ce type est d'ordre normatif. C'est une essence, c'est--dire un ensemble de rgles eidtiques prescriptives qui sont constitutives de ce type d'objet. La vrit empirique en sciences prsuppose toujours la conformit pralable des donnes empiriques un tel ordre prescriptif-normatif. Comme l'explique fort bien Husserl dans les Ideen II, toute induction empirique prsuppose que le type d'exprience considr soit dj dtermin dans son essence par un ensemble de rgles eidtico-constitutives : c'est seulement en partant de l'essence du type d'exprience, et non inductivement et empiriquement, que peut tre gagne la connaissance de la rgulation constitutive pour des units de ralit de ce type".10 Le type d'objectivit caractristique d'une ontologie rgionale est un nome, c'est--dire, nous l'avons vu, le corrlat intentionnel (au sens de la corrlation nose/nome) de synthses notiques, autrement dit d'actes et de processus mentaux synthtisant et reprsentant des donnes empiriques, par exemple des donnes sensorielles lmentaires (ce que l'on appelle en phnomnologie des data hyltiques). Ce nome est l'essence d'un objet intentionnel. Il prescrit a priori et donc dtermine pralablement ce qui appartient typiquement et en gnral, gnriquement donc, l'objectivit des phnomnes de la rgion considre. Il anticipe ontologiquement sur le contenu empirique des sciences
9

Pour des prcisions, cf. Petitot [1982], [1985a], [1986], [1992b]. Husserl [1982], p. 182. Comme nous lexpliquons ailleurs (Petitot [1987], [1991c], [1992b]), la diffrence phnomne/objet donne son vrai sens la diffrence ontologique tant/tre.
10

exprimentales qui dpendent de sa lgislation. Comme l'affirme Husserl, il prescrit d'avance toute recherche thorique une rgle absolument contraignante. Le sens originaire, l'essence, du type d'objectivit dgage par l'intuition eidtique est la norme qui doit tre prsuppose, laquelle toute connaissance thorique possible est rationnellement lie. 11 II.2. Anticipation et schmatisme Il faut insister sur l'extraordinaire importance que revt chez Husserl cette problmatique de l'anticipation. Dans une certaine mesure, la possibilit d'anticipations rationnelles cohrentes sur les donnes empiriques est la signature mme de l'objectivit. Chez Husserl, elle s'tend beaucoup plus loin que la seule prdictibilit scientifique et trouve sa forme la plus fondamentale dans les anticipations perceptives (cf. plus bas III.1 et IV la perception par esquisses 12). Hubert Dreyfus y insiste galement. Les nomes constituent des rgles universelles d'anticipation de possibilits prdtermines par essence. Par exemple, dans la donation et la prsentation perceptives d'un objet conforme au type des objets perceptifs, les donnes sensorielles (les data hyltiques) sont mentalement reprsentes comme esquisses dans le contexte d'un horizon de donation et de reprsentations virtuelles (implicites) co-donnes (les autres esquisses du mme objet). Autrement dit, les composantes sensorielles actuelles de la perception ne permettent pas de dterminer actuellement de faon complte l'objet peru. Il appartient au nome de la perception de prescrire, titre d'anticipations, les oprations qui permettront d'accder une dtermination complte. C'est essentiellement pour cette raison que, comme l'explique McIntyre, les rgles nomatiques sont
11 12

Husserl [1982], p. 138. Un exemple remarquable danticipation perceptive est celui des dformations des contours apparents dun objet lors de son mouvement. Il sagit l dune extraordinaire performance gomtrique du systme visuel (qui est encore trs loin dtre correctement modlise par les algorithmes de la vision computationnelle). Elle fonde le sentiment dextriorit des objets.

10

smantiques (mais dans un sens non dnotatif). Elles prescrivent la faon dont un objet peut tre lev au rang de dtermination complte, quant son sens et son mode de donne.13 En ce sens, la nomatique husserlienne reprend et gnralise la problmatique kantienne du schmatisme des concepts empiriques. Les nomes sont des schmes qui sont des rgles de dtermination progressive permettant de passer de types gnriques des instances (tokens) compltement dtermines. Le parallle qu'tablit Dreyfus avec des frames au sens de l'IA est particulirement clairant.14 C'est la fonction d'anticipation qui commande l'intentionnalit et produit un effet de rfrence, de directionnalit, de renvoi systmatique une extriorit. L'intentionnalit est donc bien chez Husserl un caractre intrinsque des reprsentations mentales. C'est grce l'anticipation que le rapport l'objet peut tre rvl par l'poch et faire partie intrinsque du mental conu au sens solipsiste du terme. C'est l'anticipation qui fonde les transcendances objectives dans l'immanence des actes y donnant accs. Le mouvement est le suivant : (i) L'tre transcendant (au sens naf, i.e. extrieur et indpendant de la conscience) se donne : problmatique de la donation et de la prsentation des phnomnes (ce que l'on appelle philosophiquement depuis Kant la question de la Darstellung). (ii) Le donn est nomatiquement structur par des structures de donnes des synthses notiques qui le dterminent. (iii) Mais ce traitement est par essence incomplet ; il prdtermine des anticipations cohrentes concernant la structuration de donnes ultrieures actuellement virtuelles.

13 14

Husserl [1913/1950], 142. Dreyfus [1991], p. 21. Il y a convergence entre la tche de l'IA et celle de la phnomnologie transcendantale. Toutes deux doivent essayer d'expliquer les prototypes dans divers domaines qui dterminent les affectations implicites possibles.

11

(iv) L'incompltude et l'anticipation sont la manifestation de la transcendance objective de l'objet dans l'immanence mme des actes ; l'intentionnalit est donc un caractre intrinsque des reprsentations mentales. II.3. La phnomnologie transcendantale comme pistmologie oriente objet Une faon d'actualiser le concept d'ontologie rgionale propre la phnomnologie transcendantale est davoir recours une anologie et de dire que celle-ci labore une pistmologie qui est en quelque sorte oriente objets". De mme qu'en programmation oriente objets (OOP) on pr-dfinit modulairement des objets gnriques, i.e. des types, des classes et des mthodes qui sont informationnellement encapsuls et prescrivent des rponses spcifiques des messages externes, de mme une ontologie rgionale pr-definit des types d'objets et des rgles eidticoconstitutives qui prescrivent des rponses spcifiques aux procdures gnrales aux catgories et aux principes de l'exprience scientifique. De faon gnrale, chez Kant, les no-kantiens et Husserl, l'pistmologie transcendantale est une pistmologie oriente objets qui a compris qu'il fallait soigneusement distinguer trois aspects de la connaissance : (i) ce qui est pr-dfini dans le concept rgional d'objet d'un type dobjectivit donn ; (ii) ce qui relve d'une Analytique gnrale de l'objet quelconque (dont le type, l'essence, est non spcifi) ; (iii) ce qui relve de l'articulation entre ces deux composantes. Dans le lexique transcendantal traditionnel : (i) relve du synthtique a priori exprimant les contraintes imposes a priori par un type d'objet rgional (Esthtique transcendantale)15 ; (ii) relve d'une Analytique transcendantale formulant sur une base logique les catgories gnrales de toute objectivit ; (iii) relve du schmatisme transcendantal qui permet d'interprter l'Analytique
15

Sur la faon dont, quoi quont pu en dire les philosophes logicistes, le synthtique a priori est devenu de plus en plus constitutif de la physique thorique moderne, cf. Petitot [1992a].

12

transcendantale partir des rgles synthtiques a priori drives de l'Esthtique transcendantale. Chez Husserl, l'Analytique transcendantale de l'objet en gnral s'explicite sous la forme d'une ontologie formelle. Celle-ci explicite des catgories logiques formelles et des formes catgoriales comme objet, qualit, relation, connexion, pluralit, nombre, ordre, tout, partie, grandeur, etc.16 Quant au synthtique a priori il est explicitement repris travers le concept d'ontologie rgionale. Ces ontologies sont matrielles et non pas formelles. Elles portent sur des essences concrtes (comme les objets de perception ou le mouvement physique). Comme nous l'avons vu, dans une ontologie rgionale l'exprience est spcifie par avance, en quelque sorte juridiquement qualifie, par une essence nomatique. Gouverne par des rgles (lquivalent de programmes et dalgorithmes), la conscience structure les objets comme exemplifications (token, occurrences) de types prdtermins. Husserl l'explique dans les Ideen I, la rgion n'est pas autre chose que l'unit gnrique (...) qui appartient un concret, toute essence rgionale dtermine des vrits eidtiques de caractre synthtique, c'est--dire des vrits qui ont leur fondement en elle, en tant qu'elle est telle essence gnrique, et qui ne sont pas simplement des formes particulires de vrits empruntes l'ontologie formelle. Les vrits synthtiques a priori fondes dans une essence rgionale forment le contenu de l'ontologie rgionale et dlimitent et pour nous dfinissent l'ensemble des catgories rgionales. Ces catgories expriment en fonction des axiomes rgionaux et en termes de gnralit eidtique ce qui doit survenir a priori et synthtiquement un objet individuel de la rgion.17 Si l'on approfondit le parallle entre pistmologie transcendantale et pistmologie oriente objets, on voit que le synthtique a priori qui a tellement pouvant les philosophes logicistes et analytiques correspond essentiellement une thse de modularit et d'encapsulation des objets. Ce n'est pas une proprit inhrente de certains noncs mais une stratgie de constitution d'objectivit. Il
16 17

Cf. Petitot [1991b]. Husserl [1950], pp. 55-56.

13

est aussi vain de se demander si un jugement est en soi analytique ou synthtique a priori que de se demander si une procdure est en soi une mthode encapsule ou un message gnral. Dans le cas des phnomnes sensibles, la modularit synthtique a priori consiste dcoupler : (i) ce qui relve de la mise au format spatio-temporel des data de sensation (data hyltiques), i.e. de leur synthse gomtrique (ce que Kant appelait intuition pure), et (ii) ce qui relve des oprations catgoriales gnrales (i.e. appartenant l'ontologie formelle) applicables ces objets dj intuitivement constitus. Cela correspond au dcouplage constitutif de l'OOP entre : (i) les objets comme liage de structures de donnes avec des routines sachant manipuler ces structures (mthodes spcifiques), et (ii) les messages et les mthodes universelles (non spcifiques) applicables tout type dobjet prdfini. On notera que l'pistmologie logiciste-analytique aura essentiellement consist dconstruire l'architecture oriente objets de l'pistmologie transcendantale pour l'aplatir sur une pistmologie purement procdurale exprime dans un langage formel de bas niveau (logique du premier ordre). Cela tait sans doute ncessaire pour quune technologie du formel puisse se constituer. Mais maintenant que le gnie logiciel a redcouvert de luimme l'importance cruciale d'une orientation objets, il devient pertinent de redployer une conception oriente objet i.e. transcendantaliste de l'objectivit.

14

pistmologie transcendantale Domaine : Constitution d'objectivits scientifiques. But : Connaissances scientifiques objectives effectives. Catgories gnrales de l'ontologie formelle ... applicables tout type d'objet. Analytique transcendantale et ontologie formelle. Ontologies rgionales (Essences). Objets typiques ... ... et rgles eidtico-constitutives. (Esthtique transcendantale, rgles synthtiques a priori, vrits eidtiques rgionales). Anticipation et spcification de ce qui doit survenir synthtiquement a priori un objet individuel quelconque de la rgion. Objet particulier d'une rgion (token) = instance de l'essence gnrique rgionale (type). Liens de gnrisation/spcialisation entre ontologies rgionales. Dcouplage de l'Esthtique transcendantale et du synthtique a priori relativement l'Analytique transcendantale.

Programmation oriente objets Domaine : Programmation. But : Gestion effective de connaissances. Messages externes ... ... applicables tout type d'objet. Mthodes universelles. Classes. Types d'objets caractriss par des attributs et des mthodes (oprations spcifiques).

Anticipation et spcification des caractristiques et des comportements d'un objet individuel quelconque de la classe. Objet particulier (token) = instance d'une classe (type). Relations d'hritage Surclasses Classes Sousclasses. Encapsulation (modularisation) des data et des programmes (des attributs et des mthodes) constitutifs d'une classe.

15 Application des catgories de l'ontologie formelle aux ontologies rgionales. Schmatisme transcendantal. Interprtation des catgories conformment aux caractristiques d'une Esthtique transcendantale.18 Communication avec l'objet au moyen de messages. Polymorphisme. Spcificit des rponses de chaque type d'objet aux messages par slection des mthodes appropries pour rpondre un message.

18

Par exemple, la catgorie de cause s'interprte sous la forme de conditions initiales en mcanique classique et sous la forme dinstabilit structurelle en thorie des phnomnes critiques.

16

III. Rappels sur la phnomnologie de la perception visuelle : schmes sensibles et perception par esquisses III.1. Eidtique des schmes sensibles La perception constitue une ontologie rgionale, et mme lontologie rgionale de base sur laquelle sdifient la plupart des autres. Dans les Ideen I et II, Husserl dcrit les objets sensibles comme des archi-objets (sur lesquels s'difient d'autres synthses notiques que celles de la perception) donns en personne (i.e. corporellement) et pr-judicativement dans une synthse notique esthsique. L'apparatre ainsi dfini est non pas celui de choses matrielles concrtes mais celui de schmes sensibles. Il existe trois caractres phnomnologiques essentiels des schmes sensibles. (1) Le rapport de fondation des qualits sensibles dans l'extension spatio-temporelle. L'extension d'un schme sensible constitue son attribut eidtique caractristique. 19 Elle n'est pas elle-mme une proprit rale mais une forme eidtique de toutes les proprits rales (ce que Kant appelait les formes de l'intuition sensible, ces formes tant la fois les formes de la manifestation phnomnale et les formes de l'extriorit i.e. de l'intentionnalit perceptive). L'extension spatio-temporelle constitue ce que Husserl appelle le corps spatial du schme sensible, corps idel (gomtrique) dont le remplissement par les qualits sensibles est une donne originaire de toute exprience perceptive. Comme l'affirme Husserl en reprenant le langage mtaphysique traditionnel : la chose ne connat pas d'autres dterminations extensives que la pure corporit [spatiale] (qualit premire) et les qualits sensibles qui la modifient, c'est--dire les qualits secondes qui la qualifient.20

19 20

Husserl [1982], p. 189. Ibid., p. 60.

17

(2) La mise en relief de la forme (Gestalt) ainsi qualifie. Elle est ncessaire la saisie de la forme. Elle s'opre travers des discontinuits qualitatives. (3) La perception par esquisses. Un schme sensible est luimme une unit nomatique de manifestation. Ce n'est ni une image sensorielle ni une perception particulire. Comme objet intentionnel (nome), il est l'unit d'une multiplicit d'apparences, de contours, de faces, d'aspects, de profils que Husserl appelle des esquisses (Abschattungen). La manifestation par esquisses est un mode de manifestation originaire, caractristique de la perception pure et principiellement autre que la manifestation de proprits rales [chosiques, matrielles]. 21 Ces trois caractres eidtiques des schmes sensibles permettent de prciser ce que nous avons vu de faon plus gnrale dans les sections prcdentes. 1. Les schmes sensibles sont des corrlats nomatiques d'actes mentaux et donc des objets intentionnels. ce titre, ce sont des structures idelles. Mais, chez Husserl, leur idalit est double. (i) Il y a d'abord leur idalit morphologique : celle des formes, de leurs contours et des qualits sensibles (couleurs, textures, etc.) qui les remplissent. Elle est de nature topologique-gomtrique, schmatique et iconique. (ii) Mais il y a aussi leur idalit comme structures de sens. Elle est de nature prdicative-logique, symbolique et formelle. Comme nous le verrons, l'un des problmes centraux de la phnomnologie de la perception, problme exceptionnellement difficile, et d'ailleurs laiss en grande partie irrsolu par Husserl, est celui du rapport entre ces deux types d'idalit. 2. Dans la mesure o la corrlation nose/nome reliant les actes mentaux et les vcus aux objets intentionnels possde la nature d'un fonctionnalisme, il faut laborer un fonctionnalisme morphologique si l'on veut pouvoir tenir compte de l'idalit morphologique des schmes sensibles.22
21 22

Ibid, p. 189. Cf. Andler-Petitot-Visetti [1991].

18

3. Il existe par ailleurs un parallle assez frappant entre le point de vue husserlien et une thorie computationnelle comme celle propose par David Marr. 23 Dans la conception nomatique de l'intentionnalit, les actes constituants (les synthses notiques objectivantes) sont eux-mmes contraints par la lgalit eidtique du nome. Dans le lexique de Marr cela revient dire que les algorithmes de la vision computationnelle (synthses notiques) sont contraints et finaliss par le type d'objectivit propre la perception, c'est--dire prcisment par ce que Marr appelle la thorie computationnelle en fait la thorie formelle du domaine considr. 4. On voit clairement dans le cas de la perception sensible la diffrence qui existe entre d'un ct les vcus de perception et la matire sensorielle (les contenus rels) et d'un autre ct l'objet intentionnel dont l'apparatre objectif s'esquisse dans ces apparences subjectives. On voit d'autre part que l'objet intentionnel se trouve dfini, comme objet invariant support d'identit, de deux faons diffrentes correspondant respectivement sa double idalit cognitive, morphologique et smantique. (i) Comme schme sensible proprement dit, l'objet intentionnel est une structure morphologique tridimensionnelle, une Gestalt objective qui se trouve processe par les algorithmes perceptifs (les synthses notiques). (ii) Comme essence, comme sens nomatique dterminant un mode d'apparatre, l'objet intentionnel est aussi le pur principe d'identit qui permet aux diffrentes esquisses se dformant continment dans un flux continu de perceptions de fusionner et de s'unifier dans un objet invariant. 5. L'exemple de la perception claire aussi le sens de l'anticipation comme fondement de l'intentionnalit. Corrle au principe d'identit nomatique, la donne d'une esquisse d'un schme sensible permet d'anticiper de faon cohrente les autres esquisses. Un horizon de potentialits, d'attentes, d'expectatives (les

23

Pour une introduction la thorie de David Marr, cf. Petitot [1989d], [1990b].

19

esquisses virtuelles, en puissance, non actuellement donnes) se trouve donc co-donn avec les contenus actuels de la perception. III.2. Les difficults de la conception husserlienne du nome De nombreux phnomnologues ont insist sur les difficults insurmontables qua rencontres Husserl dans son projet de synthse des idalits morphologiques (Abschattungen spatiotemporelles) et nomatiques ( Erlebnis). Dans Physique du Sens24 nous avons analys l'exemple d'Aron Gurwitsch et de Johannes Daubert. Mais c'est sans doute Maurice Merleau-Ponty qui a le mieux compris la ncessit de complter la nomatique husserlienne par une thorie morphologique naturaliste et raliste. Comme il l'explique dans ses cours au Collge de France (annes 1952-53 et 1959-60),25 pour comprendre le lien entre sens nomatique et Gestalt (i.e. entre les deux types d'idalit, smantique et morphologique, du nome perceptif), il faut une thorie de la structuration et de l'organisation des substrats matriels une phusis phnomnologique, ce que nous avons propos d'appeler une phno-physique, une physique qualitative qui permette de comprendre sur des bases physicalistes, thermodynamiques et cyberntiques (comme on disait lpoque) les gradients morphogntiques et la faon dont lorganisation rinvestit lespace physique, autrement dit de comprendre l'mergence entre les micro-phnomnes, de macro-phnomnes originaux, lieux singuliers de l'espace. 26 On a besoin, comme il le formule admirablement, d'une topologie phnomnale. Et Merleau-Ponty ajoute que le sens doit lui-mme se fonder dans une telle macrophysique mergentielle. Par catgorisations successives, le langage et ses significations s'difient sur les formes. Les formes naturelles ce que Husserl appelait si bien le flux hracliten des essences morphologiques vagues sont intrinsquement significatives. Elles constituent un langage figuratif naturel. Elles manifestent dans
24 25

Cf. aussi Petitot [1986]. Merleau-Ponty [1968]. 26 On reconnatra l une anticipation remarquable des thories mergentielles de l'auto-organisation et des phnomnes critiques. Cf. Petitot [1993a].

20

leurs moments figuraux le paradoxe d'une force lisible dans une forme, d'une trace ou d'une signature du temps dans l'espace. Bref, avant d'tre une signification au sens smantique du terme, le sens est une couche d'tre qui s'difie sur la couche d'tre de la forme. Lidalit smantique du nome perceptif sdifie sur son idalit morphologique. IV. La fondation des qualits sensibles dans l'extension spatio-temporelle : la troisime Recherche logique. IV.1. La relation de dpendance qualit extension Nous allons rsumer certains passages de la troisime Recherche logique o Husserl dcrit admirablement la structure eidtique du remplissement du corps spatial d'un schme sensible par des qualits sensibles comme la couleur. La troisime Recherche logique est consacre la thorie des Touts et des Parties. Elle commence par l'introduction de la diffrence fondamentale entre contenus abstraits et contenus concrets que Husserl identifie aussitt la diffrence tablie par Stumpf entre contenus dpendants et contenus indpendants. Cette diffrence est fondamentale pour la thorie pure (a priori) des objets comme tels qui traite des catgories objectives formelles et des vrits d'essence de l'ontologie formelle. En tant que gnrale, l'opposition tout/partie appartient, selon Husserl, l'ontologie formelle. Mais la troisime Recherche logique se compose en fait de deux chapitres de nature totalement diffrente. Dans le premier chapitre, La diffrence entre les objets dpendants et les objets indpendants, Husserl dveloppe une analyse clairement morphologique. Puis dans le second chapitre, Rflexions sur une thorie des formes pures des touts et des parties, il passe du matriel (du topologique-gomtriquemorphologique) au formel et cherche dvelopper une axiomatique mrologique des relations touts/parties.27

27

Cf. Smith [1982], Mulligan et al. [1984] et Poli [1992].

21

Le concept traditionnel de partie recouvre (au moins) deux genres d'entits bien distincts. (i) Les parties dtachables d'un tout morcelable. Ces morceaux sont des parties disjointes, sparables et indpendantes. (ii) Les parties non dtachables ou moments comme les couleurs ou les contours qui, bien qu'tant des composantes des objets, entretiennent avec leur extension un rapport de dpendance. Ils en sont insparables [Insparabilit = Unabtrennbarkeit]. On remarquera quune telle opposition fait intervenir de faon essentielle le concept d'espace (d'extension, d'tendue). La dtachabilit-indpendance-sparabilit est essentiellement lie au caractre fragmentable de l'tendue, c'est--dire au fait que les contours d'objets dlimitent diffrentes composantes connexes. En revanche, l'indtachabilit-dpendance-insparabilit repose sur une dpendance unilatrale qualit extension qu'il faut analyser plus en dtail. Pour ce faire, Husserl dveloppe deux points au 4 en se rfrant aux travaux de Carl Stumpf. 28 D'abord une thorie des qualits comme essences abstraites. Les moments qualitatifs et spatiotemporels immdiats de l'intuition sensible (cette couleur-ci, cette forme-ci) sont singuliers et concrets. Mais ils se regroupent en espces abstraites qui se regroupent elles-mmes hirarchiquement en espces super-ordonnes et en genres. Autrement dit, pour Husserl, il existe une catgorisation des qualits et des formes, et donc des (proto)types. Et la relation de dpendance unilatrale qualit extension ne devient une loi que relativement ces catgorisations. Cette loi dessence porte sur des types, des abstraits gnriques, on dirait maintenant des constituants de structure conceptuelle.
La dpendance [Abhngigkeit] des moments immdiats [der unmittelbaren Momente] concerne donc une certaine relation conforme une loi existant entre ceux-ci, relation qui est dtermine purement par les abstracta

28

Pour une introduction au concept de Gestalt (en particulier chez Stumpf, von Ehrenfels et Meinong), cf. Smith [1988].

22 immdiatement suprieurs [ nchst bergeordneten Abstrakta] de ces die 29 moments .

Les dpendances fonctionnelles dans la variation des moments se ralisent dans le champ de variation dlimit par ces espces abstraites. Il s'agit l d'un point essentiel mais assez dlicat. Husserl distingue soigneusement une qualit comme abstractum et le moment immdiat qui s'y rapporte dans l'intuition.30 Il appelle un tel moment immdiat une diffrence spcifique ultime [niederste Differenz]. La relation entre une extension particulire et des moments qualitatifs immdiats est une dpendance fonctionnelle alors que celle entre les genres de l'extension et de la qualit est une loi qui lgalise les dpendances fonctionnelles qu'elle subsume. Husserl propose ensuite une conception objective et a priorique de la loi de dpendance. C'est la dpendance fonctionnelle qualit/tendue lgalise par la loi de dpendance qui rend les moments qualitatifs insparables, qui en fait des contenus partiels non dtachables.
Ce n'est pas l, de toute vidence, un simple fait empirique [ eine bloe empirische Tatsache], mais une ncessit a priori [eine a priorische Notwendigkeit], qui se fonde sur les essences pures [in den reinen Wesen].31

Les paragraphes 5-7 approfondissent ce point. La distinction dpendant / indpendant est objective. Elle relve d'une ncessit idale a priori fonde dans les essences matrielles 32, d'une lgalit objective et d'une vidence apodictique. Elle est indpendante des actes d'apprhension corrlatifs, indpendante de toute conscience psychologique effective, de toute facticit de notre pense subjective. 33 On rencontre l un exemple typique de synthtique a priori au sens de Husserl. Nous allons y revenir.
29 30

4, p. 14. Ibid. Il sagit donc de lopposition entre un constituant de structure conceptuelle et les data de sensation sur lesquels il opre. 31 4, p. 15. 32 7, p. 22. 33 6, p. 21.

23

Notons toutefois ds prsent le point essentiel : selon Husserl, la dpendance fonctionnelle nest pas mathmatisable en tant que telle ; seule peut ltre en droit la loi qui la lgalise un niveau dabstraction suprieur. IV.2. Sparation et fusionnement. Discontinuits et continuit qualitatives C'est dans les 8-9 que la description eidtique husserlienne culmine. Le titre du 8 est De la diffrence entre contenus indpendants et contenus dpendants et de la diffrence entre contenus qui se dtachent intuitivement [anschaulich sich abhebenden Inhalten] et contenus fusionns [verschmolzenen] intuitivement. Husserl y explique qu'on ne peut apprhender des moments intuitifs qualitatifs et spatio-temporels que si les contenus concrets globaux dont ils sont les moments composent une unit globale qui doit se dtacher en tant que phnomne [phnomenal Abhebung]. Pour tre saisi, un phnomne doit, comme le dirait Thom, tre saillant. Comment se constitue la saillance ? Husserl introduit, toujours la suite de Stumpf, la diffrence entre les contenus spars intuitivement [anschaulich gesonderten Inhalten], se dtachant [sich abhebenden] ou se scindant [sich abscheidenden] de contenus connexes [angeknpften Inhalten], et les contenus fusionns [verschmolzenen] avec ces derniers, fondus en eux [in sie berflieenden], sans qu'il y ait entre les uns et les autres de dlimitation [ohne Scheidung].34 Le fusionnement de contenus voisins produit un effet de totalisation. 35 Cest un passage du local au global par diffusion. En revanche, la sparation, la disjonction [Sonderung], parce qu'elle fait obstruction au fusionnement (en posant des frontires la diffusion), permet de limiter des parties. Husserl insiste sur le fait qu'elle repose sur le concept de discontinuit : Sonderung beruht
34 35

8, p. 26. Pour des prcisions sur ce concept fondamental de fusion phnomnale, cf Smith [1988]. Husserl lutilise aussi pour comprendre les moments d'unit figuraux de collections discrtes comme des lignes d'arbres, des tas de pierres, des essaims d'abeilles, etc. (Pour ce point, cf. galement Petitot [1991b]).

24

[...] auf Diskontinuitt [la sparation se fonde [...] sur la discontinuit]. Et il rsume ainsi le fusionnement (le passage est entirement soulign par lui) :
Deux ralits concrtes [Konkreta] sensibles [sinnliche] simultanes [gleichzeitige] forment ncessairement une unit indiffrencie [eine unterschiedslose Einheit], quand l'ensemble des moments immdiatement constitutifs de l'une passe continment [stetig] dans les moments constitutifs correspondants [entsprechende] de l'autre. Le cas de l'identit [Gleichheit] de moments correspondants quelconques doit tre considr ici comme cas limite possible de la continuit [Grenzfall der Stetigkeit], c'est--dire comme le fait que ces moments passent continment en eux-mmes.36

C'est dire que la continuit est conue par Husserl comme une identit qualitative, et donc la discontinuit comme une diffrence qualitative. Dans le 9, Husserl traite de deux points. D'une part du statut des concepts de continuit et de discontinuit. Nous allons y revenir. D'autre part des phnomnes de fusionnement [Verschmelzungsphnomene]. Comme nous venons de le voir, la sparation [Sonderung] correspond la discontinuit [Diskontinuitt] et le fusionnement [Verschmelzung] la continuit [Kontinuitt]. Les discontinuits sont des discontinuits qualitatives, c'est--dire des transitions brusques entre diffrences spcifiques ultimes (cf. plus haut). La discontinuit comme telle se rapporte aux diffrences spcifiques ultimes l'intrieur d'un seul et mme genre [Gattung] pur immdiatement suprieur 37 C'est dire qu'elle est une discontinuit de la [bergeordnet]. dpendance fonctionnelle qualit extension. Cela implique qu'elle est plus qu'un simple cart [Abstand] dans le genre de qualits considr. Il faut que cet cart se ralise entre moments qui s'tendent de part et d'autre d'une limite commune.38 Il doit sinscrire sur un substrat spatial et concerner non seulement la
36

8, p. 27. Le traducteur franais a traduit stetig par continuellement. Nous pensons que le contexte impose continment. 37 9, p. 29. 38 Ibid. La citation faite par Husserl est de Stumpf.

25

qualit mais aussi le rapport de recouvrement [Deckungszusammenhang] (au sujet duquel seul il est question de discontinuit) de l'extension par la qualit. 39 Bref, ces discontinuits qualitatives ne sont saisissables que si elles sont contigment dployes [sie angrenzend ausgebreitet sind] sur le fond d'un moment variant continment [ein kontinuierlich variierendes Moment], savoir le moment spatial et temporel. 40 Ce dernier point est capital. Il dfinit en effet le contenu synthtique a priori de la relation de dpendance unilatrale qualit extension : l'extension spatio-temporelle doit tre le support d'un dploiement, d'une propagation [Ausbreitung], de qualits ; elle doit en contrler les variations. D'o cette remarquable dfinition du concept gestaltiste de discontinuit qualitative :
C'est partir d'une limite de l'espace et du temps [einer Raum- oder Zeitgreuze] que l'on saute [springt] d'une qualit visuelle une autre. Dans ce passage continu [kontinuierlichen bergang] d'une partie d'espace [Raumteil] une autre partie d'espace nous ne progressons pas la fois aussi d'une manire continue dans la qualit qui les recouvre [in der berdeckenden Qualitt], mais du moins un endroit de l'espace [Raumstelle] les qualits limitrophes [die angrenzenden Qualitten] ont un cart [Abstand] fini (et pas trop petit). 41

Bref, il ne peut y avoir dtachement mise en relief des objets, que si une discontinuit a t cre au moyen des moments qui la recouvre. IV.3. Le conflit entre le synthtique-matriel-morphologique et lanalytique-formel-logique Un problme central est alors de dfinir le statut de cette description eidtique clairement morphologique de la saillance phnomnale. Incontestablement, elle relve typiquement selon

39 40

9, p. 30. 9, p. 29. 41 Ibid. Husserl introduit donc explicitement lide que lcart doit tre suprieur un seuil.

26

Husserl du synthtique a priori. la fin du 9, il explique qu'avec la diffrence entre contenus dtachs et non dtachs :
nous nous mouvons dans la sphre des intuitivits subjectives vagues [der vagen subjektiven Anschaulichkeiten], qui prcisment a aussi ses particularits d'essence remarquables, et que, par consquent, avec cette diffrence, nous restons fort loigns de la diffrence ontologique universelle [au sens de lontologie formelle] entre contenus abstraits et concrets, entre contenus indpendants et contenus dpendants. 42

Autrement dit, les essences morphologiques dcrites prcdemment appartiennent l'ontologie rgionale matrielle de la perception et non pas l'ontologie formelle. Les lois de dpendance comme la loi de dpendance qualit extension trouvent leur fondement [...] dans la particularit essentielle des contenus, dans leur spcificit. 43 Ce sont des lois d'essence dtermines concrtement et susceptibles de multiples variations44 , des lois pures dtermines quant leur contenu.45 Elles sont fondes dans les espces et les genres purs qui en sont constitutifs. C'est dire qu'elles relvent de concepts gnriques matriels (gomtriques) et non formels. L'opposition entre concepts matriels et concepts formels est ici cruciale. Les concepts formels de l'ontologie formelle ne concernent que l'objet en gnral travers les axiomes ontologiques formels. Les concepts matriels concernent au contraire les genres concrets o s'enracinent les ontologies rgionales matrielles. C'est dans cette division cardinale [kardinale Scheidung] entre formel et matriel que se fonde celle entre les disciplines, les lois et les ncessits respectivement analytiques-a priori [analytischapriorischen] et synthtiques-a priori [synthetisch-apriorischen]. Husserl est catgorique en ce qui concerne le caractre synthtique a priori de la loi de fondation qualit extension. Mme si le concept gnral de dpendance appartient lontologie formelle,
42 43

9, p. 31. 11, p. 35. 44 10, p. 33. 45 10, p. 34.

27

toutefois il est clair [...] que toutes les lois ou toutes les ncessits se rapportant aux diffrentes espces de dpendances entrent dans les sphres de l'a priori synthtique.46 Le problme se pose alors de savoir quel est le statut mathmatique des lois de dpendance matrielles (synthtiques a priori). Sur ce point crucial, la position de Husserl est trs ambigu. C'est que pour lui, seules les lois analytiques, parce qu'elles sont d'essence logique, peuvent se formaliser compltement. Toute analytique s'difie purement sur des catgories logiques formelles et des formes catgoriales. 47 C'est ce que tente de faire Husserl dans le chapitre II de la troisime Recherche logique en dveloppant une axiomatique gnrale des rapports de fondation. L'exemple princeps d'eidtique matrielle tant pour Husserl la gomtrie, on s'attendrait ce qu'il propose une formalisation gomtrique des lois synthtiques a priori morphologiques qu'il a si bien dgages. On s'y attendrait d'autant plus qu'il se rclame explicitement de Kant en ce qui concerne le synthtique a priori :
on comparera les dfinitions donnes ici avec celles de Kant, qui, notre avis, ne mritent nullement d'tre nommes classiques. Il nous semble qu'avec elles nous sommes arrivs une solution satisfaisante de l'un des problmes les plus importants de la thorie de la science [le synthtique a priori].48

Or, bien que dans la premire dition des Recherches Logiques il ait envisag de caractriser le plus clairement possible au moyen de concepts exacts [i.e. mathmatiques] les formes vagues [i.e. les essences morphologiques inexactes] de l'intuition49, il affirme en entre du 9 : continuit et discontinuit ne doivent naturellement pas tre prises avec une exactitude mathmatique [Kontinuitt und Diskontinuitt sind natrlich nicht in matematischer Exaktheit zu nehmen]. Il ne sagit que de concepts propres la description phnomnologique. Selon Husserl, les lieux de
46 47

11, p. 36. 12, p. 39. 48 12, p. 40. 49 p. 28.

28

discontinuit [die Unstetigkeitsstellen] ne sont pas des lieux singuliers au sens mathmatique (ils le seront pour M. MerleauPonty, cf. plus haut). Pour comprendre ce point qui engage dans une certaine mesure le destin scientifique de toute la phnomnologie, il faut comprendre l'incompatibilit qui existe selon Husserl entre les essences morphologiques vagues de l'intuition sensible et les idalits mathmatiques, seraient-elles gomtriques. Pour Husserl, les configurations d'essence de toutes les donnes intuitives comme telles ne sont pas des concepts exacts et idaux et ne peuvent pas, par l mme, tre mathmatiques.
Les essences apprhendes dans les donnes intuitives par idation [Ideation] directe sont des essences inexactes et ne doivent pas tre confondues avec les essences exactes qui [...] sont issues d'une idalisation [Idealisierung] sui generis.50

Il n'existe donc pas, selon Husserl, de gomtrie morphologique et, par consquent, il n'existe pas de schmatisme morphologique de la relation de dpendance fonctionnelle qualit extension qui jouerait le rle de schmatisme transcendantal pour le synthtique a priori morphologique (pourtant si bien eidtiquement dcrit et dfini en tant que synthtique a priori). Comme nous l'avons montr en dtail dans Physique du Sens, ce refus d'un schmatisme morphologique engage l'ensemble du projet scientifique de la phnomnologie.
Les concepts descriptifs de toute description pure, c'est--dire de celle qui se conforme immdiatement et fidlement l'intuition [Anschauung], donc aussi de toute description phnomnologique [aller phnomenologischen Deskription], sont, par consquent, diffrents par principe des concepts dterminants de la science objective [der objektiven Wissenschaft]. Elucider cet tat de choses, c'est l un problme phnomnologique auquel on ne s'est pas encore appliqu srieusement, et qui, mme en ce qui concerne la distinction prsente, n'est pas rsolu. 51

50 51

9, p. 28. Ibid.

29

Autrement dit, il existe chez Husserl une opposition principielle et irrductible entre description qualitative et formalisation, entre essence morphologique et ontologie formelle. Cette opposition est dveloppe de faon profonde dans les Ideen I o Husserl confronte la phnomnologie comme eidtique descriptive morphologique la gomtrie et conclut nouveau qu'une gomtrie morphologique est impossible laborer. 52 La consquence en a t pour Husserl l'impossibilit de principe de dpasser le stade de la description pure. V. Le schmatisme morphologique de la dpendance qualit extension On voit bien sur cet exemple lmentaire (mais basique) ce que peut signifier la naturalisation de la phnomnologie dans une optique cognitiviste. La description eidtique que nous venons de rsumer est d'ordre nomatique. Elle constitue la plus simple et la plus primitive des composantes des schmes sensibles. Pour la naturaliser il faut la complter dans deux directions. (i) D'abord, dans le cadre du fonctionnalisme morphodynamique, il faut en laborer le schmatisme morphologique. (ii) Ensuite, dans le cadre d'un computationnalisme effectif (par exemple connexionniste) il faut expliciter les algorithmes qui en formalisent les synthses notiques corrlatives. Sous le titre de naturalisation, il s'agit donc de dvelopper la stratgie suivante. D'abord convertir l'eidtique descriptive phnomnologique en une eidtique descriptive gomtrique. La schmatisation gomtrique du synthtique a priori est la clef de la naturalisation. Elle fournit en effet une version non formaliste de la nomatique. La nomatique perceptive est d'abord affaire de gomtrie et non pas de logique (au sens naf du terme). Une fois conquise la gomtrisation du synthtique a priori morphologique, il s'agit alors :

52

Pour une analyse dtaille, cf. Petitot [1986] et [1992b] III.4.

30

(i) de montrer comment on peut la corrler une (phno)physique qualitative (versant externe de la naturalisation) ; sur ce point les thories macro-physiques de l'organisation et des phnomnes critiques jouent un rle essentiel ; elles fournissent une explication physicaliste de la topologie phnomnale de MerleauPonty ; (ii) de montrer comment on peut l'implmenter dans des rseaux de neurones (versant interne de la naturalisation). Nous ne traiterons ici que du schmatisme morphologique. V.1. La schmatisation des concepts et le problme du continu (Esthtique transcendantale) Reprenons les concepts fondamentaux de la description husserlienne. Ce sont essentiellement ceux de : (i) espace-tendueextension ; (ii) qualit concrte/abstraite, espce, genre ; (iii) dpendance/indpendance, indtachabilit/dtachabilit, insparabilit/sparabilit ; (iv) dpendance fonctionnelle unilatrale et fondation qualit extension ; (v) fusion / sparation de qualits voisines (connexes) ; (vi) continuit / discontinuit ; (vii) dploiement (Ausbreitung). Les lois d'essence formules par Husserl sont, nous l'avons vu, des lois synthtiques a priori (matrielles) portant sur les essences abstraites de ces concepts. Et ici s'ouvre une alternative quant leur formalisation : soit on les axiomatise directement dans le cadre d'une ontologie formelle i.e. d'une Analytique (mme si elles relvent d'une ontologie rgionale matrielle), soit on les mathmatise en tant que lois synthtiques a priori. Dans Physique du Sens, nous avons expliqu pourquoi Husserl a d choisir la premire voie de l'alternative : tant donn ce qu'il croyait tre l'essence axiomatique des mathmatiques, les lois synthtiques a priori matrielles n'taient pour lui formalisables qu' travers leur subordination aux lois analytiques de l'ontologie formelle. Nous choisissons ici la seconde voie, celle de la schmatisation mathmatique du synthtique a priori.53
53

Pour des prcisions sur le problme du schmatisme, cf. Petitot [1987], [1990a], [1992b]. Pour des prcisions mathmatiques sur son lien avec le problme du

31

V.2.

La Verschmelzung riemannienne

et

la

gomtrie

diffrentielle

Les espaces intuitifs en jeu sont des continua, des domaines d'espaces standard Rn. quel niveau de structure correspond donc le concept basique de Verschmelzung ? Ce n'est pas le niveau purement topologique, qui est trop faible : on sait en effet que les structures topologiques peuvent tre d'une complexit interne infinie (fractale), ce qui n'est videmment pas le cas ici. Mais ce n'est pas non plus le niveau mtrique, qui est trop fort. En fait, le niveau de structure du continu phnomnologique intuitif semble tre celui de la structure diffrentiable.54 Cette hypothse peut tre confirme historiquement. En effet, le concept de Verschmelzung remonte aux tudes consacres par le psychologue J.F. Herbart la faon dont des reprsentations mentales peuvent prsenter des transitions continues (ce qu'il appelait des Reihenformen, des formes srielles). Herbart avait fond une bonne partie de sa psychologie sur l'ide que le continu renvoyait un processus mental fondamental et il avait forg le nologisme de synchologie 55 cet effet. 56 Or, Riemann a t profondment inspir par Herbart. 57 Son concept de varit (Varietas, Mannifaltigkeit) provient directement de cette psychologie continuiste et mathmatise les situations o des reprsentations conceptuelles peuvent subir des transitions continues. C'est sur la base de ces substrats intuitifs qu'il a introduit les concepts fondamentaux de coordonnes locales et de mtrique
continu et l'Analyse non standard, cf. Salanskis [1991], le Colloque de Cerisy Le Continu Mathmatique (LC [1992]), ainsi que Petitot [1979a], [1989e], [1991b], [1992c]. 54 Cf. Petitot [1989d], [1990b]. 55 De sunecez = continu en grec. 56 Peirce aussi a fond sa smiotique et sa phnomnologie de la perception (phanroscopie) sur le concept de continu, sur un synchisme. 57 Cela est attest par ses rflexions philosophiques (non traduites dans l'dition franaise de ses uvres mais dont une traduction indite est nanmoins disponible sur demande).

32

riemannienne. Autrement dit, comme le remarque Erhard Scholtz, la diffrence entre la thorie de Riemann et la thorie moderne des varits qui en est issue est que the role of the topological space [is] taken in a vague sense by a Herbartian-type of serial form, backed by mathematical intuition. 58 Or, l'espace intuitif sousjacent une varit riemannienne est en fait une varit diffrentiable. V.3. Le rapport de fondation qualit extension et le concept de fibration Dans l'optique qui est la ntre, la schmatisation de la loi de fondation qualit extension doit correspondre un genre de structures mathmatiques d'un certain type, ce que lon appelle en mathmatiques une catgorie de structures. Dans sa gnralit, le type de ces structures correspond aux essences (aux genres) sur lesquelles porte la loi. Les structures mathmatiques spcifiques appartenant ce genre correspondent quant elles des modles des instances phnomnales de la loi. De quelle catgorie de structures s'agit-il ? Il s'agit de celle de fibration ou d'espace fibr.59 De faon intuitive, un espace fibr est une varit diffrentiable E muni d'une projection diffrentiable p : E M sur une varit diffrentiable de base M et satisfaisant les proprits (v) et (vi) ci-dessous. (i) M est la base de la fibration ; (ii) p est la projection structurale ; (iii) E est l'espace total de la fibration ; (iv) l'image rciproque Ex = p-1(x) d'un point x de la base M s'appelle la fibre de la fibration au-dessus de x ; (v) toutes les fibres Ex sont isomorphes une fibre type F ; (vi) p est localement triviale : pour tout x M, il existe un voisinage U de x tel que EU = p-1(U) soit diffomorphe au produit

58 59

Scholtz [1992], p. 23. Pour une introduction pdagogique aux structures gomtriques localement triviales (revtements, fibrs, faisceaux, etc.), cf. Petitot [1979b], et surtout sa bibliographie.

33

direct F U, la restriction de p EU se transformant par ce diffomorphisme en la projection canonique F U U de ce produit sur son second facteur. Dans l'exemple qui nous occupe ici, la varit base M est l'extension W d'un substrat et l'espace fibre F est l'espace Q du genre des qualits sensibles considres (par exemple les couleurs). Ces qualits sont traites comme des grandeurs intensives. C'est la structure de projection constitutive d'une fibration qui schmatise la loi de fondation en tant que loi d'essence. Les grandeurs sont toutes des grandeurs au sens de Riemann-Herbart. Mais la fibration introduit une dissymtrie entre la varit base M et la varit fibre F : la base est un espace externe extensif, la fibre un espace interne intensif. Le fait que la projection structurale p projette E sur M exprime alors la dpendance unilatrale des grandeurs intensives relativement aux grandeurs extensives : c'est l'espace externe qui contrle l'tat interne. La varit base peut exister sans une fibration qui s'y projette. Mais une fibration ne peut pas exister sans sa base. Cet lment de l'axiomatique des fibrations axiomatise une loi phnomnologique eidtique et synthtique a priori : travers une schmatisation mathmatique adquate, le synthtique a priori se convertit donc en axiomatique. Rptons qu'une telle axiomatisation indirecte mdiatise par une schmatisation est foncirement diffrente d'une axiomatisation directe de la loi conceptuelle de fondation dans le cadre d'une ontologie formelle (ce qu'essaye de faire Husserl dans le chapitre II de la troisime Recherche logique). Au lieu de subordonner le synthtique a priori une analytique, elle l'interprte dabord mathmatiquement et ce n'est qu' travers cette mdiation hermneutique qu'elle rejoint l'axiomatique. V.4. Le concept de section d'une fibration et la dpendance fonctionnelle husserlienne Nous avons not plus haut que la principale limite de la description husserlienne tait de ne pas mathmatiser correctement le concept de dpendance fonctionnelle. La structure gnrale de fibration permet de le faire. Elle est la source d'une infinit de

34

modles possibles pour des phnomnes spcifiques qui sont des instances (des tokens) de la loi eidtique de fondation. D'abord, comme nous l'avons vu, on spcifiera l'espace externe base M comme extension W d'un substrat et l'espace interne fibre F comme espace Q d'un genre de qualits. Mais quel concept mathmatique correspondra alors la faon dont les moments qualitatifs non dtachables dpendent de l'extension W ? Ce concept est celui de section d'une fibration. Il gnralise celui de fonction, c'est--dire. celui de dpendance fonctionnelle. Soit p : E M une fibration. Une section de p est une application s : M E qui remonte M dans E, c'est--dire qui, tout x M associe un lment s(x) de E qui appartient la fibre Ex de p audessus de x. Cela s'exprime en imposant la contrainte que l'application compose p o s : M E soit l'identit de M. Une trivialisation locale pU : EU F U U transforme une section s en une application x (f(x), x) de U dans F U o f : U F est une application (une fonction) de U dans F. La section s sera dite continue, diffrentiable, etc. suivant que ces f le sont. Une section dune fibration exprime donc trs prcisment une dpendance fonctionnelle spcifique des moments qualitatifs de la fibre par rapport l'extension de la base. Et elle l'exprime en relation avec la loi de dpendance que schmatise la fibration. Nous retrouvons donc exactement la description pure husserlienne. Cela prouve que, contrairement laffirmation de Husserl, celle-ci est mathmatisable. V.5. Morphologies et discontinuits qualitatives : le passage de Husserl Thom Les discontinuits qualitatives rendant un phnomne saillant sont des discontinuits de sections. De faon plus prcise, soient q1, ..., qn les qualits sensibles (les moments dpendants) recouvrant l'espace externe W. Elles appartiennent des espaces de genre Q1, ..., Qn (couleurs, textures, etc.). Soient q1(w), ..., qn(w) les sections exprimant le recouvrement de W par les qi (i.e. qi : W Ei est une section de la fibration pi : Ei W de fibre Qi). Cette donne

35

permet de schmatiser le concept de saillance phnomnologique qui est constitutif du concept de morphologie. C'est l'un des grands mrites de Thom que d'avoir conu une telle formalisation. Avec lui, on appellera rgulier un point w W o toutes les sections qi(w) sont localement continues, i.e. continues dans un voisinage de w. Par dfinition, les points rguliers forment un ouvert R de W.60 Soit K le ferm complmentaire K = W R de R dans W. K est constitu des points dits singuliers o l'une au moins des sections qi(w) est discontinue. Il est la morphologie dont la saillance phnomnologique correspond exactement la description husserlienne. V.6. Catgorisation des espaces de qualits Il faut ajouter cette description le fait que, en gnral, les espaces Q de qualits sont eux-mmes catgoriss. Cela signifie essentiellement qu'il existe : (i) une dcomposition de Q en domaines (catgories) par un systme de frontires ? (ce que l'on appelle une stratification) et (ii) des prototypes correspondant des valeurs centrales dans ces domaines. Une faon simple de catgoriser un espace est d'introduire une dynamique. Les prototypes s'interprtent alors comme les attracteurs de cette dynamique, les catgories comme les bassins d'attraction et les frontires comme les sparatrices des bassins.61 L'introduction de telles catgorisations engendre en gnral des discontinuits qualitatives supplmentaires. En plus des discontinuits provenant de celles des sections qi(w), il y a les discontinuits provenant du fait que qi(w) change de catgorie. Elles peuvent exister mme si la section qi est continue.

60 61

Rappelons qu'un ouvert est en effet un voisinage de chacun de ses points. Les modles connexionnistes de mmoires associatives sont des implmentations de tels modles dynamiques. Pour les modles morphodynamiques de catgorisations, cf. Petitot [1985b].

36

V.7. Schmatisme morphologique et eidtique descriptive Nous voyons de faon trs claire sur cet exemple la faon dont une schmatisation (ici une schmatisation morphologique) permet de mathmatiser une description phnomnologique en faisant droit toutes ses composantes et tous ses niveaux eidtiques. 1. La dpendance fonctionnelle existant au niveau des diffrences spcifiques ultimes correspond la donation d'un phnomne particulier. Elle se trouve modlise par une section particulire : W E d'une fibration particulire. Autrement dit, le caractre fonctionnel des relations de dpendance se trouve ici trait de faon mathmatiquement rigoureuse travers le concept de section. Rappelons que celui-ci gnralise effectivement celui de fonction en prenant en compte le fait qu'en chaque point de l'extension W la qualit actuelle appartient un paradigme de qualits (dont les autres termes demeurent virtuels). 2. Les discontinuits qualitatives sont modlises par des discontinuits des sections. 3. La loi d'essence dtermine concrtement par ses contenus correspond une fibration particulire p : E W ayant pour fibre un espace de qualits particulier Q. Il s'agit d'un premier niveau de gnralit : l'extension W et le genre de qualit Q sont dtermins, mais aucune section particulire n'est privilgie. Il s'agit donc d'une loi de dpendance entre espces dtermines (et non plus entre diffrences spcifiques ultimes). 4. La loi synthtique a priori de dpendance qualit extension correspond la structure mathmatique gnrale de fibration. Elle porte sur des genres abstraits (des essences : espace et qualit). 5. L'axiomatisation analytique de la loi de dpendance dans le cadre de l'ontologie formelle correspond enfin l'axiomatique (cette fois au sens fort et correct, hilbertien, du terme) de la structure de fibration, c'est--dire. la catgorie mathmatique de fibration.

37

V.8. Le synthtique a priori et l'esthtique transcendantale : la rponse au problme de l'intentionnalit Tel que nous venons de l'expliciter sur un exemple particulirement lmentaire, le schmatisme morphodynamique permet de clarifier un problme central, peut-tre le problme le plus important pos par l'intentionnalit. Il s'agit de la fonction de la gomtrie comme syntaxe cognitive. Nous avons vu aux I.2 et III.2 les difficults qu'il y a penser l'intentionnalit comme un caractre intrinsque des reprsentations mentales dans le cadre d'une conception symbolique, syntaxique et internaliste, bref solipsiste, des contenus troits. En fait, la plupart de ces difficults viennent d'une conception trop navement logique de la syntaxe. Elles s'vanouissent en grande partie ds que l'on comprend : (i) que la gomtrie est, elle aussi, une syntaxe, (ii) que ce qui en fait une syntaxe est la mme chose que ce qui en fait la forme de l'extriorit. C'est parce que, en tant que gomtrie, une syntaxe des contenus mentaux peut tre dans le mme temps une forme de l'extriorit qu'il est possible de fonder l'intentionnalit de faon solipsiste. Cette vrit fondamentale dont la dcouverte extraordinaire a fait culminer le gnie kantien a t occulte par le primat philosophique accord la logique (lmentaire) au cours de ce sicle. La consquence en a t l'impossibilit de sortir des paralogismes de l'intentionnalit. Prcisons un peu ce point. Dans les rflexions prcdentes, il existe (au moins) trois niveaux compltement diffrents de syntacticit. Ils ne sont d'ailleurs pas sans rappeler les trois niveaux de David Marr. Il s'agit respectivement de ceux de l'implmentation, des algorithmes et du formel (i.e. du computationnel). (i) Le niveau micro-physique, celui des oprations au niveau matriel des processeurs (neuronaux par exemple). (ii) Le niveau macro-synthtique, celui de la gomtrie et des schmes morphologiques, ainsi que celui des algorithmes corrlatifs. (iii) Le niveau macro-analytique, celui de l'axiomatisation et de la thorie formelle des structures gomtrico-topologiques constitutives de (ii).

38

Le niveau (i) est celui de l'implmentation. Il ne fait pas ici problme. Le niveau (ii) est celui des contenus idaux des reprsentations. Il supporte toute l'eidtique phnomnologiquecognitive. L'illusion du cognitivisme symbolique est de croire que sa ralisation mentale implique ipso facto celle du niveau formel (iii) (version cognitiviste de la subordination husserlienne du synthtique a priori l'analytique). Cette illusion de transitivit des niveaux est une illusion transcendantale. C'est elle qui conduit aux paralogismes de l'intentionnalit car, l'inverse d'une syntaxe gomtrique, une syntaxe logique ne peut pas tre en elle-mme une forme de l'extriorit ! Notre thse est que le niveau (ii) est mentalement ralis dans les oprations cognitives de la perception sans que le niveau (iii) (qui en est la thorie formalise) le soit. Cette thse est assez analogue celle propose par Paul Smolensky dans sa dernire rponse Jerry Fodor et Zenon Pylyshyn sur la constituance dans les modles connexionnistes.62 On peut l'expliciter de la faon suivante. Il faut d'abord avoir une conscience claire de ce que Smolensky appelle le dilemme structure/statistique, savoir le paradoxe cognitif opposant des modles dynamiques numriques-statistiques (connexionnistes) de performances relles des descriptions formelles ( base de rgles) de comptences idales. Il n'y a que pour les comptences idales que la transitivit (ii) (iii) est acceptable. Elle ne l'est pas pour la performance. D'une part, la nature symbolique du niveau formel (iii) n'implique pas la nature symbolique du niveau (ii). Ce niveau algorithmique peut parfaitement tre dynamique et non pas symbolique. D'autre part, les constituants symboliques qui mergent au niveau (iii) n'ont pas d'efficience causale au niveau (ii). Ils n'appartiennent pas la ralit interne des reprsentations mentales : les symboles sont des artefacts de la description formelle des comptences idales. Autrement dit, comme l'a remarqu Yves-Marie Visetti, 63 dans le cadre d'un fonctionnalisme morphodynamique l'effectivit computationnelle se spare du symbolique sans pour autant
62 63

Cf. Smolensky et al. [1992]. Communication prive.

39

s'identifier au niveau micro-physique de l'implmentation. Elle demeure une effectivit de structures idales syntaxiques mais son idalit syntaxique est d'essence gomtrique. Nous retrouvons ainsi l'ide force kantienne que les contenus gomtriques sont bien des contenus mais des contenus en quelque sorte syntaxiques et non pas smantiques. La gomtrie est une pure syntaxe, mais en tant que syntaxe elle agit identiquement comme une intuition pure qui est la forme de l'extriorit. 64 Le sens cognitif profond du synthtique a priori rside dans la non transitivit du macro-synthtique vers le macro-analytique. Celle-ci permet une thorie solipsiste troite de l'intentionnalit. L'espace, au sens de l'Esthtique transcendantale kantienne, reste la clef de l'intentionnalit. Toute intentionnalit s'y fonde et en drive. Elle en hrite l'intentionnalit primitive. VI. Phnomnologie de la perception, schmatisme morphodynamique, et vision computationnelle

Nous avons montr ailleurs en dtail comment l'on pouvait schmatiser les autres lois d'essences explicites par Husserl propos de la perception, et en particulier celles concernant les esquisses dobjets (Abschattungen).65 Nous ne pouvons pas aborder ici ces problmes qui relvent de ce que D. Marr a appel l'esquisse 21/2D. Disons simplement que les contours apparents d'un corps spatial fournissent lexemple le plus frappant et le plus ' probant de moments dpendants qui, parcequils peuvent se dformer continment fusionner les uns dans les autres, permettent une anticipation de donnes virtuelles (infrence d'autres contours apparents partir d'un contour apparent donn). Cette anticipation est constitutive de l'effet de transcendance objective. Sur ce point la description phnomnologique se trouve parfaitement corrobore par les thories perceptives. Par exemple, dans un article concernant les singularits pouvant apparatre
64

Kant avait dj introduit une diffrence fondamentale entre l'espace phnomnologique comme forme de l'intuition et l'espace gomtris comme intuition formelle. Cf. Petitot [1991c]. 65 Cf. Petitot [1990b] et [1992b].

40

gnriquement dans les dformations de contours apparents, Jan Knderink conclut :

consequently, if an observer has been permitted to visually explore a certain body by means of changing his vantage point volontarily, he can gather enough information to predict future changes of the visual image [anticipation]. He is able [...] to interpret such changes as proprioceptive, and may consider the object as an unchanging entity, despite the changing visual input [unit et identit objectives]. Our geometrical theory [la thorie des singularits] enables us to understand the structure of the observer's internal models of external bodies [thorie internaliste de l'intentionnalit perceptive]. 66

Les lois husserliennes concernant les esquisses perceptives sont schmatisables par la thorie mathmatique des contours apparents (quivalence entre un objet et la famille de ses contours apparents). Celle-ci fait un usage essentiel (et ncessaire) de la thorie des singularits, de la thorie des jets, de la thorie de la stabilit structurelle et de la thorie des grassmanniennes (qui gnralise celle des espaces projectifs). Ces thories, qui sont toutes des thories fondamentales de la gomtrie et de la topologie diffrentielles modernes, interviennent donc de faon constitutive dans le programme de naturalisation de la phnomnologie. Nous avons explicit dans de nombreux autres travaux la faon dont la thorie thomienne permet de modliser en termes de physique qualitative l'mergence objective de structures morphologiques dans les substrats matriels.67 Nous n'aborderons donc pas ces points ici. Nous dirons en revanche quelques mots dans cette dernire section sur les synthses notiques (les actes mentaux) qui sont corrlatives de la loi nomatique de dpendance. Le schmatisme morphodynamique de la loi de dpendance est d'ordre nomatique objectif. Mais, pour une conscience concrte, il est le produit de synthses notiques, c'est--dire en langage actuel, d'algorithmes cognitifs neuronalement implments appartenant la vision computationnelle. Pour ne pas allonger dmesurment cette tude, nous ne traiterons ici qu'un seul exemple, concernant le niveau rtinien.
66 67

Knderink, van Doorn [1976], p. 59. Cf. en particulier Petitot [1992b], [1992d].

41

Signalons toutefois que la prise en compte de certaines structures corticales et en particulier celles des colonnes et hypercolonnes du cortex visuel primaire serait essentielle pour notre propos. En effet, depuis les travaux de Hubel et Wiesel, on sait que le systme visuel est mme d'associer des localisations rtiniennes (prserves par rtinotopie) des lments locaux (par exemple des orientations ou des directions). Cela permet au systme d'implmenter des champs d'lments locaux (par exemple des champs de directions). Or ces champs (que l'on appelle en gomtrie diffrentielle des feuilletages dans le cas de cet exemple) sont des sections de fibrs ayant pour base le champ rtinien et pour fibre l'espace des lments locaux possibles (par exemple l'espace projectif des directions). 68 Cest dire que, de par leur architecture neuro-anatomique, les (hyper)colonnes implmentent des fibrations. La thorie des jets voque plus haut est essentielle dans la mesure o elle montre que le problme de la reconstruction d'un objet partir de ses contours apparents est rsoluble au moyen de champs de donnes diffrentielles (les jets prcisment), ces donnes tant accessibles au moyen de processeurs structurs en (hyper)-colonnes. Il semble qu'il en aille de mme pour le traitement des couleurs existence de colonnes de couleurs mme si celui-ci fait intervenir d'autres zones corticales et d'autres types de structures.69 On peut montrer que les descriptions husserliennes et leur schmatisation thomienne correspondent trs prcisment la faon dont le systme visuel traite (ds les niveaux prcoce de la transduction rtinienne) le signal optique. On sait que la rtine est essentiellement compose de trois types de couches de cellules : les photorcepteurs, les cellules bipolaires et les cellules ganglionnaires. Ces dernires, dont les axones sont les fibres du nerf optique, sont caractrises par la structure de leur
68

De nombreux travaux rcents ont montr que le codage des lments locaux est de type accrochage de frquence. Les colonnes fonctionnent comme des oscillateurs faiblement coupls dont la frquence dpend de lintensit locale du stimulus. Le couplage produit des phnomnes de synchronisation et de mise en phase qui permettent dexpliquer sur la base de critres strictement temporels les segmentations des scnes visuelles en objets. 69 Cf. Buser, Imbert [1987].

42

champ rcepteur (CR), c'est--dire. par l'ensemble des photorcepteurs auxquels elles se trouvent relies. Une donne fondamentale de la neurophysiologie rtinienne est que ces champs sont organiss de faon concentrique par un antagonisme centre/priphrie. Les cellules ganglionnaires qui sont des analyseurs spatiaux sont des cellules nergtiques, toniques, fort gradient d'antagonisme centre/priphrie et rsolution spatiale leve. Elles agissent sur le signal optique I(x,y) comme des filtres, c'est--dire par convolution du signal I avec le profil rcepteur (PR) de leur CR, qui est est une approximation de laplacien de gaussienne ?G. Cette remarque a permis Marr de clarifier la fonction de l'antagonisme centre/priphrie. Elle est de dtecter les discontinuits qualitatives encodes dans le signal. Il s'agit du clbre critre dit de zerocrossing. L'ide en est simple. Explicitons-la en dimension 1. Soit f(x) une fonction diffrentiable relle d'une variable relle. Une discontinuit se caractrise par un pic (distribution de Dirac) de la drive premire f et, pour la drive seconde f, par une traverse de zro (zero-crossing) encadre par deux pics de signes opposs. Quelle opration la convolution ? G I effectue-t-elle? Comme il est trivial de vrifier que (? G) I = ? (G I), on voit qu'il s'agit : (i) de lisser le signal une certaine chelle dfinie par G (convolution G I)70 ; (ii) de considrer les drives secondes (laplacien). Or, il existe dans la rtine des champs de cellules ganglionnaires d'chelles diffrentes. Cela conduit l'hypothse que la vocation fonctionnelle de ce remarquable dispositif neurophysiologique est d'tre un processeur d'images effectuant des analyses spatiales multi-frquences qui dtectent les discontinuits qualitatives localement et plusieurs chelles. Cela permet de caractriser les discontinuits objectives comme celles qui sont dtectes plusieurs chelles. La structuration morphologique des images commence donc, ds les stades les plus prcoces de la perception visuelle, comme un processus ascendant (bottom-up) et data-driven. Elle fournit la base de reprsentations ultrieures, plus symboliques et de plus haut
70

Rappelons le lien entre lissage et Verschmelzung (cf. IV.2 et V.2).

43

niveau. Comme Marr l'a soulign, zero-crossing provides a natural way of moving from an analogue or continuous representation like the two-dimensional image intensity values I(x, y) to a discrete, symbolic representation. 71 C'est dire que le morphologique se situe bien entre le continu physique et le discret symbolique. Ses singularits (discontinuits qualitatives) concentrent l'information significative objective (intrinsque) contenue dans l'image.
The raw primal sketch is a very rich description of an image since it contains virtually all the information in the zero-crossings from several channels. Its importance is that it is the first representation derived from an image whose primitives have a high probability of reflecting physical reality directly.72

Autrement dit, la rtine implmente neurophysiologiquement un algorithme de traitement local et multi-chelle du signal optique qui se rvle tre exactement corrlatif du schmatisme morphodynamique de la loi d'essence husserlienne. Dans ce cas particulier trs simple (mais exemplaire), on peut donc donner un sens technique cognitif clair et prcis mathmatique, algorithmique (computationnel) et neuro-physiologique la corrlation nose/nome. Tel est le sens dune naturalisation de la phnomnologie. L'eidtique descriptive s'y convertit en une physique mathmatique des processus cognitifs sous-jacents. Qui plus est, cette physique mathmatique ralise un fonctionnalisme dynamique concernant l'mergence macroscopique de structures morphologiques (ple nomatique). D'o le concept de ce que nous avons propos dappeler une phno-physique. L'interprtation mathmatique de l'algorithme de Marr est fournie par l'algorithme des ondelettes. Il est devenu ces dernires annes l'un des outils les plus puissants de l'analyse. 73 Il montre comment il est possible de comprimer une image sur la base de sa structure intrinsque.

71 72

Marr [1982], p. 67. Ibid., p. 71. 73 Pour une introduction la thorie des ondelettes cf. Meyer [1989], Mallat-Zhong [1989].

44

Ces rsultats peuvent tre utiliss pour permettre la rsolution du problme fondamental de la perception, qui est de reconstruire une scne 3D partir de son image 2D. Or, ce problme inverse (le problme direct tant celui de la projection scne 3D image 2D) est mal pos (au sens mathmatique du terme). On peut faire l'hypothse que pour le rsoudre de faon si efficace, le systme perceptif applique la stratgie suivante : (i) la prise en compte des donnes sensorielles et de leurs rgularits statistiques ; (ii) une connaissance a priori sur le problme rsoudre ; (iii) le principe de maximisation de l'entropie de toutes les hypothses compatibles avec (i) et (ii).74 Cette faon profonde de voir les choses qui est celle des mathmaticiens et des physiciens statisticiens 75 est philosophiquement trs pertinente. En effet, la connaissance a priori quelle introduit est que l'image doit pouvoir tre organise morphologiquement par un systme de discontinuits qualitatives objectives. Or cet a priori est exactement celui fourni par la schmatisation morphodynamique des lois synthtiques a priori dgages par Husserl. Un fait fondamental quil faut souligner propos de ces algorithmes de vision computationnelle est que la contrainte de compression de l'information76 qui est une contrainte gnrale sur les processus de traitement conduit tout naturellement lanalyse morphologique de structures gomtriques objectives stables. On a l une exemplification technique spectaculaire de la signification cognitive (computationnelle) de la corrlation nose/nome. Ct nomatique, on trouve une idalit spatiotemporelle morphologique (fonde dans l'idalit du continu), phnomnologiquement descriptible et mathmatiquement formalisable. Ct notique, on trouve des algorithmes de traitement
74

Sur le principe de maximisation de lentropie, qui fonde la possibilit des infrences inductives, cf. les actes du Colloque From Statistical Physics to Statistical Inference and back organis par Peter Grassberger et Jean-Pierre Nadal Cargse en septembre 1992. 75 Cf. Mumford, Shah [1988]. 76 La rtine comprime considrablement l'information : passage d'environ 160 millions de photorcepteurs environ 1 million de fibres dans le nerf optique.

45

d'information. L'intermdiaire se fait travers une thorie du signal. Mais il existe bien une corrlation entre les deux ples respectivement notique et nomatique puisque des contraintes sui generis de l'un (ici la contrainte de compression) permettent de reconstruire l'autre (l'analyse gomtrique qualitative). Conclusion Ce que nous venons de brivement esquisser propos de l'esquisse 2D peut tre gnralis l'esquisse 21/2D et au niveau des reprsentations 3D. En ce qui concerne l'esquisse 21/2D centrale dans la thorie de Marr nous avons montr ailleurs,77 en convergence avec certains travaux de Jan Knderink, que la structure en colonnes et hypercolonnes du cortex visuel primaire pouvait servir implmenter un calcul de jets qui lui-mme permet de rsoudre mathmatiquement le problme de l'quivalence entre un objet et la famille de ses contours apparents (cf. plus haut). Cette thorie schmatise morphologiquement les lois d'essence de la perception par esquisses. Ici encore le synthtique a priori se trouve mathmatis par des structures morphologiques qui finalisent les algorithmes et fonctionnent comme connaissance a priori. videmment, une question centrale se pose, celle de la reprsentation interne neuronale des structures gomtriques, et avant tout de l'espace. Au niveau d'une telle reprsentation interne seules comptent les relations fonctionnelles. L'ordre spatial ralisant l'interface externe/interne doit donc tre converti en un ordre fonctionnel interne. Comme l'a profondment expliqu Jan Knderink, cet ordre fonctionnel repose sur la structure de corrlation temporelle des signaux vhiculs par les fibres du nerf optique, la corrlation tant due au recouvrement des champs rcepteurs des cellules ganglionnaires rtiniennes.
The two-dimensionality of the visual field is objectively present in the crosscorrelation structure of optic nerve signals, it exists independently from an

77

Cf. Petitot [1990b].

46 external observer's description of the retina as a two-dimensional receptor array.78

tant donne la rtinotopie, la gomtrie se traduit par des corrlations temporelles. Mais, rciproquement, on peut montrer mathmatiquement que des corrlations temporelles imposes par des contraintes neuro-anatomiques d'architecture quivalent une structure gomtrique. La gomtrie n'a donc pas tre reconstruite dans le systme nerveux central. Elle est encode dans l'ordre fonctionnel interne.
Thus the most primitive spatial notions in vision (e.g. cohesive multiply say two fold extended simultaneous presence) are neither posited (space as a man-made artifice) nor extracted (that is found in the world), but are implicit bounds on the system's potentialities, constraints on the set of states the system can possibly assume. (This remind us of Kant's notion of innate space ideas). These constraints are fixed in the system's anatomy [...] although not in properties like somatotopy but in nervous connections that constrain the freedom of the nervous net as a whole.79

En ce sens, le synthtique a priori, dont nous avons explicit l'idalit transcendantale, se ralise concrtement comme un format de traitement d'information et un ensemble de structures de donnes imposs par l'architecture nerveuse. On retrouve ici sa double interprtation transcendantale/inniste. Rien ne s'oppose plus, ni en droit ni en fait, la naturalisation de la phnomnologie de la perception. Celle-ci se rvle avoir des liens profonds tant avec les thories cognitives contemporaines qu'avec la physique qualitative. Une mathmatique morphologique et une phno-physique de la manifestation sensible sont dsormais mme d'assumer les fonctions de l'eidtique descriptive, du synthtique a priori et du schmatisme transcendantal gnralis. Dans linterprtation que nous en avons donne, lEsthtique transcendantale et le synthtique a priori constituent, travers lidalit du gomtrique, le fondement de lintentionnalit

78 79

Knderink [1984a], p. 35. Knderink [1984b], p. 50.

47

phnomnologique. Leur dngation logiciste aura pig le problme de lintentionnalit dans dinsurmontables paralogismes. Dans la sphre de la conscience perceptive, leur fonction transcendantale exprime par le schmatisme morphodynamique est identiquement une fonction cognitive qui peut tre ralise travers des algorithmes effectifs, explicitement implments dans des architectures neurales. Jean PETITOT
EHESS Paris

BIBLIOGRAPHIE ANDLER, D., (d.), 1992. Introduction aux Sciences Cognitives, Paris, Gallimard. ANDLER, D., PETITOT, J., VISETTI, Y.M., 1991. Dynamical Systems, Connectionism and Linguistics, Compositionality in Cognition and Neural Networks, Colloque de Royaumont. BUSER, P., IMBERT, M., 1987. Vision, Paris, Hermann. CG, 1992. 1830-1930 : a Century of Geometry, (L. Boi, D. Flament, J.-M. Salanskis ds.), Berlin, Springer. DREYFUS, H., 1982. Husserl's Perceptual Noema, in Dreyfus (d.) [1982]. DREYFUS, H., 1991. Husserl et les Sciences Cognitives et Lpiphnomnologie de Husserl, PPC 1991, 1-29 et 57-77. DREYFUS, H. (d.), 1982. Husserl, Intentionality and Cognitive Science, Cambridge (Mass.), MIT Press. EMG, 1992. mergence dans les Modles de la Cognition, (A. Grumbach, E. Bonabeau ds.), Paris, Tlcom. HOLENSTEIN, E., 1992. Phenomenological Structuralism and Cognitive Semiotics (R. Benatti d.), Scripta Semiotica, 1, 133-158, (Peter Lang). HUSSERL, E., 1900-1901. Logische Untersuchungen, Max Niemeyer (1913). HUSSERL, E., 1907. Chose et Espace, Paris, Presses Universitaires de France (1989). HUSSERL, E., 1913. Ideen zu einer reinen Phnomenologie und phnomenologischen Philosophie, Husserliana III-IV. HUSSERL, E., 1950. Ides Directrices pour une Phnomnologie, (trad. P. Ricoeur), Paris, Gallimard. HUSSERL, E., 1969-1974. Recherches Logiques, Paris, Presses Universitaires de France.

48 HUSSERL, E., 1982. Ides directrices pour une Phnomnologie II : Recherches phnomnologiques pour la Constitution, (trad. E. Escoubas), Paris, Presses Universitaires de France. JACKENDOFF, R.,1983. Semantics and Cognition, Cambridge, MIT Press. JACKENDOFF, R.,1987. Consciousness and the Computational Mind, Cambridge, MIT Press. KOENDERINK, J.J., VAN DOORN, A.J., 1976. "The Singularities of the Visual Mapping", Biological Cybernetics, 25, 51-59. KNDERINK, J.J., 1984a. Simultaneous Order in Nervous Nets from a Functional Standpoint, Biological Cybernetics, 50, 35-41. KNDERINK, J.J., 1984b. Geometrical Structures Determined by the Funtional Order in Nervous Nets, Biological Cybernetics, 50, 43-50. LC, 1992. Le Labyrinthe du Continu (J.M. Salanskis, H. Sinaceur, ds.), Springer, Paris. LONGO, G., 1992. Reflexions on Formalism and Reductionism in Logic and Computer Science, Technical Report, DMI, Ecole Normale Suprieure, Paris. LTC, 1989. Logos et Thorie des Catastrophes (Colloque de Cerisy en l'honneur de R. Thom, J. Petitot d.), Genve, Ed. Patio. MALLAT, S.G., ZHONG, S., 1989. "Complete Signal Representation with Multiscale Edges", Technical Report n 483, Department of Computer Sciences, New-York University. MARR, D., 1982. Vision, San Francisco, Freeman. McINTYRE, R., 1986. Husserl and the Representational Theory of Mind, Topoi, 5, 101-113. (Traduction franaise dans PPC [1991]). Mc INTYRE, R., WOODRUFF SMITH, D., 1982. Husserl's Identification of Meaning and Noema, in Dreyfus (d.) [1982]. MERLEAU-PONTY, M, 1968. Rsums de Cours. Collge de France 19521960, Paris, Gallimard. MEYER, Y., 1989. "Ondelettes, Filtres miroirs en quadrature et traitement numrique de l'image", Gazette des Mathmaticiens, 40, 31-42. MULLIGAN, K., SIMONS, P., SMITH, B., 1984. Truth-Makers, Philosophy and Phenomenological Research, XLIV, 3, 287-321. MUMFORD, D., SHAH, J., 1988. Boundary Detection by Minimizing Functionals, Proceedings IEEE Computer Vision and Pattern Recognition Conference, Ann Arbor, Michigan. PACHERIE, E., 1992. Perspectives physicalistes sur l'Intentionalit, Thse, EHESS, Paris. PACHOUD, B., 1990. Prsentation de quelques thmes phnomnologiques husserliens pertinents pour les sciences cognitives, Mmoire de DEA, EHESS, Paris. PETITOT, J., 1979a. "Infinitesimale", Enciclopedia Einaudi, VII, 443-521, Einaudi, Turin.

49 PETITOT, J., 1979b. "Locale/Globale", Enciclopedia Einaudi, VIII, 429-490, Einaudi, Turin. PETITOT, J., 1982. Pour un Schmatisme de la Structure, Thse, Paris, Ecole des Hautes Etudes en Sciences Sociales. PETITOT, J., 1985a. Morphogense du Sens , Paris, Presses Universitaires de France. PETITOT, J., 1985b. Les Catastrophes de la Parole, Paris, Maloine. PETITOT, J., 1986. Le morphological turn de la Phnomnologie, Documents du CAMS, EHESS, Paris. PETITOT, J., 1987. "Mathmatique et Ontologie", La scienza tra filosofia e storia in Italia nel Novecento, (F. Minazzi, L. Zanzi, ds.), 191-211, Edizione della Presidenza del Consiglio dei Ministri, Rome. PETITOT, J., 1989a. "Hypothse localiste, Modles morphodynamiques et Thories cognitives : Remarques sur une note de 1975", Semiotica, 77, 1/3, 65119. PETITOT, J., 1989b. "Structuralisme et Phnomnologie", LTC [1989], 345-376. PETITOT, J., 1989c. "Modles morphodynamiques pour la Grammaire cognitive et la Smiotique modale", RSSI (Canadian Semiotic Association), 9, 1-2-3, 17-51. PETITOT, J., 1989d. "Forme", Encyclopdia Universalis, XI, 712-728, Paris. PETITOT, J., 1989e. "Rappels sur l'Analyse non standard", La Mathmatique non standard, 187-209, Editions du CNRS, Paris. PETITOT, J., 1990a. "Logique transcendantale, Synthtique a priori et Hermneutique mathmatique des Objectivits", Fundamenta Scienti, (numro en l'honneur de L. Geymonat), 10, 1, 57-84. PETITOT, J., 1990b. "Le Physique, le Morphologique, le Symbolique. Remarques sur la Vision", Revue de Synthse, 1-2, 139-183. PETITOT, J., 1991a."Why Connectionism is such a G ood Thing. A Criticism of Fodor's and Pylyshyn's Criticism of Smolensky", Philosophica, 47, 1, 49-79. PETITOT, J., 1991b. "Idalits mathmatiques et Ralit objective. Approche transcendantale", Hommage Jean-Toussaint Desanti, (G. Granel d.), 213282, Mauvezin, Editions TER. PETITOT, J., 1991c. La Philosophie transcendantale et le Problme de l'Objectivit, Paris, Editions Osiris. PETITOT, J., 1991d. "Syntaxe topologique et Grammaire cognitive", Langages, 103, 97-128. PETITOT, J., 1992a. "Actuality of Transcendental Aesthetics fot Modern Physics", CG [1992], 273-304. PETITOT, J., 1992b. Physique du Sens, Editions du CNRS, Paris. PETITOT, J., 1992c. Continu et Objectivit, LC [1992], 239-263. PETITOT, J., 1992d. Matire-Forme-Sens : un problme transcendantal, Les Figures de la Forme, (J. Gayon, J.J. Wunenburger ds.), Paris, LHarmattan.

50 PETITOT, J., 1993a. Topologie phnomnale. Sur l'actualit scientifique de la phusis phnomnologique de Maurice Merleau-Ponty, Colloque Maurice Merleau-Ponty de Grenoble, ( paratre). PETITOT, J., 1993b. Attractor Syntax, Conference on Dynamic Representations in Cognition, Indiana University, ( paratre chez MIT Press). PETITOT, J., SMITH, B., 1991. "New Foundations for Qualitative Physics", Evolving Knowledge in Natural Science and Artificial Intelligence, (J.E. Tiles, G.J. McKee, G.C. Dean ds.), 231-249, Pitman, London. POLI, R., 1992. Ontologia formale, Marietti, Genova. PPC, 1991. Phnomnologie et Psychologie cognitive, (E. Rigal d.), Les Etudes Philosophiques, 1, 1991. PROUST, J., 1990. De la difficult d'tre naturaliste en matire d'intentionnalit, RS [1990], 13-32. PYLYSHYN, Z., 1986. Computation and Cognition, Cambridge, MIT Press. RS, 1990. Sciences cognitives : quelques aspects problmatiques, (J. Petitot d.). Revue de Synthse, IV, 1-2. SALANSKIS, J.-M., 1991. L'Hermneutique formelle : L'Infini - Le Continu L'Espace, Paris, Editions du CNRS. SCHOLTZ, E., 1992. Riemann's Vision of a New Approach to Geometry, CG [1992], 22-34. SCHUHMANN, K., SMITH, B., 1985. Against Idealism : Johannes Daubert vs Husserl's Ideas I, Review of Metaphysics, 39, 763-793. SMITH, B., (d.), 1982 . Parts and Moments. Studies in Logic and Formal Ontology, Vienne, Philosophia Verlag, Analytica. SMITH, B., (d.), 1988, Foundations of Gestalt Theory, Munich, Philosophia Verlag. SMITH, B., MULLIGAN, K., 1982. Parts and Moments : Pieces of a Theory, Smith (d.) [1982], 15-109. SMOLENSKY, P., 1988. On the Proper Treatment of Connectionism, The Behavioral and Brain Sciences, 11, 1-23. SMOLENSKY, P., LEGENDRE, G., MIYATA, Y., 1992. Principles for an Integrated Connectionist/Symbolic Theory of Higher Cognition, Technical Report, Department of Computer Science, University of Colorado at Boulder. THOM, R., 1972. Stabilit structurelle et Morphogense, New York-Paris, Benjamins, Ediscience. THOM, R., 1980. Modles mathmatiques de la Morphogense, Paris, Christian Bourgois. VISETTI, Y.M., 1990. Modles connexionnistes et reprsentations structures, Modles Connexionnistes (D. Memmi, Y.M. Visetti ds.), Intellectica, 9-10, 167-212.