Vous êtes sur la page 1sur 8

Computationnalisme

1
Computationnalisme
Le cerveau humain, simple machine effectuer
des calculs ?
Le computationnalisme est une thorie fonctionnaliste en philosophie
de l'esprit qui, pour des raisons mthodologiques, conoit l'esprit
comme un systme de traitement de l'information et compare la pense
un calcul (en anglais, computation
[1]
) et, plus prcisment,
l'application d'un systme de rgles. Par computationnalisme, on
entend la thorie dveloppe en particulier par Hilary Putnam et Jerry
Fodor, et non le cognitivisme en gnral.
Le terme a t propos par Hilary Putnam en 1961, et dvelopp par
Jerry Fodor dans les annes 1960 et 1970
[]
. Cette approche a t
popularise dans les annes 1980, en partie parce qu'elle rpondait la
conception chomskyenne du langage comme application de rgles, et
aussi parce que ce modle computationnaliste tait prsuppos, selon
Fodor, par les sciences cognitives et les recherches sur l'intelligence
artificielle.
En anglais, la computation se rfre la calculabilit, c'est--dire au fait de passer d'une entre une sortie par le
biais d'un algorithme dtermin. Le computationnalisme n'est pas une thse ontologique sur la nature de l'esprit : il
ne prtend pas que toute pense se rduit un calcul de ce style, mais qu'il est possible d'apprhender certaines
fonctions de la pense selon ce modle, qu'elles soient conscientes ou infraconscientes (par exemple les processus de
vision, selon l'approche des neurosciences computationnelles dvelopp par David Marr au dbut des annes 1980).
En termes de doctrine, le computationnalisme peut tre caractris comme une synthse entre le ralisme
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 manire 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 prsentait ainsi comme alternative l'liminativisme matrialiste, qui refusait l'existence de
toute entit mentale. Deux noyaux thoriques ont aussi t essentiels la formation de la thorie computationnaliste :
d'une part, le formalisme mathmatique dvelopp au dbut du XX
e
sicle, qui permet en gros de concevoir les
mathmatiques comme la manipulation de symboles partir de rgles formelles (axiomatique de Hilbert) ; d'autre
part, la calculabilit (et la machine de Turing). l'aide de ces deux ensembles thoriques, on peut passer du noyau
smantique la simple syntaxe mathmatique, et de celle-ci l'automatisation, sans jamais nier l'existence de la
smantique (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 rduction de la pense et/ou de la comprhension la simple application
d'un systme de rgles. la fin des annes 1980, il a t concurrenc par un nouveau modle cognitif, le
connexionnisme. Celui-ci vise montrer qu'on peut expliquer le langage de la pense sans faire appel un
raisonnement gouvern par un systme de rgles, comme le fait le computationnalisme.
Combiner le ralisme intentionnel avec le physicalisme
Outre l'analogie de la pense avec la ratiocination (ou calcul), le fonctionnalisme est li une thorie reprsentative
de l'esprit , qui stipule l'existence des attitudes propositionnelles : les croyances et les dsirs sont ainsi une relation
entre un sujet pensant et les reprsentations 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 reprsentation symbolique mentale ( le chat sur le
fauteuil ) conserve la mme valeur smantique, mais l'attitude propositionnelle (croire ou vouloir) diffre.
Computationnalisme
2
L'approche computationnaliste considre que les tats mentaux sont des reprsentations, au sens o ils sont
composs de reprsentations symboliques ayant des proprits smantiques et syntaxiques, l'instar des symboles
utiliss dans la calculabilit mathmatique. Il repose donc sur l'affirmation selon laquelle les attitudes
propositionnelles impliquent des reprsentations symboliques. En ceci, il s'oppose l'liminativisme matrialiste, qui
dnie toute existence aux entits mentales.
La thorie de la reprsentation de Jerry Fodor, formule dans sa conception du mentalais ou du langage de la
pense, se distingue toutefois des thories classiques de la reprsentation (Hobbes, Descartes, etc.) en ce que les
reprsentations ne sont pas assimiles des images, mais des symboles
,[2]
.
Outre cette thorie reprsentative, le computationnalisme soutient aussi une thorie causale des tats mentaux : les
tats mentaux sont relis entre eux par le principe de causalit
[3]
. Au cur de cette thorie, on trouve ainsi la
possibilit de formuler, sous forme exclusivement syntaxique, au sens mathmatique du terme, le contenu
smantique des tats mentaux, et ensuite de lier la syntaxe au principe de causalit.
En d'autres termes, on apprhende la pense en tant que systme de rgles appliquer. Cela pose un premier
problme philosophique, dans la mesure o concevoir la pense de cette faon peut conduire confondre une
rgularit empirique, qui obit une rgle, l'application de cette rgle. Ou encore : ce n'est pas parce qu'un
comportement est rgulier qu'il obit une norme.
Cette thorie semble donc oprer un amalgame entre le concept de cause et celui de raison : comment penser que nos
reprsentations mentales s'enchanent uniquement sur un processus causal ? N'est-ce pas faire fi du caractre
normatif qu'elles possdent, et d'abord du fait que nous les valuons en fonction d'un standard de validit (par
exemple le critre de la vrit)?
Formalisme et calculabilit : de la smantique au mcanisme
C'est par le biais, d'une part, du formalisme mathmatique, dvelopp la fin du XIX
e
sicle par Gauss, Peano, Frege
et Hilbert, et d'autre part de la calculabilit, que le computationnalisme traite ce problme. En effet, le formalisme
russit, en laborant une axiomatique, exclure ou codifier les intuitions smantiques du mathmaticien (par
exemple l'intuition la source du postulat sur la parallle d'Euclide). Le formalisme considre ainsi, en grossissant le
trait, que les mathmatiques existent en dehors de toute intention et de toute pense. Ils fonctionnent l'aide de
symboles qui demandent tre manipuls selon des rgles formelles.
Le deuxime aspect mathmatique dcisif dans la thorie computationnaliste, c'est la dfinition des fonctions
calculables par Alan Turing, en 1936. En laborant le modle abstrait de la machine de Turing, celui-ci montrait que
toute opration n'impliquant que des schmas syntaxiques pouvait tre dupliqu mcaniquement. On parle aussi de la
thse de Church-Turing.
Ainsi, la formalisation mathmatique montre comment les proprits smantiques des symboles peuvent parfois tre
cods selon des rgles syntaxiques, tandis que la machine de Turing montre comment la syntaxe peut tre reli un
processus causal, qui permet de concevoir un mcanisme capable d'valuer toute fonction formalisable. La
formalisation relie la smantique la syntaxe, et la machine de Turing la syntaxe au mcanisme.
Le computationnalisme pouvait en outre s'appuyer sur la rvolution cognitiviste opre en linguistique par
Chomsky. La linguistique gnrative de Chomsky affirme ainsi qu' partir d'un systme de rgles limit, nous
pouvons comprendre une infinit d'noncs ; ce qui implique, son tour, que l'on peut concevoir une infinit de
penses. Selon Jerry Fodor (1975), la comptence linguistique thorise par Chomsky conduisait postuler un
langage de la pense ( mentalais ).
Computationnalisme
3
L'algorithme, transformation de l'input en output
La thorie fonctionnaliste comporte ainsi trois types de spcifications :
les spcifications dentres (input), les spcifications qui stipulent le genre de choses qui causent les tats mentaux
chez les personnes ;
les spcifications des tats internes qui dcrivent les interactions causales des tats mentaux ;
les spcifications de sorties (output) qui disent quels genres daction ou de comportements sont causs par les
tats mentaux.
Article dtaill : Entres-sorties.
On passe des input aux output par le biais d'un algorithme. C'est le principe de base d'une machine de Turing ou
mme d'une machine compteurs, modle abstrait de calculabilit qui est concrtis, par exemple, par un
distributeur de cannettes : celui-ci ragit aux inputs (on lui donne 50centimes ou 1euro), et, en fonction de ceux-ci,
dlivre la cannette ou attend plus de monnaie. La calculabilit permet ainsi d'identifier la classe des fonctions
informatiques pouvant tre calcules l'aide d'un algorithme. Ces fonctions sont des ensembles d'instructions
ralisant une certaine tche : on parle aussi parfois de routine (rote procedure).
Fonctionnalisme, matrialisme, physicalisme et le problme des qualia
Dans cette mesure, le fonctionnalisme, selon Hilary Putnam (1992), n'est pas ncessairement un matrialisme : les
tats mentaux peuvent tre accrochs diffrents supports, que ce soit le cerveau ou le hardware et le software d'un
ordinateur, ou tout autre support. Sur la diffrence entre fonctionnalisme et matrialisme, et la possibilit d'adopter
une thorie dualiste tout en maintenant le fonctionnalisme, Laberge (ibid.) cite Hilary Putnam, La nature des tats
mentaux
[4]
. Ainsi, mme si la pense s'appuie sur un support matriel (le cerveau), on peut alors l'tudier sans se
soucier de ce support (contrairement une certaine approche matrialiste voire rductionniste courante dans les
neurosciences) : une mme ide peut en effet tre exprime sur des supports physiques trs diffrents (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 matire, la plupart des fonctionnalistes sont aussi matrialistes.
Dans cette mesure, le fonctionnalisme s'apparente un behaviorisme mthodologique : contrairement au
behaviorisme ontologique, il n'affirme pas qu'il n'y a pas d'tats mentaux. Mais, de mme que le behaviorisme
mthodologique, il laisse de ct les aspects subjectifs, qualitatifs, des tats mentaux (ou qualia), c'est--dire
l'ensemble des expriences subjectives qui peut faire l'objet, par exemple, d'un pome ou d'une dclaration
amoureuse, ou du simple fait d'aimer telle couleur. On parle ainsi de fonctionnalisme de la bote noire .
Toutefois, la thse de Putnam a t attaque par John Searle, l'un des critiques les plus importants du
computationnalisme. Selon lui, non seulement il est impossible, comme le prtend Putnam, de concilier le
fonctionnalisme avec un dualisme propos des tats mentaux et des tats physiques (dualisme pense/cerveau), mais
la tentative mme du computationnalisme de concilier l'intentionnalisme ralisme avec le physicalisme est vou
l'chec. En effet, le fonctionnaliste insiste pour quon comprenne bien quil ne dit pas quune croyance est un tat
mental irrductible qui, en plus a les relations causales qui sont les siennes, mais plutt quune croyance ne consiste
quen ce quelle a ces relations causales
[5]
. </ref> .
Computationnalisme
4
L'hypothse du mcanisme digital
L'hypothse du mcanisme digital a t dveloppe par Bruno Marchal
[]
, en y adjoignant 2 hypothses d'une
autre nature
[6]
:
d'une part, la these de Church, pierre d'angle de l'informatique thorique,
d'autre part, ce qu'il appelle le realisme arithmtique,c'est--dire le fait que la verit arithmtique est intrinsque,
"d'une ontologie non substantielle", dixit Marchal.
C'est cette conjonction de 3 hypothses 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 thse ontologique forte,
selon laquelle la conscience pourrait survivre avec un cerveau artificiel (de mme qu'elle survit avec un rein
artificiel), et d'une thse logique faible, dans la mesure o il faut pour cela une description d'un tat instantan du
cerveau et que Marchal ne pose aucune restriction sur celle-ci. En d'autres termes, il est possible qu'il faille connatre
l'tat quantique de tout l'univers pour obtenir une telle description adquate du cerveau. Les systmes de
tlportation utiliss par la science-fiction, et repris en tant qu'exprience de pense sur le problme de l'identit
personnelle (voir par ex. Derek Parfit, 1984), utiliseraient une telle hypothse.
Critiques de l'hypothse computationnaliste
Diverses critiques ont t adresses la thorie computationnaliste, qui tournent toutes autour de la question des
rgles. En effet, le computationnalisme postule qu'on peut assimiler la pense un systme d'application de rgles,
ce qui permet en retour d'identifier des fonctions informatiques complexes comme tant un quivalent de pense. Ces
critiques ne sont pas forcment fatales au computationnalisme, mais en limitent l'extension certains processus
dtermins de pense, qui pourraient tre modaliss selon un systme de rgles.
Selon Antonio Damasio, la reprsentation computationnelle ne fait qu'entretenir la distinction ancienne entre corps et
esprit
[rf.souhaite]
.
Qu'est-ce qui est calculable ?
Une critique ancienne provient de John Lucas (1961), qui affirme que le thorme d'incompltude de Gdel pose des
problmes insurmontables l'analogie esprit/machine
[7]
. Cet argument a t dvelopp par Roger Penrose, selon qui
un mathmaticien humain est capable de comprendre plus et de dmontrer plus que ce qui est simplement calculable.
Cela a fait l'objet de nombreux dbats (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 phnomnologie, Dreyfus souligne ainsi la diffrence centrale qui distingue le processus cognitif
utilis lorsqu'un novice apprend une comptence et lorsqu'un expert agit. Ainsi, un joueur d'chec dbutant applique
un systme de rgles (par exemple, avancer le pion de deux cases ou occuper le centre). Mais un champion d'checs
n'applique pas de rgles : il voit le coup juste . L'application de rgles, au cur du computationnalisme, serait
ainsi le propre des processus cognitifs limits. Il est difficile, en particulier, de transformer une comptence experte
en algorithme, lorsque cette comptence tire ses ressources d'une connaissance gnrale trangre au domaine du
problme vis.
Les tentatives visant construire des rseaux connectionnistes, ou celle de Rodney Brooks visant construire une
intelligence artificielle simple sur le modle des insectes, sont une rponse partielle aux objections de Dreyfus. Ce
dernier considre en effet ces tentatives comme plus prometteuses, et pense que la thorie de Walter
Freeman
[Lequel?]
rpond certaines formulations de Merleau-Ponty propos de l'apprentissage d'une comptence. Il
reste toutefois sceptique, considrant dans What Computers Still Can't Do (1992) qu'on ne fait que donner une
chance, mrite, d'chouer, au connexionnisme.
Il faut toutefois souligner que, si la thorie computationnaliste a souvent t interprte comme visant rendre
compte de l'ensemble, ou presque, des processus cognitifs, y compris les processus infraconscients tels que la vision
Computationnalisme
5
(David Marr), selon Jerry Fodor (1984 et 2000), seuls les raisonnements modulaires , par opposition aux
raisonnements globaux , sont susceptibles d'tre apprhends par ce modle. Dans The Mind Doesn't Work That
Way (2000), Fodor affirme ds l'introduction qu'il n'avait jamais imagin qu'on puisse interprter sa thorie de faon
croire qu'elle rendrait compte de la pense en gnral.
Peut-on assimiler calculabilit et comprhension ?
Article dtaill : Chambre chinoise.
L'une des plus puissantes objections a t formule par John Searle (1980), travers l'exprience de pense de la
chambre chinoise, qui se veut une rponse au test de Turing. Il s'agit de se demander si la calculabilit (computation)
peut suffire expliquer la comprhension. Par son test, Turing visait substituer la question les machines
peuvent-elles penser ? la question de savoir si elles peuvent russir un examen, appel jeu de l'imitation , dans
lequel les personnes examines doivent dterminer, sur le seul fondement des rponses 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 russite au test de Turing la possibilit de penser. L'exprience de la
chambre chinoise est simple : il suffit d'imaginer qu'on enferme une personne dans une salle, et qu'il ne puisse
communiquer l'extrieur qu' l'aide de symboles chinois, langue qu'il ne comprend pas. Un cahier stipulant
certaines rgles 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 reoit des input symboliques et les transforme en output symboliques l'aide
d'un systme de rgles, qui peuvent tre appliques des informations non-smantiques, qui seraient exclusivement
syntaxiques ou symboliques. Or, Searle conclut qu'on ne peut videmment pas parler d'une comprhension,
puisqu'on a stipul ds le dpart que la personne ne comprenait pas le chinois ; ce qui ne l'empchait pas de
communiquer adquatement l'aide du systme de rgles. On ne peut donc que simuler la comptence linguistique
par une machine, mais non pas la dupliquer.
Deux lignes de rponse ont t adresses l'objection de Searle. Certains sont alls jusqu' dfinir la comprhension
en termes fonctionnalistes : puisque le dispositif de la Chambre chinoise fonctionne, il faut dire qu'il suffit la
comprhension. L'autre type de rponse concde que Searle a raison, mais tente de complexifier le schma en
ajoutant de nouveaux traits, par exemple la possibilit d'apprendre de nouvelles rgles, la facult d'interagir avec son
environnement, etc., qui permettrait de parler d'une comprhension vritable, et non d'une simple simulation. Searle
a alors adapt son argument pour prendre en compte ces nouvelles facults, tout en continuant nier qu'une machine
ne puisse faire autre chose que simuler la comprhension.
L'alternative connexionniste
Article dtaill : Connexionnisme.
la fin des annes 1980, l'approche connexioniste a commenc concurrencer le computationnalisme, dont le
principal titre de lgitimit, selon Fodor, tait qu'il tait la seule thorie apte rendre compte de l'volution des
sciences cognitives et des modles implicites utiliss par celles-ci. Le connexionnisme tente d'laborer des modles
de comprhension des processus cognitifs qui ne passent pas par le simple usage et application de rgles. Prcd par
quelques travaux innovateurs de Wiener et de Rosenblatt, l'approche connexionniste a surgi sur la scne
philosophique avec la publication de l'ouvrage de Rumelhart et McClelland, Parallel Distributed Processing
(1986)
[8]
.
Techniquement, la diffrence entre les deux approches rside surtout dans le fait que la premire est intrinsquement
squentielle et la seconde fait une trs grande part au paralllisme des oprations. Dans les deux cas sont bien
entendu appliqus des systmes de rgles, sans quoi il ne resterait rien tudier.
Donald Knuth suggre que le conscient est de nature squentielle (nous ne pouvons analyser clairement qu'une chose
la fois) et l'inconscient de nature parallle. Il y voit une raison du grand succs de la programmation chez les nerds,
Computationnalisme
6
qui sont mal l'aise face aux phnomnes ne relevant pas de la pure logique.
Notes et rfrences
Notes
[1] Hobbes concevait la raison de cette faon : Lviathan, I, 5, De la raison et de la science : Mais, contrairement Jerry Fodor, Hobbes
concevait le discours mental comme peupl d'ides qui sont des images, et non des symboles.
[2] Introduction de Pascal Ludwig l'anthologie GF Corpus, Le langage, Flammarion, 1997.
[3] Jean Laberge, Le problme de la relation du corps et de lesprit, IVe partie : Le fonctionnalisme (http:/ / www. cvm.qc.ca/ encephi/
CONTENU/ ARTICLES/ CORPS4. htm), Cgep du Vieux Montral.
[4] in Les tudes philosophiques, juillet/septembre 1992, p.323-335.
[5] Searle : Aucune de ces causes et de ces effets ne doivent tre conus comme comportant un lment mental. Ce ne sont que des squences
physiques. Le fonctionnaliste insiste pour quon comprenne bien quil ne dit pas quune croyance est un tat mental irrductible qui, en plus a
les relations causales qui sont les siennes, mais plutt quune croyance ne consiste quen ce quelle a ces relations causales. Une croyance peut
consister en un paquet de stimulations neuronales, ou dans le niveau de tension lectronique dun ordinateur, ou encore dans la vase verte du
Martien, ou quoi que ce soit dautre, pourvue quelle fasse partie du bon schma des relations de causes et deffets. Une croyance, donc, ce
nest quune chose, un X, faisant partie du schme de relations causales, et elle est telle du fait quelle se situe tel et tel endroit dans le schme
de relations causales<ref>John Searle, Consciousness & the Philosophers (http:/ / www. nybooks. com/ articles/ archives/ 1997/ mar/ 06/
consciousness-the-philosophers/ ?pagination=false), New York Review of Books, 6 mars 1997. Cit par J. Laberge, art. cit.
[6] http:/ / iridia.ulb. ac. be/ ~marchal/ lillethesis/ Rapport%20Grigorieff[1].pdf
[7] Lucas, J.R., (1961), Minds, Machines, and Godel . in Philosophy, 36: 112-127. Cit par Horst, S., art. cit. de la Stanford Encyclopedia.
[8] Rumelhart, David E., James McClelland, and the PDP Research Group. 1986. Parallel Distributed Processing: Explorations in the
Microstructure of Cognition. Cambridge, Mass: MIT Press. Cit par Horst, art. cit.
Rfrences
Annexes
Bibliographie
Horst, Steven (2003, rvis en 2005), The Computational Theory of Mind (http:/ / plato.stanford. edu/ entries/
computational-mind/ ),Stanford Encyclopedia of Philosophy.
Fodor, Jerry (passim)
Marchal, Bruno (1995), Conscience et Mcanisme, Rapport technique de l'Universit de Bruxelles, TR/IRIDIA
95.
Marchal, Bruno (1998), Calculabilit Physique et Cognition (http:/ / iridia.ulb. ac. be/ ~marchal/ lillethesis/
CPC. pdf), thse 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 sur http:/ / www. sciencedirect. com)
Sabah, Grard (1988), L'intelligence artificielle et le langage - reprsentations des connaissances - 2
e
dition,
Volume 1, Herms, (ISBN2-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.
Computationnalisme
7
Articles connexes
Langage de la pense
Chambre chinoise
Cognitivisme
Connexionnisme
Thse de Church-Turing
Dterminisme (Calculabilit)
Dployeur universel
Modularit de l'esprit
Portail de la philosophie
Portail de linformatique
Sources et contributeurs de larticle
8
Sources et contributeurs de larticle
Computationnalisme Source: http://fr.wikipedia.org/w/index.php?oldid=105356421 Contributeurs: Aclan, Ahbon?, Anne Bauval, Aris, Artb33, Cantons-de-l'Est, ClementNotin, Coyote du 86,
Epsilon0, FDo64, Foudebassans, Flix Potuit, Jarfe, Jean-Christophe BENOIST, JoseREMY, ManiacParisien, Michel421, Necrid Master, Nipou, OPi, PIerre.Lescanne, Passoa15, PieRRoMaN,
Pld, Proclos, Schlum, Sfrancois, Silex6, Titi2, Vlaam, VonTasha, Z653z, 14 modifications anonymes
Source des images, licences et contributeurs
File:Cerveau Symboles.jpg Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Cerveau_Symboles.jpg Licence: GNU Free Documentation License Contributeurs: Nevit, OldakQuill,
Rune Obash
Fichier:Auguste Rodin - Penseur 50px.png Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Auguste_Rodin_-_Penseur_50px.png Licence: GNU Free Documentation License
Contributeurs: retouche par Walk
Fichier:Crystal mycomputer.png Source: http://fr.wikipedia.org/w/index.php?title=Fichier:Crystal_mycomputer.png Licence: inconnu Contributeurs: Dake, Rocket000
Licence
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/