Théorie des modèles mentaux du raisonnement – Philip Johnson-Laird

La question de savoir comment l’esprit humain parvient à déduire des conclusions valides à partir de prémisses données constitue l’une des énigmes les plus profondes et les plus disputées de la philosophie, de la logique et de la psychologie cognitive. Pendant des siècles, la pensée occidentale a vécu sous l’hégémonie du paradigme logiciste, postulant que la rationalité humaine repose sur un ensemble de règles formelles intériorisées, sorte de calcul des propositions ou des prédicats inscrit dans la structure même de l’intellect. Dans cette perspective, raisonner revenait essentiellement à appliquer une syntaxe abstraite, insensible aux contenus empiriques du monde matériel. Toutefois, les anomalies expérimentales accumulées tout au long de la seconde moitié du vingtième siècle ont progressivement ébranlé cette architecture conceptuelle, révélant la vulnérabilité flagrante des agents humains face aux variations sémantiques, aux contextes pragmatiques et aux pièges de la déduction quotidienne.

C’est au cœur de cette crise paradigmatique que s’impose, dès le début des années 1980, la figure novatrice du psychologue britannique Philip Johnson-Laird. En publiant en 1983 son ouvrage magistral intitulé Mental Models: Towards a Cognitive Science of Language, Inference, and Consciousness, Johnson-Laird opère une véritable rupture épistémologique. Plutôt que de concevoir l’esprit comme un processeur logique abstrait manipulant des symboles désincarnés selon des règles d’inférence aveugles à la signification, il avance l’hypothèse radicale que l’être humain raisonne en construisant des représentations analogiques du monde : les modèles mentaux. Ces structures cognitives internes ne sont pas de simples transcriptions propositionnelles de phrases linguistiques, mais de véritables simulations iconiques d’états de choses possibles, dont la structure correspond point par point à la structure des situations qu’elles représentent.

Depuis son émergence, la théorie des modèles mentaux a profondément refondu le champ des sciences cognitives, s’étendant du raisonnement déductif standard aux inférences probabilistes, temporelles, spatiales et causales, tout en fournissant une explication robuste aux spectaculaires illusions cognitives qui échappaient aux approches traditionnelles. En s’appuyant sur des postulats fonctionnels stricts — au premier rang desquels figure le célèbre principe de vérité —, cette théorie a su conjuguer rigueur empirique, modélisation computationnelle à travers des systèmes comme mReasoner, et confrontations fécondes avec les neurosciences et la philosophie de l’esprit. L’exploration exhaustive de cette théorie offre ainsi une fenêtre privilégiée sur les rouages intimes de l’intelligence humaine, oscillant perpétuellement entre une rationalité sémantique puissante et les contraintes insurmontables imposées par la finitude de notre mémoire de travail.

1. Fondements historiques et épistémologiques de la théorie des modèles mentaux

1.1 Origines conceptuelles : de Kenneth Craik à Philip Johnson-Laird

L’ascendance conceptuelle de la théorie des modèles mentaux trouve son ancrage le plus précoce dans les travaux visionnaires du psychologue et philosophe écossais Kenneth Craik. Dans son essai séminal paru en 1943, The Nature of Explanation, Craik propose une intuition d’une formidable modernité : si les organismes vivants parviennent à anticiper les événements futurs et à s’adapter avec une telle efficacité aux vicissitudes de leur environnement, c’est parce qu’ils portent en eux un « modèle à petite échelle » (small-scale model) de la réalité externe et de leurs propres actions possibles. Pour Craik, ce modèle interne fonctionne comme un simulateur physique qui permet à l’organisme d’expérimenter diverses alternatives sans s’exposer aux dangers d’un essai-erreur dans le monde réel. L’esprit est ainsi envisagé comme un système physique capable de refléter les relations causales de l’environnement physique.

Cette perspective craikienne est restée en latence durant plusieurs décennies, largement étouffée par la déferlante du behaviorisme qui bannissait tout recours aux représentations internes, puis marginalisée par la première cybernétique et l’avènement du cognitivisme classique fondé sur la métaphore de l’ordinateur de von Neumann. Dans ce cadre computationnel initial, l’esprit traitait des symboles discrets selon des règles formelles d’inspiration logique. Il faudra attendre le début des années 1970 pour que Philip Johnson-Laird, en collaboration avec le psychologue Peter Wason, redécouvre la puissance heuristique de l’intuition de Craik. Confronté aux échecs répétés des participants dans des tâches de déduction élémentaires, Johnson-Laird comprend que le système cognitif humain n’opère pas sur des propositions désincarnées, mais sur des configurations d’objets et d’événements mentalement instanciés.

La publication en 1983 de l’ouvrage séminal de Johnson-Laird marque la véritable refondation de la psychologie de la déduction. En rupture totale avec l’orthodoxie chomskienne et logiciste qui dominait alors le Massachusetts Institute of Technology et l’université de Princeton, l’auteur postule l’existence d’un niveau de représentation intermédiaire irréductible tant au langage naturel qu’à une logique formelle intériorisée. Cette approche réhabilite l’idée d’une phénoménologie cognitive structurée, dans laquelle la pensée humaine procède par simulation de mondes possibles. Dès lors, le raisonnement n’apparaît plus comme un processus computationnel syntaxique de dérivation axiomatique, mais comme une activité sémantique d’inspection, d’évaluation et de manipulation d’espaces relationnels internes.

1.2 Le rejet du paradigme logiciste et des règles formelles

Pour imposer la théorie des modèles mentaux, Johnson-Laird s’est livré à une déconstruction méthodique du « paradigme logiciste », une doctrine séculaire partagée aussi bien par l’épistémologie génétique de Jean Piaget que par les théoriciens contemporains de la logique mentale, à l’instar de Martin Braine, David O’Brien ou Lance Rips. Cette doctrine repose sur une prémisse fondamentale : le système cognitif de l’adulte posséderait une syntaxe interne de la pensée (un mentalese) comprenant des règles d’inférence formelles équivalentes au calcul propositionnel standard, comme le modus ponens, ou d’autres formes de dérivation naturelle. Selon les partisans de la logique mentale, une erreur de raisonnement ne découlerait jamais d’une défaillance de la logique sous-jacente, mais de limitations périphériques telles que le manque d’attention, la surcharge de la mémoire ou une mauvaise interprétation linguistique des prémisses.

Or, Johnson-Laird et ses partisans ont objecté que cette vision syntaxique est incapable d’expliquer pourquoi et comment les variations du contenu sémantique modifient radicalement les performances des sujets. Si l’esprit applique une règle formelle invariante de type « Si P alors Q ; or P ; donc Q », la nature des termes P et Q ne devrait avoir aucun impact sur la validité perçue du raisonnement ni sur le taux d’acceptation de la conclusion. Pourtant, l’histoire expérimentale de la psychologie du raisonnement démontre exactement le contraire. Dès 1972, les expériences de Wason et Johnson-Laird sur la célèbre tâche de sélection ont révélé un contraste saisissant : alors que moins de dix pour cent des étudiants universitaires résolvent la tâche lorsqu’elle implique des symboles abstraits (des lettres et des chiffres), la quasi-totalité réussit brillamment lorsque le problème est transposé dans un contexte concret de régulation sociale (par exemple, vérifier si des individus consommant de l’alcool ont l’âge légal requis).

Ces disparités spectaculaires ont porté un coup fatal à l’hypothèse d’une logique mentale purement formelle. Johnson-Laird a démontré que la sensibilité de l’esprit au contenu thématique, aux croyances préalables 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épare pas la forme du contenu : il raisonne directement sur et à travers le contenu en construisant une interprétation spécifique de la situation. L’illusion logiciste consistait à confondre le critère normatif de validité — défini par les logiciens à des fins métamathématiques — avec la description descriptive et explicative des mécanismes psychologiques réels qui sous-tendent la déduction humaine quotidienne.

1.3 Définition paradigmatique et principes fondateurs du modèle mental

Au sens strict de Johnson-Laird, un modèle mental est une structure de données cognitive interne caractérisée par son iconicité et son isomorphisme vis-à-vis de l’état de choses qu’elle représente. Contrairement à une description linguistique constituée d’une suite linéaire de symboles arbitraires dont la syntaxe n’entretient aucun rapport morphologique avec l’état du monde (le mot « chat » ne ressemble en rien à l’animal félin), un modèle mental préserve la structure des relations spatiales, temporelles ou causales propres à la situation évoquée. Si l’on affirme que « le cercle est au-dessus du carré », le modèle mental correspondant n’est pas une réplication de la phrase sous forme propositionnelle abstraite, mais une configuration mentale dans laquelle une entité désignant le cercle est effectivement positionnée au-dessus d’une entité désignant le carré au sein d’un espace de travail cognitif interne.

Cette distinction entre représentations analogiques et descriptions symboliques constitue la clé de voûte du paradigme. Une description symbolique, telle qu’une formule du calcul des prédicats ou une phrase dans une langue naturelle, requiert des règles d’inférence syntactiques complexes pour en extraire des vérités implicites. En revanche, un modèle mental, en vertu de son organisation structurelle, rend perceptibles de façon quasi immédiate des relations qui n’avaient pas été explicitement formulées au départ. L’esprit n’a pas besoin de calculer déductivement une nouvelle relation : il lui suffit d’inspecter visuellement ou structuralement la configuration analogique construite pour « voir » émerger une conséquence logique. L’architecture cognitive s’apparente ainsi davantage à un atelier de modélisation géométrique ou cinématique qu’à une machine de Turing exécutant des lignes d’instructions textuelles formelles.

L’ancrage psychologique de cette modélisation implique que le raisonnement humain n’est pas un calcul symbolique dénué de référent, mais une recherche active d’états de choses possibles. Raisonner déductivement consiste à concevoir un ensemble de mondes miniatures compatibles avec les énoncés de départ, à vérifier si une assertion donnée est vérifiée dans tous ces mondes possibles (ce qui fonde la nécessité logique), dans au moins un monde (ce qui fonde la possibilité), ou dans aucun (ce qui établit l’impossibilité). En déplaçant ainsi la déduction du terrain de la syntaxe vers celui de la sémantique modale incarnée, Johnson-Laird propose une théorie psychologique de la compétence déductive qui rend compte à la fois de l’extraordinaire flexibilité de la pensée humaine et de sa faillibilité inhérente face à la multiplication des états de fait imaginables.

2. L’architecture cognitive des modèles mentaux selon Johnson-Laird

2.1 Le principe d’iconicité et d’analogie structurale

