Le fonctionnalisme (II) Ce que penser veut dire séance 7 M. Cozic
2. La pensée et l ordinateur
pour repartir du bon pied... contre qui est adressé l argument de la réalisabilité multiple? en quoi consiste-t-il? donnez un exemple de concept fonctionnel. Que sont, en général, les concepts fonctionnels? qu est-ce qu un état mental pour un fonctionnaliste? qu est, par exemple, la douleur?
Previously on Ce que penser veut dire nous avons vu l idée centrale du fonctionnalisme nous avons vu également que le fonctionnalisme semblait neutre du point de vue ontologique: en général on considère qu il n implique pas le physicalisme on peut toutefois vouloir que le fonctionnalisme soit au moins compatible avec le physicalisme: que les relations causales qui caractérisent l ensemble de nos états mentaux soient réalisables par un système physique c est ici qu entre en scène le fonctionnalisme computationnel
2.1. Introduction au fonctionnalisme computationnel
le fonctionnalisme computationnel (FC) le fonctionnalisme computationnel (FC) est une version très influente du fonctionnalisme élaborée initialement à la fin des années 1960 par le philosophe américain Hilary Putnam on parle également de fonctionnalisme des machines ou fonctionnalisme de l ordinateur: dans tous les cas, il s agit de mettre en avant le fait que, à un certain niveau d abstraction, le calcul ou l ordinateur servent de modèle pour caractériser l esprit
le FC Putnam propose le FC non pas comme une analyse de la signification des termes mentaux (comme une analyse sémantique), mais comme une hypothèse empirique plausible sur la nature des états mentaux Putnam (1975): Je propose l hypothèse que la douleur est un état fonctionnel d un organisme tout entier Chaque organisme capable d éprouver de la douleur possède au moins une description d une certaine espèce (c est-à-dire que chaque organisme capable d éprouver de la douleur possède une espèce appropriée d organisation fonctionnelle)."
2.2. Les machines de Turing
machines de Turing depuis des millénaires, les hommes calculent algorithme: méthode pour calculer une opération déterminée exemple: nous avons appris à l école un algorithme pour déterminer la somme de deux nombres quelconques développement des machines à calculer les ordinateurs ne sont que des machines à calculer très puissantes
machines de Turing question: qu est-ce que c est, en général, qu une méthode de calcul? qu est-ce que c est qu un calcul? pour répondre à cette question, on a fourni (dans les années 1930 principalement) des modèles (mathématiques) généraux de ce que c est que calculer les machine de Turing sont les plus célèbres de ces modèles de calcul, dûes à A. Turing (1912-54)
Alan Turing (1912 1954)
machines de Turing composants d une machine de Turing: (1) une bande de papier (de longueur infinie à droite) découpée en cases... (2) dans chaque case peut se trouver un symbole parmi une liste finie 1 1 + 1 1 1 0...
machines de Turing (3) une tête de lecture/écriture qui peut se déplacer le long de la bande 1 1 + 1 1 1 0... (4) des instructions pour la tête de lecture/écriture qui disent à chaque instant quoi faire à la tête de lecture
états internes d une machines de Turing à chaque instant, une machine de Turing est dans un certain état interne ou état computationnel 1 1 + 1 1 1 0... q i la façon dont la machine réagit à ce qu elle lit dépend de son état interne: c est ce qui permet à une machine d avoir un comportement complexe la machine réagit en (i) écrivant quelque chose sur la bande, (ii) déplaçant (ou non) sa tête de lecture et (iii) changeant (ou pas) d état interne
instructions d une machines de Turing les instructions disent donc (1) en fonction (i) de ce qui est inscrit sur la case de la bande et (ii) de l état interne initial (2) (i) ce que la tête doit écrire, (ii) où elle doit aller et (iii) quel doit être le nouvel état interne les instructions peuvent donc être vues comme une liste (finie) du genre: si tu lis s i et te trouves dans l état q i, écris s j, va dans la direction g et passe à l état q j on appelle l ensemble des instructions la fonction de transition, qui peut être représentée sous forme de tableau (voir plus loin)
MT +: une machine à additionner idée: la tête se déplace vers la droite et réécrit des "1" sur des "1". Une fois arrivée au "+", la tête inscrit un "1" à la place. La tête continue à aller vers la droite en écrivant des "1" sur les "1". Au premier "0" qu elle rencontre, elle revient à gauche, écrit un "0" sur le "1" et s arrête la table machine pour MT + qui résume les instructions: q i q 1 1 (1, q i, d) (0, q f, g) 0 (0, q 1, g) y + (1, q i, d) x
MT + calcule 2+3 1 1 + 1 1 1 0... q i
MT + calcule 2+3 1 1 + 1 1 1 0... q i
MT + calcule 2+3 1 1 + 1 1 1 0... q i
MT + calcule 2+3 1 1 1 1 1 1 0... q i
MT + calcule 2+3 1 1 1 1 1 1 0... q i
MT + calcule 2+3 1 1 1 1 1 1 0... q i
MT + calcule 2+3 1 1 1 1 1 1 0... q i
MT + calcule 2+3 1 1 1 1 1 1 0... q 1
MT + calcule 2+3 1 1 1 1 1 0 0... q f
commentaires sur MT + MT + est une méthode ou algorithme pour l addition étant donné certaines conventions pour représenter les nombres entiers, MT + permet, pour n importe quelle paire d entiers, de calculer leur somme on peut définir d autres machines de Turing qui permettent également d additionner des entiers: ces machines sont d autres méthodes pour calculer l addition
commentaires sur MT + quand on parle couramment de machines à calculer, on désigne certains systèmes physiques comme la calculatrice qui est sur mon bureau une machine de Turing se situe à un niveau plus abstrait. Un système physique (telle ou telle calculatrice électronique) peut (ou non) se conformer à une machine de Turing quand il y a conformité entre système physique S et machine MT, on dit que S réalise MT des systèmes physiques très différents peuvent réaliser la même MT : opérations sur un boulier, trous dans du papier épais, dispositif électronique, etc
réalisation d une machine de Turing il y a realisation de MT par S quand les relations causales entre les propriétés du système S reflètent les transitions computationnelles (les instructions) de MT deux systèmes S 1 et S 2 qui réalisent la même machine de Turing MT peuvent être conçus comme des systèmes qui ont la même organisation fonctionnelle
2.3. Exposition du fonctionnalisme computationnel
machines de Turing généralisées Putnam suppose que l on peut généraliser les machines de Turing pour les rendre aptes à la description psychologique: de telles machines de Turing généralisées (MTG) auraient pour entrées" des stimuli sensoriels (au lieu d une suite de symboles sur la bande) pour sorties" des comportements (idem) FC : un organisme o est capable d éprouver de la douleur (est capable d avoir un état mental M) s il réalise une MTG d un certain type. être capable d éprouver de la douleur, c est avoir une certaine organisation fonctionnelle. Pourquoi? Et qu est-ce que cela signifie?
exemple: la douleur un exemple issu de Block (1980). Supposons pour simplifier que ressentir de la douleur est un état interne (-) causé par l entrée" environnementale constituée par une piqûre de guêpe (-) qui fait passer à un autre état interne, disons un état de stress (-) qui induit comme sortie" comportementale le cri Aïe"
exemple: la douleur Ressentir une douleur = Etre dans le premier de deux états qui est relié aux entrées, aux sorties et au second état de la manière suivante : l état de douleur est causé par une piqûre de guêpe, cause la transition au second état et induit la sortie comportementale "Aïe".
commentaires un organisme o est dans un état mental M ssi il réalise une MTG appropriée où (a) M est un état interne de cette MTG et que (b) o est dans l état physique qui correspond à M il est dans la nature même des états mentaux que ceux qui les possèdent réalisent une MTG appropriée où M est un état interne et qu ils sont dans un état physique qui correspond à M
Kim sur le FC J. Kim (1998), p. 91 Un organisme, ou un système, a une psychologie - c est-à-dire a la mentalité - quand il réalise une machine de Turing appropriée. Ce n est pas seulement que tout ce qui a la mentalité a une description appropriée en termes de machines: le fonctionnalisme computationnel affirme la thèse plus forte selon laquelle pouvoir être décrit par une machine d un genre approprié est constitutif de la mentalité. C est une thèse philosophique sur la nature de la mentalité: la mentalité, ou le fait d avoir un esprit, consiste à réaliser une machine de Turing appropriée.
commentaires, suite la nature d un état mental est déterminée par le fait qu il est causé par certaines entrées sensorielles, qu il cause à son tour certaines sorties comportementales et certains autres états mentaux attention : dans une MTG, les états internes sont des états totaux de l organisme. C est l état mental total d un individu qui s identifie à l état interne d une MTG Putnam dit que les états internes d une machine de Turing sont implicitement spécifiés" par la table de machine. Cela signifie qu ils sont spécifiés par leur rôle computationnel, et notamment par les relations qu ils entretiennent entre eux.
le retour du chauvinisme? conséquence du FC: puisque les états internes d une machine de Turing sont spécifiés relationnellement, pour que deux organismes o 1 et o 2 aient le même état mental M, il faut qu ils réalisent la même machine de Turing, autrement dit qu ils aient la même psychologie Kim (1988) Selon le FC, pour que deux sujets psychologiques partagent ne serait-ce qu un seul état mental, leurs psychologies complètes doivent être isomorphes l une à l autre. Souvenons-nous de l objection de Putnam contre la théorie de l identité: cette théorie rend impossible que des humains et des pieuvres ressentent de la douleur à moins qu ils soient dans le même état cérébral, une éventualité peu probable.
le retour du chauvinisme? Kim (1988) Mais il semble que le FC rencontre un problème exactement analogue: pour qu une pieuvre et un humain soit dans le même état de douleur, ils doivent avoir des psychologies isomorphes - une éventualité peu probable, pour le moins! Et pour que deux humains partagent un seul état mental, ils doivent avoir exactement la même psychologie complète. Cette conséquence du FC va clairement à l encontre de nos attentes.
l esprit comme logiciel du cerveau un slogan qui résume les idées ontologiques (et les implications méthodologiques, voir ci-après) du FC: l esprit est le logiciel (software) du cerveau (hardware)
les espoirs placés dans le FC Searle (2001), p. 66 Avec le modèle computationnel de l esprit, il semblait qu enfin nous avions une solution aux problèmes qui avait préoccupés Descartes, et à vrai dire à des problèmes qui remontaient aux philosophes de la Grèce ancienne, 2500 ans plus tôt. Il semblait en particulier que nous avions une solution parfaite au problème traditionnel du corps et de l esprit. La relation entre l esprit et le corps semblait mystérieuse, mais la relation entre le programme et le matériel (hardware) d un ordinateur, la relation du logiciel (software) à sa réalisation physique, n est pas la moins du monde mystérieuse.
les processus mentaux comme calculs du point de vue du FC, - les états mentaux sont des états computationnels et - les processus mentaux sont des processus computationnels certaines versions du FC poussent plus loin l assimilation aux ordinateurs: l esprit fonctionne par des opérations sur des symboles en étant sensible non pas au contenu ou sémantique des symboles (ce qu ils représentent/signifient) mais à leur forme ou syntaxe penser, c est manipuler des symboles; les relations causales entre symboles reflètent les relations sémantiques un engin syntaxique qui conduit un engin sémantique
2.4. FC et la méthodologie de la psychologie
la psychologie du point de vue du FC le FC se présente avant tout comme une thèse sur la nature des états mentaux ou états psychologiques. Mais il a des prolongements intéressants pour l étude des états et processus mentaux, c est-à-dire pour la psychologie le FC fournit un schéma général pour les théories psychologiques. On peut considérer qu une théorie psychologique doit (au moins) rendre compte des corrélations entre stimuli sensoriels et réponses comportementales des individus. Le FC propose d en rendre compte en termes de MTG.
la psychologie du point de vue du FC Putnam (1975) "...explorer [l hypothèse fonctionnaliste], ce n est rien d autre que tenter d élaborer des modèles "mécaniques" des organismes ; or n est-ce pas là, d une certaine manière, précisément l objet de la psychologie? "
c est à la science empirique (la psychologie) de dire exactement ce qu est un état mental comme la douleur. Cela revient à dire quel état interne il est dans quelle machine de Turing. les transitions computationnelles liées à M sont à découvrir empiriquement, elles ne sont pas données a priori. la méthodologie "classique" des sciences cognitives, si elle n est pas "dérivée" du fonctionnalisme TP, prend également l ordinateur comme modèle de la mentalité
les niveaux d étude d une capacité cognitive C selon Marr (1982) (i) le niveau computationnel: qu effectue la capacité C? (ii) le niveau algorithmique : par quel algorithme la capacité C effectue-t-elle les tâches qu elle effectue? (iii) le niveau de la réalisation ou de l implémentation : par quel mécanisme physiques S réalise-t-il l algorithme de C?
les niveaux d étude d une capacité cognitive C selon Marr (1982) Les deux premiers niveaux correspondent (grossièrement) au travail du psychologue ; le troisième au travail du neurologue autonomie des niveaux: Chacun de ces trois niveaux de description aura sa place dans la compréhension ultime du traitement de l information perceptuelle, et bien sûr ils sont logiquement et causalement reliés. Mais il est important de noter que puisque ces trois niveaux sont seulement reliés de manière lâche, certains phénomènes peuvent n être expliqués qu à un ou deux niveaux (Marr, 1982)
FC et autonomie de la psychologie ce que fait valoir Marr, et c est une idée encore une fois répandue dans la méthodologie classique des sciences cognitives, c est qu il y a une certaine autonomie entre les niveaux. on peut étudier l organisation fonctionnelle d une faculté sans savoir exactement comment cette organisation fonctionnelle est physiquement réalisée