La question de savoir comment l\u2019esprit humain parvient \u00e0 d\u00e9duire des conclusions valides \u00e0 partir de pr\u00e9misses donn\u00e9es constitue l\u2019une des \u00e9nigmes les plus profondes et les plus disput\u00e9es de la philosophie, de la logique et de la psychologie cognitive. Pendant des si\u00e8cles, la pens\u00e9e occidentale a v\u00e9cu sous l\u2019h\u00e9g\u00e9monie du paradigme logiciste, postulant que la rationalit\u00e9 humaine repose sur un ensemble de r\u00e8gles formelles int\u00e9rioris\u00e9es, sorte de calcul des propositions ou des pr\u00e9dicats inscrit dans la structure m\u00eame de l\u2019intellect. Dans cette perspective, raisonner revenait essentiellement \u00e0 appliquer une syntaxe abstraite, insensible aux contenus empiriques du monde mat\u00e9riel. Toutefois, les anomalies exp\u00e9rimentales accumul\u00e9es tout au long de la seconde moiti\u00e9 du vingti\u00e8me si\u00e8cle ont progressivement \u00e9branl\u00e9 cette architecture conceptuelle, r\u00e9v\u00e9lant la vuln\u00e9rabilit\u00e9 flagrante des agents humains face aux variations s\u00e9mantiques, aux contextes pragmatiques et aux pi\u00e8ges de la d\u00e9duction quotidienne.<\/p>\n
C\u2019est au c\u0153ur de cette crise paradigmatique que s\u2019impose, d\u00e8s le d\u00e9but des ann\u00e9es 1980, la figure novatrice du psychologue britannique Philip Johnson-Laird<\/a>. En publiant en 1983 son ouvrage magistral intitul\u00e9 Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness<\/em>, Johnson-Laird op\u00e8re une v\u00e9ritable rupture \u00e9pist\u00e9mologique. Plut\u00f4t que de concevoir l’esprit comme un processeur logique abstrait manipulant des symboles d\u00e9sincarn\u00e9s selon des r\u00e8gles d’inf\u00e9rence aveugles \u00e0 la signification, il avance l’hypoth\u00e8se radicale que l’\u00eatre humain raisonne en construisant des repr\u00e9sentations analogiques du monde : les mod\u00e8les mentaux. Ces structures cognitives internes ne sont pas de simples transcriptions propositionnelles de phrases linguistiques, mais de v\u00e9ritables simulations iconiques d’\u00e9tats de choses possibles, dont la structure correspond point par point \u00e0 la structure des situations qu’elles repr\u00e9sentent.<\/p>\n Depuis son \u00e9mergence, la th\u00e9orie des mod\u00e8les mentaux a profond\u00e9ment refondu le champ des sciences cognitives, s’\u00e9tendant du raisonnement d\u00e9ductif standard aux inf\u00e9rences probabilistes, temporelles, spatiales et causales, tout en fournissant une explication robuste aux spectaculaires illusions cognitives qui \u00e9chappaient aux approches traditionnelles. En s’appuyant sur des postulats fonctionnels stricts \u2014 au premier rang desquels figure le c\u00e9l\u00e8bre principe de v\u00e9rit\u00e9 \u2014, cette th\u00e9orie a su conjuguer rigueur empirique, mod\u00e9lisation computationnelle \u00e0 travers des syst\u00e8mes comme mReasoner<\/em>, et confrontations f\u00e9condes avec les neurosciences et la philosophie de l’esprit. L’exploration exhaustive de cette th\u00e9orie offre ainsi une fen\u00eatre privil\u00e9gi\u00e9e sur les rouages intimes de l’intelligence humaine, oscillant perp\u00e9tuellement entre une rationalit\u00e9 s\u00e9mantique puissante et les contraintes insurmontables impos\u00e9es par la finitude de notre m\u00e9moire de travail.<\/p>\n L\u2019ascendance conceptuelle de la th\u00e9orie des mod\u00e8les mentaux trouve son ancrage le plus pr\u00e9coce dans les travaux visionnaires du psychologue et philosophe \u00e9cossais Kenneth Craik<\/a>. Dans son essai s\u00e9minal paru en 1943, The Nature of Explanation<\/em>, Craik propose une intuition d’une formidable modernit\u00e9 : si les organismes vivants parviennent \u00e0 anticiper les \u00e9v\u00e9nements futurs et \u00e0 s’adapter avec une telle efficacit\u00e9 aux vicissitudes de leur environnement, c’est parce qu’ils portent en eux un \u00ab mod\u00e8le \u00e0 petite \u00e9chelle \u00bb (small-scale model<\/em>) de la r\u00e9alit\u00e9 externe et de leurs propres actions possibles. Pour Craik, ce mod\u00e8le interne fonctionne comme un simulateur physique qui permet \u00e0 l’organisme d’exp\u00e9rimenter diverses alternatives sans s’exposer aux dangers d’un essai-erreur dans le monde r\u00e9el. L’esprit est ainsi envisag\u00e9 comme un syst\u00e8me physique capable de refl\u00e9ter les relations causales de l’environnement physique.<\/p>\n Cette perspective craikienne est rest\u00e9e en latence durant plusieurs d\u00e9cennies, largement \u00e9touff\u00e9e par la d\u00e9ferlante du behaviorisme qui bannissait tout recours aux repr\u00e9sentations internes, puis marginalis\u00e9e par la premi\u00e8re cybern\u00e9tique et l’av\u00e8nement du cognitivisme classique fond\u00e9 sur la m\u00e9taphore de l’ordinateur de von Neumann. Dans ce cadre computationnel initial, l’esprit traitait des symboles discrets selon des r\u00e8gles formelles d’inspiration logique. Il faudra attendre le d\u00e9but des ann\u00e9es 1970 pour que Philip Johnson-Laird, en collaboration avec le psychologue Peter Wason, red\u00e9couvre la puissance heuristique de l’intuition de Craik. Confront\u00e9 aux \u00e9checs r\u00e9p\u00e9t\u00e9s des participants dans des t\u00e2ches de d\u00e9duction \u00e9l\u00e9mentaires, Johnson-Laird comprend que le syst\u00e8me cognitif humain n’op\u00e8re pas sur des propositions d\u00e9sincarn\u00e9es, mais sur des configurations d’objets et d’\u00e9v\u00e9nements mentalement instanci\u00e9s.<\/p>\n La publication en 1983 de l’ouvrage s\u00e9minal de Johnson-Laird marque la v\u00e9ritable refondation de la psychologie de la d\u00e9duction. En rupture totale avec l’orthodoxie chomskienne et logiciste qui dominait alors le Massachusetts Institute of Technology et l’universit\u00e9 de Princeton, l’auteur postule l’existence d’un niveau de repr\u00e9sentation interm\u00e9diaire irr\u00e9ductible tant au langage naturel qu’\u00e0 une logique formelle int\u00e9rioris\u00e9e. Cette approche r\u00e9habilite l’id\u00e9e d’une ph\u00e9nom\u00e9nologie cognitive structur\u00e9e, dans laquelle la pens\u00e9e humaine proc\u00e8de par simulation de mondes possibles. D\u00e8s lors, le raisonnement n’appara\u00eet plus comme un processus computationnel syntaxique de d\u00e9rivation axiomatique, mais comme une activit\u00e9 s\u00e9mantique d’inspection, d’\u00e9valuation et de manipulation d’espaces relationnels internes.<\/p>\n Pour imposer la th\u00e9orie des mod\u00e8les mentaux, Johnson-Laird s’est livr\u00e9 \u00e0 une d\u00e9construction m\u00e9thodique du \u00ab paradigme logiciste \u00bb, une doctrine s\u00e9culaire partag\u00e9e aussi bien par l’\u00e9pist\u00e9mologie g\u00e9n\u00e9tique de Jean Piaget que par les th\u00e9oriciens contemporains de la logique mentale, \u00e0 l’instar de Martin Braine, David O’Brien ou Lance Rips. Cette doctrine repose sur une pr\u00e9misse fondamentale : le syst\u00e8me cognitif de l’adulte poss\u00e9derait une syntaxe interne de la pens\u00e9e (un mentalese<\/em>) comprenant des r\u00e8gles d’inf\u00e9rence formelles \u00e9quivalentes au calcul propositionnel standard, comme le modus ponens<\/em>, ou d’autres formes de d\u00e9rivation naturelle. Selon les partisans de la logique mentale, une erreur de raisonnement ne d\u00e9coulerait jamais d’une d\u00e9faillance de la logique sous-jacente, mais de limitations p\u00e9riph\u00e9riques telles que le manque d’attention, la surcharge de la m\u00e9moire ou une mauvaise interpr\u00e9tation linguistique des pr\u00e9misses.<\/p>\n Or, Johnson-Laird et ses partisans ont object\u00e9 que cette vision syntaxique est incapable d’expliquer pourquoi et comment les variations du contenu s\u00e9mantique modifient radicalement les performances des sujets. Si l’esprit applique une r\u00e8gle formelle invariante de type \u00ab Si P alors Q ; or P ; donc Q \u00bb, la nature des termes P et Q ne devrait avoir aucun impact sur la validit\u00e9 per\u00e7ue du raisonnement ni sur le taux d’acceptation de la conclusion. Pourtant, l’histoire exp\u00e9rimentale de la psychologie du raisonnement d\u00e9montre exactement le contraire. D\u00e8s 1972, les exp\u00e9riences de Wason et Johnson-Laird sur la c\u00e9l\u00e8bre t\u00e2che de s\u00e9lection ont r\u00e9v\u00e9l\u00e9 un contraste saisissant : alors que moins de dix pour cent des \u00e9tudiants universitaires r\u00e9solvent la t\u00e2che lorsqu’elle implique des symboles abstraits (des lettres et des chiffres), la quasi-totalit\u00e9 r\u00e9ussit brillamment lorsque le probl\u00e8me est transpos\u00e9 dans un contexte concret de r\u00e9gulation sociale (par exemple, v\u00e9rifier si des individus consommant de l’alcool ont l’\u00e2ge l\u00e9gal requis).<\/p>\n Ces disparit\u00e9s spectaculaires ont port\u00e9 un coup fatal \u00e0 l’hypoth\u00e8se d’une logique mentale purement formelle. Johnson-Laird a d\u00e9montr\u00e9 que la sensibilit\u00e9 de l’esprit au contenu th\u00e9matique, aux croyances pr\u00e9alables et au contexte pragmatique n’est pas un simple bruit de fond venant parasiter un moteur logique formel, mais bien la signature fondamentale de notre architecture cognitive. Le cerveau humain ne s\u00e9pare pas la forme du contenu : il raisonne directement sur<\/em> et \u00e0 travers<\/em> le contenu en construisant une interpr\u00e9tation sp\u00e9cifique de la situation. L’illusion logiciste consistait \u00e0 confondre le crit\u00e8re normatif de validit\u00e9 \u2014 d\u00e9fini par les logiciens \u00e0 des fins m\u00e9tamath\u00e9matiques \u2014 avec la description descriptive et explicative des m\u00e9canismes psychologiques r\u00e9els qui sous-tendent la d\u00e9duction humaine quotidienne.<\/p>\n Au sens strict de Johnson-Laird, un mod\u00e8le mental est une structure de donn\u00e9es cognitive interne caract\u00e9ris\u00e9e par son iconicit\u00e9 et son isomorphisme vis-\u00e0-vis de l’\u00e9tat de choses qu’elle repr\u00e9sente. Contrairement \u00e0 une description linguistique constitu\u00e9e d’une suite lin\u00e9aire de symboles arbitraires dont la syntaxe n’entretient aucun rapport morphologique avec l’\u00e9tat du monde (le mot \u00ab chat \u00bb ne ressemble en rien \u00e0 l’animal f\u00e9lin), un mod\u00e8le mental pr\u00e9serve la structure des relations spatiales, temporelles ou causales propres \u00e0 la situation \u00e9voqu\u00e9e. Si l’on affirme que \u00ab le cercle est au-dessus du carr\u00e9 \u00bb, le mod\u00e8le mental correspondant n’est pas une r\u00e9plication de la phrase sous forme propositionnelle abstraite, mais une configuration mentale dans laquelle une entit\u00e9 d\u00e9signant le cercle est effectivement positionn\u00e9e au-dessus d’une entit\u00e9 d\u00e9signant le carr\u00e9 au sein d’un espace de travail cognitif interne.<\/p>\n Cette distinction entre repr\u00e9sentations analogiques et descriptions symboliques constitue la cl\u00e9 de vo\u00fbte du paradigme. Une description symbolique, telle qu’une formule du calcul des pr\u00e9dicats ou une phrase dans une langue naturelle, requiert des r\u00e8gles d’inf\u00e9rence syntactiques complexes pour en extraire des v\u00e9rit\u00e9s implicites. En revanche, un mod\u00e8le mental, en vertu de son organisation structurelle, rend perceptibles de fa\u00e7on quasi imm\u00e9diate des relations qui n’avaient pas \u00e9t\u00e9 explicitement formul\u00e9es au d\u00e9part. L’esprit n’a pas besoin de calculer d\u00e9ductivement une nouvelle relation : il lui suffit d’inspecter visuellement ou structuralement la configuration analogique construite pour \u00ab voir \u00bb \u00e9merger une cons\u00e9quence logique. L’architecture cognitive s’apparente ainsi davantage \u00e0 un atelier de mod\u00e9lisation g\u00e9om\u00e9trique ou cin\u00e9matique qu’\u00e0 une machine de Turing ex\u00e9cutant des lignes d’instructions textuelles formelles.<\/p>\n L’ancrage psychologique de cette mod\u00e9lisation implique que le raisonnement humain n’est pas un calcul symbolique d\u00e9nu\u00e9 de r\u00e9f\u00e9rent, mais une recherche active d’\u00e9tats de choses possibles. Raisonner d\u00e9ductivement consiste \u00e0 concevoir un ensemble de mondes miniatures compatibles avec les \u00e9nonc\u00e9s de d\u00e9part, \u00e0 v\u00e9rifier si une assertion donn\u00e9e est v\u00e9rifi\u00e9e dans tous ces mondes possibles (ce qui fonde la n\u00e9cessit\u00e9 logique), dans au moins un monde (ce qui fonde la possibilit\u00e9), ou dans aucun (ce qui \u00e9tablit l’impossibilit\u00e9). En d\u00e9pla\u00e7ant ainsi la d\u00e9duction du terrain de la syntaxe vers celui de la s\u00e9mantique modale incarn\u00e9e, Johnson-Laird propose une th\u00e9orie psychologique de la comp\u00e9tence d\u00e9ductive qui rend compte \u00e0 la fois de l’extraordinaire flexibilit\u00e9 de la pens\u00e9e humaine et de sa faillibilit\u00e9 inh\u00e9rente face \u00e0 la multiplication des \u00e9tats de fait imaginables.<\/p>\n Le principe d’iconicit\u00e9, pierre angulaire de l’architecture th\u00e9orique de Johnson-Laird, stipule que la structure interne d’un mod\u00e8le mental refl\u00e8te fid\u00e8lement la structure per\u00e7ue ou con\u00e7ue de la r\u00e9alit\u00e9. Cela signifie qu’il existe un isomorphisme strict entre les composants du mod\u00e8le et les entit\u00e9s du monde r\u00e9el d’une part, et entre les relations liant ces composants dans le mod\u00e8le et les relations liant les entit\u00e9s dans le monde d’autre part. Par exemple, si trois objets A, B et C sont dispos\u00e9s de telle sorte que A est \u00e0 gauche de B et B est \u00e0 gauche de C, le mod\u00e8le mental ne stocke pas ces relations sous forme de pr\u00e9dicats formels discrets comme Cette spatialisation s\u00e9mantique offre un avantage computationnel consid\u00e9rable pour le syst\u00e8me cognitif : elle permet de minimiser drastiquement la charge syntaxique. Dans un syst\u00e8me de logique formelle, pour d\u00e9terminer la position relative de A par rapport \u00e0 C, l’agent doit poss\u00e9der et convoquer un axiome de transitivit\u00e9 stipulant que \u00ab pour tout x, y, z, si x est \u00e0 gauche de y et y est \u00e0 gauche de z, alors x est \u00e0 gauche de z \u00bb, puis r\u00e9aliser une unification de variables suivie d’un d\u00e9tachement d’inf\u00e9rence. Dans le cadre de la th\u00e9orie des mod\u00e8les mentaux, la transitivit\u00e9 n’est pas une r\u00e8gle d’inf\u00e9rence logique d\u00e9lib\u00e9r\u00e9ment appliqu\u00e9e : elle est une propri\u00e9t\u00e9 physique et \u00e9mergente de l’espace de repr\u00e9sentation lui-m\u00eame. Une fois les objets plac\u00e9s conform\u00e9ment aux pr\u00e9misses dans la structure analogique, la relation \u00ab A est \u00e0 gauche de C \u00bb devient directement lisible par simple inspection interne, sans qu’aucun calcul formel n’ait \u00e9t\u00e9 requis.<\/p>\n L’iconicit\u00e9 ne se cantonne pas aux relations physiques ou topographiques \u00e9videntes ; elle s’\u00e9tend aux concepts relationnels abstraits par le truchement de m\u00e9taphores spatiales et temporelles profond\u00e9ment ancr\u00e9es dans la cognition humaine. Des relations d’ordre telles que la sup\u00e9riorit\u00e9 hi\u00e9rarchique (\u00ab le directeur est au-dessus de l’employ\u00e9 \u00bb), l’intensit\u00e9 d’une grandeur (\u00ab le produit A est plus cher que le produit B \u00bb), ou la chronologie d’\u00e9v\u00e9nements (\u00ab l’explosion s’est produite avant l’alerte \u00bb) sont automatiquement projet\u00e9es dans des dimensions continues au sein de l’espace de travail mental. Comme l’ont soulign\u00e9 de nombreux travaux en s\u00e9mantique cognitive, l’esprit humain r\u00e9utilise des architectures visuo-spatiales phylog\u00e9n\u00e9tiquement anciennes pour cartographier et manipuler des relations logico-s\u00e9mantiques complexes, confirmant ainsi la primaut\u00e9 de l’iconicit\u00e9 sur la discursivit\u00e9 symbolique pure.<\/p>\n Si la plasticit\u00e9 de l’esprit humain lui permet d’\u00e9laborer des simulations analogiques d’une immense richesse, cette capacit\u00e9 se heurte de plein fouet aux limites intrins\u00e8ques de la m\u00e9moire de travail<\/a>. L’un des apports majeurs de Philip Johnson-Laird \u00e0 la psychologie cognitive r\u00e9side dans l’identification formelle de la contrainte fondamentale que le syst\u00e8me nerveux met en \u0153uvre pour surmonter ce goulot d’\u00e9tranglement : le principe de v\u00e9rit\u00e9<\/em> (Principle of Truth<\/em>). Ce principe postule que, pour \u00e9conomiser les ressources cognitives, les individus repr\u00e9sentent prioritairement les \u00e9tats de fait qui sont vrais, et s’abstiennent syst\u00e9matiquement de repr\u00e9senter les \u00e9tats de fait qui sont faux.<\/p>\n Plus pr\u00e9cis\u00e9ment, le principe de v\u00e9rit\u00e9 s’applique \u00e0 deux niveaux distincts mais intriqu\u00e9s : Cependant, cette \u00e9conomie computationnelle a un prix cognitif exorbitant. En \u00e9liminant les informations relatives \u00e0 ce qui est faux, le principe de v\u00e9rit\u00e9 rend l’esprit extr\u00eamement vuln\u00e9rable d\u00e8s lors qu’un probl\u00e8me exige de prendre en compte la fausset\u00e9 d’une assertion pour \u00eatre r\u00e9solu correctement. L’occultation des cas faux g\u00e9n\u00e8re des angles morts conceptuels majeurs, qui se manifestent cliniquement et exp\u00e9rimentalement sous la forme d’\u00ab inf\u00e9rences illusoires \u00bb (illusory inferences<\/em>). Dans ces situations sp\u00e9cifiques, les individus parviennent avec une assurance in\u00e9branlable \u00e0 des conclusions cat\u00e9goriquement fallacieuses, pr\u00e9cis\u00e9ment parce que la repr\u00e9sentation mentale incompl\u00e8te de la situation les emp\u00eache d’apercevoir les contradictions logiques sous-jacentes. La rationalit\u00e9 humaine se trouve ainsi brid\u00e9e non par un d\u00e9ficit d’intelligence, mais par un compromis architectural intrins\u00e8que privil\u00e9giant l’efficacit\u00e9 imm\u00e9diate sur l’exhaustivit\u00e9 logique formelle.<\/p>\n L’affirmation selon laquelle les \u00eatres humains raisonnent au moyen de mod\u00e8les mentaux ne signifie pas que le cerveau n’utilise jamais de formats de repr\u00e9sentations propositionnelles. Johnson-Laird a \u00e9labor\u00e9 un mod\u00e8le fonctionnel \u00e0 deux \u00e9tages pour d\u00e9crire la cha\u00eene de traitement qui va de l’audition ou de la lecture d’une phrase jusqu’\u00e0 la d\u00e9duction achev\u00e9e. Le premier niveau est celui de la repr\u00e9sentation propositionnelle brute : il s’agit d’une description linguistique interne, \u00e9troitement li\u00e9e \u00e0 la structure de surface du langage, stock\u00e9e sous la forme d’un r\u00e9seau propositionnel pr\u00e9dicat-argument. Cette repr\u00e9sentation pr\u00e9liminaire est fid\u00e8le \u00e0 la syntaxe de l’\u00e9nonc\u00e9, mais elle est instable, fugace, et ne permet pas \u00e0 elle seule de raisonner de mani\u00e8re analogique.<\/p>\n Le second niveau correspond \u00e0 la construction proprement dite du mod\u00e8le mental \u00e0 partir de cette base propositionnelle. Contrairement \u00e0 la repr\u00e9sentation de surface, le mod\u00e8le mental r\u00e9sulte d’une synth\u00e8se s\u00e9mantique int\u00e9gr\u00e9e o\u00f9 les connaissances encyclop\u00e9diques du locuteur, les inf\u00e9rences pragmatiques et les indices contextuels viennent enrichir l’information brute pour forger une simulation coh\u00e9rente. Les repr\u00e9sentations propositionnelles sont v\u00e9rifonctionnelles au sens o\u00f9 elles encodent des cha\u00eenes textuelles susceptibles de v\u00e9rit\u00e9 ou de fausset\u00e9, mais elles demeurent fondamentalement discursives. Le mod\u00e8le mental, au contraire, transcende le discours linguistique : il repr\u00e9sente l’\u00e9tat du monde d\u00e9crit<\/em> par le discours, et non les phrases du discours elles-m\u00eames.<\/p>\n Ce basculement du format propositionnel au format analogique s’observe nettement dans les exp\u00e9riences de m\u00e9moire des textes : les participants oublient avec une rapidit\u00e9 d\u00e9concertante la formulation exacte des phrases qu’ils viennent de lire (la syntaxe propositionnelle de surface), mais ils retiennent avec une pr\u00e9cision remarquable le contenu global de la sc\u00e8ne ou de l’argument (le mod\u00e8le mental int\u00e9gr\u00e9). Le passage de la structure de surface \u00e0 la synth\u00e8se s\u00e9mantique s’accompagne d’une compression d’information dans laquelle plusieurs assertions linguistiquement distinctes se fondent en un seul \u00e9tat de choses spatial ou conceptuel. Lorsque ce processus de traduction s\u00e9mantique \u00e9choue \u2014 par exemple en pr\u00e9sence d’ambigu\u00eft\u00e9s syntaxiques insurmontables ou d’\u00e9nonc\u00e9s hautement auto-r\u00e9f\u00e9rentiels \u2014, le syst\u00e8me cognitif se trouve bloqu\u00e9 au niveau propositionnel, devenant incapable de g\u00e9n\u00e9rer les mod\u00e8les spatio-temporels indispensables \u00e0 l’inf\u00e9rence d\u00e9ductive naturelle.<\/p>\n Le processus de d\u00e9duction, tel que formalis\u00e9 par Johnson-Laird et Ruth Byrne, s’articule autour d’un algorithme cognitif tripartite rigoureusement ordonn\u00e9, dont la premi\u00e8re \u00e9tape cruciale est la phase de compr\u00e9hension<\/em>. Lorsqu’un individu est confront\u00e9 \u00e0 un ensemble de pr\u00e9misses formul\u00e9es en langage naturel, le syst\u00e8me cognitif commence par mobiliser ses comp\u00e9tences linguistiques, lexicales et s\u00e9mantiques pour d\u00e9coder les \u00e9nonc\u00e9s. Ce d\u00e9codage ne s’effectue pas dans le vide : il active imm\u00e9diatement la m\u00e9moire s\u00e9mantique \u00e0 long terme, extrayant les concepts pertinents, les prototypes cat\u00e9goriels et les connaissances encyclop\u00e9diques associ\u00e9es aux termes employ\u00e9s. L’agent cognitif recourt \u00e0 des mod\u00e8les par d\u00e9faut pour interpr\u00e9ter le sens des mots en fonction de la situation globale d’\u00e9nonciation.<\/p>\n \u00c0 partir de cette analyse linguistique, l’esprit entreprend la construction d’un mod\u00e8le mental initial<\/em> repr\u00e9sentant une seule possibilit\u00e9 compatible avec les pr\u00e9misses. Guid\u00e9 imp\u00e9rieusement par le principe de parcimonie cognitive et par le principe de v\u00e9rit\u00e9, le syst\u00e8me ne g\u00e9n\u00e8re pas d’embl\u00e9e l’ensemble combinatoire de tous les univers envisageables, ce qui provoquerait une paralysie computationnelle imm\u00e9diate. Il privil\u00e9gie l’\u00e9tat de fait le plus saillant, le plus typique ou le plus simple d’acc\u00e8s sur le plan repr\u00e9sentationnel. Par exemple, \u00e0 l’\u00e9nonc\u00e9 d’un conditionnel, l’individu int\u00e8gre les ant\u00e9c\u00e9dents et les cons\u00e9quents dans une unique configuration conjointe affirmative, rel\u00e9guant les configurations alternatives au statut de n\u00e9buleuses non explicit\u00e9es.<\/p>\n Cette phase de construction impose un co\u00fbt cognitif hautement diff\u00e9renci\u00e9 en m\u00e9moire de travail selon la nature formelle et s\u00e9mantique des pr\u00e9misses. Des assertions spatialement coh\u00e9rentes et sans ambigu\u00eft\u00e9 se pr\u00eatent \u00e0 une fusion imm\u00e9diate en une structure mentale unifi\u00e9e. En revanche, des pr\u00e9misses syntaxiquement contourn\u00e9es, satur\u00e9es de n\u00e9gations ench\u00e2ss\u00e9es ou introduisant des concepts s\u00e9mantiquement contradictoires, exigent une allocation massive de ressources attentionnelles et de m\u00e9moire vive. Si l’effort requis pour stabiliser ce premier mod\u00e8le exc\u00e8de la capacit\u00e9 du tampon mn\u00e9sique de l’individu, la phase de compr\u00e9hension \u00e9choue pr\u00e9cocement, conduisant l’agent \u00e0 abandonner le raisonnement ou \u00e0 recourir \u00e0 des heuristiques de surface superficielles d\u00e9nu\u00e9es de validit\u00e9 d\u00e9ductive.<\/p>\n Une fois le mod\u00e8le mental initial stabilis\u00e9 au sein de l’espace de travail cognitif, l’esprit passe \u00e0 la seconde \u00e9tape : la phase de description<\/em>. L’objectif fondamental de cette \u00e9tape est d’extraire du mod\u00e8le une conclusion provisoire, novatrice et hautement informative, qui n’\u00e9tait pas express\u00e9ment formul\u00e9e dans les pr\u00e9misses de d\u00e9part. Raisonner ne consiste pas \u00e0 ressasser des tautologies, mais \u00e0 \u00e9tendre nos connaissances locales par la d\u00e9couverte de relations inattendues. Le syst\u00e8me cognitif scanne la structure analogique construite et inspecte les connexions \u00e9mergentes entre les entit\u00e9s qui y sont repr\u00e9sent\u00e9es.<\/p>\n Cette extraction s’op\u00e8re selon un principe d’\u00e9conomie et de saillance relationnelle. Si les pr\u00e9misses \u00e9tablissent une relation entre une entit\u00e9 A et une entit\u00e9 B, puis entre cette m\u00eame entit\u00e9 B et une entit\u00e9 C, le mod\u00e8le int\u00e8gre A, B et C au sein d’une topologie continue. L’inspection cognitive se d\u00e9tourne alors naturellement du terme interm\u00e9diaire B \u2014 qui a jou\u00e9 son r\u00f4le de pivot s\u00e9mantique lors de la phase de synth\u00e8se \u2014 pour focaliser son attention sur la relation directe et in\u00e9dite qui lie dor\u00e9navant A \u00e0 C. L’observateur interne verbalise cette relation nouvelle sous la forme d’une conclusion putative<\/em>. Par exemple, ayant mod\u00e9lis\u00e9 le fait qu’un rectangle se situe \u00e0 gauche d’un cercle et que ce cercle se situe \u00e0 gauche d’un triangle, l’agent extrait directement la conclusion putative : \u00ab Le rectangle est \u00e0 gauche du triangle \u00bb.<\/p>\n Pour \u00eatre retenue par l’esprit, cette conclusion putative doit se conformer \u00e0 un principe pragmatique de pertinence : elle doit \u00eatre informative et r\u00e9duire l’incertitude quant \u00e0 l’\u00e9tat du monde. Le syst\u00e8me cognitif ne s’attarde pas \u00e0 \u00e9noncer des relations triviales ou r\u00e9p\u00e9titives (\u00ab Le rectangle est toujours un rectangle \u00bb). La conclusion provisoire ainsi forg\u00e9e poss\u00e8de le statut de candidate \u00e0 la v\u00e9rit\u00e9 d\u00e9ductive. N\u00e9anmoins, \u00e0 ce stade du processus, cette conclusion n’est pas encore logiquement valide au sens strict du terme : elle ne constitue pour l’instant qu’une description fid\u00e8le du premier mod\u00e8le particulier<\/em> \u00e9chafaud\u00e9 par l’esprit, sans garantie qu’elle demeure inalt\u00e9rable face \u00e0 d’autres mani\u00e8res envisageables d’interpr\u00e9ter les m\u00eames pr\u00e9misses.<\/p>\n La troisi\u00e8me et ultime \u00e9tape du processus de raisonnement d\u00e9ductif, la phase de validation<\/em>, constitue le c\u0153ur m\u00eame de la rationalit\u00e9 selon Johnson-Laird : elle consiste en une tentative d\u00e9lib\u00e9r\u00e9e de r\u00e9futation de la conclusion putative par la recherche syst\u00e9matique de contre-exemples. Une conclusion n’est logiquement n\u00e9cessaire que si, et seulement si, elle r\u00e9siste \u00e0 toutes les interpr\u00e9tations alternatives possibles des pr\u00e9misses de d\u00e9part. Pour \u00e9prouver la solidit\u00e9 de la proposition formul\u00e9e lors de l’\u00e9tape pr\u00e9c\u00e9dente, l’agent cognitif doit donc faire preuve de flexibilit\u00e9 mentale et chercher activement \u00e0 construire d’autres mod\u00e8les compatibles avec les donn\u00e9es initiales, mais au sein desquels la conclusion putative s’av\u00e8re fausse.<\/p>\n Si le syst\u00e8me cognitif parvient \u00e0 g\u00e9n\u00e9rer un mod\u00e8le alternatif satisfaisant aux pr\u00e9misses mais r\u00e9futant la conclusion provisoire, cette derni\u00e8re est imm\u00e9diatement rejet\u00e9e. L’individu se trouve alors contraint soit de modifier sa conclusion pour la rendre compatible avec l’ensemble des mod\u00e8les envisag\u00e9s \u2014 par exemple en r\u00e9trogradant son statut \u00e9pist\u00e9mique de la n\u00e9cessit\u00e9 absolue vers une simple possibilit\u00e9 logique (\u00ab Il se peut que le rectangle soit \u00e0 gauche du triangle \u00bb) \u2014, soit d’admettre qu’aucune d\u00e9duction certaine ne peut \u00eatre extraite des pr\u00e9misses. Si, au terme d’une prospection exhaustive des possibilit\u00e9s, aucun mod\u00e8le invalidant ne peut \u00eatre con\u00e7u, la conclusion putative est alors promue au rang de certitude logique n\u00e9cessaire et accept\u00e9e comme d\u00e9finitivement valide.<\/p>\n C’est pr\u00e9cis\u00e9ment dans cette phase de validation que r\u00e9side la cause majeure des erreurs humaines de raisonnement. La recherche de contre-exemples est une op\u00e9ration m\u00e9tacognitive extr\u00eamement co\u00fbteuse qui n\u00e9cessite l’inhibition du premier mod\u00e8le, l’exploration combinatoire de sc\u00e9narios non triviaux et le maintien simultan\u00e9 en m\u00e9moire de configurations incompatibles. Tr\u00e8s souvent, les individus \u00e9courtent pr\u00e9matur\u00e9ment cette phase de r\u00e9futation en raison de la fatigue cognitive, de contraintes temporelles ou d’une confiance excessive dans la plausibilit\u00e9 empirique de leur conclusion initiale. Ce m\u00e9canisme psychologique d’interruption h\u00e2tive de la recherche de contre-exemples explique de fa\u00e7on limpide pourquoi l’\u00eatre humain commet tant de sophismes tout en \u00e9tant th\u00e9oriquement pourvu d’une authentique comp\u00e9tence rationnelle.<\/p>\n L’application de la th\u00e9orie des mod\u00e8les mentaux au calcul propositionnel \u00e9l\u00e9mentaire fournit une explication \u00e9l\u00e9gante des asym\u00e9tries de difficult\u00e9 observ\u00e9es entre les diff\u00e9rents connecteurs logiques, notamment la conjonction et les disjonctions. Une proposition conjonctive de la forme \u00ab Il y a un triangle et il y a un cercle \u00bb est d’une simplicit\u00e9 cognitive maximale : elle s’incarne en un unique mod\u00e8le mental dans lequel figurent simultan\u00e9ment les deux entit\u00e9s concern\u00e9es :<\/p>\n La charge impos\u00e9e \u00e0 la m\u00e9moire de travail est minimale, ce qui explique pourquoi les inf\u00e9rences conjonctives sont trait\u00e9es avec une c\u00e9l\u00e9rit\u00e9 absolue et ne suscitent pour ainsi dire jamais d’erreur d\u00e9ductive chez les sujets sains.<\/p>\n La situation devient consid\u00e9rablement plus complexe d\u00e8s lors que l’on introduit le connecteur de disjonction, qu’il soit exclusif ou inclusif. Une disjonction exclusive de la forme \u00ab Il y a un triangle ou bien il y a un cercle (mais pas les deux) \u00bb exige d’embl\u00e9e la repr\u00e9sentation de deux alternatives mutuellement exclusives. Pour appr\u00e9hender pleinement cette assertion, l’esprit doit concevoir deux mod\u00e8les distincts :<\/p>\n La charge cognitive double instantan\u00e9ment par rapport \u00e0 la conjonction, augmentant substantiellement le temps de r\u00e9action des sujets et la probabilit\u00e9 d’un effondrement mn\u00e9sique lors de l’int\u00e9gration de pr\u00e9misses subs\u00e9quentes.<\/p>\n Le palier de difficult\u00e9 culmine avec la disjonction inclusive (\u00ab Il y a un triangle ou un cercle, ou les deux \u00bb). Une compr\u00e9hension exhaustive de cet \u00e9nonc\u00e9 impose la g\u00e9n\u00e9ration et la r\u00e9tention de trois mod\u00e8les mentaux concurrents :<\/p>\n Face \u00e0 une telle explosion combinatoire, la majorit\u00e9 des individus est incapable de maintenir activement ces trois configurations en m\u00e9moire de travail. Pour pallier cette saturation, le syst\u00e8me cognitif met en place des repr\u00e9sentations tronqu\u00e9es ou s’en remet \u00e0 une interpr\u00e9tation erron\u00e9e en r\u00e9duisant ind\u00fbment la disjonction inclusive \u00e0 une disjonction exclusive. La th\u00e9orie pr\u00e9dit avec une remarquable pr\u00e9cision math\u00e9matique que le taux d’erreur et la latence cognitive sont directement proportionnels au nombre de mod\u00e8les mentaux requis pour repr\u00e9senter chaque connecteur propositionnel.<\/p>\n L’analyse du raisonnement conditionnel (\u00ab Si P alors Q \u00bb) constitue l’un des plus grands triomphes th\u00e9oriques et empiriques de Philip Johnson-Laird et de son \u00e9quipe. Dans la logique formelle standard, le conditionnel mat\u00e9riel \u00e9quivaut \u00e0 la formule non-P ou Q, ce qui implique qu’il est vrai d\u00e8s lors que l’ant\u00e9c\u00e9dent P est faux. Les \u00e9tudes de psychologie exp\u00e9rimentale d\u00e9montrent invariablement que les \u00eatres humains ne traitent absolument pas le conditionnel de cette mani\u00e8re. Face \u00e0 la pr\u00e9misse \u00ab S’il pleut, alors le sol est mouill\u00e9 \u00bb, les individus construisent spontan\u00e9ment un mod\u00e8le explicite unique, correspondant au cas o\u00f9 l’ant\u00e9c\u00e9dent et le cons\u00e9quent sont tous deux v\u00e9rifi\u00e9s :<\/p>\n Les autres \u00e9ventualit\u00e9s logiques \u2014 celles o\u00f9 il ne pleut pas \u2014 ne sont pas repr\u00e9sent\u00e9es de mani\u00e8re d\u00e9taill\u00e9e ; elles sont stock\u00e9es sous la forme d’un \u00ab mod\u00e8le implicite \u00bb, une sorte de traceur cognitif vide, symbolis\u00e9 par des points de suspension, signalant simplement qu’il existe d’autres alternatives sans en expliciter le contenu s\u00e9mantique :<\/p>\n Cette mod\u00e9lisation bifaciale (un mod\u00e8le explicite combin\u00e9 \u00e0 des mod\u00e8les implicites) permet d’expliquer instantan\u00e9ment la disparit\u00e9 ph\u00e9nom\u00e9nale entre les deux formes classiques d’inf\u00e9rence conditionnelle : le Modus Ponens<\/em> et le Modus Tollens<\/em>. Le Modus Ponens<\/em> (\u00ab Il pleut, donc le sol est mouill\u00e9 \u00bb) est une inf\u00e9rence quasi automatique r\u00e9ussie par pratiquement cent pour cent des sujets. Pourquoi ? Parce que l’\u00e9nonc\u00e9 de la pr\u00e9misse mineure \u00ab Il pleut \u00bb s’apparie imm\u00e9diatement avec le mod\u00e8le mental explicite d\u00e9j\u00e0 disponible en m\u00e9moire ; il suffit de lire la cons\u00e9quence \u00ab le sol est mouill\u00e9 \u00bb qui y est log\u00e9e pour formuler la conclusion.<\/p>\n En revanche, le Modus Tollens<\/em> (\u00ab Le sol n’est pas mouill\u00e9, donc il ne pleut pas \u00bb) pr\u00e9sente un taux d’\u00e9chec massif chez les adultes (souvent sup\u00e9rieur \u00e0 cinquante pour cent). La th\u00e9orie des mod\u00e8les mentaux en d\u00e9voile la cause architecturale profonde : la pr\u00e9misse mineure \u00ab Le sol n’est pas mouill\u00e9 \u00bb ne trouve aucun point d’ancrage dans le mod\u00e8le explicite initial Ce n’est qu’apr\u00e8s avoir rendu pleinement explicite le Mod\u00e8le 3 que l’esprit peut constater que l’absence d’humidit\u00e9 sur le sol s’accompagne n\u00e9cessairement de l’absence de pluie. Parce que la plupart des individus ne d\u00e9ploient pas spontan\u00e9ment cet effort de d\u00e9ploiement des mod\u00e8les implicites, ils concluent erron\u00e9ment qu’\u00ab on ne peut rien d\u00e9duire \u00bb, validant ainsi les pr\u00e9dictions structurales de la th\u00e9orie de Johnson-Laird.<\/p>\n La preuve la plus spectaculaire en faveur de la th\u00e9orie des mod\u00e8les mentaux et contre les th\u00e9ories de la logique mentale a \u00e9t\u00e9 apport\u00e9e par la d\u00e9couverte empirique des inf\u00e9rences illusoires<\/em> (ou illusions d\u00e9ductives). Johnson-Laird et Fabien Savary ont con\u00e7u des probl\u00e8mes sophistiqu\u00e9s reposant sur des disjonctions exclusives de phrases m\u00e9talinguistiques pour d\u00e9montrer que le principe de v\u00e9rit\u00e9 oblige les \u00eatres humains \u00e0 commettre des erreurs massives, pr\u00e9visibles et quasi universelles, l\u00e0 o\u00f9 les mod\u00e8les formels de r\u00e8gles syntaxiques pr\u00e9disent au contraire la r\u00e9ussite ou une incertitude neutre.<\/p>\n Consid\u00e9rons l’arch\u00e9type exp\u00e9rimental suivant formul\u00e9 par Savary et Johnson-Laird :<\/p>\n Une seule des deux assertions suivantes est vraie :<\/em> Face \u00e0 ce probl\u00e8me, la quasi-totalit\u00e9 des participants (environ 90 \u00e0 95 % des adultes test\u00e9s) r\u00e9pond par l’affirmative avec une certitude absolue : \u00ab Oui, il y a un as \u00bb. La reconstruction du processus cognitif par les mod\u00e8les mentaux d\u00e9montre les raisons de cette illusion. Guid\u00e9s par le principe de v\u00e9rit\u00e9, les sujets ne repr\u00e9sentent que les cas o\u00f9 les affirmations sont vraies. Si l’assertion 1 est vraie, ils construisent le mod\u00e8le explicite Or, cette d\u00e9duction est une aberration logique totale. En effet, la consigne stipule qu’une seule<\/em> des assertions est vraie, ce qui implique que l’autre est rigoureusement fausse<\/em>. Si le roi est dans la main, l’assertion 2 (\u00ab Si le roi n’est pas dans la main, alors il y a un as \u00bb) poss\u00e8de un ant\u00e9c\u00e9dent faux. Or, dans toute logique v\u00e9rifonctionnelle, un conditionnel \u00e0 ant\u00e9c\u00e9dent faux est automatiquement vrai ! Par cons\u00e9quent, l’assertion 2 est vraie. Mais comme une seule des assertions a le droit d’\u00eatre vraie, cela exige imp\u00e9rativement que l’assertion 1 soit fausse<\/em>. Et pour que l’assertion 1 (\u00ab Si le roi est dans la main, alors il y a un as \u00bb) soit fausse, il faut rigoureusement que le roi soit dans la main et qu’il n’y ait pas d’as<\/em> ! La v\u00e9ritable r\u00e9ponse logique est donc l’exact oppos\u00e9 de l’intuition universelle : il n’y a absolument aucun as dans la main.<\/p>\n Les th\u00e9ories de la logique formelle mentale sont structurellement incapables de rendre compte de ce r\u00e9sultat. Elles postulent des r\u00e8gles d’inf\u00e9rence valides ; par cons\u00e9quent, elles peuvent expliquer les non-r\u00e9ponses par absence de r\u00e8gle, mais elles ne disposent d’aucun m\u00e9canisme th\u00e9orique capable de pr\u00e9dire une inf\u00e9rence fallacieuse syst\u00e9matique adopt\u00e9e par une \u00e9crasante majorit\u00e9 de la population. Seul le principe de v\u00e9rit\u00e9, postulant que les individus ne repr\u00e9sentent pas ce qui est faux et ignorent que la fausset\u00e9 d’un conditionnel requiert un ant\u00e9c\u00e9dent vrai coupl\u00e9 \u00e0 un cons\u00e9quent faux, offre une pr\u00e9diction computationnelle exacte de cette monumentale illusion cognitive.<\/p>\n L’exploration du raisonnement spatial au moyen de la th\u00e9orie des mod\u00e8les mentaux a permis de consolider la th\u00e8se de l’iconicit\u00e9 face aux mod\u00e8les propositionnels. Dans les t\u00e2ches d’agencement spatial, les sujets doivent int\u00e9grer une s\u00e9rie de relations de contigu\u00eft\u00e9 ou d’orientation relatives pour d\u00e9duire la position d’objets au sein d’un continuum unidimensionnel (lin\u00e9aire) ou bidimensionnel (matriciel). Par exemple, soit l’\u00e9nonc\u00e9 suivant : \u00ab La cuill\u00e8re est \u00e0 gauche du couteau ; l’assiette est \u00e0 droite du couteau ; la fourchette est \u00e0 gauche de la cuill\u00e8re \u00bb. Le syst\u00e8me cognitif ne maintient pas ces donn\u00e9es sous forme d’une liste verbale, mais les spatialise au sein d’une ligne mentale ordonn\u00e9e :<\/p>\n Toutefois, la complexit\u00e9 du raisonnement spatial s’accro\u00eet vertigineusement lorsque les pr\u00e9misses introduisent des relations ind\u00e9termin\u00e9es conduisant \u00e0 la ramification de mod\u00e8les concurrents. Si l’on \u00e9nonce que \u00ab La tasse est \u00e0 droite du verre ; l’assiette est \u00e0 gauche de la carafe ; le verre est \u00e0 gauche de l’assiette \u00bb, la position relative de la tasse par rapport \u00e0 l’assiette demeure ind\u00e9termin\u00e9e. Pour traiter rigoureusement cette situation, l’esprit est contraint de g\u00e9n\u00e9rer au moins deux mod\u00e8les spatiaux distincts :<\/p>\n L’\u00e9mergence de ces mod\u00e8les divergents surcharge dramatiquement la m\u00e9moire de travail visuo-spatiale. Les exp\u00e9riences men\u00e9es par Markus Knauff et Johnson-Laird ont r\u00e9v\u00e9l\u00e9 que les temps de r\u00e9solution s’allongent consid\u00e9rablement et que les taux d’erreurs explosent d\u00e8s lors qu’un probl\u00e8me spatial exige plus d’un mod\u00e8le pour \u00eatre r\u00e9solu. De surcro\u00eet, la nature des axes spatiaux mobilis\u00e9s influence directement le co\u00fbt computationnel : la gestion des dimensions relatives centr\u00e9es sur l’observateur (comme gauche\/droite) s’av\u00e8re cognitivement bien plus exigeante que la manipulation des dimensions absolues ou asym\u00e9triques stables (comme au-dessus\/en-dessous ou devant\/derri\u00e8re), en raison de la n\u00e9cessit\u00e9 constante de recalculer les coordonn\u00e9es projectives lors de la manipulation du mod\u00e8le.<\/p>\n Le raisonnement sur le temps et la causalit\u00e9 ob\u00e9it \u00e0 des m\u00e9canismes profond\u00e9ment analogues \u00e0 ceux du raisonnement spatial, mais il y adjoint une dimension dynamique que Johnson-Laird et ses coll\u00e8gues d\u00e9signent sous le terme de \u00ab cin\u00e9matique mentale \u00bb. L’esprit humain traite le d\u00e9roulement des \u00e9v\u00e9nements temporels en les disposant le long d’un axe lin\u00e9aire orient\u00e9, g\u00e9n\u00e9ralement de la gauche vers la droite dans les cultures de lecture l\u00e9vogyre. Les relations d’ant\u00e9riorit\u00e9 (\u00ab l’\u00e9v\u00e9nement A s’est produit avant l’\u00e9v\u00e9nement B \u00bb) et de post\u00e9riorit\u00e9 sont cartographi\u00e9es sous la forme de s\u00e9quences vectorielles internes ordonn\u00e9es.<\/p>\n Cependant, la mod\u00e9lisation cognitive doit \u00eatre capable de distinguer formellement une simple cons\u00e9cution chronologique d’un lien de d\u00e9pendance causale v\u00e9ritable. La th\u00e9orie des mod\u00e8les mentaux rend compte de cette nuance par l’adjonction de marqueurs de n\u00e9cessit\u00e9 physique dans les structures s\u00e9mantiques. Lorsqu’un individu appr\u00e9hende la pr\u00e9misse \u00ab La foudre a caus\u00e9 l’incendie \u00bb, il ne se contente pas de repr\u00e9senter un mod\u00e8le temporel o\u00f9 l’\u00e9clair pr\u00e9c\u00e8de le feu ; il g\u00e9n\u00e8re un syst\u00e8me de mod\u00e8les repr\u00e9sentant des mondes contrefactuels :<\/p>\n La gestion des relations d’intervalles temporels complexes \u2014 telles que formalis\u00e9es par le logicien James Allen (recouvrement partiel, inclusion, simultan\u00e9it\u00e9 stricte, jonction imm\u00e9diate) \u2014 impose une cin\u00e9matique mentale o\u00f9 les mod\u00e8les ne sont plus des instantan\u00e9s statiques, mais des animations cognitives internes. Lorsqu’une phrase stipule que \u00ab Le m\u00e9decin est entr\u00e9 pendant que l’infirmi\u00e8re pr\u00e9parait le traitement mais avant que le patient ne perde connaissance \u00bb, l’architecture cognitive doit ajuster dynamiquement les segments temporels respectifs de chaque \u00e9v\u00e9nement au sein d’une bande temporelle unifi\u00e9e. D\u00e8s que la trame narrative introduit des bifurcations ou des temporalit\u00e9s non lin\u00e9aires (comme des r\u00e9trospectives ou des futurs conditionnels imbriqu\u00e9s), l’inflation du nombre de mod\u00e8les concurrents entra\u00eene une d\u00e9gradation rapide de la pr\u00e9cision d\u00e9ductive.<\/p>\n L’un des succ\u00e8s pr\u00e9dictifs les plus solides de la th\u00e9orie des mod\u00e8les mentaux r\u00e9side dans la corr\u00e9lation math\u00e9matique directe et syst\u00e9matique entre la complexit\u00e9 computationnelle<\/em> d’un probl\u00e8me \u2014 mesur\u00e9e par le nombre de mod\u00e8les mentaux ind\u00e9pendants n\u00e9cessaires \u00e0 sa r\u00e9solution exhaustive \u2014 et les indicateurs chronom\u00e9triques et psychom\u00e9triques de la performance humaine. Contrairement aux th\u00e9ories de la logique mentale, pour lesquelles la difficult\u00e9 d’un probl\u00e8me est dict\u00e9e par la longueur de la cha\u00eene d\u00e9ductive formelle (le nombre d’\u00e9tapes de d\u00e9rivation syntaxique n\u00e9cessaires \u00e0 la d\u00e9monstration), la th\u00e9orie de Johnson-Laird soutient que la variable pr\u00e9dictive souveraine est le nombre de mondes possibles qui doivent \u00eatre inspect\u00e9s simultan\u00e9ment.<\/p>\n Le tableau psychom\u00e9trique r\u00e9current issu de centaines d’exp\u00e9rimentations spatiales, temporelles et propositionnelles r\u00e9v\u00e8le une structure invariante : Lorsque le nombre de mod\u00e8les mentaux concurrents exc\u00e8de la capacit\u00e9 volum\u00e9trique du tampon de la m\u00e9moire de travail (qui n’exc\u00e8de gu\u00e8re trois ou quatre structures de donn\u00e9es complexes chez la moyenne des individus), le syst\u00e8me cognitif humain met en place des strat\u00e9gies d’urgence pour \u00e9viter la sid\u00e9ration mentale. Il recourt \u00e0 des heuristiques de r\u00e9duction<\/em> : Le raisonnement syllogistique, formalis\u00e9 pour la premi\u00e8re fois par Aristote dans les Premiers Analytiques<\/em>, a constitu\u00e9 pendant des d\u00e9cennies le terrain d’exp\u00e9rimentation privil\u00e9gi\u00e9 des psychologues de la cognition. Une \u00e9nigme persistait : pourquoi certains syllogismes formellement valides sont-ils r\u00e9solus sans effort par presque tous les individus, tandis que d’autres m\u00e8nent quasi syst\u00e9matiquement \u00e0 l’erreur ? Johnson-Laird et son collaborateur Bruno Bara ont apport\u00e9 une r\u00e9ponse r\u00e9volutionnaire en appliquant la th\u00e9orie des mod\u00e8les mentaux \u00e0 la quantification universelle et existentielle, postulant que les individus ne manipulent pas des r\u00e8gles alg\u00e9briques de pr\u00e9dicats mais instancient des tokens<\/em> (jetons repr\u00e9sentationnels) d’individus concrets au sein d’un univers miniature.<\/p>\n Consid\u00e9rons les quatre quantificateurs aristot\u00e9liciens fondamentaux et leur traduction cognitive en tokens au sein d’un mod\u00e8le mental :<\/p>\n Cette approche par instanciation de tokens met en lumi\u00e8re l’asym\u00e9trie profonde de traitement entre les quantificateurs. La quantification universelle (\u00ab Tous \u00bb) contraint strictement la structure du mod\u00e8le et facilite la fermeture informationnelle, tandis que la quantification existentielle (\u00ab Certains \u00bb) g\u00e9n\u00e8re une ind\u00e9termination structurelle majeure qui contraint le raisonneur \u00e0 envisager de multiples d\u00e9clinaisons possibles de sous-ensembles, \u00e9levant consid\u00e9rablement le co\u00fbt attentionnel de la t\u00e2che d\u00e9ductive.<\/p>\n L’un des accomplissements les plus remarquables de la th\u00e9orie des mod\u00e8les mentaux r\u00e9side dans son explication unifi\u00e9e des effets de figure<\/em> dans la syllogistique. Les psychologues savaient depuis longtemps que la disposition syntaxique des termes dans les pr\u00e9misses influence drastiquement la forme de la conclusion produite par les sujets, un ph\u00e9nom\u00e8ne qu’aucune logique formelle neutre ne peut concevoir. Consid\u00e9rons deux figures syllogistiques classiques :<\/p>\n Figure 1 :<\/strong> A \u2013 B, B \u2013 C Dans la Figure 1, la quasi-totalit\u00e9 des participants produit spontan\u00e9ment une conclusion formul\u00e9e dans l’orientation directionnelle \u00ab A \u2013 C \u00bb (\u00ab Tous les athl\u00e8tes sont des acrobates \u00bb), et presque personne n’\u00e9nonce \u00ab Tous les acrobates sont des athl\u00e8tes \u00bb. Dans la Figure 2, la majorit\u00e9 privil\u00e9gie l’orientation inverse \u00ab C \u2013 A \u00bb. Johnson-Laird d\u00e9montre que cet effet d\u00e9coule directement de l’ordre cin\u00e9tique de construction du mod\u00e8le mental dans la m\u00e9moire de travail :<\/p>\n Dans la Figure 1, l’esprit commence par instancier des tokens de A associ\u00e9s \u00e0 des tokens de B ( \u00c0 l’inverse, dans la Figure 2, la premi\u00e8re pr\u00e9misse instancie Cette analyse a permis de d\u00e9monter l’ancienne hypoth\u00e8se de l’\u00ab effet d’atmosph\u00e8re \u00bb avanc\u00e9e par Woodworth et Sells. L’effet d’atmosph\u00e8re postulait que les sujets se laissaient simplement contaminer par la tonalit\u00e9 linguistique globale des pr\u00e9misses (par exemple, la pr\u00e9sence de n\u00e9gations ou de quantificateurs particuliers) selon un automatisme superficiel. Johnson-Laird a prouv\u00e9 que ce que l’on prenait pour un biais linguistique passif \u00e9tait en r\u00e9alit\u00e9 la cons\u00e9quence active et structurelle des dynamiques d’int\u00e9gration de mod\u00e8les spatio-analogiques au sein de la m\u00e9moire de travail.<\/p>\n La th\u00e9orie des mod\u00e8les mentaux appliqu\u00e9e aux syllogismes s’oppose tout autant au calcul des pr\u00e9dicats du premier ordre de Gottlob Frege qu’aux m\u00e9thodes diagrammatiques traditionnelles, \u00e0 l’instar des cercles d’Euler ou des diagrammes de Venn. Dans le calcul des pr\u00e9dicats, raisonner sur une universelle exige d’introduire des variables universelles ($\\forall x$<\/span>) et de r\u00e9aliser des d\u00e9rivations par instanciation universelle, modus ponens, puis g\u00e9n\u00e9ralisation universelle. Outre sa lourdeur algorithmique r\u00e9dhibitoire pour un cerveau biologique, cette m\u00e9canique formelle ne dispose d’aucun m\u00e9canisme interne pour expliquer les immenses disparit\u00e9s de performance entre individus dot\u00e9s de capacit\u00e9s mn\u00e9siques in\u00e9gales.<\/p>\n D’un autre c\u00f4t\u00e9, les diagrammes d’Euler<\/a> \u2014 qui repr\u00e9sentent les classes sous la forme de surfaces g\u00e9om\u00e9triques ferm\u00e9es s’incluant ou s’excluant mutuellement \u2014 semblent plus proches de la psychologie humaine en vertu de leur caract\u00e8re visuel. N\u00e9anmoins, Johnson-Laird a d\u00e9montr\u00e9 les limites structurales r\u00e9dhibitoires des cercles d’Euler en tant que th\u00e9orie cognitive du raisonnement : La th\u00e9orie des mod\u00e8les mentaux surmonte cette contradiction gr\u00e2ce \u00e0 la flexibilit\u00e9 et \u00e0 l’\u00e9conomie de son encodage en tokens discrets. Plut\u00f4t que de contraindre le syst\u00e8me \u00e0 tracer mentalement des cercles complets pourvus de fronti\u00e8res continues, l’esprit humain se contente d’aligner un nombre infime d’instances individuelles (deux ou trois tokens suffisent g\u00e9n\u00e9ralement \u00e0 repr\u00e9senter une infinit\u00e9 d’\u00e9l\u00e9ments d’une cat\u00e9gorie). Cette granularit\u00e9 discr\u00e8te et parcimonieuse permet une plasticit\u00e9 repr\u00e9sentationnelle bien sup\u00e9rieure \u00e0 celle de n’importe quel diagramme topologique rigide. La manipulation de ces tokens symboliques-analogiques permet au mod\u00e8le mental de moduler les identit\u00e9s, d’isoler des contre-exemples d’un simple d\u00e9placement d’\u00e9l\u00e9ment, et d’expliquer les variations interindividuelles de comp\u00e9tence par la variabilit\u00e9 de l’empan de la m\u00e9moire de travail spatio-temporelle.<\/p>\n Dans la continuit\u00e9 de ses travaux sur la d\u00e9duction pure, Philip Johnson-Laird s’est attach\u00e9 \u00e0 \u00e9tendre son paradigme au vaste domaine du raisonnement probabiliste, jetant les bases d’une th\u00e9orie alternative aux approches computationnelles de l’heuristique et aux mod\u00e8les bay\u00e9siens purs. La th\u00e9orie des mod\u00e8les mentaux postule que les individus n’\u00e9valuent pas les probabilit\u00e9s en appliquant le calcul formel de Kolmogorov ou le th\u00e9or\u00e8me de Bayes, mais en s’appuyant sur un principe d’\u00e9conomie s\u00e9mantique : le principe d’\u00e9quivalence d’occurrences<\/em> (ou principe d’\u00e9quiprobabilit\u00e9 des mod\u00e8les).<\/p>\n Selon cette approche, face \u00e0 une situation incertaine, l’esprit humain construit un ensemble de mod\u00e8les mentaux discrets repr\u00e9sentant chacun une possibilit\u00e9 envisageable compatible avec les faits connus. Par d\u00e9faut, et en l’absence d’informations num\u00e9riques explicites contraires, le syst\u00e8me cognitif attribue \u00e0 chaque mod\u00e8le distinct une probabilit\u00e9 subjective d’occurrence strictement \u00e9gale. D\u00e8s lors, l’\u00e9valuation de la probabilit\u00e9 d’un \u00e9v\u00e9nement cible ne proc\u00e8de pas d’un calcul diff\u00e9rentiel ou d’une int\u00e9gration d’\u00e9quations : elle se r\u00e9duit \u00e0 une simple op\u00e9ration arithm\u00e9tique \u00e9l\u00e9mentaire de d\u00e9nombrement : le sujet compte le nombre de mod\u00e8les mentaux dans lesquels l’\u00e9v\u00e9nement survient et le rapporte au nombre total de mod\u00e8les mentaux actifs en m\u00e9moire de travail.<\/p>\n Ce traitement intuitif, qualitatif et discret \u00e9claire de fa\u00e7on in\u00e9dite les paradoxes c\u00e9l\u00e8bres de la litt\u00e9rature sur les biais de jugement, \u00e0 commencer par le mythique probl\u00e8me de Linda document\u00e9 par Amos Tversky et Daniel Kahneman (le \u00ab biais de conjonction \u00bb). Face au profil de Linda (femme instruite, c\u00e9libataire, profond\u00e9ment engag\u00e9e contre les discriminations), la majorit\u00e9 des personnes estime qu’il est plus probable que \u00ab Linda soit une employ\u00e9e de banque militante f\u00e9ministe \u00bb plut\u00f4t que simplement \u00ab Linda soit une employ\u00e9e de banque \u00bb. L\u00e0 o\u00f9 le cognitivisme standard invoque une vague \u00ab heuristique de repr\u00e9sentativit\u00e9 \u00bb, la th\u00e9orie des mod\u00e8les mentaux montre que la description s\u00e9mantique tr\u00e8s typ\u00e9e bloque l’\u00e9mergence du mod\u00e8le neutre \u00ab Linda est employ\u00e9e de banque non f\u00e9ministe \u00bb. L’individu n’ayant construit qu’un seul mod\u00e8le mental pr\u00e9gnant \u2014 celui de Linda f\u00e9ministe et bancaire \u2014, il \u00e9value la probabilit\u00e9 sur la base de cet unique \u00e9tat de choses disponible, ignorant l’inclusion ensembliste purement formelle et commettant d\u00e8s lors une violation flagrante des lois du calcul des probabilit\u00e9s.<\/p>\n Le raisonnement humain ne s’exerce jamais dans un vide s\u00e9mantique ou \u00e9motionnel ; il est perp\u00e9tuellement sous la tutelle de notre syst\u00e8me de connaissances et de convictions pr\u00e9alables sur le monde. Ce ph\u00e9nom\u00e8ne se manifeste sous sa forme la plus spectaculaire dans le biais de croyance<\/em> (Belief Bias<\/em>), o\u00f9 la propension d’un sujet \u00e0 accepter la validit\u00e9 formelle d’un argument n’est pas d\u00e9termin\u00e9e par la rigueur logique de l’encha\u00eenement de ses pr\u00e9misses, mais par la concordance de sa conclusion finale avec ses croyances ant\u00e9rieures (si la conclusion para\u00eet empiriquement vraie ou d\u00e9sirable, l’argument est jug\u00e9 valide, m\u00eame s’il s’agit d’un pur sophisme).<\/p>\n La th\u00e9orie des mod\u00e8les mentaux formalise le biais de croyance \u00e0 travers une modulation directe de la phase de validation d\u00e9ductive. Lorsqu’un syllogisme ou un encha\u00eenement propositionnel g\u00e9n\u00e8re un mod\u00e8le initial dont la conclusion putative concorde harmonieusement avec la vision du monde du sujet, cette r\u00e9sonance cognitive positive d\u00e9clenche un m\u00e9canisme m\u00e9tacognitif de satisfaction imm\u00e9diate. L’esprit interrompt pr\u00e9matur\u00e9ment le cycle computationnel : pourquoi d\u00e9ployer des efforts cognitifs co\u00fbteux pour invalider une conclusion que l’on sait d\u00e9j\u00e0 \u00eatre vraie ? La recherche de contre-exemples est tout simplement court-circuit\u00e9e, conduisant \u00e0 une acceptation aveugle d’arguments structurellement invalides.<\/p>\n \u00c0 l’inverse, lorsque la conclusion putative du mod\u00e8le initial choque frontalement les croyances ant\u00e9rieures de l’individu, le signal de dissonance cognitive d\u00e9clenche une mobilisation massive des ressources attentionnelles et de la m\u00e9moire de travail. Le sujet se lance alors dans une traque acharn\u00e9e de contre-exemples, explorant avec une minutie exceptionnelle chaque alternative de mod\u00e9lisation susceptible de faire choir la proposition h\u00e9r\u00e9tique. La th\u00e9orie de Johnson-Laird met ainsi en exergue le compromis permanent entre la validit\u00e9 logique formelle et la plausibilit\u00e9 empirique : l’esprit humain utilise ses croyances pr\u00e9alables comme un r\u00e9gulateur heuristique pour d\u00e9terminer le moment exact o\u00f9 il convient d’arr\u00eater ou de poursuivre l’inspection critique de ses mod\u00e8les mentaux internes.<\/p>\n L’un des perfectionnements th\u00e9oriques les plus d\u00e9terminants apport\u00e9s par Johnson-Laird et Ruth Byrne au cours des deux derni\u00e8res d\u00e9cennies est la formalisation du concept de modulation s\u00e9mantique et pragmatique<\/em>. Ce concept permet d’expliquer comment la signification des mots, le contexte situationnel et les savoirs culturels partag\u00e9s peuvent modifier en profondeur la construction des mod\u00e8les mentaux, au point d’alt\u00e9rer la table de v\u00e9rit\u00e9 logique standard associ\u00e9e \u00e0 un connecteur propositionnel.<\/p>\n Dans un syst\u00e8me de logique formelle rigide, un connecteur tel que le conditionnel poss\u00e8de une signification v\u00e9rifonctionnelle univoque et universelle. Dans l’architecture cognitive des mod\u00e8les mentaux, la signification de base d’un connecteur ne constitue qu’un canevas par d\u00e9faut. Le contenu s\u00e9mantique des propositions et les connaissances encyclop\u00e9diques de l’agent viennent imm\u00e9diatement \u00ab moduler \u00bb ce canevas : Consid\u00e9rons l’exemple embl\u00e9matique suivant : De surcro\u00eet, la modulation pragmatique int\u00e8gre avec aisance les r\u00e8gles de communication humaine d\u00e9crites par Paul Grice, telles que le principe de coop\u00e9ration et les implicatures conversationnelles. Lorsque quelqu’un annonce \u00ab Tu peux manger une pomme ou une poire \u00bb, la modulation pragmatique bloque automatiquement la troisi\u00e8me possibilit\u00e9 de la disjonction inclusive (manger les deux fruits), non pas en vertu d’une analyse syntaxique formelle, mais par l’inf\u00e9rence contextuelle que si l’h\u00f4te avait souhait\u00e9 autoriser la consommation des deux fruits, il aurait utilis\u00e9 une formule conjointe. Loin d’\u00eatre un calcul aveugle, le raisonnement par mod\u00e8les mentaux s’av\u00e8re \u00eatre une \u00e9cologie cognitive dynamique o\u00f9 la linguistique, la s\u00e9mantique et le contexte socio-pragmatique mod\u00e8lent en temps r\u00e9el les repr\u00e9sentations du pensable.<\/p>\n L’histoire de la psychologie contemporaine de la d\u00e9duction a \u00e9t\u00e9 rythm\u00e9e par un d\u00e9bat paradigmatique d’une intensit\u00e9 rare, opposant les partisans de la s\u00e9mantique cognitive analogique (conduits par Philip Johnson-Laird) aux d\u00e9fenseurs de la th\u00e9orie des r\u00e8gles d’inf\u00e9rence<\/em> ou logique mentale (incarn\u00e9e principalement par Lance Rips avec son syst\u00e8me computationnel PSYCOP<\/em>, et par Martin Braine et David O’Brien). Au c\u0153ur de cette confrontation \u00e9pist\u00e9mologique se dresse une interrogation fondamentale : l’esprit humain est-il fondamentalement syntaxique<\/em> ou fondamentalement s\u00e9mantique<\/em> ?<\/p>\n Pour les tenants de la logique mentale, la d\u00e9duction consiste en l’extraction de formes d’arguments abstraites d\u00e9pouill\u00e9es de leur contenu, soumises ensuite \u00e0 un r\u00e9pertoire inn\u00e9 de r\u00e8gles d’inf\u00e9rence universelles assimilables \u00e0 celles de la d\u00e9duction naturelle de Gerhard Gentzen. Dans cette optique formelle, la source des difficult\u00e9s cognitives r\u00e9side exclusivement dans la longueur de la cha\u00eene de d\u00e9monstration<\/em> : plus un probl\u00e8me exige l’application cons\u00e9cutive d’un nombre \u00e9lev\u00e9 de r\u00e8gles syntaxiques interm\u00e9diaires, plus le temps de calcul augmente et plus le risque d’oublier un pas de preuve est important.<\/p>\n Johnson-Laird a m\u00e9ticuleusement sap\u00e9 cette posture en apportant des preuves exp\u00e9rimentales dirimantes. En premier lieu, la th\u00e9orie des mod\u00e8les mentaux a d\u00e9montr\u00e9 que deux probl\u00e8mes requ\u00e9rant exactement le m\u00eame nombre d’\u00e9tapes de d\u00e9rivation syntaxique dans le syst\u00e8me de r\u00e8gles formelles affichent des taux de difficult\u00e9 radicalement divergents chez les \u00eatres humains d\u00e8s lors que l’un implique un seul mod\u00e8le mental tandis que l’autre en mobilise plusieurs. En second lieu, comme d\u00e9velopp\u00e9 pr\u00e9c\u00e9demment, les th\u00e9ories des r\u00e8gles formelles sont ontologiquement incapables de rendre compte naturellement du ph\u00e9nom\u00e8ne massif des inf\u00e9rences illusoires : si l’esprit humain fonctionne au moyen de r\u00e8gles formelles d’inf\u00e9rence rigoureusement valides, comment pourrait-il g\u00e9n\u00e9rer spontan\u00e9ment, massivement et avec une certitude absolue des conclusions qui constituent des violations cat\u00e9goriques de toute logique \u00e9l\u00e9mentaire ? Pour expliquer ce ph\u00e9nom\u00e8ne dans le cadre formaliste, il faudrait postuler l’existence de r\u00e8gles formelles de sophisme, une contradiction absolue avec les postulats fondateurs de la logique mentale.<\/p>\n Le d\u00e9veloppement fulgurant des th\u00e9ories du double processus<\/a> (dual-process theories<\/em>) \u2014 popularis\u00e9es dans les sciences contemporaines par Jonathan Evans, Keith Stanovich et Daniel Kahneman sous les labels de Syst\u00e8me 1<\/em> (intuitif, heuristique, rapide, automatis\u00e9) et de Syst\u00e8me 2<\/em> (analytique, d\u00e9lib\u00e9ratif, lent, exigeant en m\u00e9moire de travail) \u2014 a trouv\u00e9 dans la th\u00e9orie des mod\u00e8les mentaux une incarnation fonctionnelle et computationnelle exceptionnellement pr\u00e9cise.<\/p>\n L’architecture de Johnson-Laird s’aligne avec une clart\u00e9 remarquable sur cette dualit\u00e9 fonctionnelle : \u00c0 l’inverse, l’intervention du Syst\u00e8me 2 s’identifie pr\u00e9cis\u00e9ment \u00e0 la phase de validation critique<\/em> : elle r\u00e9side dans la d\u00e9cision m\u00e9tacognitive de ne pas se contenter du mod\u00e8le initial, d’inhiber la conclusion putative, de d\u00e9ployer les mod\u00e8les implicites enfouis, et de se lancer dans la recherche it\u00e9rative et syst\u00e9matique de contre-exemples au sein d’univers hypoth\u00e9tiques alternatifs. Ce processus de d\u00e9lib\u00e9ration analytique est intrins\u00e8quement lent, \u00e9nergivore et born\u00e9 par la m\u00e9moire de travail op\u00e9ratoire. La th\u00e9orie des mod\u00e8les mentaux offre ainsi aux th\u00e9ories du double processus ce qui leur manquait souvent : une description concr\u00e8te, m\u00e9canique et algorithmique des repr\u00e9sentations et des op\u00e9rations cognitives qui s’ex\u00e9cutent sp\u00e9cifiquement \u00e0 l’int\u00e9rieur de chacun des deux syst\u00e8mes de pens\u00e9e.<\/p>\n Si la querelle historique contre la logique formelle syntaxique a tourn\u00e9 \u00e0 l’avantage des mod\u00e8les mentaux, un nouveau front paradigmatique d’envergure s’est ouvert \u00e0 la fin des ann\u00e9es 1990 avec l’essor du paradigme dit du \u00ab nouveau regard probabiliste \u00bb<\/em> (New Paradigm Psychology of Reasoning<\/em>), port\u00e9 avec virulence par des th\u00e9oriciens comme Mike Oaksford et Nick Chater. Cette approche s’oppose radicalement \u00e0 toute conception d\u00e9ductive de la pens\u00e9e humaine, qu’elle soit fond\u00e9e sur la logique mentale ou sur les mod\u00e8les mentaux. Pour Oaksford et Chater, la rationalit\u00e9 humaine ne vise pas la certitude d\u00e9ductive dans un monde clos de pr\u00e9misses rigides : l’esprit est un moteur probabiliste bay\u00e9sien dont la fonction adaptative est d’optimiser l’action dans un univers environnemental fondamentalement incertain, incomplet et ouvert.<\/p>\n Dans le paradigme bay\u00e9sien, les connecteurs comme le conditionnel ne sont plus interpr\u00e9t\u00e9s comme des mod\u00e9lisations de mondes possibles v\u00e9rifonctionnels, mais comme des probabilit\u00e9s conditionnelles subjectives : affirmer \u00ab Si P alors Q \u00bb revient simplement \u00e0 assigner une forte probabilit\u00e9 conditionnelle $P(Q|P)$<\/span>. Les auteurs bay\u00e9siens soutiennent que les \u00e9checs des sujets humains dans des t\u00e2ches comme celle de Wason ne constituent en rien des biais ou des faiblesses architecturales, mais l’application optimale d’un calcul de mise \u00e0 jour d’incertitudes fond\u00e9 sur l’hypoth\u00e8se de raret\u00e9 de l’information dans l’environnement naturel.<\/p>\n Philip Johnson-Laird et son coll\u00e8gue Sangeet Khemlani ont vigoureusement r\u00e9pliqu\u00e9 \u00e0 l’offensive bay\u00e9sienne. Tout en reconnaissant la pertinence des probabilit\u00e9s pour l’action pratique, ils ont soulign\u00e9 les apories r\u00e9dhibitoires de la th\u00e8se du \u00ab tout-bay\u00e9sien \u00bb : L’av\u00e8nement des techniques modernes de neuro-imagerie fonctionnelle (IRMf, TEP) au tournant du vingt-et-uni\u00e8me si\u00e8cle a fourni un banc d’essai crucial pour d\u00e9partager les mod\u00e8les th\u00e9oriques rivaux du raisonnement humain. Si la pens\u00e9e d\u00e9ductive repose sur une logique mentale formelle de nature syntaxique, les \u00e9tudes en imagerie devraient r\u00e9v\u00e9ler un recrutement pr\u00e9dominant et exclusif des aires corticales d\u00e9volues au traitement linguistique formel, principalement concentr\u00e9es dans l’h\u00e9misph\u00e8re gauche autour de l’aire de Broca (gyrus frontal inf\u00e9rieur) et de l’aire de Wernicke. En revanche, si la th\u00e9orie des mod\u00e8les mentaux est exacte, le raisonnement devrait solliciter prioritairement un r\u00e9seau distribu\u00e9 de structures c\u00e9r\u00e9brales impliqu\u00e9es dans la repr\u00e9sentation spatio-temporelle, la manipulation visuo-spatiale et la simulation de sc\u00e8nes analogiques.<\/p>\n Les m\u00e9ta-analyses des donn\u00e9es neurofonctionnelles, men\u00e9es notamment par Vinod Goel, Markus Knauff et J\u00e9r\u00f4me Prado, ont tranch\u00e9 ce d\u00e9bat de fa\u00e7on \u00e9clatante en confirmant l’engagement massif et syst\u00e9matique d’un vaste r\u00e9seau fronto-pari\u00e9tal bilat\u00e9ral<\/em> lors de l’ex\u00e9cution de t\u00e2ches d\u00e9ductives :<\/p>\n Ces donn\u00e9es neurobiologiques d\u00e9montrent de fa\u00e7on indiscutable que la d\u00e9duction humaine ne se cantonne pas \u00e0 une paraphrase linguistique interne, mais op\u00e8re une v\u00e9ritable projection des pr\u00e9misses textuelles dans des r\u00e9seaux neuro-anatomiques initialement s\u00e9lectionn\u00e9s par l’\u00e9volution pour la navigation spatiale et la cartographie physique de l’environnement.<\/p>\n L’observation neurofonctionnelle fine du d\u00e9cours temporel du raisonnement a r\u00e9v\u00e9l\u00e9 une fascinante dissociation h\u00e9misph\u00e9rique dynamique<\/em> au cours de l’acte d\u00e9ductif. Les travaux pionniers de Vinod Goel ont mis en \u00e9vidence que les deux h\u00e9misph\u00e8res c\u00e9r\u00e9braux coop\u00e8rent au sein d’une division du travail cognitif parfaitement superposable aux \u00e9tapes algorithmiques postul\u00e9es par la th\u00e9orie des mod\u00e8les mentaux.<\/p>\n Durant la phase initiale d’\u00e9coute ou de lecture des pr\u00e9misses (phase de compr\u00e9hension), l’activit\u00e9 neuronale pr\u00e9domine tr\u00e8s nettement dans l’h\u00e9misph\u00e8re gauche, mobilisant les r\u00e9seaux temporaux et frontaux inf\u00e9rieurs linguistiques pour d\u00e9coder la syntaxe et extraire la s\u00e9mantique de base des \u00e9nonc\u00e9s. Mais d\u00e8s que le sujet entre dans la phase de r\u00e9solution d\u00e9ductive et d’extraction de la conclusion putative, un basculement neurodynamique spectaculaire s’op\u00e8re : l’activation migre de mani\u00e8re significative vers les r\u00e9seaux pari\u00e9taux et frontaux de l’h\u00e9misph\u00e8re droit. Ce transfert h\u00e9misph\u00e9rique refl\u00e8te neurobiologiquement l’abandon du format propositionnel de surface au profit de la construction d’un mod\u00e8le mental iconique globalis\u00e9, l’h\u00e9misph\u00e8re droit \u00e9tant r\u00e9put\u00e9 pour sa sp\u00e9cialisation dans l’int\u00e9gration holistique, visuo-spatiale et relationnelle des sc\u00e8nes analogiques.<\/p>\n De surcro\u00eet, les enregistrements \u00e9lectrophysiologiques \u00e0 haute r\u00e9solution temporelle par potentiels \u00e9voqu\u00e9s (ERP) ont permis d’isoler des signatures temporelles distinctes. L’encodage propositionnel s’accompagne d’ondes N400 (li\u00e9es au traitement de la s\u00e9mantique linguistique), tandis que l’op\u00e9ration de recherche de contre-exemples et de d\u00e9tection des contradictions dans les mod\u00e8les mentaux multiples d\u00e9clenche des ondes P600 ou des n\u00e9gativit\u00e9s frontales tardives caract\u00e9ristiques d’une r\u00e9organisation structurelle de l’espace de travail conscient, corroborant la r\u00e9alit\u00e9 chronologique des trois phases du raisonnement d\u00e9crites par Johnson-Laird.<\/p>\n Les donn\u00e9es issues de la neuropsychologie clinique et de l’\u00e9tude des patients souffrant de l\u00e9sions c\u00e9r\u00e9brales focales ont apport\u00e9 des confirmations d\u00e9cisives \u00e0 l’architecture de la th\u00e9orie des mod\u00e8les mentaux, en mat\u00e9rialisant des dissociations pathologiques frappantes entre langage syntaxique et comp\u00e9tence logique analogique.<\/p>\n D’un c\u00f4t\u00e9, les observations men\u00e9es aupr\u00e8s de patients atteints de l\u00e9sions pari\u00e9tales post\u00e9rieures<\/em> \u2014 en particulier de l’h\u00e9misph\u00e8re droit \u2014 r\u00e9v\u00e8lent un d\u00e9ficit s\u00e9lectif et dramatique du raisonnement d\u00e9ductif relationnel et spatial. Ces individus sont parfaitement capables de comprendre les phrases individuellement, de r\u00e9p\u00e9ter la syntaxe des pr\u00e9misses sans la moindre alt\u00e9ration aphasique et de v\u00e9rifier la coh\u00e9rence grammaticale des \u00e9nonc\u00e9s. N\u00e9anmoins, d\u00e8s qu’il leur est demand\u00e9 d’inf\u00e9rer une conclusion novatrice n\u00e9cessitant la mise en relation spatiale de plusieurs entit\u00e9s, leur performance s’effondre totalement : incapables de structurer un espace mental analogique, ils ne parviennent pas \u00e0 g\u00e9n\u00e9rer le mod\u00e8le unifi\u00e9 n\u00e9cessaire \u00e0 la d\u00e9duction.<\/p>\n D’un autre c\u00f4t\u00e9, le tableau inverse est tout aussi probant : des patients souffrant d’aphasies s\u00e9v\u00e8res<\/em> cons\u00e9cutives \u00e0 des l\u00e9sions massives de l’h\u00e9misph\u00e8re gauche (touchant les aires p\u00e9ri-sylviennes du langage), bien qu’incapables d’articuler un discours complexe ou d’analyser des arborescences grammaticales formelles \u00e9labor\u00e9es, conservent pour nombre d’entre eux des capacit\u00e9s d’inf\u00e9rence logique spatiales, visuelles et cat\u00e9gorielles parfaitement intactes d\u00e8s lors que les t\u00e2ches leur sont pr\u00e9sent\u00e9es sous une modalit\u00e9 iconique, non verbale ou simplifi\u00e9e. Cette double dissociation d\u00e9molit l’axiome central des th\u00e9ories logicistes qui liait indissolublement la rationalit\u00e9 d\u00e9ductive \u00e0 l’int\u00e9grit\u00e9 de la grammaire formelle interne, prouvant empiriquement l’autonomie neuro-computationnelle de la simulation s\u00e9mantique incarn\u00e9e par les mod\u00e8les mentaux.<\/p>\n L’un des gages de maturit\u00e9 \u00e9pist\u00e9mologique les plus \u00e9clatants pour une th\u00e9orie cognitive r\u00e9side dans sa capacit\u00e9 \u00e0 se traduire sous la forme d’un programme informatique pleinement fonctionnel, capable de simuler point par point les comportements humains observ\u00e9s sur le terrain exp\u00e9rimental. Cet objectif a \u00e9t\u00e9 magistralement concr\u00e9tis\u00e9 par Philip Johnson-Laird et son collaborateur Sangeet Khemlani<\/a> \u00e0 travers le d\u00e9veloppement du syst\u00e8me mReasoner<\/em>. Ce programme constitue l’impl\u00e9mentation algorithmique unifi\u00e9e de la th\u00e9orie des mod\u00e8les mentaux, int\u00e9grant au sein d’une m\u00eame architecture computationnelle le traitement du raisonnement propositionnel, des quantificateurs aristot\u00e9liciens et des jugements de probabilit\u00e9 subjectifs.<\/p>\n L’algorithme de mReasoner<\/em> fonctionne de mani\u00e8re s\u00e9quentielle et modulaire :<\/p>\n La puissance de mReasoner<\/em> ne se limite pas \u00e0 produire des r\u00e9ponses qualitatives correctes ou erron\u00e9es : elle r\u00e9side dans sa capacit\u00e9 \u00e0 fournir des pr\u00e9dictions quantitatives d’une pr\u00e9cision millim\u00e9trique, valid\u00e9es par comparaison statistique directe avec les banques de donn\u00e9es psychom\u00e9triques mondiales compilant des dizaines de milliers d’essais exp\u00e9rimentaux. Le syst\u00e8me est capable de reproduire la distribution exacte des taux d’erreurs syst\u00e9matiques commises par les populations humaines dans les 64 formes distinctes du syllogisme aristot\u00e9licien et dans les combinaisons les plus perverses d’inf\u00e9rences illusoires.<\/p>\n De surcro\u00eet, le programme mod\u00e9lise avec une fid\u00e9lit\u00e9 math\u00e9matique remarquable les dur\u00e9es des temps de r\u00e9action (latences de r\u00e9ponse) des participants humains. Dans l’architecture algorithmique de mReasoner<\/em>, chaque micro-op\u00e9ration cognitive \u2014 instancier un token d’individu, joindre une relation analogique, expliciter un mod\u00e8le implicite, scanner un \u00e9tat de choses, r\u00e9arranger un ensemble pour tester un contre-exemple \u2014 se voit assigner un co\u00fbt de cycle computationnel discret. En sommant ces op\u00e9rations virtuelles pour un probl\u00e8me d\u00e9ductif donn\u00e9, le logiciel pr\u00e9dit la dur\u00e9e relative que mettra un \u00eatre humain pour r\u00e9soudre la t\u00e2che. Les confrontations \u00e9conom\u00e9triques confirment une corr\u00e9lation extr\u00eamement \u00e9lev\u00e9e entre les latences simul\u00e9es par l’ordinateur et les chronom\u00e9trages r\u00e9els enregistr\u00e9s en laboratoire, prouvant que la th\u00e9orie des mod\u00e8les mentaux ne se contente pas de d\u00e9crire les repr\u00e9sentations finales de l’esprit, mais mod\u00e9lise authentiquement l’\u00e9cologie temporelle des processus mentaux sous-jacents.<\/p>\n \u00c0 l’\u00e8re contemporaine domin\u00e9e par l’av\u00e8nement fulgurant des grands mod\u00e8les de langage (Large Language Models<\/em> ou LLM) fond\u00e9s sur l’architecture Transformer<\/em> et les r\u00e9seaux de neurones profonds, la th\u00e9orie des mod\u00e8les mentaux se trouve au centre d’une dialectique th\u00e9orique d’une actualit\u00e9 br\u00fblante dans le champ de l’intelligence artificielle<\/a>. Les LLM contemporains, \u00e0 l’instar des mod\u00e8les de pointe actuels, sont des moteurs statistiques formidables op\u00e9rant sur des repr\u00e9sentations vectorielles d’occurrences textuelles (tokens d’incorporation<\/em>) sans disposer de la moindre iconicit\u00e9 structurale analogique interne : ils ne construisent aucun mod\u00e8le du monde au sens craikien ou lairdien du terme.<\/p>\n Cette absence d’ancrage analogique structural explique avec une limpidit\u00e9 d\u00e9sarmante les faiblesses persistantes de ces intelligences artificielles modernes, en premier lieu leurs spectaculaires \u00ab hallucinations d\u00e9ductives \u00bb et leur incapacit\u00e9 chronique \u00e0 maintenir une coh\u00e9rence logique rigoureuse lors de probl\u00e8mes de transitivit\u00e9 spatiale ou temporelle complexe \u00e0 plusieurs embranchements. Tout comme l’\u00eatre humain captif de son principe de v\u00e9rit\u00e9, les transformeurs g\u00e9n\u00e8rent du texte sur la base de plausibilit\u00e9s superficielles et de corr\u00e9lations de surface, sans pouvoir inspecter une simulation spatio-relationnelle stable pour en v\u00e9rifier la validit\u00e9 ontologique.<\/p>\n De nombreux sp\u00e9cialistes de l’intelligence artificielle cognitive sugg\u00e8rent aujourd’hui que la prochaine grande r\u00e9volution de l’IA consistera pr\u00e9cis\u00e9ment \u00e0 hybrider les architectures de r\u00e9seaux de neurones profonds avec des moteurs computationnels de mod\u00e8les mentaux inspir\u00e9s de mReasoner<\/em>. En dotant les futurs syst\u00e8mes artificiels d’un espace de travail s\u00e9mantique analogique d\u00e9di\u00e9 \u2014 capable de simuler explicitement des mondes possibles, de tester syst\u00e9matiquement des contre-exemples avant d’\u00e9mettre une assertion, et de s\u00e9parer les \u00e9tats de v\u00e9rit\u00e9 des contraintes discursives \u2014, les ing\u00e9nieurs pourraient enfin conf\u00e9rer aux machines une authentique capacit\u00e9 de raisonnement abductif et d\u00e9ductif robuste, immunis\u00e9e contre les d\u00e9rives hallucinatoires.<\/p>\n Loin de s’enfermer dans une abstraction de laboratoire, la th\u00e9orie des mod\u00e8les mentaux d\u00e9ploie des retomb\u00e9es pratiques consid\u00e9rables, notamment dans le domaine de la p\u00e9dagogie, de la didactique des sciences et du d\u00e9veloppement de la pens\u00e9e critique. En r\u00e9v\u00e9lant que les \u00e9cueils d\u00e9ductifs des \u00e9l\u00e8ves ne r\u00e9sultent pas d’une absence cong\u00e9nitale de \u00ab logique \u00bb, mais d’une incapacit\u00e9 structurelle \u00e0 g\u00e9rer la surcharge de mod\u00e8les mentaux multiples et d’une f\u00e2cheuse tendance \u00e0 interrompre la d\u00e9lib\u00e9ration d\u00e8s le mod\u00e8le initial, Johnson-Laird offre aux p\u00e9dagogues un puissant levier d’action.<\/p>\n Dans l’enseignement des math\u00e9matiques, de la physique et de la programmation informatique, la didactique moderne inspir\u00e9e des mod\u00e8les mentaux pr\u00e9conise de substituer \u00e0 l’apprentissage aveugle de formules syntaxiques formelles la construction d\u00e9lib\u00e9r\u00e9e d’analogies structurales spatialis\u00e9es :<\/p>\n Dans les environnements industriels \u00e0 haut risque \u2014 tels que le pilotage de l’aviation civile, la surveillance de r\u00e9acteurs nucl\u00e9aires ou la gestion de syst\u00e8mes militaires automatis\u00e9s \u2014, les conclusions de la th\u00e9orie des mod\u00e8les mentaux sont devenues incontournables pour l’ergonomie cognitive et la s\u00fbret\u00e9 de fonctionnement. L’histoire des catastrophes technologiques est jalonn\u00e9e de drames caus\u00e9s non par des pannes mat\u00e9rielles, mais par des ruptures catastrophiques d’ad\u00e9quation entre le mod\u00e8le mental spontan\u00e9ment \u00e9chafaud\u00e9 par l’op\u00e9rateur humain et l’\u00e9tat physique r\u00e9el du syst\u00e8me supervis\u00e9.<\/p>\n Les concepteurs d’interfaces homme-machine doivent imp\u00e9rativement int\u00e9grer les contraintes du principe de v\u00e9rit\u00e9 et les dangers des inf\u00e9rences illusoires :<\/p>\n En rendant directement visibles et spatialement explicites les \u00e9tats de d\u00e9faillance, les chemins de redondance et les hypoth\u00e8ses contradictoires sans obliger l’op\u00e9rateur \u00e0 d\u00e9ployer mentalement des cascades de mod\u00e8les implicites impossibles \u00e0 maintenir sous stress intense, l’ing\u00e9nierie cognitive garantit un alignement structural permanent entre l’esprit humain et l’artefact technique.<\/p>\n L’exercice du diagnostic m\u00e9dical constitue un arch\u00e9type vivant de raisonnement d\u00e9ductif et probabiliste op\u00e9r\u00e9 sous contrainte temporelle s\u00e9v\u00e8re et face \u00e0 un bruit informationnel massif. L’application de la th\u00e9orie de Johnson-Laird \u00e0 l’erreur m\u00e9dicale a permis d’\u00e9clairer sous un jour nouveau la gen\u00e8se des erreurs de diagnostic diff\u00e9rentiel commises tant par les internes en formation que par des praticiens chevronn\u00e9s.<\/p>\n L’\u00e9cueil pr\u00e9pond\u00e9rant r\u00e9side dans le verrouillage pr\u00e9matur\u00e9 sur un mod\u00e8le mental unique : La formalisation computationnelle par mod\u00e8les mentaux a ainsi impuls\u00e9 la refonte des syst\u00e8mes experts et des arbres d’aide \u00e0 la d\u00e9cision clinique. En structurant les algorithmes d’orientation diagnostique de mani\u00e8re \u00e0 forcer activement la comparaison simultan\u00e9e de mod\u00e8les alternatifs orthogonaux et \u00e0 afficher explicitement les contre-indications n\u00e9gatives, la m\u00e9decine moderne s’arme d’un puissant garde-fou contre les angles morts inh\u00e9rents \u00e0 la cognition s\u00e9mantique humaine.<\/p>\n En d\u00e9pit de son immense succ\u00e8s empirique et de sa puissance explicative, la th\u00e9orie des mod\u00e8les mentaux a suscit\u00e9, tout au long de son d\u00e9veloppement, de vives objections \u00e9pist\u00e9mologiques et m\u00e9thodologiques de la part de logiciens, de philosophes de l’esprit et de psychologues computationnels rivaux. La critique la plus r\u00e9currente concerne la question fondamentale de la falsifiabilit\u00e9<\/em> (au sens popp\u00e9rien) de la th\u00e9orie, aliment\u00e9e par son extr\u00eame plasticit\u00e9 explicative.<\/p>\n Ses d\u00e9tracteurs \u2014 \u00e0 l’instar de John Rips ou Guy Politzer \u2014 ont parfois argu\u00e9 que le concept de mod\u00e8le mental est devenu si polyvalent et mall\u00e9able qu’il risque de tout expliquer a posteriori<\/em> sans jamais s’exposer \u00e0 une r\u00e9futation cat\u00e9gorique. Face \u00e0 une d\u00e9viation inattendue du comportement des sujets humains, la th\u00e9orie peut en effet invoquer \u00e0 discr\u00e9tion la modulation s\u00e9mantique, l’oubli stochastique en m\u00e9moire de travail, l’omission d’un mod\u00e8le implicite ou l’interruption inopin\u00e9e de la recherche de contre-exemples, rendant le noyau dur de la th\u00e9orie particuli\u00e8rement difficile \u00e0 isoler exp\u00e9rimentalement.<\/p>\n Une seconde objection d’ordre philosophique majeure touche au probl\u00e8me r\u00e9current de l’argument de l’homoncule<\/em> et \u00e0 la r\u00e9gression \u00e0 l’infini dans le m\u00e9canisme d’inspection du mod\u00e8le. Si l’esprit r\u00e9sout un probl\u00e8me d\u00e9ductif en \u00ab inspectant \u00bb un arrangement spatial ou relationnel interne au sein de son atelier mental, qui est l’entit\u00e9 cognitive qui \u00ab regarde \u00bb et \u00ab interpr\u00e8te \u00bb ce mod\u00e8le mental ? Faut-il postuler un sous-syst\u00e8me interpr\u00e9tatif interne dou\u00e9 d’intelligence (un homoncule cognitif), et si oui, ce sous-syst\u00e8me ne doit-il pas lui-m\u00eame faire appel \u00e0 des r\u00e8gles logiques formelles pour d\u00e9coder le sens de ce qu’il observe ? Bien que Johnson-Laird ait r\u00e9pondu \u00e0 cette critique par l’impl\u00e9mentation d’algorithmes informatiques d\u00e9nu\u00e9s de toute subjectivit\u00e9 magique comme mReasoner<\/em>, la question de la nature exacte du code repr\u00e9sentationnel mental \u2014 est-il fondamentalement perceptif-analogique ou ultimement calculable sous une forme discr\u00e8te sous-jacente ? \u2014 demeure un sujet de controverses conceptuelles passionn\u00e9es dans les sciences cognitives de l’esprit.<\/p>\n L’un des d\u00e9fis les plus redoutables pos\u00e9s \u00e0 la th\u00e9orie des mod\u00e8les mentaux r\u00e9side dans sa capacit\u00e9 \u00e0 traiter des \u00e9nonc\u00e9s d\u00e9pourvus de tout r\u00e9f\u00e9rent perceptuel, spatial ou physique direct. Si l’iconicit\u00e9 structurale et la spatialisation s’appliquent avec un naturel d\u00e9sarmant aux objets mat\u00e9riels, aux temporalit\u00e9s narratives et aux grandeurs mesurables, comment une architecture analogique peut-elle mod\u00e9liser des concepts m\u00e9tamath\u00e9matiques ou des entit\u00e9s m\u00e9taphysiques d’une abstraction absolue ?<\/p>\n Consid\u00e9rons des propositions telles que : \u00ab L’ontologie pr\u00e9c\u00e8de n\u00e9cessairement toute ph\u00e9nom\u00e9nologie transcendantale \u00bb, ou des th\u00e9or\u00e8mes logiques portant sur des infinis non d\u00e9nombrables. L’esprit ne peut instancier aucun \u00ab token \u00bb tangible d’individu ni aucune topologie visuelle cr\u00e9dible pour spatialiser de telles abstractions pures. Face \u00e0 ce type d’\u00e9nonc\u00e9s, la notion m\u00eame d’analogie structurale devient \u00e9vanescente, for\u00e7ant la th\u00e9orie \u00e0 admettre la pr\u00e9sence d’annotations symboliques abstraites, de balises logiques et d’op\u00e9rateurs formels tellement complexes qu’ils finissent par ressembler \u00e0 s’y m\u00e9prendre aux formules propositionnelles que le paradigme des mod\u00e8les mentaux entendait initialement abolir.<\/p>\n De surcro\u00eet, la th\u00e9orisation de la n\u00e9gation universelle et des paradoxes auto-r\u00e9f\u00e9rentiels (tels que le paradoxe du menteur : \u00ab Cette phrase est fausse \u00bb) pose des d\u00e9fis redoutables \u00e0 l’architecture analogique : Loin d’\u00eatre fig\u00e9e dans ses postulats historiques, la th\u00e9orie des mod\u00e8les mentaux continue aujourd’hui de se d\u00e9ployer vers des territoires scientifiques inexplor\u00e9s et extraordinairement prometteurs. L’un des d\u00e9veloppements contemporains les plus fascinants concerne son extension \u00e0 la compr\u00e9hension de la cr\u00e9ativit\u00e9 humaine<\/em> et \u00e0 la pens\u00e9e contrefactuelle<\/em>. Dans cette optique, l’\u00e9tincelle cr\u00e9ative n’est pas un saut irrationnel mystique, mais la capacit\u00e9 exceptionnelle d’un individu \u00e0 briser d\u00e9lib\u00e9r\u00e9ment les contraintes d’un mod\u00e8le par d\u00e9faut pour explorer des configurations s\u00e9mantiques aberrantes, r\u00e9v\u00e9lant des connexions analogiques masqu\u00e9es aux yeux du sens commun.<\/p>\n Un autre axe de recherche majeur explore les interactions profondes entre les mod\u00e8les mentaux et la r\u00e9solution de dilemmes moraux<\/em>. Face \u00e0 des sc\u00e9narios tragiques (comme le c\u00e9l\u00e8bre dilemme du tramway), les d\u00e9lib\u00e9rations \u00e9thiques d\u00e9ontologiques ou utilitaristes d\u00e9pendent visc\u00e9ralement du nombre de mod\u00e8les mentaux de victimes potentielles que l’agent est capable de simuler affectivement. Les travaux les plus r\u00e9cents int\u00e8grent le r\u00f4le direct des \u00e9motions et des affects<\/em> dans l’architecture : l’angoisse, le d\u00e9go\u00fbt ou la peur exercent une force gravitationnelle cognitive qui verrouille l’esprit sur un mod\u00e8le unique terrifiant, interrompant instantan\u00e9ment la recherche de contre-exemples salutaires et pr\u00e9cipitant l’action sous l’emprise d’un r\u00e9flexe d’\u00e9vitement archa\u00efque.<\/p>\n Enfin, la convergence en cours entre les neurosciences computationnelles de pointe, la psychologie cognitive exp\u00e9rimentale et la philosophie de la s\u00e9mantique formelle laisse entrevoir l’\u00e9mergence d’une th\u00e9orie unifi\u00e9e de la conscience r\u00e9flexive. Dans cette perspective grandiose pr\u00e9figur\u00e9e par Kenneth Craik et magistralement b\u00e2tie par Philip Johnson-Laird, la rationalit\u00e9 humaine cesse d’\u00eatre vue comme l’ex\u00e9cution froide d’un code algorithmique impersonnel. Elle s’impose pour ce qu’elle est v\u00e9ritablement : une formidable odyss\u00e9e imaginative, un th\u00e9\u00e2tre int\u00e9rieur o\u00f9 l’esprit passe son existence \u00e0 b\u00e2tir, \u00e9prouver et d\u00e9truire de petites maquettes du monde, cherchant inlassablement dans les reflets de ces miroirs internes la lueur vacillante mais indomptable de la v\u00e9rit\u00e9.<\/p>\n1. Fondements historiques et \u00e9pist\u00e9mologiques de la th\u00e9orie des mod\u00e8les mentaux<\/h2>\n
1.1 Origines conceptuelles : de Kenneth Craik \u00e0 Philip Johnson-Laird<\/h3>\n
1.2 Le rejet du paradigme logiciste et des r\u00e8gles formelles<\/h3>\n
1.3 D\u00e9finition paradigmatique et principes fondateurs du mod\u00e8le mental<\/h3>\n
2. L’architecture cognitive des mod\u00e8les mentaux selon Johnson-Laird<\/h2>\n
2.1 Le principe d’iconicit\u00e9 et d’analogie structurale<\/h3>\n
Gauche(A, B)<\/code> et Gauche(B, C)<\/code>. Il g\u00e9n\u00e8re plut\u00f4t un agencement structural spatialis\u00e9 unifi\u00e9 au sein duquel l’entit\u00e9 A, l’entit\u00e9 B et l’entit\u00e9 C occupent des positions relatives directes : [A B C].<\/p>\n2.2 Le principe de v\u00e9rit\u00e9 (Principle of Truth)<\/h3>\n
\nd’une part, les mod\u00e8les mentaux ne repr\u00e9sentent que les possibilit\u00e9s<\/em> r\u00e9elles qui peuvent advenir conform\u00e9ment aux assertions \u00e9nonc\u00e9es dans les pr\u00e9misses, en \u00e9liminant imm\u00e9diatement de l’espace de travail conscient les configurations impossibles ;
\nd’autre part, au sein de chaque mod\u00e8le mental repr\u00e9sentant une possibilit\u00e9 donn\u00e9e, les individus ne repr\u00e9sentent que les clauses \u00e9l\u00e9mentaires qui sont vraies<\/em> dans cette possibilit\u00e9, en omettant de repr\u00e9senter explicitement les clauses qui sont fausses. Ce m\u00e9canisme d’occultation syst\u00e9matique de la n\u00e9gation et de la fausset\u00e9 est quasi inconscient et op\u00e8re par d\u00e9faut afin de maintenir le nombre total de tokens d’information manipulables en m\u00e9moire dans la fourchette restreinte identifi\u00e9e par George Miller ou Nelson Cowan.<\/p>\n2.3 Repr\u00e9sentations propositionnelles versus mod\u00e8les mentaux<\/h3>\n
3. Les trois \u00e9tapes fondamentales du processus de raisonnement d\u00e9ductif<\/h2>\n
3.1 La phase de compr\u00e9hension et de construction du mod\u00e8le initial<\/h3>\n
3.2 La phase de description et d’extraction de la conclusion putative<\/h3>\n
3.3 La phase de validation et la recherche de contre-exemples<\/h3>\n
4. Le raisonnement propositionnel et le traitement des connecteurs logiques<\/h2>\n
4.1 L’analyse des conjonctions et des disjonctions<\/h3>\n
[triangle cercle]<\/code><\/p>\nMod\u00e8le 1 : [triangle]<\/code>
\nMod\u00e8le 2 : [cercle]<\/code><\/p>\nMod\u00e8le 1 : [triangle]<\/code>
\nMod\u00e8le 2 : [cercle]<\/code>
\nMod\u00e8le 3 : [triangle cercle]<\/code><\/p>\n4.2 Le probl\u00e8me du conditionnel et les mod\u00e8les implicites<\/h3>\n
[pluie mouill\u00e9]<\/code><\/p>\n[pluie mouill\u00e9]<\/code>
\n...<\/code><\/p>\n[pluie mouill\u00e9]<\/code>. Pour r\u00e9ussir l’inf\u00e9rence, le sujet est contraint d’effectuer un travail cognitif co\u00fbteux : il doit expliciter les mod\u00e8les implicites en d\u00e9voilant les alternatives n\u00e9gatives cach\u00e9es :<\/p>\nMod\u00e8le 1 : [pluie mouill\u00e9]<\/code>
\nMod\u00e8le 2 : [non-pluie mouill\u00e9]<\/code>
\nMod\u00e8le 3 : [non-pluie non-mouill\u00e9]<\/code><\/p>\n4.3 Les inf\u00e9rences illusoires (Illusory Inferences)<\/h3>\n
\n1. Si le roi est dans la main, alors il y a un as.
\n2. Si le roi n’est pas dans la main, alors il y a un as.
\nPr\u00e9misse additionnelle : Le roi est dans la main.<\/em>
\nQuestion : Y a-t-il un as dans la main ?<\/em><\/p>\n[roi as]<\/code>. Si l’assertion 2 est vraie, ils construisent le mod\u00e8le [non-roi as]<\/code>. Sachant que le roi est pr\u00e9sent, ils s\u00e9lectionnent le premier mod\u00e8le et en extraient la pr\u00e9sence in\u00e9luctable de l’as.<\/p>\n5. Le raisonnement spatial, temporel et relationnel<\/h2>\n
5.1 L’organisation spatiale unidimensionnelle et bidimensionnelle<\/h3>\n
[fourchette cuill\u00e8re couteau assiette]<\/code><\/p>\nMod\u00e8le 1 : [verre tasse assiette carafe]<\/code>
\nMod\u00e8le 2 : [verre assiette tasse carafe]<\/code>
\nMod\u00e8le 3 : [verre assiette carafe tasse]<\/code><\/p>\n5.2 La cin\u00e9matique temporelle et les relations causales<\/h3>\n
Possibilit\u00e9 1 (r\u00e9elle) : [foudre incendie]<\/code>
\nPossibilit\u00e9 2 (contrefactuelle) : [non-foudre non-incendie]<\/code>
\nTout mod\u00e8le associant la pr\u00e9sence de la foudre \u00e0 l’absence d’incendie (en pr\u00e9sence de mat\u00e9riaux inflammables) est explicitement verrouill\u00e9 comme impossible.<\/p>\n5.3 Complexit\u00e9 computationnelle et nombre de mod\u00e8les concurrents<\/h3>\n
\nles probl\u00e8mes \u00e0 mod\u00e8le unique<\/em> (d\u00e9termin\u00e9s) pr\u00e9sentent un taux de r\u00e9ussite quasi parfait (souvent sup\u00e9rieur \u00e0 85-90 %) et des temps de r\u00e9ponse tr\u00e8s courts.
\nLes probl\u00e8mes \u00e0 mod\u00e8les multiples<\/em> (ind\u00e9termin\u00e9s mais logiquement d\u00e9cidables) subissent une chute spectaculaire des taux de r\u00e9solution, tombant fr\u00e9quemment sous la barre des 40 \u00e0 50 %, accompagn\u00e9e d’une augmentation lin\u00e9aire ou quadratique des temps de latence.<\/p>\n
\nd’une part, l’abandon arbitraire des branches de possibilit\u00e9s les plus difficiles d’acc\u00e8s (entra\u00eenant des d\u00e9ductions incompl\u00e8tes ou partiales) ;
\nd’autre part, la condensation d’\u00e9tats spatiaux ou relationnels multiples sous la forme d’un \u00ab mod\u00e8le composite g\u00e9n\u00e9rique \u00bb enrichi d’\u00e9tiquettes symboliques abstraites (annotations). Ces compromis adaptatifs permettent certes de pr\u00e9server l’\u00e9conomie cognitive de l’agent, mais au d\u00e9triment in\u00e9vitable de l’imperm\u00e9abilit\u00e9 logique de ses conclusions.<\/p>\n6. Le raisonnement syllogistique et quantifi\u00e9<\/h2>\n
6.1 Repr\u00e9sentation mentale des quantificateurs aristot\u00e9liciens<\/h3>\n
\n
\n [a] = [b]<\/code>
\n [a] = [b]<\/code>
\n (b)<\/code>
\n Les crochets indiquent que l’ensemble des \u00e9l\u00e9ments de la cat\u00e9gorie A est totalement repr\u00e9sent\u00e9 (\u00e9puis\u00e9), tandis que la pr\u00e9sence optionnelle d’un b<\/code> entre parenth\u00e8ses rappelle qu’il peut exister d’autres individus de la classe B qui ne sont pas des A.<\/li>\n
\n [a]<\/code>
\n [a]<\/code>
\n [b]<\/code>
\n [b]<\/code>
\n Une barri\u00e8re relationnelle cognitive est \u00e9rig\u00e9e pour interdire tout appariement direct entre les tokens de A et les tokens de B.<\/li>\n
\n a = b<\/code>
\n (a)<\/code>
\n (b)<\/code><\/li>\n
\n a<\/code>
\n (a)<\/code>
\n [b]<\/code><\/li>\n<\/ul>\n6.2 Les effets de figure et les erreurs syst\u00e9matiques<\/h3>\n
\n(ex. : Tous les athl\u00e8tes sont des danseurs ; tous les danseurs sont des acrobates)
\nFigure 2 :<\/strong> B \u2013 A, C \u2013 B
\n(ex. : Tous les danseurs sont des athl\u00e8tes ; tous les acrobates sont des danseurs)<\/p>\n[a] = [b]<\/code>). Lorsque la seconde pr\u00e9misse arrive (\u00ab Tous les B sont des C \u00bb), elle est imm\u00e9diatement branch\u00e9e sur les tokens B d\u00e9j\u00e0 actifs, produisant la cha\u00eene int\u00e9gr\u00e9e continue :
\n[a] = [b] = [c]<\/code>
\nLors de l’inspection de la structure analogique, la m\u00e9moire balaie le mod\u00e8le dans le sens de son \u00e9criture chronologique, de l’entit\u00e9 de d\u00e9part A vers la cible terminale C, imposant organiquement la conclusion \u00ab A \u2013 C \u00bb.<\/p>\n[b] = [a]<\/code>. La seconde pr\u00e9misse ([c] = [b]<\/code>) ne peut pas s’y greffer directement de fa\u00e7on lin\u00e9aire : elle exige un r\u00e9arrangement cognitif pr\u00e9alable pour placer C \u00e0 l’origine de la cha\u00eene ([c] = [b] = [a]<\/code>). L’inspection du mod\u00e8le r\u00e9ordonn\u00e9 conduit cette fois naturellement \u00e0 lire la conclusion dans le sens \u00ab C \u2013 A \u00bb.<\/p>\n6.3 Comparaison avec la logique formelle des pr\u00e9dicats et les cercles d’Euler<\/h3>\n
\npour repr\u00e9senter exhaustivement un probl\u00e8me syllogistique ind\u00e9termin\u00e9 complexe, un individu recourant aux cercles d’Euler devrait dessiner simultan\u00e9ment sur sa \u00ab toile mentale \u00bb une multitude de configurations spatiales imbriqu\u00e9es, provoquant une surcharge topologique impossible \u00e0 g\u00e9rer.<\/p>\n7. Raisonnement probabiliste et pragmatique dans le cadre des mod\u00e8les mentaux<\/h2>\n
7.1 L’\u00e9valuation probabiliste par le principe d’\u00e9quivalence d’occurrences<\/h3>\n
7.2 L’impact des croyances pr\u00e9alables : le biais de croyance (Belief Bias)<\/h3>\n
7.3 La modulation s\u00e9mantique et pragmatique<\/h3>\n
\nils peuvent bloquer la construction de certaines possibilit\u00e9s logiques qui s’av\u00e8rent empiriquement impossibles dans le monde r\u00e9el,
\nou forcer l’explicitation imm\u00e9diate de mod\u00e8les qui seraient normalement demeur\u00e9s implicites.<\/p>\n
\n\u00ab S’il a couru un marathon, alors il est \u00e9puis\u00e9 \u00bb.
\nLes connaissances encyclop\u00e9diques sur l’effort physique bloquent imm\u00e9diatement la construction du mod\u00e8le contrefactuel th\u00e9orique [couru un marathon non-\u00e9puis\u00e9]<\/code>.
\nConsid\u00e9rons d\u00e9sormais ce conditionnel en apparence similaire sur le plan syntaxique :
\n\u00ab S’il est all\u00e9 \u00e0 Paris, alors il a visit\u00e9 le Louvre \u00bb.
\nIci, aucune impossibilit\u00e9 physique n’interdit d’aller \u00e0 Paris sans visiter ce mus\u00e9e particulier. Le mod\u00e8le [Paris non-Louvre]<\/code> n’est donc pas bloqu\u00e9 par la modulation s\u00e9mantique.<\/p>\n8. Confrontations paradigmatiques : mod\u00e8les mentaux, logique mentale et th\u00e9ories du double processus<\/h2>\n
8.1 La controverse majeure avec les th\u00e9ories des r\u00e8gles d’inf\u00e9rence (Rips, Braine)<\/h3>\n
8.2 Articulation avec les th\u00e9ories du double syst\u00e8me (Syst\u00e8me 1 et Syst\u00e8me 2)<\/h3>\n
\nle fonctionnement du Syst\u00e8me 1 correspond rigoureusement \u00e0 la phase de compr\u00e9hension imm\u00e9diate et \u00e0 l’\u00e9licitation automatique du mod\u00e8le mental initial<\/em>. Ce mod\u00e8le par d\u00e9faut est g\u00e9n\u00e9r\u00e9 quasi instantan\u00e9ment, sans effort conscient ni charge mn\u00e9sique majeure, en respectant aveugl\u00e9ment le principe de v\u00e9rit\u00e9 et en s’abreuvant aux sources des st\u00e9r\u00e9otypes, des croyances et des heuristiques disponibles.
\nSi le syst\u00e8me s’arr\u00eate \u00e0 cette premi\u00e8re \u00e9tape \u2014 ce qui est le lot commun de la vie cognitive ordinaire \u2014, l’agent agit sous l’emprise des intuitions heuristiques du Syst\u00e8me 1.<\/p>\n8.3 L’approche probabiliste bay\u00e9sienne (Oaksford et Chater) en tant que rivale contemporaine<\/h3>\n
\nd’une part, les \u00eatres humains raisonnent quotidiennement avec une efficacit\u00e9 incontestable sur des concepts cat\u00e9goriques non probabilistes (comme l’impossibilit\u00e9 logique ou la n\u00e9cessit\u00e9 structurelle d’une r\u00e8gle) ;
\nd’autre part, attribuer \u00e0 l’esprit humain des calculs d’int\u00e9grations num\u00e9riques de distributions de probabilit\u00e9s continues soul\u00e8ve un probl\u00e8me insurmontable d’invraisemblance psychologique et neuronale. Pour Johnson-Laird, les jugements de probabilit\u00e9 subjectifs ne constituent pas le socle premier de la cognition humaine : ils ne sont que des extrapolations secondaires et qualitatives fond\u00e9es sur l’\u00e9num\u00e9ration discr\u00e8te de mod\u00e8les mentaux d’occurrences possibles, r\u00e9affirmant ainsi la primaut\u00e9 cognitive de la s\u00e9mantique modale sur le calcul probabiliste statistique pur.<\/p>\n9. Substrats neurobiologiques et imagerie c\u00e9r\u00e9brale du raisonnement par mod\u00e8les<\/h2>\n
9.1 La cartographie des r\u00e9seaux fronto-pari\u00e9taux<\/h3>\n
\n
9.2 Dissociation h\u00e9misph\u00e9rique : traitement linguistique versus analogique<\/h3>\n
9.3 Apports de la neuropsychologie et de l’\u00e9tude des patients c\u00e9r\u00e9brol\u00e9s\u00e9s<\/h3>\n
10. Formalisation computationnelle et intelligence artificielle : le programme mReasoner<\/h2>\n
10.1 L’architecture algorithmique du syst\u00e8me mReasoner<\/h3>\n
\n
10.2 Simulation quantitative des performances humaines et des latences<\/h3>\n
10.3 Limites des mod\u00e8les mentaux face aux architectures neuronales modernes (LLM)<\/h3>\n
11. Applications empiriques et implications pratiques de la th\u00e9orie<\/h2>\n
11.1 P\u00e9dagogie et d\u00e9veloppement de la pens\u00e9e critique<\/h3>\n
\n
11.2 Ergonomie cognitive, s\u00fbret\u00e9 de fonctionnement et design d’interfaces<\/h3>\n
\n
11.3 Raisonnement m\u00e9dical et aide au diagnostic clinique<\/h3>\n
\nface \u00e0 un tableau symptomatique initial \u00e9vocateur, le praticien construit imm\u00e9diatement une simulation mentale d’une pathologie prototype. Cette construction satisfait la phase de compr\u00e9hension et engendre une conclusion putative s\u00e9duisante.
\nLe pi\u00e8ge intervient lors de la phase de validation : sous la pression du temps et la fatigue mn\u00e9sique, le m\u00e9decin omet d’expliciter les mod\u00e8les mentaux de maladies concurrentes mais moins pr\u00e9valentes qui partagent le m\u00eame ensemble symptomatique initial. De surcro\u00eet, le principe de v\u00e9rit\u00e9 le pousse inconsciemment \u00e0 surpond\u00e9rer les signes cliniques confirmatoires pr\u00e9sents (les clauses vraies) et \u00e0 n\u00e9gliger tragiquement l’absence de certains sympt\u00f4mes cardinaux qui auraient pourtant constitu\u00e9 le contre-exemple fatal \u00e0 son hypoth\u00e8se de d\u00e9part.<\/p>\n12. \u00c9valuations critiques, d\u00e9bats contemporains et perspectives futures<\/h2>\n
12.1 Les objections \u00e9pist\u00e9mologiques et m\u00e9thodologiques<\/h3>\n
12.2 Le d\u00e9fi de l’int\u00e9gration des concepts hautement abstraits<\/h3>\n
\ncomment construire le mod\u00e8le mental d’un pur \u00ab vide \u00bb ou de l’inapplicabilit\u00e9 logique m\u00eame du concept d’\u00e9tat de choses ?
\nLa conciliation th\u00e9orique entre l’intuition analogique s\u00e9mantique et la formalisation logico-math\u00e9matique rigoureuse n\u00e9cessaire aux raisonnements hautement d\u00e9contextualis\u00e9s de la science moderne demeure un chantier th\u00e9orique inachev\u00e9.<\/p>\n12.3 Nouveaux horizons de recherche et prolongements th\u00e9oriques<\/h3>\n
R\u00e9f\u00e9rences<\/h2>\n
\n