Le principe d’iconicité, pierre angulaire de l’architecture théorique de Johnson-Laird, stipule que la structure interne d’un modèle mental reflète fidèlement la structure perçue ou conçue de la réalité. Cela signifie qu’il existe un isomorphisme strict entre les composants du modèle et les entités du monde réel d’une part, et entre les relations liant ces composants dans le modèle et les relations liant les entités dans le monde d’autre part. Par exemple, si trois objets A, B et C sont disposés de telle sorte que A est à gauche de B et B est à gauche de C, le modèle mental ne stocke pas ces relations sous forme de prédicats formels discrets comme Gauche(A, B) et Gauche(B, C). Il génère plutôt un agencement structural spatialisé unifié au sein duquel l’entité A, l’entité B et l’entité C occupent des positions relatives directes : [A   B   C].

Cette spatialisation sémantique offre un avantage computationnel considérable pour le système cognitif : elle permet de minimiser drastiquement la charge syntaxique. Dans un système de logique formelle, pour déterminer la position relative de A par rapport à C, l’agent doit posséder et convoquer un axiome de transitivité stipulant que « pour tout x, y, z, si x est à gauche de y et y est à gauche de z, alors x est à gauche de z », puis réaliser une unification de variables suivie d’un détachement d’inférence. Dans le cadre de la théorie des modèles mentaux, la transitivité n’est pas une règle d’inférence logique délibérément appliquée : elle est une propriété physique et émergente de l’espace de représentation lui-même. Une fois les objets placés conformément aux prémisses dans la structure analogique, la relation « A est à gauche de C » devient directement lisible par simple inspection interne, sans qu’aucun calcul formel n’ait été requis.

L’iconicité ne se cantonne pas aux relations physiques ou topographiques évidentes ; elle s’étend aux concepts relationnels abstraits par le truchement de métaphores spatiales et temporelles profondément ancrées dans la cognition humaine. Des relations d’ordre telles que la supériorité hiérarchique (« le directeur est au-dessus de l’employé »), l’intensité d’une grandeur (« le produit A est plus cher que le produit B »), ou la chronologie d’événements (« l’explosion s’est produite avant l’alerte ») sont automatiquement projetées dans des dimensions continues au sein de l’espace de travail mental. Comme l’ont souligné de nombreux travaux en sémantique cognitive, l’esprit humain réutilise des architectures visuo-spatiales phylogénétiquement anciennes pour cartographier et manipuler des relations logico-sémantiques complexes, confirmant ainsi la primauté de l’iconicité sur la discursivité symbolique pure.

2.2 Le principe de vérité (Principle of Truth)

Si la plasticité de l’esprit humain lui permet d’élaborer des simulations analogiques d’une immense richesse, cette capacité se heurte de plein fouet aux limites intrinsèques de la mémoire de travail. L’un des apports majeurs de Philip Johnson-Laird à la psychologie cognitive réside dans l’identification formelle de la contrainte fondamentale que le système nerveux met en œuvre pour surmonter ce goulot d’étranglement : le principe de vérité (Principle of Truth). Ce principe postule que, pour économiser les ressources cognitives, les individus représentent prioritairement les états de fait qui sont vrais, et s’abstiennent systématiquement de représenter les états de fait qui sont faux.

Plus précisément, le principe de vérité s’applique à deux niveaux distincts mais intriqués :
d’une part, les modèles mentaux ne représentent que les possibilités réelles qui peuvent advenir conformément aux assertions énoncées dans les prémisses, en éliminant immédiatement de l’espace de travail conscient les configurations impossibles ;
d’autre part, au sein de chaque modèle mental représentant une possibilité donnée, les individus ne représentent que les clauses élémentaires qui sont vraies dans cette possibilité, en omettant de représenter explicitement les clauses qui sont fausses. Ce mécanisme d’occultation systématique de la négation et de la fausseté est quasi inconscient et opère par défaut afin de maintenir le nombre total de tokens d’information manipulables en mémoire dans la fourchette restreinte identifiée par George Miller ou Nelson Cowan.

Cependant, cette économie computationnelle a un prix cognitif exorbitant. En éliminant les informations relatives à ce qui est faux, le principe de vérité rend l’esprit extrêmement vulnérable dès lors qu’un problème exige de prendre en compte la fausseté d’une assertion pour être résolu correctement. L’occultation des cas faux génère des angles morts conceptuels majeurs, qui se manifestent cliniquement et expérimentalement sous la forme d’« inférences illusoires » (illusory inferences). Dans ces situations spécifiques, les individus parviennent avec une assurance inébranlable à des conclusions catégoriquement fallacieuses, précisément parce que la représentation mentale incomplète de la situation les empêche d’apercevoir les contradictions logiques sous-jacentes. La rationalité humaine se trouve ainsi bridée non par un déficit d’intelligence, mais par un compromis architectural intrinsèque privilégiant l’efficacité immédiate sur l’exhaustivité logique formelle.

2.3 Représentations propositionnelles versus modèles mentaux

L’affirmation selon laquelle les êtres humains raisonnent au moyen de modèles mentaux ne signifie pas que le cerveau n’utilise jamais de formats de représentations propositionnelles. Johnson-Laird a élaboré un modèle fonctionnel à deux étages pour décrire la chaîne de traitement qui va de l’audition ou de la lecture d’une phrase jusqu’à la déduction achevée. Le premier niveau est celui de la représentation propositionnelle brute : il s’agit d’une description linguistique interne, étroitement liée à la structure de surface du langage, stockée sous la forme d’un réseau propositionnel prédicat-argument. Cette représentation préliminaire est fidèle à la syntaxe de l’énoncé, mais elle est instable, fugace, et ne permet pas à elle seule de raisonner de manière analogique.

Le second niveau correspond à la construction proprement dite du modèle mental à partir de cette base propositionnelle. Contrairement à la représentation de surface, le modèle mental résulte d’une synthèse sémantique intégrée où les connaissances encyclopédiques du locuteur, les inférences pragmatiques et les indices contextuels viennent enrichir l’information brute pour forger une simulation cohérente. Les représentations propositionnelles sont vérifonctionnelles au sens où elles encodent des chaînes textuelles susceptibles de vérité ou de fausseté, mais elles demeurent fondamentalement discursives. Le modèle mental, au contraire, transcende le discours linguistique : il représente l’état du monde décrit par le discours, et non les phrases du discours elles-mêmes.

Ce basculement du format propositionnel au format analogique s’observe nettement dans les expériences de mémoire des textes : les participants oublient avec une rapidité déconcertante la formulation exacte des phrases qu’ils viennent de lire (la syntaxe propositionnelle de surface), mais ils retiennent avec une précision remarquable le contenu global de la scène ou de l’argument (le modèle mental intégré). Le passage de la structure de surface à la synthèse sémantique s’accompagne d’une compression d’information dans laquelle plusieurs assertions linguistiquement distinctes se fondent en un seul état de choses spatial ou conceptuel. Lorsque ce processus de traduction sémantique échoue — par exemple en présence d’ambiguïtés syntaxiques insurmontables ou d’énoncés hautement auto-référentiels —, le système cognitif se trouve bloqué au niveau propositionnel, devenant incapable de générer les modèles spatio-temporels indispensables à l’inférence déductive naturelle.

3. Les trois étapes fondamentales du processus de raisonnement déductif

3.1 La phase de compréhension et de construction du modèle initial

Le processus de déduction, tel que formalisé par Johnson-Laird et Ruth Byrne, s’articule autour d’un algorithme cognitif tripartite rigoureusement ordonné, dont la première étape cruciale est la phase de compréhension. Lorsqu’un individu est confronté à un ensemble de prémisses formulées en langage naturel, le système cognitif commence par mobiliser ses compétences linguistiques, lexicales et sémantiques pour décoder les énoncés. Ce décodage ne s’effectue pas dans le vide : il active immédiatement la mémoire sémantique à long terme, extrayant les concepts pertinents, les prototypes catégoriels et les connaissances encyclopédiques associées aux termes employés. L’agent cognitif recourt à des modèles par défaut pour interpréter le sens des mots en fonction de la situation globale d’énonciation.

À partir de cette analyse linguistique, l’esprit entreprend la construction d’un modèle mental initial représentant une seule possibilité compatible avec les prémisses. Guidé impérieusement par le principe de parcimonie cognitive et par le principe de vérité, le système ne génère pas d’emblée l’ensemble combinatoire de tous les univers envisageables, ce qui provoquerait une paralysie computationnelle immédiate. Il privilégie l’état de fait le plus saillant, le plus typique ou le plus simple d’accès sur le plan représentationnel. Par exemple, à l’énoncé d’un conditionnel, l’individu intègre les antécédents et les conséquents dans une unique configuration conjointe affirmative, reléguant les configurations alternatives au statut de nébuleuses non explicitées.

Cette phase de construction impose un coût cognitif hautement différencié en mémoire de travail selon la nature formelle et sémantique des prémisses. Des assertions spatialement cohérentes et sans ambiguïté se prêtent à une fusion immédiate en une structure mentale unifiée. En revanche, des prémisses syntaxiquement contournées, saturées de négations enchâssées ou introduisant des concepts sémantiquement contradictoires, exigent une allocation massive de ressources attentionnelles et de mémoire vive. Si l’effort requis pour stabiliser ce premier modèle excède la capacité du tampon mnésique de l’individu, la phase de compréhension échoue précocement, conduisant l’agent à abandonner le raisonnement ou à recourir à des heuristiques de surface superficielles dénuées de validité déductive.

3.2 La phase de description et d’extraction de la conclusion putative

Une fois le modèle mental initial stabilisé au sein de l’espace de travail cognitif, l’esprit passe à la seconde étape : la phase de description. L’objectif fondamental de cette étape est d’extraire du modèle une conclusion provisoire, novatrice et hautement informative, qui n’était pas expressément formulée dans les prémisses de départ. Raisonner ne consiste pas à ressasser des tautologies, mais à étendre nos connaissances locales par la découverte de relations inattendues. Le système cognitif scanne la structure analogique construite et inspecte les connexions émergentes entre les entités qui y sont représentées.

Cette extraction s’opère selon un principe d’économie et de saillance relationnelle. Si les prémisses établissent une relation entre une entité A et une entité B, puis entre cette même entité B et une entité C, le modèle intègre A, B et C au sein d’une topologie continue. L’inspection cognitive se détourne alors naturellement du terme intermédiaire B — qui a joué son rôle de pivot sémantique lors de la phase de synthèse — pour focaliser son attention sur la relation directe et inédite qui lie dorénavant A à C. L’observateur interne verbalise cette relation nouvelle sous la forme d’une conclusion putative. Par exemple, ayant modélisé le fait qu’un rectangle se situe à gauche d’un cercle et que ce cercle se situe à gauche d’un triangle, l’agent extrait directement la conclusion putative : « Le rectangle est à gauche du triangle ».

