Computationnalisme

Le computationnalisme est une théorie fonctionnaliste en philosophie de l'esprit qui, pour des raisons méthodologiques, conçoit l'esprit comme un système de traitement de l'information et compare la pensée à un calcul (en anglais, computation) et, plus précisément, à l'application d'un système de règles. Par computationnalisme, on entend la théorie développée en particulier par Hilary Putnam et Jerry Fodor, et non le cognitivisme en général.

Le cerveau humain, simple machine à effectuer des calculs ?

Présentation

Le terme a été proposé par Hilary Putnam en 1961, et développé par Jerry Fodor dans les années 1960 et 1970. Cette approche a été popularisée dans les années 1980, en partie parce qu'elle répondait à la conception chomskyenne du langage comme application de règles, et aussi parce que ce modèle computationnaliste était présupposé, selon Fodor, par les sciences cognitives et les recherches sur l'intelligence artificielle.

En anglais, la computation se réfère à la calculabilité, c'est-à-dire au fait de passer d'une entrée à une sortie par le biais d'un algorithme déterminé. Le computationnalisme n'est pas une thèse ontologique sur la nature de l'esprit : il ne prétend pas que toute pensée se réduit à un calcul de ce style, mais qu'il est possible d'appréhender certaines fonctions de la pensée selon ce modèle, qu'elles soient conscientes ou infraconscientes (par exemple les processus de vision, selon l'approche des neurosciences computationnelles développée par David Marr au début des années 1980).

En termes de doctrine, le computationnalisme peut être caractérisé comme une synthèse entre le réalisme intentionnel et le physicalisme. Le premier affirme l'existence et la causalité des états mentaux, et prend en compte les attitudes propositionnelles, c'est-à-dire la manière dont le sujet se comporte à l'égard d'une proposition (« je crois que x », « je pense que p », etc.). Le second affirme que toute entité existante est une entité physique. Le computationnalisme se présentait ainsi comme alternative à l'éliminativisme matérialiste, qui refusait l'existence de toute entité mentale. Deux noyaux théoriques ont aussi été essentiels à la formation de la théorie computationnaliste : d'une part, le formalisme mathématique développé au début du XX^e siècle, qui permet en gros de concevoir les mathématiques comme la manipulation de symboles à partir de règles formelles (axiomatique de Hilbert) ; d'autre part, la calculabilité (et la machine de Turing). À l'aide de ces deux ensembles théoriques, on peut passer du noyau sémantique à la simple syntaxe mathématique, et de celle-ci à l'automatisation, sans jamais nier l'existence de la sémantique (c'est-à-dire du sens).

Le computationnalisme a été la cible de diverses critiques, en particulier de John Searle, Hubert Dreyfus, ou Roger Penrose, qui tournaient toutes autour de la réduction de la pensée et/ou de la compréhension à la simple application d'un système de règles. À la fin des années 1980, il a été concurrencé par un nouveau modèle cognitif, le connexionnisme. Celui-ci vise à montrer qu'on peut expliquer le langage de la pensée sans faire appel à un raisonnement gouverné par un système de règles, comme le fait le computationnalisme.

Combiner le réalisme intentionnel avec le physicalisme

Outre l'analogie de la pensée avec la ratiocination (ou calcul), le fonctionnalisme est lié à une « théorie représentative de l'esprit », qui stipule l'existence des attitudes propositionnelles : les croyances et les désirs sont ainsi une relation entre un sujet pensant et les représentations symboliques du contenu de ces états. Ainsi, croire que le chat est sur le fauteuil, c'est adopter une attitude propositionnelle distincte (celle de la croyance) de l'attitude qui consiste à souhaiter que le chat soit sur le fauteuil ; dans les deux cas, la représentation symbolique mentale (« le chat sur le fauteuil ») conserve la même valeur sémantique, mais l'attitude propositionnelle (croire ou vouloir) diffère. L'approche computationnaliste considère que les états mentaux sont des représentations, au sens où ils sont composés de représentations symboliques ayant des propriétés sémantiques et syntaxiques, à l'instar des symboles utilisés dans la calculabilité mathématique. Il repose donc sur l'affirmation selon laquelle les attitudes propositionnelles impliquent des représentations symboliques. En ceci, il s'oppose à l'éliminativisme matérialiste, qui dénie toute existence aux entités mentales.

