thumb|right|180px|Le cerveau humain, simple machine à effectuer des calculs ? Le computationnalisme est une théorie fonctionnaliste en philosophie de l'esprit qui conçoit l'esprit comme un système de traitement de l'information et compare la pensée à un calcul (en anglais, computationHobbes concevait la raison de cette façon : Léviathan, I, 5, « De la raison et de la science » : Mais, contrairement à Jerry Fodor, Hobbes concevait le « discours mental » comme peuplé d'idées qui sont des images, et non des symboles.). Le computationnalisme symbolique modélise l'esprit comme la manipulation de symboles suivant système de règles, là où le computationnalisme connexionniste modélise l'esprit comme un réseau de neurones. 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.
Présentation Le terme anglais computation signifie calcul, ce qui se réfère au fait de passer d'une entrée à une sortie par le biais d'un algorithme déterminé. Le terme a été proposé par Hilary Putnam en 1961, et développé par Jerry Fodor dans les années 1960 et 1970Horst, Steven (2003, révisé en 2005), The Computational Theory of Mind, Stanford Encyclopedia of Philosophy.. 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. Fodor précise toutefois que son approche s'applique plus facilement aux systèmes modulaires (comme la vision) qu'aux « systèmes centraux » (raisonnement, résolution de problèmes), qui sont difficiles à interpréter du fait de leur complexité holistique.
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ésente ainsi comme alternative à l'éliminativisme matérialiste, qui nie l'existence d'états mentaux tels qu'ils sont habituellement compris. 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 , 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 un 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 nie toute conscience phénoménale.
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 s, mais à des symbolesIntroduction de Pascal Ludwig à l'anthologie GF Corpus, Le langage, Flammarion, 1997..
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éJean Laberge, Le problème de la relation du corps et de l’esprit, partie : Le fonctionnalisme, Cégep du Vieux Montréal.. 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 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. 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ée 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 stimuli qui causent un état mental ; 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 ou ), 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
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. 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. Searle affirme que .
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 MarchalMarchal, Bruno, L'hypothèse du computationnalisme et ses conséquences, introduction à sa thèse (la thèse complète est en ligne)., en y adjoignant 2 hypothèses d'une autre naturehttp://iridia.ulb.ac.be/~marchal/lillethesis/Rapport%20Grigorieff.pdf: d'une part, la thèse de Church, pierre d'angle de l'informatique théorique,