Pour être retenue par l’esprit, cette conclusion putative doit se conformer à un principe pragmatique de pertinence : elle doit être informative et réduire l’incertitude quant à l’état du monde. Le système cognitif ne s’attarde pas à énoncer des relations triviales ou répétitives (« Le rectangle est toujours un rectangle »). La conclusion provisoire ainsi forgée possède le statut de candidate à la vérité déductive. Néanmoins, à 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èle du premier modèle particulier échafaudé par l’esprit, sans garantie qu’elle demeure inaltérable face à d’autres manières envisageables d’interpréter les mêmes prémisses.

3.3 La phase de validation et la recherche de contre-exemples

La troisième et ultime étape du processus de raisonnement déductif, la phase de validation, constitue le cœur même de la rationalité selon Johnson-Laird : elle consiste en une tentative délibérée de réfutation de la conclusion putative par la recherche systématique de contre-exemples. Une conclusion n’est logiquement nécessaire que si, et seulement si, elle résiste à toutes les interprétations alternatives possibles des prémisses de départ. Pour éprouver la solidité de la proposition formulée lors de l’étape précédente, l’agent cognitif doit donc faire preuve de flexibilité mentale et chercher activement à construire d’autres modèles compatibles avec les données initiales, mais au sein desquels la conclusion putative s’avère fausse.

Si le système cognitif parvient à générer un modèle alternatif satisfaisant aux prémisses mais réfutant la conclusion provisoire, cette dernière est immédiatement rejetée. L’individu se trouve alors contraint soit de modifier sa conclusion pour la rendre compatible avec l’ensemble des modèles envisagés — par exemple en rétrogradant son statut épistémique de la nécessité absolue vers une simple possibilité logique (« Il se peut que le rectangle soit à gauche du triangle ») —, soit d’admettre qu’aucune déduction certaine ne peut être extraite des prémisses. Si, au terme d’une prospection exhaustive des possibilités, aucun modèle invalidant ne peut être conçu, la conclusion putative est alors promue au rang de certitude logique nécessaire et acceptée comme définitivement valide.

C’est précisément dans cette phase de validation que réside la cause majeure des erreurs humaines de raisonnement. La recherche de contre-exemples est une opération métacognitive extrêmement coûteuse qui nécessite l’inhibition du premier modèle, l’exploration combinatoire de scénarios non triviaux et le maintien simultané en mémoire de configurations incompatibles. Très souvent, les individus écourtent prématurément cette phase de réfutation en raison de la fatigue cognitive, de contraintes temporelles ou d’une confiance excessive dans la plausibilité empirique de leur conclusion initiale. Ce mécanisme psychologique d’interruption hâtive de la recherche de contre-exemples explique de façon limpide pourquoi l’être humain commet tant de sophismes tout en étant théoriquement pourvu d’une authentique compétence rationnelle.

4. Le raisonnement propositionnel et le traitement des connecteurs logiques

4.1 L’analyse des conjonctions et des disjonctions

L’application de la théorie des modèles mentaux au calcul propositionnel élémentaire fournit une explication élégante des asymétries de difficulté observées entre les différents connecteurs logiques, notamment la conjonction et les disjonctions. Une proposition conjonctive de la forme « Il y a un triangle et il y a un cercle » est d’une simplicité cognitive maximale : elle s’incarne en un unique modèle mental dans lequel figurent simultanément les deux entités concernées :

[triangle   cercle]

La charge imposée à la mémoire de travail est minimale, ce qui explique pourquoi les inférences conjonctives sont traitées avec une célérité absolue et ne suscitent pour ainsi dire jamais d’erreur déductive chez les sujets sains.

La situation devient considérablement plus complexe dès lors que l’on introduit le connecteur de disjonction, qu’il soit exclusif ou inclusif. Une disjonction exclusive de la forme « Il y a un triangle ou bien il y a un cercle (mais pas les deux) » exige d’emblée la représentation de deux alternatives mutuellement exclusives. Pour appréhender pleinement cette assertion, l’esprit doit concevoir deux modèles distincts :

Modèle 1 : [triangle]
Modèle 2 : [cercle]

La charge cognitive double instantanément par rapport à la conjonction, augmentant substantiellement le temps de réaction des sujets et la probabilité d’un effondrement mnésique lors de l’intégration de prémisses subséquentes.

Le palier de difficulté culmine avec la disjonction inclusive (« Il y a un triangle ou un cercle, ou les deux »). Une compréhension exhaustive de cet énoncé impose la génération et la rétention de trois modèles mentaux concurrents :

Modèle 1 : [triangle]
Modèle 2 : [cercle]
Modèle 3 : [triangle   cercle]

Face à une telle explosion combinatoire, la majorité des individus est incapable de maintenir activement ces trois configurations en mémoire de travail. Pour pallier cette saturation, le système cognitif met en place des représentations tronquées ou s’en remet à une interprétation erronée en réduisant indûment la disjonction inclusive à une disjonction exclusive. La théorie prédit avec une remarquable précision mathématique que le taux d’erreur et la latence cognitive sont directement proportionnels au nombre de modèles mentaux requis pour représenter chaque connecteur propositionnel.

4.2 Le problème du conditionnel et les modèles implicites

L’analyse du raisonnement conditionnel (« Si P alors Q ») constitue l’un des plus grands triomphes théoriques et empiriques de Philip Johnson-Laird et de son équipe. Dans la logique formelle standard, le conditionnel matériel équivaut à la formule non-P ou Q, ce qui implique qu’il est vrai dès lors que l’antécédent P est faux. Les études de psychologie expérimentale démontrent invariablement que les êtres humains ne traitent absolument pas le conditionnel de cette manière. Face à la prémisse « S’il pleut, alors le sol est mouillé », les individus construisent spontanément un modèle explicite unique, correspondant au cas où l’antécédent et le conséquent sont tous deux vérifiés :

[pluie   mouillé]

Les autres éventualités logiques — celles où il ne pleut pas — ne sont pas représentées de manière détaillée ; elles sont stockées sous la forme d’un « modèle implicite », une sorte de traceur cognitif vide, symbolisé par des points de suspension, signalant simplement qu’il existe d’autres alternatives sans en expliciter le contenu sémantique :

[pluie   mouillé]
...

Cette modélisation bifaciale (un modèle explicite combiné à des modèles implicites) permet d’expliquer instantanément la disparité phénoménale entre les deux formes classiques d’inférence conditionnelle : le Modus Ponens et le Modus Tollens. Le Modus Ponens (« Il pleut, donc le sol est mouillé ») est une inférence quasi automatique réussie par pratiquement cent pour cent des sujets. Pourquoi ? Parce que l’énoncé de la prémisse mineure « Il pleut » s’apparie immédiatement avec le modèle mental explicite déjà disponible en mémoire ; il suffit de lire la conséquence « le sol est mouillé » qui y est logée pour formuler la conclusion.

En revanche, le Modus Tollens (« Le sol n’est pas mouillé, donc il ne pleut pas ») présente un taux d’échec massif chez les adultes (souvent supérieur à cinquante pour cent). La théorie des modèles mentaux en dévoile la cause architecturale profonde : la prémisse mineure « Le sol n’est pas mouillé » ne trouve aucun point d’ancrage dans le modèle explicite initial [pluie   mouillé]. Pour réussir l’inférence, le sujet est contraint d’effectuer un travail cognitif coûteux : il doit expliciter les modèles implicites en dévoilant les alternatives négatives cachées :

Modèle 1 : [pluie   mouillé]
Modèle 2 : [non-pluie   mouillé]
Modèle 3 : [non-pluie   non-mouillé]

Ce n’est qu’après avoir rendu pleinement explicite le Modèle 3 que l’esprit peut constater que l’absence d’humidité sur le sol s’accompagne nécessairement de l’absence de pluie. Parce que la plupart des individus ne déploient pas spontanément cet effort de déploiement des modèles implicites, ils concluent erronément qu’« on ne peut rien déduire », validant ainsi les prédictions structurales de la théorie de Johnson-Laird.

4.3 Les inférences illusoires (Illusory Inferences)

La preuve la plus spectaculaire en faveur de la théorie des modèles mentaux et contre les théories de la logique mentale a été apportée par la découverte empirique des inférences illusoires (ou illusions déductives). Johnson-Laird et Fabien Savary ont conçu des problèmes sophistiqués reposant sur des disjonctions exclusives de phrases métalinguistiques pour démontrer que le principe de vérité oblige les êtres humains à commettre des erreurs massives, prévisibles et quasi universelles, là où les modèles formels de règles syntaxiques prédisent au contraire la réussite ou une incertitude neutre.

Considérons l’archétype expérimental suivant formulé par Savary et Johnson-Laird :

Une seule des deux assertions suivantes est vraie :
1. Si le roi est dans la main, alors il y a un as.
2. Si le roi n’est pas dans la main, alors il y a un as.
Prémisse additionnelle : Le roi est dans la main.
Question : Y a-t-il un as dans la main ?

Face à ce problème, la quasi-totalité des participants (environ 90 à 95 % des adultes testés) répond par l’affirmative avec une certitude absolue : « Oui, il y a un as ». La reconstruction du processus cognitif par les modèles mentaux démontre les raisons de cette illusion. Guidés par le principe de vérité, les sujets ne représentent que les cas où les affirmations sont vraies. Si l’assertion 1 est vraie, ils construisent le modèle explicite [roi   as]. Si l’assertion 2 est vraie, ils construisent le modèle [non-roi   as]. Sachant que le roi est présent, ils sélectionnent le premier modèle et en extraient la présence inéluctable de l’as.

Or, cette déduction est une aberration logique totale. En effet, la consigne stipule qu’une seule des assertions est vraie, ce qui implique que l’autre est rigoureusement fausse. Si le roi est dans la main, l’assertion 2 (« Si le roi n’est pas dans la main, alors il y a un as ») possède un antécédent faux. Or, dans toute logique vérifonctionnelle, un conditionnel à antécédent faux est automatiquement vrai ! Par conséquent, l’assertion 2 est vraie. Mais comme une seule des assertions a le droit d’être vraie, cela exige impérativement que l’assertion 1 soit fausse. Et pour que l’assertion 1 (« Si le roi est dans la main, alors il y a un as ») soit fausse, il faut rigoureusement que le roi soit dans la main et qu’il n’y ait pas d’as ! La véritable réponse logique est donc l’exact opposé de l’intuition universelle : il n’y a absolument aucun as dans la main.

Les théories de la logique formelle mentale sont structurellement incapables de rendre compte de ce résultat. Elles postulent des règles d’inférence valides ; par conséquent, elles peuvent expliquer les non-réponses par absence de règle, mais elles ne disposent d’aucun mécanisme théorique capable de prédire une inférence fallacieuse systématique adoptée par une écrasante majorité de la population. Seul le principe de vérité, postulant que les individus ne représentent pas ce qui est faux et ignorent que la fausseté d’un conditionnel requiert un antécédent vrai couplé à un conséquent faux, offre une prédiction computationnelle exacte de cette monumentale illusion cognitive.

5. Le raisonnement spatial, temporel et relationnel