La théorie de la représentation de Jerry Fodor, formulée dans sa conception du « mentalais » ou du langage de la pensée, se distingue toutefois des théories classiques de la représentation (Hobbes, Descartes, etc.) en ce que les représentations ne sont pas assimilées à des images, mais à des symboles.

Outre cette théorie représentative, le computationnalisme soutient aussi une théorie causale des états mentaux : les états mentaux sont reliés entre eux par le principe de causalité. Au cœur de cette théorie, on trouve ainsi la possibilité de formuler, sous forme exclusivement syntaxique, au sens mathématique du terme, le contenu sémantique des états mentaux, et ensuite de lier la syntaxe au principe de causalité.

En d'autres termes, on appréhende la pensée en tant que système de règles à appliquer. Cela pose un premier problème philosophique, dans la mesure où concevoir la pensée de cette façon peut conduire à confondre une régularité empirique, qui obéit à une règle, à l'application de cette règle. Ou encore : ce n'est pas parce qu'un comportement est régulier qu'il obéit à une norme.

Cette théorie semble donc opérer un amalgame entre le concept de cause et celui de raison : comment penser que nos représentations mentales s'enchaînent uniquement sur un processus causal ? N'est-ce pas faire fi du caractère normatif qu'elles possèdent, et d'abord du fait que nous les évaluons en fonction d'un « standard de validité » (par exemple le critère de la vérité)?

Formalisme et calculabilité : de la sémantique au mécanisme

C'est par le biais, d'une part, du formalisme mathématique, développé à la fin du XIX^e siècle par Gauss, Peano, Frege et Hilbert, et d'autre part de la calculabilité, que le computationnalisme traite ce problème. En effet, le formalisme réussit, en élaborant une axiomatique, à exclure ou à codifier les intuitions sémantiques du mathématicien (par exemple l'intuition à la source du postulat sur la parallèle d'Euclide). Le formalisme considère ainsi, en grossissant le trait, que les mathématiques existent en dehors de toute intention et de toute pensée. Ils fonctionnent à l'aide de symboles qui demandent à être manipulés selon des règles formelles.

Le deuxième aspect mathématique décisif dans la théorie computationnaliste, c'est la définition des fonctions calculables par Alan Turing, en 1936. En élaborant le modèle abstrait de la machine de Turing, celui-ci montrait que toute opération n'impliquant que des schémas syntaxiques pouvait être dupliqué mécaniquement. On parle aussi de la thèse de Church-Turing.

Ainsi, la formalisation mathématique montre comment les propriétés sémantiques des symboles peuvent parfois être codés selon des règles syntaxiques, tandis que la machine de Turing montre comment la syntaxe peut être relié à un processus causal, qui permet de concevoir un mécanisme capable d'évaluer toute fonction formalisable. La formalisation relie la sémantique à la syntaxe, et la machine de Turing la syntaxe au mécanisme.

Le computationnalisme pouvait en outre s'appuyer sur la « révolution cognitiviste » opérée en linguistique par Chomsky. La linguistique générative de Chomsky affirme ainsi qu'à partir d'un système de règles limité, nous pouvons comprendre une infinité d'énoncés ; ce qui implique, à son tour, que l'on peut concevoir une infinité de pensées. Selon Jerry Fodor (1975), la compétence linguistique théorisée par Chomsky conduisait à postuler un langage de la pensée (« mentalais »).

L'algorithme, transformation de l'entrée en une sortie

La théorie fonctionnaliste comporte ainsi trois types de spécifications :

• les spécifications d’entrées (input en anglais), les spécifications qui stipulent le genre de choses qui causent les états mentaux chez les personnes ;
• les spécifications des états internes qui décrivent les interactions causales des états mentaux ;
• les spécifications de sorties (output en anglais) qui disent quels genres d’action ou de comportements sont causés par les états mentaux.