5.1 L’organisation spatiale unidimensionnelle et bidimensionnelle

L’exploration du raisonnement spatial au moyen de la théorie des modèles mentaux a permis de consolider la thèse de l’iconicité face aux modèles propositionnels. Dans les tâches d’agencement spatial, les sujets doivent intégrer une série de relations de contiguïté ou d’orientation relatives pour déduire la position d’objets au sein d’un continuum unidimensionnel (linéaire) ou bidimensionnel (matriciel). Par exemple, soit l’énoncé suivant : « La cuillère est à gauche du couteau ; l’assiette est à droite du couteau ; la fourchette est à gauche de la cuillère ». Le système cognitif ne maintient pas ces données sous forme d’une liste verbale, mais les spatialise au sein d’une ligne mentale ordonnée :

[fourchette   cuillère   couteau   assiette]

Toutefois, la complexité du raisonnement spatial s’accroît vertigineusement lorsque les prémisses introduisent des relations indéterminées conduisant à la ramification de modèles concurrents. Si l’on énonce que « La tasse est à droite du verre ; l’assiette est à gauche de la carafe ; le verre est à gauche de l’assiette », la position relative de la tasse par rapport à l’assiette demeure indéterminée. Pour traiter rigoureusement cette situation, l’esprit est contraint de générer au moins deux modèles spatiaux distincts :

Modèle 1 : [verre   tasse   assiette   carafe]
Modèle 2 : [verre   assiette   tasse   carafe]
Modèle 3 : [verre   assiette   carafe   tasse]

L’émergence de ces modèles divergents surcharge dramatiquement la mémoire de travail visuo-spatiale. Les expériences menées par Markus Knauff et Johnson-Laird ont révélé que les temps de résolution s’allongent considérablement et que les taux d’erreurs explosent dès lors qu’un problème spatial exige plus d’un modèle pour être résolu. De surcroît, la nature des axes spatiaux mobilisés influence directement le coût computationnel : la gestion des dimensions relatives centrées sur l’observateur (comme gauche/droite) s’avère cognitivement bien plus exigeante que la manipulation des dimensions absolues ou asymétriques stables (comme au-dessus/en-dessous ou devant/derrière), en raison de la nécessité constante de recalculer les coordonnées projectives lors de la manipulation du modèle.

5.2 La cinématique temporelle et les relations causales

Le raisonnement sur le temps et la causalité obéit à des mécanismes profondément analogues à ceux du raisonnement spatial, mais il y adjoint une dimension dynamique que Johnson-Laird et ses collègues désignent sous le terme de « cinématique mentale ». L’esprit humain traite le déroulement des événements temporels en les disposant le long d’un axe linéaire orienté, généralement de la gauche vers la droite dans les cultures de lecture lévogyre. Les relations d’antériorité (« l’événement A s’est produit avant l’événement B ») et de postériorité sont cartographiées sous la forme de séquences vectorielles internes ordonnées.

Cependant, la modélisation cognitive doit être capable de distinguer formellement une simple consécution chronologique d’un lien de dépendance causale véritable. La théorie des modèles mentaux rend compte de cette nuance par l’adjonction de marqueurs de nécessité physique dans les structures sémantiques. Lorsqu’un individu appréhende la prémisse « La foudre a causé l’incendie », il ne se contente pas de représenter un modèle temporel où l’éclair précède le feu ; il génère un système de modèles représentant des mondes contrefactuels :

Possibilité 1 (réelle) : [foudre   incendie]
Possibilité 2 (contrefactuelle) : [non-foudre   non-incendie]
Tout modèle associant la présence de la foudre à l’absence d’incendie (en présence de matériaux inflammables) est explicitement verrouillé comme impossible.

La gestion des relations d’intervalles temporels complexes — telles que formalisées par le logicien James Allen (recouvrement partiel, inclusion, simultanéité stricte, jonction immédiate) — impose une cinématique mentale où les modèles ne sont plus des instantanés statiques, mais des animations cognitives internes. Lorsqu’une phrase stipule que « Le médecin est entré pendant que l’infirmière préparait le traitement mais avant que le patient ne perde connaissance », l’architecture cognitive doit ajuster dynamiquement les segments temporels respectifs de chaque événement au sein d’une bande temporelle unifiée. Dès que la trame narrative introduit des bifurcations ou des temporalités non linéaires (comme des rétrospectives ou des futurs conditionnels imbriqués), l’inflation du nombre de modèles concurrents entraîne une dégradation rapide de la précision déductive.

5.3 Complexité computationnelle et nombre de modèles concurrents

L’un des succès prédictifs les plus solides de la théorie des modèles mentaux réside dans la corrélation mathématique directe et systématique entre la complexité computationnelle d’un problème — mesurée par le nombre de modèles mentaux indépendants nécessaires à sa résolution exhaustive — et les indicateurs chronométriques et psychométriques de la performance humaine. Contrairement aux théories de la logique mentale, pour lesquelles la difficulté d’un problème est dictée par la longueur de la chaîne déductive formelle (le nombre d’étapes de dérivation syntaxique nécessaires à la démonstration), la théorie de Johnson-Laird soutient que la variable prédictive souveraine est le nombre de mondes possibles qui doivent être inspectés simultanément.

Le tableau psychométrique récurrent issu de centaines d’expérimentations spatiales, temporelles et propositionnelles révèle une structure invariante :
les problèmes à modèle unique (déterminés) présentent un taux de réussite quasi parfait (souvent supérieur à 85-90 %) et des temps de réponse très courts.
Les problèmes à modèles multiples (indéterminés mais logiquement décidables) subissent une chute spectaculaire des taux de résolution, tombant fréquemment sous la barre des 40 à 50 %, accompagnée d’une augmentation linéaire ou quadratique des temps de latence.

Lorsque le nombre de modèles mentaux concurrents excède la capacité volumétrique du tampon de la mémoire de travail (qui n’excède guère trois ou quatre structures de données complexes chez la moyenne des individus), le système cognitif humain met en place des stratégies d’urgence pour éviter la sidération mentale. Il recourt à des heuristiques de réduction :
d’une part, l’abandon arbitraire des branches de possibilités les plus difficiles d’accès (entraînant des déductions incomplètes ou partiales) ;
d’autre part, la condensation d’états spatiaux ou relationnels multiples sous la forme d’un « modèle composite générique » enrichi d’étiquettes symboliques abstraites (annotations). Ces compromis adaptatifs permettent certes de préserver l’économie cognitive de l’agent, mais au détriment inévitable de l’imperméabilité logique de ses conclusions.

6. Le raisonnement syllogistique et quantifié

6.1 Représentation mentale des quantificateurs aristotéliciens

Le raisonnement syllogistique, formalisé pour la première fois par Aristote dans les Premiers Analytiques, a constitué pendant des décennies le terrain d’expérimentation privilégié des psychologues de la cognition. Une énigme persistait : pourquoi certains syllogismes formellement valides sont-ils résolus sans effort par presque tous les individus, tandis que d’autres mènent quasi systématiquement à l’erreur ? Johnson-Laird et son collaborateur Bruno Bara ont apporté une réponse révolutionnaire en appliquant la théorie des modèles mentaux à la quantification universelle et existentielle, postulant que les individus ne manipulent pas des règles algébriques de prédicats mais instancient des tokens (jetons représentationnels) d’individus concrets au sein d’un univers miniature.

Considérons les quatre quantificateurs aristotéliciens fondamentaux et leur traduction cognitive en tokens au sein d’un modèle mental :

• A (Universelle affirmative : « Tous les A sont des B ») : Le modèle mental instancie un petit nombre d’individus typiques représentant la catégorie A, chacun étant couplé de façon exhaustive avec la propriété B :
  [a] = [b]
[a] = [b]
(b)
  Les crochets indiquent que l’ensemble des éléments de la catégorie A est totalement représenté (épuisé), tandis que la présence optionnelle d’un b entre parenthèses rappelle qu’il peut exister d’autres individus de la classe B qui ne sont pas des A.
• E (Universelle négative : « Aucun A n’est un B ») : Le modèle disjoint explicitement les deux ensembles de tokens :
  [a]
[a]
      [b]
      [b]
  Une barrière relationnelle cognitive est érigée pour interdire tout appariement direct entre les tokens de A et les tokens de B.
• I (Particulière affirmative : « Certains A sont des B ») : Le modèle explicite crée au moins une instance commune, tout en laissant ouverte l’indétermination du reste :
  a = b
(a)
(b)
• O (Particulière négative : « Certains A ne sont pas des B ») : Le système détache au moins un token de A de l’ensemble B :
  a
(a)
      [b]

Cette approche par instanciation de tokens met en lumière l’asymétrie profonde de traitement entre les quantificateurs. La quantification universelle (« Tous ») contraint strictement la structure du modèle et facilite la fermeture informationnelle, tandis que la quantification existentielle (« Certains ») génère une indétermination structurelle majeure qui contraint le raisonneur à envisager de multiples déclinaisons possibles de sous-ensembles, élevant considérablement le coût attentionnel de la tâche déductive.

6.2 Les effets de figure et les erreurs systématiques

L’un des accomplissements les plus remarquables de la théorie des modèles mentaux réside dans son explication unifiée des effets de figure dans la syllogistique. Les psychologues savaient depuis longtemps que la disposition syntaxique des termes dans les prémisses influence drastiquement la forme de la conclusion produite par les sujets, un phénomène qu’aucune logique formelle neutre ne peut concevoir. Considérons deux figures syllogistiques classiques :

Figure 1 : A – B, B – C
(ex. : Tous les athlètes sont des danseurs ; tous les danseurs sont des acrobates)
Figure 2 : B – A, C – B
(ex. : Tous les danseurs sont des athlètes ; tous les acrobates sont des danseurs)

Dans la Figure 1, la quasi-totalité des participants produit spontanément une conclusion formulée dans l’orientation directionnelle « A – C » (« Tous les athlètes sont des acrobates »), et presque personne n’énonce « Tous les acrobates sont des athlètes ». Dans la Figure 2, la majorité privilégie l’orientation inverse « C – A ». Johnson-Laird démontre que cet effet découle directement de l’ordre cinétique de construction du modèle mental dans la mémoire de travail :

Dans la Figure 1, l’esprit commence par instancier des tokens de A associés à des tokens de B ([a] = [b]). Lorsque la seconde prémisse arrive (« Tous les B sont des C »), elle est immédiatement branchée sur les tokens B déjà actifs, produisant la chaîne intégrée continue :
[a] = [b] = [c]
Lors de l’inspection de la structure analogique, la mémoire balaie le modèle dans le sens de son écriture chronologique, de l’entité de départ A vers la cible terminale C, imposant organiquement la conclusion « A – C ».

À l’inverse, dans la Figure 2, la première prémisse instancie [b] = [a]. La seconde prémisse ([c] = [b]) ne peut pas s’y greffer directement de façon linéaire : elle exige un réarrangement cognitif préalable pour placer C à l’origine de la chaîne ([c] = [b] = [a]). L’inspection du modèle réordonné conduit cette fois naturellement à lire la conclusion dans le sens « C – A ».

Cette analyse a permis de démonter l’ancienne hypothèse de l’« effet d’atmosphère » avancée par Woodworth et Sells. L’effet d’atmosphère postulait que les sujets se laissaient simplement contaminer par la tonalité linguistique globale des prémisses (par exemple, la présence de négations ou de quantificateurs particuliers) selon un automatisme superficiel. Johnson-Laird a prouvé que ce que l’on prenait pour un biais linguistique passif était en réalité la conséquence active et structurelle des dynamiques d’intégration de modèles spatio-analogiques au sein de la mémoire de travail.

6.3 Comparaison avec la logique formelle des prédicats et les cercles d’Euler

La théorie des modèles mentaux appliquée aux syllogismes s’oppose tout autant au calcul des prédicats du premier ordre de Gottlob Frege qu’aux méthodes diagrammatiques traditionnelles, à l’instar des cercles d’Euler ou des diagrammes de Venn. Dans le calcul des prédicats, raisonner sur une universelle exige d’introduire des variables universelles ($\forall x$) et de réaliser des dérivations par instanciation universelle, modus ponens, puis généralisation universelle. Outre sa lourdeur algorithmique rédhibitoire pour un cerveau biologique, cette mécanique formelle ne dispose d’aucun mécanisme interne pour expliquer les immenses disparités de performance entre individus dotés de capacités mnésiques inégales.

D’un autre côté, les diagrammes d’Euler — qui représentent les classes sous la forme de surfaces géométriques fermées s’incluant ou s’excluant mutuellement — semblent plus proches de la psychologie humaine en vertu de leur caractère visuel. Néanmoins, Johnson-Laird a démontré les limites structurales rédhibitoires des cercles d’Euler en tant que théorie cognitive du raisonnement :
pour représenter exhaustivement un problème syllogistique indéterminé complexe, un individu recourant aux cercles d’Euler devrait dessiner simultanément sur sa « toile mentale » une multitude de configurations spatiales imbriquées, provoquant une surcharge topologique impossible à gérer.

La théorie des modèles mentaux surmonte cette contradiction grâce à la flexibilité et à l’économie de son encodage en tokens discrets. Plutôt que de contraindre le système à tracer mentalement des cercles complets pourvus de frontières continues, l’esprit humain se contente d’aligner un nombre infime d’instances individuelles (deux ou trois tokens suffisent généralement à représenter une infinité d’éléments d’une catégorie). Cette granularité discrète et parcimonieuse permet une plasticité représentationnelle bien supérieure à celle de n’importe quel diagramme topologique rigide. La manipulation de ces tokens symboliques-analogiques permet au modèle mental de moduler les identités, d’isoler des contre-exemples d’un simple déplacement d’élément, et d’expliquer les variations interindividuelles de compétence par la variabilité de l’empan de la mémoire de travail spatio-temporelle.

7. Raisonnement probabiliste et pragmatique dans le cadre des modèles mentaux

7.1 L’évaluation probabiliste par le principe d’équivalence d’occurrences

Dans la continuité de ses travaux sur la déduction pure, Philip Johnson-Laird s’est attaché à étendre son paradigme au vaste domaine du raisonnement probabiliste, jetant les bases d’une théorie alternative aux approches computationnelles de l’heuristique et aux modèles bayésiens purs. La théorie des modèles mentaux postule que les individus n’évaluent pas les probabilités en appliquant le calcul formel de Kolmogorov ou le théorème de Bayes, mais en s’appuyant sur un principe d’économie sémantique : le principe d’équivalence d’occurrences (ou principe d’équiprobabilité des modèles).

Selon cette approche, face à une situation incertaine, l’esprit humain construit un ensemble de modèles mentaux discrets représentant chacun une possibilité envisageable compatible avec les faits connus. Par défaut, et en l’absence d’informations numériques explicites contraires, le système cognitif attribue à chaque modèle distinct une probabilité subjective d’occurrence strictement égale. Dès lors, l’évaluation de la probabilité d’un événement cible ne procède pas d’un calcul différentiel ou d’une intégration d’équations : elle se réduit à une simple opération arithmétique élémentaire de dénombrement : le sujet compte le nombre de modèles mentaux dans lesquels l’événement survient et le rapporte au nombre total de modèles mentaux actifs en mémoire de travail.

Ce traitement intuitif, qualitatif et discret éclaire de façon inédite les paradoxes célèbres de la littérature sur les biais de jugement, à commencer par le mythique problème de Linda documenté par Amos Tversky et Daniel Kahneman (le « biais de conjonction »). Face au profil de Linda (femme instruite, célibataire, profondément engagée contre les discriminations), la majorité des personnes estime qu’il est plus probable que « Linda soit une employée de banque militante féministe » plutôt que simplement « Linda soit une employée de banque ». Là où le cognitivisme standard invoque une vague « heuristique de représentativité », la théorie des modèles mentaux montre que la description sémantique très typée bloque l’émergence du modèle neutre « Linda est employée de banque non féministe ». L’individu n’ayant construit qu’un seul modèle mental prégnant — celui de Linda féministe et bancaire —, il évalue la probabilité sur la base de cet unique état de choses disponible, ignorant l’inclusion ensembliste purement formelle et commettant dès lors une violation flagrante des lois du calcul des probabilités.

7.2 L’impact des croyances préalables : le biais de croyance (Belief Bias)

Le raisonnement humain ne s’exerce jamais dans un vide sémantique ou émotionnel ; il est perpétuellement sous la tutelle de notre système de connaissances et de convictions préalables sur le monde. Ce phénomène se manifeste sous sa forme la plus spectaculaire dans le biais de croyance (Belief Bias), où la propension d’un sujet à accepter la validité formelle d’un argument n’est pas déterminée par la rigueur logique de l’enchaînement de ses prémisses, mais par la concordance de sa conclusion finale avec ses croyances antérieures (si la conclusion paraît empiriquement vraie ou désirable, l’argument est jugé valide, même s’il s’agit d’un pur sophisme).

La théorie des modèles mentaux formalise le biais de croyance à travers une modulation directe de la phase de validation déductive. Lorsqu’un syllogisme ou un enchaînement propositionnel génère un modèle initial dont la conclusion putative concorde harmonieusement avec la vision du monde du sujet, cette résonance cognitive positive déclenche un mécanisme métacognitif de satisfaction immédiate. L’esprit interrompt prématurément le cycle computationnel : pourquoi déployer des efforts cognitifs coûteux pour invalider une conclusion que l’on sait déjà être vraie ? La recherche de contre-exemples est tout simplement court-circuitée, conduisant à une acceptation aveugle d’arguments structurellement invalides.

À l’inverse, lorsque la conclusion putative du modèle initial choque frontalement les croyances antérieures de l’individu, le signal de dissonance cognitive déclenche une mobilisation massive des ressources attentionnelles et de la mémoire de travail. Le sujet se lance alors dans une traque acharnée de contre-exemples, explorant avec une minutie exceptionnelle chaque alternative de modélisation susceptible de faire choir la proposition hérétique. La théorie de Johnson-Laird met ainsi en exergue le compromis permanent entre la validité logique formelle et la plausibilité empirique : l’esprit humain utilise ses croyances préalables comme un régulateur heuristique pour déterminer le moment exact où il convient d’arrêter ou de poursuivre l’inspection critique de ses modèles mentaux internes.

7.3 La modulation sémantique et pragmatique

L’un des perfectionnements théoriques les plus déterminants apportés par Johnson-Laird et Ruth Byrne au cours des deux dernières décennies est la formalisation du concept de modulation sémantique et pragmatique. Ce concept permet d’expliquer comment la signification des mots, le contexte situationnel et les savoirs culturels partagés peuvent modifier en profondeur la construction des modèles mentaux, au point d’altérer la table de vérité logique standard associée à un connecteur propositionnel.

Dans un système de logique formelle rigide, un connecteur tel que le conditionnel possède une signification vérifonctionnelle univoque et universelle. Dans l’architecture cognitive des modèles mentaux, la signification de base d’un connecteur ne constitue qu’un canevas par défaut. Le contenu sémantique des propositions et les connaissances encyclopédiques de l’agent viennent immédiatement « moduler » ce canevas :
ils peuvent bloquer la construction de certaines possibilités logiques qui s’avèrent empiriquement impossibles dans le monde réel,
ou forcer l’explicitation immédiate de modèles qui seraient normalement demeurés implicites.

Considérons l’exemple emblématique suivant :
« S’il a couru un marathon, alors il est épuisé ».
Les connaissances encyclopédiques sur l’effort physique bloquent immédiatement la construction du modèle contrefactuel théorique [couru un marathon   non-épuisé].
Considérons désormais ce conditionnel en apparence similaire sur le plan syntaxique :
« S’il est allé à Paris, alors il a visité le Louvre ».
Ici, aucune impossibilité physique n’interdit d’aller à Paris sans visiter ce musée particulier. Le modèle [Paris   non-Louvre] n’est donc pas bloqué par la modulation sémantique.

De surcroît, la modulation pragmatique intègre avec aisance les règles de communication humaine décrites par Paul Grice, telles que le principe de coopération et les implicatures conversationnelles. Lorsque quelqu’un annonce « Tu peux manger une pomme ou une poire », la modulation pragmatique bloque automatiquement la troisième possibilité de la disjonction inclusive (manger les deux fruits), non pas en vertu d’une analyse syntaxique formelle, mais par l’inférence contextuelle que si l’hôte avait souhaité autoriser la consommation des deux fruits, il aurait utilisé une formule conjointe. Loin d’être un calcul aveugle, le raisonnement par modèles mentaux s’avère être une écologie cognitive dynamique où la linguistique, la sémantique et le contexte socio-pragmatique modèlent en temps réel les représentations du pensable.

8. Confrontations paradigmatiques : modèles mentaux, logique mentale et théories du double processus

8.1 La controverse majeure avec les théories des règles d’inférence (Rips, Braine)

L’histoire de la psychologie contemporaine de la déduction a été rythmée par un débat paradigmatique d’une intensité rare, opposant les partisans de la sémantique cognitive analogique (conduits par Philip Johnson-Laird) aux défenseurs de la théorie des règles d’inférence ou logique mentale (incarnée principalement par Lance Rips avec son système computationnel PSYCOP, et par Martin Braine et David O’Brien). Au cœur de cette confrontation épistémologique se dresse une interrogation fondamentale : l’esprit humain est-il fondamentalement syntaxique ou fondamentalement sémantique ?