On passe des entrées aux sorties par le biais d'un algorithme. C'est le principe de base d'une machine de Turing ou même d'une machine à compteurs, modèle abstrait de calculabilité qui est concrétisé, par exemple, par un distributeur de cannettes : celui-ci réagit aux inputs (on lui donne 50 centimes ou 1 euro), et, en fonction de ceux-ci et de l'état de ses magasins (état interne), délivre la cannette et rend la monnaie ou attend plus de monnaie. La calculabilité permet ainsi d'identifier la classe des fonctions informatiques pouvant être calculées à l'aide d'un algorithme. Ces fonctions sont des ensembles d'instructions réalisant une certaine tâche : on parle aussi parfois de « routine » (rote procedure).

Fonctionnalisme, matérialisme, physicalisme et le problème des qualia

Dans cette mesure, le fonctionnalisme, selon Hilary Putnam (1992), n'est pas nécessairement un matérialisme : les états mentaux peuvent être accrochés à différents supports, que ce soit le cerveau ou le hardware et le software d'un ordinateur, ou tout autre support. Sur la différence entre fonctionnalisme et matérialisme, et la possibilité d'adopter une théorie dualiste tout en maintenant le fonctionnalisme, Laberge (ibid.) cite Hilary Putnam, « La nature des états mentaux ». Ainsi, même si la pensée s'appuie sur un support matériel (le cerveau), on peut alors l'étudier sans se soucier de ce support (contrairement à une certaine approche matérialiste voire réductionniste courante dans les neurosciences) : une même idée peut en effet être exprimée sur des supports physiques très différents (par la voix, sur papier, sur un mur, sur un ordinateur, etc.) Toutefois, dans la mesure où le principe de causalité est le plus souvent associé à la matière, la plupart des fonctionnalistes sont aussi matérialistes.

Dans cette mesure, le fonctionnalisme s'apparente à un behaviorisme méthodologique : contrairement au behaviorisme ontologique, il n'affirme pas qu'il n'y a pas d'états mentaux. Mais, de même que le behaviorisme méthodologique, il laisse de côté les aspects subjectifs, qualitatifs, des états mentaux (ou qualia), c'est-à-dire l'ensemble des expériences subjectives qui peut faire l'objet, par exemple, d'un poème ou d'une déclaration amoureuse, ou du simple fait d'aimer telle couleur. On parle ainsi de « fonctionnalisme de la boîte noire ».

Toutefois, la thèse de Putnam a été attaquée par John Searle, l'un des critiques les plus importants du computationnalisme. Selon lui, non seulement il est impossible, comme le prétend Putnam, de concilier le fonctionnalisme avec un dualisme à propos des états mentaux et des états physiques (dualisme pensée/cerveau), mais la tentative même du computationnalisme de concilier le réalisme intentionnel avec le physicalisme est voué à l'échec. En effet, « le fonctionnaliste insiste pour qu’on comprenne bien qu’il ne dit pas qu’une croyance est un état mental irréductible qui, en plus a les relations causales qui sont les siennes, mais plutôt qu’une croyance ne consiste qu’en ce qu’elle a ces relations causales ».

L'hypothèse du mécanisme numérique

L'hypothèse du « mécanisme numérique» ("digital mecanism") a été développée par Bruno Marchal, en y adjoignant 2 hypothèses d'une autre nature:

• d'une part, la thèse de Church, pierre d'angle de l'informatique théorique,
• d'autre part, ce qu'il appelle le réalisme arithmétique, c'est-à-dire le fait que la vérité arithmétique est intrinsèque, "d'une ontologie non substantielle", dixit Marchal.