Pour les tenants de la logique mentale, la déduction consiste en l’extraction de formes d’arguments abstraites dépouillées de leur contenu, soumises ensuite à un répertoire inné de règles d’inférence universelles assimilables à celles de la déduction naturelle de Gerhard Gentzen. Dans cette optique formelle, la source des difficultés cognitives réside exclusivement dans la longueur de la chaîne de démonstration : plus un problème exige l’application consécutive d’un nombre élevé de règles syntaxiques intermédiaires, plus le temps de calcul augmente et plus le risque d’oublier un pas de preuve est important.

Johnson-Laird a méticuleusement sapé cette posture en apportant des preuves expérimentales dirimantes. En premier lieu, la théorie des modèles mentaux a démontré que deux problèmes requérant exactement le même nombre d’étapes de dérivation syntaxique dans le système de règles formelles affichent des taux de difficulté radicalement divergents chez les êtres humains dès lors que l’un implique un seul modèle mental tandis que l’autre en mobilise plusieurs. En second lieu, comme développé précédemment, les théories des règles formelles sont ontologiquement incapables de rendre compte naturellement du phénomène massif des inférences illusoires : si l’esprit humain fonctionne au moyen de règles formelles d’inférence rigoureusement valides, comment pourrait-il générer spontanément, massivement et avec une certitude absolue des conclusions qui constituent des violations catégoriques de toute logique élémentaire ? Pour expliquer ce phénomène dans le cadre formaliste, il faudrait postuler l’existence de règles formelles de sophisme, une contradiction absolue avec les postulats fondateurs de la logique mentale.

8.2 Articulation avec les théories du double système (Système 1 et Système 2)

Le développement fulgurant des théories du double processus (dual-process theories) — popularisées dans les sciences contemporaines par Jonathan Evans, Keith Stanovich et Daniel Kahneman sous les labels de Système 1 (intuitif, heuristique, rapide, automatisé) et de Système 2 (analytique, délibératif, lent, exigeant en mémoire de travail) — a trouvé dans la théorie des modèles mentaux une incarnation fonctionnelle et computationnelle exceptionnellement précise.

L’architecture de Johnson-Laird s’aligne avec une clarté remarquable sur cette dualité fonctionnelle :
le fonctionnement du Système 1 correspond rigoureusement à la phase de compréhension immédiate et à l’élicitation automatique du modèle mental initial. Ce modèle par défaut est généré quasi instantanément, sans effort conscient ni charge mnésique majeure, en respectant aveuglément le principe de vérité et en s’abreuvant aux sources des stéréotypes, des croyances et des heuristiques disponibles.
Si le système s’arrête à cette première étape — ce qui est le lot commun de la vie cognitive ordinaire —, l’agent agit sous l’emprise des intuitions heuristiques du Système 1.

À l’inverse, l’intervention du Système 2 s’identifie précisément à la phase de validation critique : elle réside dans la décision métacognitive de ne pas se contenter du modèle initial, d’inhiber la conclusion putative, de déployer les modèles implicites enfouis, et de se lancer dans la recherche itérative et systématique de contre-exemples au sein d’univers hypothétiques alternatifs. Ce processus de délibération analytique est intrinsèquement lent, énergivore et borné par la mémoire de travail opératoire. La théorie des modèles mentaux offre ainsi aux théories du double processus ce qui leur manquait souvent : une description concrète, mécanique et algorithmique des représentations et des opérations cognitives qui s’exécutent spécifiquement à l’intérieur de chacun des deux systèmes de pensée.

8.3 L’approche probabiliste bayésienne (Oaksford et Chater) en tant que rivale contemporaine

Si la querelle historique contre la logique formelle syntaxique a tourné à l’avantage des modèles mentaux, un nouveau front paradigmatique d’envergure s’est ouvert à la fin des années 1990 avec l’essor du paradigme dit du « nouveau regard probabiliste » (New Paradigm Psychology of Reasoning), porté avec virulence par des théoriciens comme Mike Oaksford et Nick Chater. Cette approche s’oppose radicalement à toute conception déductive de la pensée humaine, qu’elle soit fondée sur la logique mentale ou sur les modèles mentaux. Pour Oaksford et Chater, la rationalité humaine ne vise pas la certitude déductive dans un monde clos de prémisses rigides : l’esprit est un moteur probabiliste bayésien dont la fonction adaptative est d’optimiser l’action dans un univers environnemental fondamentalement incertain, incomplet et ouvert.

Dans le paradigme bayésien, les connecteurs comme le conditionnel ne sont plus interprétés comme des modélisations de mondes possibles vérifonctionnels, mais comme des probabilités conditionnelles subjectives : affirmer « Si P alors Q » revient simplement à assigner une forte probabilité conditionnelle $P(Q|P)$. Les auteurs bayésiens soutiennent que les échecs des sujets humains dans des tâches comme celle de Wason ne constituent en rien des biais ou des faiblesses architecturales, mais l’application optimale d’un calcul de mise à jour d’incertitudes fondé sur l’hypothèse de rareté de l’information dans l’environnement naturel.

Philip Johnson-Laird et son collègue Sangeet Khemlani ont vigoureusement répliqué à l’offensive bayésienne. Tout en reconnaissant la pertinence des probabilités pour l’action pratique, ils ont souligné les apories rédhibitoires de la thèse du « tout-bayésien » :
d’une part, les êtres humains raisonnent quotidiennement avec une efficacité incontestable sur des concepts catégoriques non probabilistes (comme l’impossibilité logique ou la nécessité structurelle d’une règle) ;
d’autre part, attribuer à l’esprit humain des calculs d’intégrations numériques de distributions de probabilités continues soulève un problème insurmontable d’invraisemblance psychologique et neuronale. Pour Johnson-Laird, les jugements de probabilité subjectifs ne constituent pas le socle premier de la cognition humaine : ils ne sont que des extrapolations secondaires et qualitatives fondées sur l’énumération discrète de modèles mentaux d’occurrences possibles, réaffirmant ainsi la primauté cognitive de la sémantique modale sur le calcul probabiliste statistique pur.

9. Substrats neurobiologiques et imagerie cérébrale du raisonnement par modèles

9.1 La cartographie des réseaux fronto-pariétaux

L’avènement des techniques modernes de neuro-imagerie fonctionnelle (IRMf, TEP) au tournant du vingt-et-unième siècle a fourni un banc d’essai crucial pour départager les modèles théoriques rivaux du raisonnement humain. Si la pensée déductive repose sur une logique mentale formelle de nature syntaxique, les études en imagerie devraient révéler un recrutement prédominant et exclusif des aires corticales dévolues au traitement linguistique formel, principalement concentrées dans l’hémisphère gauche autour de l’aire de Broca (gyrus frontal inférieur) et de l’aire de Wernicke. En revanche, si la théorie des modèles mentaux est exacte, le raisonnement devrait solliciter prioritairement un réseau distribué de structures cérébrales impliquées dans la représentation spatio-temporelle, la manipulation visuo-spatiale et la simulation de scènes analogiques.

Les méta-analyses des données neurofonctionnelles, menées notamment par Vinod Goel, Markus Knauff et Jérôme Prado, ont tranché ce débat de façon éclatante en confirmant l’engagement massif et systématique d’un vaste réseau fronto-pariétal bilatéral lors de l’exécution de tâches déductives :

• Le cortex pariétal postérieur (CPP), et plus particulièrement la région du sillon intrapariétal et du précunéus, s’illumine avec une intensité systématique. Ces structures pariétales sont universellement reconnues pour leur rôle cardinal dans la spatialisation sémantique, la mémoire de travail topologique et l’agencement de coordonnées géométriques internes. Leur recrutement massif valide l’hypothèse de Johnson-Laird selon laquelle l’esprit cartographie les relations logiques abstraites en configurations analogiques spatialisées.
• Le cortex préfrontal dorsolatéral (CPFDL), pour sa part, intervient lors des étapes d’intégration supérieure, orchestrant le contrôle exécutif, le maintien simultané des représentations et surtout le basculement attentionnel (cognitive shifting) indispensable lorsque le raisonneur est contraint d’abandonner un premier modèle pour générer et explorer des modèles alternatifs concurrents.

Ces données neurobiologiques démontrent de façon indiscutable que la déduction humaine ne se cantonne pas à une paraphrase linguistique interne, mais opère une véritable projection des prémisses textuelles dans des réseaux neuro-anatomiques initialement sélectionnés par l’évolution pour la navigation spatiale et la cartographie physique de l’environnement.

9.2 Dissociation hémisphérique : traitement linguistique versus analogique

L’observation neurofonctionnelle fine du décours temporel du raisonnement a révélé une fascinante dissociation hémisphérique dynamique au cours de l’acte déductif. Les travaux pionniers de Vinod Goel ont mis en évidence que les deux hémisphères cérébraux coopèrent au sein d’une division du travail cognitif parfaitement superposable aux étapes algorithmiques postulées par la théorie des modèles mentaux.

Durant la phase initiale d’écoute ou de lecture des prémisses (phase de compréhension), l’activité neuronale prédomine très nettement dans l’hémisphère gauche, mobilisant les réseaux temporaux et frontaux inférieurs linguistiques pour décoder la syntaxe et extraire la sémantique de base des énoncés. Mais dès que le sujet entre dans la phase de résolution déductive et d’extraction de la conclusion putative, un basculement neurodynamique spectaculaire s’opère : l’activation migre de manière significative vers les réseaux pariétaux et frontaux de l’hémisphère droit. Ce transfert hémisphérique reflète neurobiologiquement l’abandon du format propositionnel de surface au profit de la construction d’un modèle mental iconique globalisé, l’hémisphère droit étant réputé pour sa spécialisation dans l’intégration holistique, visuo-spatiale et relationnelle des scènes analogiques.

De surcroît, les enregistrements électrophysiologiques à haute résolution temporelle par potentiels évoqués (ERP) ont permis d’isoler des signatures temporelles distinctes. L’encodage propositionnel s’accompagne d’ondes N400 (liées au traitement de la sémantique linguistique), tandis que l’opération de recherche de contre-exemples et de détection des contradictions dans les modèles mentaux multiples déclenche des ondes P600 ou des négativités frontales tardives caractéristiques d’une réorganisation structurelle de l’espace de travail conscient, corroborant la réalité chronologique des trois phases du raisonnement décrites par Johnson-Laird.

9.3 Apports de la neuropsychologie et de l’étude des patients cérébrolésés

Les données issues de la neuropsychologie clinique et de l’étude des patients souffrant de lésions cérébrales focales ont apporté des confirmations décisives à l’architecture de la théorie des modèles mentaux, en matérialisant des dissociations pathologiques frappantes entre langage syntaxique et compétence logique analogique.

D’un côté, les observations menées auprès de patients atteints de lésions pariétales postérieures — en particulier de l’hémisphère droit — révèlent un déficit sélectif et dramatique du raisonnement déductif relationnel et spatial. Ces individus sont parfaitement capables de comprendre les phrases individuellement, de répéter la syntaxe des prémisses sans la moindre altération aphasique et de vérifier la cohérence grammaticale des énoncés. Néanmoins, dès qu’il leur est demandé d’inférer une conclusion novatrice nécessitant la mise en relation spatiale de plusieurs entités, leur performance s’effondre totalement : incapables de structurer un espace mental analogique, ils ne parviennent pas à générer le modèle unifié nécessaire à la déduction.

D’un autre côté, le tableau inverse est tout aussi probant : des patients souffrant d’aphasies sévères consécutives à des lésions massives de l’hémisphère gauche (touchant les aires péri-sylviennes du langage), bien qu’incapables d’articuler un discours complexe ou d’analyser des arborescences grammaticales formelles élaborées, conservent pour nombre d’entre eux des capacités d’inférence logique spatiales, visuelles et catégorielles parfaitement intactes dès lors que les tâches leur sont présentées sous une modalité iconique, non verbale ou simplifiée. Cette double dissociation démolit l’axiome central des théories logicistes qui liait indissolublement la rationalité déductive à l’intégrité de la grammaire formelle interne, prouvant empiriquement l’autonomie neuro-computationnelle de la simulation sémantique incarnée par les modèles mentaux.

10. Formalisation computationnelle et intelligence artificielle : le programme mReasoner

10.1 L’architecture algorithmique du système mReasoner

L’un des gages de maturité épistémologique les plus éclatants pour une théorie cognitive réside dans sa capacité à se traduire sous la forme d’un programme informatique pleinement fonctionnel, capable de simuler point par point les comportements humains observés sur le terrain expérimental. Cet objectif a été magistralement concrétisé par Philip Johnson-Laird et son collaborateur Sangeet Khemlani à travers le développement du système mReasoner. Ce programme constitue l’implémentation algorithmique unifiée de la théorie des modèles mentaux, intégrant au sein d’une même architecture computationnelle le traitement du raisonnement propositionnel, des quantificateurs aristotéliciens et des jugements de probabilité subjectifs.

L’algorithme de mReasoner fonctionne de manière séquentielle et modulaire :

1. Il reçoit en entrée des prémisses formulées dans un sous-ensemble contrôlé de la langue naturelle, qu’il convertit d’abord en représentations d’arguments sémantiques.
2. Le module principal instancie ensuite un modèle mental initial composé d’un réseau discret de tokens représentant les entités et leurs propriétés relationnelles, conformément aux préceptes stricts du principe de vérité (les clauses fausses ne sont pas écrites en mémoire vive).
3. Le système dispose d’un moteur d’inspection capable de scanner la matrice de tokens pour formuler une conclusion putative inédite en exploitant les liens transitifs émergents.
4. Enfin, un module métacognitif de réfutation tente, par un ensemble de règles de réécriture heuristique, de modifier la structure interne du modèle (en ajoutant, déplaçant ou rompant des liaisons entre tokens) pour tenter de fabriquer un contre-exemple. L’algorithme inclut un paramètre stochastique modélisant la capacité limitée de la mémoire de travail : au fur et à mesure que le nombre d’éléments manipulés s’accroît, la probabilité que le programme interrompe prématurément sa recherche s’élève selon une loi de dégradation probabiliste rigoureusement étalonnée sur les limites neurocognitives humaines.

10.2 Simulation quantitative des performances humaines et des latences

La puissance de mReasoner ne se limite pas à produire des réponses qualitatives correctes ou erronées : elle réside dans sa capacité à fournir des prédictions quantitatives d’une précision millimétrique, validées par comparaison statistique directe avec les banques de données psychométriques mondiales compilant des dizaines de milliers d’essais expérimentaux. Le système est capable de reproduire la distribution exacte des taux d’erreurs systématiques commises par les populations humaines dans les 64 formes distinctes du syllogisme aristotélicien et dans les combinaisons les plus perverses d’inférences illusoires.

De surcroît, le programme modélise avec une fidélité mathématique remarquable les durées des temps de réaction (latences de réponse) des participants humains. Dans l’architecture algorithmique de mReasoner, chaque micro-opération cognitive — instancier un token d’individu, joindre une relation analogique, expliciter un modèle implicite, scanner un état de choses, réarranger un ensemble pour tester un contre-exemple — se voit assigner un coût de cycle computationnel discret. En sommant ces opérations virtuelles pour un problème déductif donné, le logiciel prédit la durée relative que mettra un être humain pour résoudre la tâche. Les confrontations économétriques confirment une corrélation extrêmement élevée entre les latences simulées par l’ordinateur et les chronométrages réels enregistrés en laboratoire, prouvant que la théorie des modèles mentaux ne se contente pas de décrire les représentations finales de l’esprit, mais modélise authentiquement l’écologie temporelle des processus mentaux sous-jacents.

10.3 Limites des modèles mentaux face aux architectures neuronales modernes (LLM)

À l’ère contemporaine dominée par l’avènement fulgurant des grands modèles de langage (Large Language Models ou LLM) fondés sur l’architecture Transformer et les réseaux de neurones profonds, la théorie des modèles mentaux se trouve au centre d’une dialectique théorique d’une actualité brûlante dans le champ de l’intelligence artificielle. Les LLM contemporains, à l’instar des modèles de pointe actuels, sont des moteurs statistiques formidables opérant sur des représentations vectorielles d’occurrences textuelles (tokens d’incorporation) sans disposer de la moindre iconicité structurale analogique interne : ils ne construisent aucun modèle du monde au sens craikien ou lairdien du terme.

Cette absence d’ancrage analogique structural explique avec une limpidité désarmante les faiblesses persistantes de ces intelligences artificielles modernes, en premier lieu leurs spectaculaires « hallucinations déductives » et leur incapacité chronique à maintenir une cohérence logique rigoureuse lors de problèmes de transitivité spatiale ou temporelle complexe à plusieurs embranchements. Tout comme l’être humain captif de son principe de vérité, les transformeurs génèrent du texte sur la base de plausibilités superficielles et de corrélations de surface, sans pouvoir inspecter une simulation spatio-relationnelle stable pour en vérifier la validité ontologique.

De nombreux spécialistes de l’intelligence artificielle cognitive suggèrent aujourd’hui que la prochaine grande révolution de l’IA consistera précisément à hybrider les architectures de réseaux de neurones profonds avec des moteurs computationnels de modèles mentaux inspirés de mReasoner. En dotant les futurs systèmes artificiels d’un espace de travail sémantique analogique dédié — capable de simuler explicitement des mondes possibles, de tester systématiquement des contre-exemples avant d’émettre une assertion, et de séparer les états de vérité des contraintes discursives —, les ingénieurs pourraient enfin conférer aux machines une authentique capacité de raisonnement abductif et déductif robuste, immunisée contre les dérives hallucinatoires.

11. Applications empiriques et implications pratiques de la théorie

11.1 Pédagogie et développement de la pensée critique

Loin de s’enfermer dans une abstraction de laboratoire, la théorie des modèles mentaux déploie des retombées pratiques considérables, notamment dans le domaine de la pédagogie, de la didactique des sciences et du développement de la pensée critique. En révélant que les écueils déductifs des élèves ne résultent pas d’une absence congénitale de « logique », mais d’une incapacité structurelle à gérer la surcharge de modèles mentaux multiples et d’une fâcheuse tendance à interrompre la délibération dès le modèle initial, Johnson-Laird offre aux pédagogues un puissant levier d’action.

Dans l’enseignement des mathématiques, de la physique et de la programmation informatique, la didactique moderne inspirée des modèles mentaux préconise de substituer à l’apprentissage aveugle de formules syntaxiques formelles la construction délibérée d’analogies structurales spatialisées :

• L’utilisation de représentations visuo-spatiales manipulables permet de délester la mémoire de travail de la gangue symbolique pour focaliser l’attention de l’apprenant sur les invariances géométriques et logiques réelles.
• De surcroît, la formation explicite à la recherche systématique de contre-exemples s’avère être l’antidote pédagogique le plus efficace contre le dogmatisme et les biais de confirmation chez les jeunes esprits. En apprenant aux élèves à se poser rituellement la question : « Puis-je construire une situation miniature où les informations de départ sont vraies mais où ma conclusion s’effondre ? », on institutionnalise l’exercice actif du Système 2 et on fortifie durablement les compétences métacognitives de réflexion critique.

11.2 Ergonomie cognitive, sûreté de fonctionnement et design d’interfaces

Dans les environnements industriels à haut risque — tels que le pilotage de l’aviation civile, la surveillance de réacteurs nucléaires ou la gestion de systèmes militaires automatisés —, les conclusions de la théorie des modèles mentaux sont devenues incontournables pour l’ergonomie cognitive et la sûreté de fonctionnement. L’histoire des catastrophes technologiques est jalonnée de drames causés non par des pannes matérielles, mais par des ruptures catastrophiques d’adéquation entre le modèle mental spontanément échafaudé par l’opérateur humain et l’état physique réel du système supervisé.

Les concepteurs d’interfaces homme-machine doivent impérativement intégrer les contraintes du principe de vérité et les dangers des inférences illusoires :

• Lorsque des systèmes d’affichage d’alarmes concurrentes ou ambiguës saturent l’attention des opérateurs sous une forme disjonctive, les cerveaux humains éliminent inconsciemment les états négatifs ou cachés pour ne retenir qu’un scénario explicite simplifié, qui peut s’avérer fatalement trompeur.
• Pour conjurer ces désastres, l’ergonomie moderne prescrit de concevoir des interfaces d’affichage dites « écologiques » ou analogiques, dont la topologie visuelle est rigoureusement isomorphe aux flux causaux réels de la machine.

En rendant directement visibles et spatialement explicites les états de défaillance, les chemins de redondance et les hypothèses contradictoires sans obliger l’opérateur à déployer mentalement des cascades de modèles implicites impossibles à maintenir sous stress intense, l’ingénierie cognitive garantit un alignement structural permanent entre l’esprit humain et l’artefact technique.

11.3 Raisonnement médical et aide au diagnostic clinique

L’exercice du diagnostic médical constitue un archétype vivant de raisonnement déductif et probabiliste opéré sous contrainte temporelle sévère et face à un bruit informationnel massif. L’application de la théorie de Johnson-Laird à l’erreur médicale a permis d’éclairer sous un jour nouveau la genèse des erreurs de diagnostic différentiel commises tant par les internes en formation que par des praticiens chevronnés.

L’écueil prépondérant réside dans le verrouillage prématuré sur un modèle mental unique :
face à un tableau symptomatique initial évocateur, le praticien construit immédiatement une simulation mentale d’une pathologie prototype. Cette construction satisfait la phase de compréhension et engendre une conclusion putative séduisante.
Le piège intervient lors de la phase de validation : sous la pression du temps et la fatigue mnésique, le médecin omet d’expliciter les modèles mentaux de maladies concurrentes mais moins prévalentes qui partagent le même ensemble symptomatique initial. De surcroît, le principe de vérité le pousse inconsciemment à surpondérer les signes cliniques confirmatoires présents (les clauses vraies) et à négliger tragiquement l’absence de certains symptômes cardinaux qui auraient pourtant constitué le contre-exemple fatal à son hypothèse de départ.