C'est cette conjonction de 3 hypothèses que Bruno Marchal nomme "computationnalisme", mais qui n'est pas admise comme telle par tous les tenants du computationnalisme. Il s'agit en effet à la fois d'une thèse ontologique forte, selon laquelle la conscience pourrait survivre avec un cerveau artificiel (de même qu'elle survit avec un rein artificiel), et d'une thèse logique faible, dans la mesure où il faut pour cela une description d'un état instantané du cerveau sur laquelle Marchal ne pose aucune restriction. En d'autres termes, il est possible qu'il faille connaître l'état quantique de tout l'univers pour obtenir une telle description adéquate du cerveau. Les systèmes de téléportation utilisés par la science-fiction, et repris en tant qu'expérience de pensée sur le problème de l'identité personnelle (voir par ex. Derek Parfit, 1984), utiliseraient une telle hypothèse.

Critiques de l'hypothèse computationnaliste

Diverses critiques ont été adressées à la théorie computationnaliste, qui tournent toutes autour de la question des règles. En effet, le computationnalisme postule qu'on peut assimiler la pensée à un système d'application de règles, ce qui permet en retour d'identifier des fonctions informatiques complexes comme étant un équivalent de pensée. Ces critiques ne sont pas forcément fatales au computationnalisme, mais en limitent l'extension à certains processus déterminés de pensée, qui pourraient être modalisés selon un système de règles.

Selon Antonio Damasio, la représentation computationnelle ne fait qu'entretenir la distinction ancienne entre corps et esprit^{[pourquoi ?][réf. nécessaire]}.

Qu'est-ce qui est calculable ?

Une critique ancienne provient de John Lucas (1961), qui affirme que le théorème d'incomplétude de Gödel pose des problèmes insurmontables à l'analogie esprit/machine. Cet argument a été développé par Roger Penrose, selon qui un mathématicien humain est capable de comprendre plus et de démontrer plus que ce qui est simplement calculable. Cela a fait l'objet de nombreux débats (David Lewis, Solomon Feferman, etc.).

Un autre argument a été formulé par Hubert Dreyfus dans What Computers Can't Do (1972). Fin connaisseur de Heidegger et de la phénoménologie, Dreyfus souligne ainsi la différence centrale qui distingue le processus cognitif utilisé lorsqu'un novice apprend une compétence et lorsqu'un expert agit. Ainsi, un joueur d'échec débutant applique un système de règles (par exemple, avancer le pion de deux cases ou occuper le centre). Mais un champion d'échecs n'applique pas de règles : il « voit » le « coup juste ». L'application de règles, au cœur du computationnalisme, serait ainsi le propre des processus cognitifs limités. Il est difficile, en particulier, de transformer une compétence experte en algorithme, lorsque cette compétence tire ses ressources d'une connaissance générale étrangère au domaine du problème visé.

Les tentatives visant à construire des réseaux connexionnistes, ou celle de Rodney Brooks visant à construire une intelligence artificielle simple sur le modèle des insectes, sont une réponse partielle aux objections de Dreyfus. Ce dernier considère en effet ces tentatives comme plus prometteuses, et pense que la théorie de Walter Jackson Freeman III répond à certaines formulations de Merleau-Ponty à propos de l'apprentissage d'une compétence. Il reste toutefois sceptique, considérant dans What Computers Still Can't Do (1992) qu'on ne fait que donner une chance, méritée, d'échouer, au connexionnisme.

Il faut toutefois souligner que, si la théorie computationnaliste a souvent été interprétée comme visant à rendre compte de l'ensemble, ou presque, des processus cognitifs, y compris les processus infraconscients tels que la vision (David Marr), selon Jerry Fodor (1984 et 2000), seuls les « raisonnements modulaires », par opposition aux « raisonnements globaux », sont susceptibles d'être appréhendés par ce modèle. Dans The Mind Doesn't Work That Way (2000), Fodor affirme dès l'introduction qu'il n'avait jamais imaginé qu'on puisse interpréter sa théorie de façon à croire qu'elle rendrait compte de la pensée en général.

Peut-on assimiler calculabilité et compréhension ?

L'une des plus puissantes objections a été formulée par John Searle (1980), à travers l'expérience de pensée de la chambre chinoise, qui se veut une réponse au test de Turing. Il s'agit de se demander si la calculabilité (computation) peut suffire à expliquer la compréhension. Par son test, Turing visait à substituer à la question « les machines peuvent-elles penser ? » la question de savoir si elles peuvent réussir un examen, appelé « jeu de l'imitation », dans lequel les personnes examinées doivent déterminer, sur le seul fondement des réponses qu'on leur donne, si leur interlocuteur invisible est une personne ou une machine (voir le programme ELIZA).

Or, Searle affirme qu'on ne peut extrapoler de la réussite au test de Turing la possibilité de penser. L'expérience de la chambre chinoise est simple : il suffit d'imaginer qu'on enferme une personne dans une salle, et qu'elle ne puisse communiquer à l'extérieur qu'à l'aide de symboles chinois, langue qu'elle ne comprend pas. Un cahier stipulant certaines règles de manipulation de ces symboles lui est fourni. Il s'agit ainsi de l'équivalent du test de Turing : ce dispositif imite un ordinateur digital qui reçoit des input symboliques et les transforme en output symboliques à l'aide d'un système de règles, qui peuvent être appliquées à des informations non-sémantiques, qui seraient exclusivement syntaxiques ou symboliques. Or, Searle conclut qu'on ne peut évidemment pas parler d'une compréhension, puisqu'on a stipulé dès le départ que la personne ne comprenait pas le chinois ; ce qui ne l'empêchait pas de communiquer adéquatement à l'aide du système de règles. On ne peut donc que simuler la compétence linguistique par une machine, mais non pas la dupliquer.

Deux lignes de réponse ont été adressées à l'objection de Searle. Certains sont allés jusqu'à définir la compréhension en termes fonctionnalistes : puisque le dispositif de la Chambre chinoise fonctionne, il faut dire qu'il suffit à la compréhension. L'autre type de réponse concède que Searle a raison, mais tente de complexifier le schéma en ajoutant de nouveaux traits, par exemple la possibilité d'apprendre de nouvelles règles, la faculté d'interagir avec son environnement, etc., qui permettrait de parler d'une compréhension véritable, induite, et non d'une simple simulation. Searle a alors adapté son argument pour prendre en compte ces nouvelles facultés, tout en continuant à nier qu'une machine ne puisse faire autre chose que simuler la compréhension.

L'alternative connexionniste

À la fin des années 1980, l'approche connexioniste a commencé à concurrencer le computationnalisme, dont le principal titre de légitimité, selon Fodor, était qu'il était la seule théorie apte à rendre compte de l'évolution des sciences cognitives et des modèles implicites utilisés par celles-ci. Le connexionnisme tente d'élaborer des modèles de compréhension des processus cognitifs qui ne passent pas par le simple usage et application de règles. Précédé par quelques travaux innovateurs de Wiener et de Rosenblatt, l'approche connexionniste a surgi sur la scène philosophique avec la publication de l'ouvrage de Rumelhart et McClelland, Parallel Distributed Processing (1986).

Techniquement, la différence entre les deux approches réside surtout dans le fait que la première est intrinsèquement séquentielle et la seconde fait une très grande part au parallélisme des opérations. Dans les deux cas sont bien entendu appliqués des systèmes de règles, sans quoi il ne resterait rien à étudier.

Donald Knuth suggère que le conscient est de nature séquentielle (nous ne pouvons analyser clairement qu'une chose à la fois) et l'inconscient de nature parallèle. Il y voit une raison du grand succès de la programmation chez les nerds, qui sont mal à l'aise face aux phénomènes ne relevant pas de la pure logique.

Notes et références

Annexes

Bibliographie

• Horst, Steven (2003, révisé en 2005), The Computational Theory of Mind,Stanford Encyclopedia of Philosophy.
• Fodor, Jerry (passim)
• Levin, Janet (2018), Functionalism, Stanford Encyclopedia of Philosophy.
• Marchal, Bruno (1995), Conscience et Mécanisme, Rapport technique de l'Université de Bruxelles, TR/IRIDIA 95.
• Marchal, Bruno (1998), Calculabilité Physique et Cognition, thèse de doctorat en informatique de l'Université de Lille.
• Marchal, Bruno (2005), Physical of Life Review 251-289, « Theoretical computer science and the natural science », Elsevier (« disponible en ligne »)
• Sabah, Gérard (1988), L'intelligence artificielle et le langage - représentations des connaissances - 2^e édition, Volume 1, Hermès, (ISBN 2-86601-134-1), ISSN 0988-0569, 1988
• Searle, John (1980), "Minds, Brains and Programs.", Behav. Brain Sci., 3: 417-424.
• Searle, John. 1984. Minds, Brains and Science. Cambridge, Mass.: Harvard University Press.

Articles connexes

• Chambre chinoise
• Cognitivisme
• Connexionnisme
• Déterminisme (Calculabilité)
• Intentionnalité
• Langage de la pensée
• Modularité de l'esprit
• Multiréalisabilité
• Téléosémantique
• Thèse de Church-Turing
• Point de vue d'Hubert Dreyfus sur l'intelligence artificielle