La formalisation computationnelle par modèles mentaux a ainsi impulsé la refonte des systèmes experts et des arbres d’aide à la décision clinique. En structurant les algorithmes d’orientation diagnostique de manière à forcer activement la comparaison simultanée de modèles alternatifs orthogonaux et à afficher explicitement les contre-indications négatives, la médecine moderne s’arme d’un puissant garde-fou contre les angles morts inhérents à la cognition sémantique humaine.

12. Évaluations critiques, débats contemporains et perspectives futures

12.1 Les objections épistémologiques et méthodologiques

En dépit de son immense succès empirique et de sa puissance explicative, la théorie des modèles mentaux a suscité, tout au long de son développement, de vives objections épistémologiques et méthodologiques de la part de logiciens, de philosophes de l’esprit et de psychologues computationnels rivaux. La critique la plus récurrente concerne la question fondamentale de la falsifiabilité (au sens poppérien) de la théorie, alimentée par son extrême plasticité explicative.

Ses détracteurs — à l’instar de John Rips ou Guy Politzer — ont parfois argué que le concept de modèle mental est devenu si polyvalent et malléable qu’il risque de tout expliquer a posteriori sans jamais s’exposer à une réfutation catégorique. Face à une déviation inattendue du comportement des sujets humains, la théorie peut en effet invoquer à discrétion la modulation sémantique, l’oubli stochastique en mémoire de travail, l’omission d’un modèle implicite ou l’interruption inopinée de la recherche de contre-exemples, rendant le noyau dur de la théorie particulièrement difficile à isoler expérimentalement.

Une seconde objection d’ordre philosophique majeure touche au problème récurrent de l’argument de l’homoncule et à la régression à l’infini dans le mécanisme d’inspection du modèle. Si l’esprit résout un problème déductif en « inspectant » un arrangement spatial ou relationnel interne au sein de son atelier mental, qui est l’entité cognitive qui « regarde » et « interprète » ce modèle mental ? Faut-il postuler un sous-système interprétatif interne doué d’intelligence (un homoncule cognitif), et si oui, ce sous-système ne doit-il pas lui-même faire appel à des règles logiques formelles pour décoder le sens de ce qu’il observe ? Bien que Johnson-Laird ait répondu à cette critique par l’implémentation d’algorithmes informatiques dénués de toute subjectivité magique comme mReasoner, la question de la nature exacte du code représentationnel mental — est-il fondamentalement perceptif-analogique ou ultimement calculable sous une forme discrète sous-jacente ? — demeure un sujet de controverses conceptuelles passionnées dans les sciences cognitives de l’esprit.

12.2 Le défi de l’intégration des concepts hautement abstraits

L’un des défis les plus redoutables posés à la théorie des modèles mentaux réside dans sa capacité à traiter des énoncés dépourvus de tout référent perceptuel, spatial ou physique direct. Si l’iconicité structurale et la spatialisation s’appliquent avec un naturel désarmant aux objets matériels, aux temporalités narratives et aux grandeurs mesurables, comment une architecture analogique peut-elle modéliser des concepts métamathématiques ou des entités métaphysiques d’une abstraction absolue ?

Considérons des propositions telles que : « L’ontologie précède nécessairement toute phénoménologie transcendantale », ou des théorèmes logiques portant sur des infinis non dénombrables. L’esprit ne peut instancier aucun « token » tangible d’individu ni aucune topologie visuelle crédible pour spatialiser de telles abstractions pures. Face à ce type d’énoncés, la notion même d’analogie structurale devient évanescente, forçant la théorie à admettre la présence d’annotations symboliques abstraites, de balises logiques et d’opérateurs formels tellement complexes qu’ils finissent par ressembler à s’y méprendre aux formules propositionnelles que le paradigme des modèles mentaux entendait initialement abolir.

De surcroît, la théorisation de la négation universelle et des paradoxes auto-référentiels (tels que le paradoxe du menteur : « Cette phrase est fausse ») pose des défis redoutables à l’architecture analogique :
comment construire le modèle mental d’un pur « vide » ou de l’inapplicabilité logique même du concept d’état de choses ?
La conciliation théorique entre l’intuition analogique sémantique et la formalisation logico-mathématique rigoureuse nécessaire aux raisonnements hautement décontextualisés de la science moderne demeure un chantier théorique inachevé.

12.3 Nouveaux horizons de recherche et prolongements théoriques

Loin d’être figée dans ses postulats historiques, la théorie des modèles mentaux continue aujourd’hui de se déployer vers des territoires scientifiques inexplorés et extraordinairement prometteurs. L’un des développements contemporains les plus fascinants concerne son extension à la compréhension de la créativité humaine et à la pensée contrefactuelle. Dans cette optique, l’étincelle créative n’est pas un saut irrationnel mystique, mais la capacité exceptionnelle d’un individu à briser délibérément les contraintes d’un modèle par défaut pour explorer des configurations sémantiques aberrantes, révélant des connexions analogiques masquées aux yeux du sens commun.

Un autre axe de recherche majeur explore les interactions profondes entre les modèles mentaux et la résolution de dilemmes moraux. Face à des scénarios tragiques (comme le célèbre dilemme du tramway), les délibérations éthiques déontologiques ou utilitaristes dépendent viscéralement du nombre de modèles mentaux de victimes potentielles que l’agent est capable de simuler affectivement. Les travaux les plus récents intègrent le rôle direct des émotions et des affects dans l’architecture : l’angoisse, le dégoût ou la peur exercent une force gravitationnelle cognitive qui verrouille l’esprit sur un modèle unique terrifiant, interrompant instantanément la recherche de contre-exemples salutaires et précipitant l’action sous l’emprise d’un réflexe d’évitement archaïque.

Enfin, la convergence en cours entre les neurosciences computationnelles de pointe, la psychologie cognitive expérimentale et la philosophie de la sémantique formelle laisse entrevoir l’émergence d’une théorie unifiée de la conscience réflexive. Dans cette perspective grandiose préfigurée par Kenneth Craik et magistralement bâtie par Philip Johnson-Laird, la rationalité humaine cesse d’être vue comme l’exécution froide d’un code algorithmique impersonnel. Elle s’impose pour ce qu’elle est véritablement : une formidable odyssée imaginative, un théâtre intérieur où l’esprit passe son existence à bâtir, éprouver et détruire de petites maquettes du monde, cherchant inlassablement dans les reflets de ces miroirs internes la lueur vacillante mais indomptable de la vérité.

Références

• Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 832–843. https://doi.org/10.1145/182.358434
• Braine, M. D., & O’Brien, D. P. (Eds.). (1998). Mental logic. Lawrence Erlbaum Associates Publishers.
• Byrne, R. M. (2005). The rational imagination: How people create alternatives to reality. MIT Press. https://doi.org/10.7551/mitpress/5752.001.0001
• Craik, K. J. (1943). The nature of explanation. Cambridge University Press.
• Evans, J. S. B., & Stanovich, K. E. (2013). Dual-process theories of higher cognition: Advancing the debate. Perspectives on Psychological Science, 8(3), 223–241. https://doi.org/10.1177/1745691612460685
• Goel, V., & Dolan, R. J. (2003). Explaining modulation of reasoning by belief. Cognition, 87(1), B11–B22. https://doi.org/10.1016/S0010-0277(02)00185-3
• Johnson-Laird, P. N. (1983). Mental models: Towards a cognitive science of language, inference, and consciousness. Harvard University Press.
• Johnson-Laird, P. N. (2006). How we reason. Oxford University Press.
• Johnson-Laird, P. N. (2010). Mental models and human reasoning. Proceedings of the National Academy of Sciences, 107(43), 18243–18250. https://doi.org/10.1073/pnas.1012933107
• Johnson-Laird, P. N., & Bara, B. G. (1984). Syllogistic inference. Cognition, 16(1), 1–61. https://doi.org/10.1016/0010-0277(84)90035-0
• Johnson-Laird, P. N., & Byrne, R. M. (1991). Deduction. Lawrence Erlbaum Associates Publishers.
• Johnson-Laird, P. N., & Byrne, R. M. (2002). Conditionals: A theory of meaning, pragmatics, and inference. Psychological Review, 109(4), 646–678. https://doi.org/10.1037/0033-295X.109.4.646
• Johnson-Laird, P. N., & Savary, F. (1999). Illusory inferences: a novel class of erroneous deductions. Cognition, 71(3), 191–229. https://doi.org/10.1016/S0010-0277(99)00021-9
• Kahneman, D. (2011). Thinking, fast and slow. Farrar, Straus and Giroux.
• Khemlani, S., & Johnson-Laird, P. N. (2012). Theories of the syllogism: A meta-analysis. Psychological Bulletin, 138(3), 427–457. https://doi.org/10.1037/a0026841
• Khemlani, S., & Johnson-Laird, P. N. (2013). The processes of inference. Argument & Computation, 4(1), 4–20. https://doi.org/10.1080/19462166.2012.674060
• Khemlani, S., & Johnson-Laird, P. N. (2017). How students solve illusory inferences about probabilities. Cognitive Science, 41(8), 2212–2237. https://doi.org/10.1111/cogs.12457
• Knauff, M. (2013). Space to reason: A continuous source of error, alternative to language, and bridge to the world. MIT Press. https://doi.org/10.7551/mitpress/9780262019668.001.0001
• Oaksford, M., & Chater, N. (2007). Bayesian rationality: The probabilistic approach to human reasoning. Oxford University Press. https://doi.org/10.1093/acprof:oso/9780198524496.001.0001
• Piaget, J. (1953). The logic of the child. Basic Books.
• Prado, J., Chadha, A., & Booth, J. R. (2011). The brain network for deductive reasoning: A quantitative meta-analysis of neuroimaging studies. Cerebral Cortex, 21(11), 2483–2497. https://doi.org/10.1093/cercor/bhr034
• Rips, L. J. (1994). The psychology of proof: Deductive reasoning in human thinking. MIT Press.
• Tversky, A., & Kahneman, D. (1983). Extensional versus intuitive reasoning: The conjunction fallacy in probability judgment. Psychological Review, 90(4), 293–315. https://doi.org/10.1037/0033-295X.90.4.293
• Wason, P. C. (1968). Reasoning about a rule. Quarterly Journal of Experimental Psychology, 20(3), 273–281. https://doi.org/10.1080/14640746808400161
• Wason, P. C., & Johnson-Laird, P. N. (1972). Psychology of reasoning: Structure and content. Harvard University Press.