El estudio contemporáneo del razonamiento humano y la epistemología experimental experimentó un punto de inflexión decisivo en el año 1960. Hasta ese momento, las ciencias de la mente se encontraban profundamente influenciadas por visiones normativas que concebían al individuo adulto como un agente lógico natural, dotado de una capacidad espontánea para formular hipótesis, contrastarlas rigurosamente frente a los datos y descartarlas sin vacilación cuando la evidencia empírica resultaba contradictoria. Esta perspectiva, respaldada en gran medida por la psicología del desarrollo de corte piagetiano y por las formulaciones abstractas del positivismo lógico, asumía que la arquitectura del intelecto maduro operaba según principios similares a los cánones formales de la inferencia científica.
Fue en este clima de certidumbres teóricas donde el psicólogo británico Peter Cathcart Wason concibió un experimento engañosamente simple pero estructuralmente revolucionario: el problema de las tripletas 2-4-6. Lejos de requerir aparatajes complejos o mediciones psicofisiológicas intrusivas, el diseño de Wason apelaba únicamente a un lápiz, hojas de papel y una secuencia inicial de tres números enteros. Sin embargo, detrás de esa aparente modestia metodológica se escondía un dispositivo analítico capaz de desmontar los supuestos tradicionales sobre la racionalidad humana, dejando al descubierto una inclinación sistemática hacia la verificación ingenua en detrimento de la falsación rigurosa.
El presente artículo examina en profundidad el experimento del problema 2-4-6, analizando sus fundamentos epistemológicos, su protocolo metodológico original, las interpretaciones cognitivas clásicas y contemporáneas, así como su impacto imborrable en el estudio de los sesgos cognitivos. A lo largo de esta exposición, se explorará cómo una sencilla regla matemática de tres números en orden ascendente continúa siendo un espejo implacable de los límites de la mente humana, demostrando que la búsqueda de la verdad a menudo sucumbe ante la tentación reconfortante de buscar únicamente aquello que confirma nuestras intuiciones previas.
1. Introducción a Peter Wason y la génesis del problema 2-4-6
1.1 Contexto histórico del razonamiento hipotético-deductivo en 1960
A finales de la década de 1950 y principios de la de 1960, el estudio del pensamiento humano se encontraba en una encrucijada teórica fundamental. Por un lado, la psicología del desarrollo cognitivo estaba ampliamente dominada por las formulaciones de Jean Piaget e Inhelder, quienes sostenían que el desarrollo intelectual culminaba en el período de las operaciones formales durante la adolescencia. Según este modelo, el ser humano adulto poseía una competencia lógica formal plenamente integrada, caracterizada por la capacidad espontánea de desplegar un razonamiento hipotético-deductivo; es decir, la habilidad intrínseca de aislar variables, formular proposiciones condicionales y someter hipótesis a pruebas exhaustivas mediante una combinatoria lógica rigurosa.
Paralelamente, la psicología experimental anglosajona comenzaba a distanciarse del conductismo radical imperante, el cual había relegado los procesos de pensamiento a la categoría de «cajas negras» inaccesibles. La incipiente revolución cognitiva buscaba rescatar los estados internos, las representaciones y las reglas de procesamiento computacional. En este entorno, el laboratorio del University College de Londres (UCL), donde Peter Wason desarrollaba sus investigaciones, se convirtió en un epicentro de experimentación sobre la lógica empírica. Existía una urgente necesidad de diseñar herramientas empíricas estandarizadas que no dependieran de pruebas psicométricas tradicionales ni de la resolución pasiva de silogismos clásicos, sino que permitieran registrar en tiempo real la dinámica activa del descubrimiento de reglas y la contrastación empírica en sujetos humanos adultos.
1.2 Biografía intelectual y motivaciones epistemológicas de Peter Cathcart Wason
Peter Cathcart Wason (1924–2003) fue una de las figuras más singulares, heterodoxas y penetrantes de la psicología experimental del siglo XX. Desvinculado deliberadamente de las tendencias psicométricas hegemónicas que se limitaban a cuantificar la inteligencia mediante coeficientes abstractos, Wason sentía una fascinación intelectual por la naturaleza del error sistemático. Su interés radicaba en desentrañar los callejones sin salida cognitivos, los sesgos implícitos y las trampas mentales en las que caían personas de alto nivel formativo e intelectual cuando se enfrentaban a problemas lógicos aparentemente elementales.
La perspectiva analítica de Wason estuvo directamente influenciada por las discusiones del Círculo de Viena y, de manera muy especial, por los debates contemporáneos sobre la demarcación científica y el problema de la inducción. Guiado por un agudo sentido de la ironía metodológica, Wason creía que la cognición humana no debía evaluarse a través de respuestas correctas aisladas, sino observando la trayectoria defectuosa de los intentos del sujeto. Buscaba un diseño experimental despojado de artificios técnicos, minimalista en su presentación pero matemáticamente inexpugnable, capaz de aislar las fallas estructurales del razonamiento deductivo frente a la mera acumulación de evidencia superficial.
1.3 La ruptura con el modelo del pensador puramente popperiano
El marco de referencia normativo que Wason contrastó de forma pionera fue la epistemología de Karl Popper. En su obra seminal The Logic of Scientific Discovery, publicada en inglés en 1959, Popper había postulado que el progreso del conocimiento no se sostiene en la confirmación inductiva de hipótesis —la cual adolece de una debilidad lógica insubsanable—, sino en los esfuerzos implacables por someter las teorías a intentos sistemáticos de refutación o falsación.
Wason sospechaba que, contra lo postulado por las visiones racionalistas optimistas y los modelos formales popperianos, los individuos reales no operan en su vida cotidiana ni en sus deliberaciones abstractas como científicos normativos. Sus experimentos iniciales apuntaban a que los seres humanos muestran una fuerte aversión a desestabilizar sus propias conjeturas, prefiriendo la corroboración inmediata de casos positivos sobre la búsqueda metódica del error. Esta intuición demandaba abandonar el análisis estático de premisas lógicas para adoptar paradigmas dinámicos de descubrimiento de reglas, donde el sujeto se viera forzado a generar información por iniciativa propia para poner a prueba la solidez de sus hipótesis.
2. Diseño metodológico y protocolo experimental original del paradigma 2-4-6
2.1 La secuencia inicial 2-4-6 y las instrucciones administradas a los sujetos
En el artículo fundacional de Wason, publicado en 1960 bajo el título On the failure to eliminate hypotheses in a conceptual task en el Quarterly Journal of Experimental Psychology, se presentó a veintinueve estudiantes universitarios una secuencia aparentemente trivial: la tripleta numérica (2, 4, 6). El experimentador informaba a cada participante que estos tres números habían sido construidos conforme a una regla abstracta preestablecida que gobernaba la relación entre ellos, regla que se encontraba escrita en una tarjeta oculta fuera de la vista del sujeto.
La consigna metodológica era estricta y transparente: los sujetos debían descubrir dicha regla subyacente generando nuevas tripletas numéricas formuladas por ellos mismos. Sin embargo, se introdujo una restricción operativa crucial: antes de someter cada nueva tripleta a la evaluación del examinador, el participante debía declarar de forma explícita por escrito la razón o hipótesis teórica que motivaba su propuesta particular. Por último, se enfatizó una advertencia formal decisiva: no debían intentar adivinar la regla definitiva de forma prematura; solo debían verbalizar formalmente su regla final cuando tuvieran una certidumbre lógica y absoluta de que su conjetura era correcta.
2.2 El proceso iterativo de generación de tripletas y retroalimentación
El protocolo experimental operaba mediante un mecanismo de retroalimentación estrictamente binario. Cuando el sujeto proponía una secuencia de tres números (por ejemplo, 8, 10, 12), el experimentador se limitaba a responder de manera unívoca con una de dos afirmaciones: «conforme a la regla» o «no conforme a la regla» (habitualmente sintetizado como «Sí» o «No»). El experimentador mantenía una neutralidad expresiva absoluta para evitar cualquier forma de sesgo involuntario o efecto Rosenthal, absteniéndose de proporcionar pistas explicativas, correcciones pedagógicas o indicios cualitativos sobre el grado de proximidad a la solución.
Todo el proceso iterativo se registraba minuciosamente por escrito en una plantilla estandarizada. Este procedimiento permitía trazar la cronología exacta y el árbol de decisiones desplegado por el participante: cada fila contenía la hipótesis conjeturada de forma provisional, la tripleta seleccionada para contrastarla, la retroalimentación recibida del oráculo experimental y las anotaciones reflexivas del sujeto. No existía un límite temporal estricto ni un número máximo impuesto de tripletas de prueba, permitiendo a los participantes acumular datos empíricos de manera continua hasta que decidieran cruzar el umbral de declarar formalmente la regla final que creían haber descubierto.
2.3 El criterio de verificación de hipótesis frente al criterio del examinador
El núcleo metodológico del diseño radicaba en la divergencia deliberada entre la hipótesis interna sostenida por el participante y la regla objetiva fijada por el sistema. El evaluador no actuaba como un facilitador cognitivo ni como un maestro comprensivo, sino como un autómata algorítmico imparcial que juzgaba la validez de la terna numérica exclusivamente a la luz de la regla meta formal, ignorando si la conjetura del sujeto era coincidente o conceptualmente dispar.
Las condiciones formales para dar por resuelta la tarea eran inflexibles. Una vez que el sujeto anunciaba formalmente su veredicto (por ejemplo: «la regla consiste en sumar dos unidades sucesivas a números pares»), el experimentador verificaba si el enunciado coincidía exactamente con la regla meta. En caso de discrepancia, el examinador informaba con frialdad al participante que su regla propuesta era errónea y le indicaba que el experimento continuaba, invitándole a generar nuevas secuencias hasta dar con el postulado exacto o abandonar por saturación cognitiva.
3. La regla oculta y el conflicto de especificidad matemática
3.1 Definición formal de la regla meta: cualquier secuencia ascendente
La regla oculta ideada por Peter Wason se caracterizaba por una simplicidad conceptual casi desconcertante: «tres números cualesquiera en orden creciente de magnitud» ($x < y < z$). En términos matemáticos, se trataba de una propiedad puramente ordinal de máxima generalidad. No exigía que los números fueran pares, ni imponía restricciones sobre la igualdad de intervalos, la divisibilidad, la pertenencia a los números enteros, racionales o reales, ni la existencia de razones aritméticas o geométricas.
Esta regla presentaba una naturaleza contraintuitiva precisamente por carecer de cualquier sofisticación algorítmica. En el contexto de un experimento psicológico universitario en una institución de élite, los participantes asumían de forma automática que el desafío demandaba desentrañar un patrón matemático elegante, complejo y distintivo. La inmensidad del espacio muestral abarcado por la regla verdadera desarmaba las expectativas habituales de especificidad, provocando que la simplicidad del criterio objetivo fuera percibida, paradójicamente, como algo cognitivamente inverosímil.
3.2 La trampa cognitiva de las propiedades matemáticas irrelevantes
El estímulo inicial elegido por Wason —la secuencia (2, 4, 6)— actuaba como un «cebo cognitivo» perfecto, al estar sobrecargado de regularidades matemáticas altamente salientes pero enteramente accidentales respecto a la regla meta. La presencia de estos factores contingentes inducía sistemáticamente a los sujetos a formular tres hipótesis espurias principales:
- La trampa de la paridad numérica: La asunción espontánea de que los dígitos debían pertenecer exclusivamente al conjunto de los números pares ($2n$).
- La trampa de la progresión aritmética constante: La deducción automática de que la diferencia entre términos contiguos debía ser fija y equivalente a sumar dos unidades ($x_n = x_{n-1} + 2$).
- La sobreatribución de leyes algebraicas complejas: El planteamiento de funciones exponenciales, relaciones de proporcionalidad simétrica o secuencias armónicas estructuradas.
El conflicto radicaba en la dificultad intrínseca de despojar al ejemplo canónico de sus correlatos matemáticos secundarios. Los participantes se adherían ciegamente a la regularidad más específica y visualmente evidente (tres números pares consecutivos con incremento constante de dos), asumiendo que todas esas propiedades eran condiciones necesarias de la regla, cuando en realidad eran propiedades contingentes e irrelevantes frente a la única condición necesaria y suficiente: la monotonía estrictamente creciente.
3.3 Relaciones de inclusión de conjuntos entre las hipótesis formuladas y la regla verdadera
Para comprender la trampa lógica del problema 2-4-6 desde una perspectiva formal, es indispensable analizar la relación de inclusión de conjuntos existente entre la hipótesis del sujeto ($H$) y la regla verdadera o regla meta ($T$). En casi la totalidad de los ensayos, la hipótesis concebida por los participantes constituía un subconjunto propio estricto de la regla objetivo:
$$H \subset T$$
Si la regla meta $T$ es «números en orden ascendente» y la hipótesis formulada por el sujeto $H$ es «progresión aritmética ascendente de dos en dos», cualquier tripleta generada bajo los parámetros de $H$ (por ejemplo: 10, 12, 14; 20, 22, 24; 100, 102, 104) pertenece simultáneamente al conjunto $T$. Por consiguiente, cada vez que el sujeto pone a prueba una instancia conforme a su propia hipótesis restrictiva, el experimentador responde de manera afirmativa («Sí»), dado que la secuencia respeta la regla general ascendente.
Esta estructura conjuntista crea una trampa epistemológica insidiosa: resulta matemáticamente imposible toparse con una discrepancia empírica o una retroalimentación negativa mediante casos que se limiten a explorar $H$. Al mantenerse confinado en la región de intersección donde $H$ coincide con $T$, el participante experimenta un estado de aislamiento epistémico: recopila confirmaciones empíricas continuas que parecen validar su teoría, ignorando que el espacio exterior a su hipótesis ($T setminus H$) contiene infinitos contraejemplos que demostrarían de inmediato que su conjetura es ridículamente restrictiva.
4. Comportamiento observacional y patrones de respuesta empíricos
4.1 La formulación temprana de hipótesis excesivamente restrictivas
El comportamiento empírico observado por Wason en los protocolos experimentales reveló una uniformidad notable en la aproximación de los participantes. Tras observar la tripleta fundacional (2, 4, 6), la inmensa mayoría de los individuos generaba de forma casi instantánea una hipótesis altamente restrictiva. Las anotaciones iniciales registraban casi unánimemente conceptualizaciones como «números pares que aumentan de dos en dos», «progresión aritmética constante» o «secuencia de números pares correlativos».
Inmediatamente después de concebir esta idea primaria, los sujetos procedían a diseñar sus primeras tripletas de prueba de manera directa y lineal: secuencias como (8, 10, 12), (14, 16, 18) o (20, 22, 24). En esta etapa preliminar, se evidenciaba una ausencia generalizada de exploración periférica. Los participantes no exploraban los límites de la regla ni ensayaban secuencias limítrofes; operaban bajo la premisa indiscutida de que la propiedad matemática destacada era la esencia misma de la regla oculta, orientando toda su energía inicial a producir duplicaciones estructurales del ejemplo fundacional.
4.2 El fenómeno del éxito ilusorio mediante tripletas compatibles continuas
A medida que los sujetos sometían a juicio sus tripletas formuladas bajo la hipótesis restrictiva, se desencadenaba una dinámica psicológica sumamente poderosa: la retroalimentación positiva sistemática por parte del experimentador. Con cada «Sí» concedido a secuencias como (100, 102, 104) o (50, 52, 54), el sujeto experimentaba un refuerzo psicológico acumulativo que cimentaba su convicción de estar en la senda correcta.
Este fenómeno engendraba lo que puede denominarse un éxito ilusorio. Los participantes confundían la compatibilidad empírica de sus datos con la demostración de la verdad de su hipótesis. Cada respuesta afirmativa era interpretada erróneamente como una corroboración categórica de la necesidad de su regla imaginada, inflando su confianza subjetiva hasta límites insostenibles. Se producía una auténtica ceguera cognitiva respecto a un principio elemental de la inferencia lógica: el hecho de que una teoría sea compatible con un conjunto de datos observados jamás implica que dicha teoría sea la única capaz de explicar tales datos, ni que sea la teoría verdadera.
4.3 Tasas históricas de fracaso en el primer intento y resistencia a la modificación
Las estadísticas obtenidas por Wason en su estudio de 1960 fueron contundentes y desconcertaron a la comunidad académica. De los 29 participantes analizados —todos ellos estudiantes universitarios e investigadores de alto nivel académico—, aproximadamente el 80% (23 sujetos) falló en su primer intento formal de declarar la regla correcta. Solo 6 individuos lograron enunciar con éxito la propiedad ordinal ascendente en su primer dictamen formal.
Aún más reveladora que la tasa de error fue la reacción afectiva y conductual ante el dictamen negativo del examinador. Cuando el experimentador anunciaba que la regla declarada (por ejemplo, «números que crecen de dos en dos») era falsa, los participantes mostraban signos elocuentes de perplejidad, sorpresa y parálisis cognitiva. Su reacción más frecuente no era ensanchar radicalmente el espacio de hipótesis, sino replegarse hacia variantes igualmente restrictivas o complejizaciones barrocas de su idea previa: proponían entonces que la regla requería «números pares cuya diferencia sea la mitad del primer número» o inventaban fórmulas combinatorias rebuscadas. Solo un pequeño contingente de sujetos logró reestructurar su enfoque analítico hacia estrategias de contraste deliberado, superando el bloqueo mediante la producción de contraejemplos intencionales.
5. La conceptualización del sesgo de confirmación según Wason
5.1 Definición fundacional del término sesgo de confirmación
El término formal «sesgo de confirmación» (confirmation bias) tiene su raíz conceptual directa en estos experimentos pioneros de Wason, aunque su consolidación terminológica en la literatura experimental definitiva fue desarrollada de forma sistemática por Clifford R. Mynatt, Michael E. Doherty y Ryan D. Tweney en su estudio de 1977. Wason identificó este fenómeno como una propensión psicológica persistente a buscar, atender, interpretar y favorecer información que coincida con las hipótesis sostenidas previamente, acompañada de una reticencia sistemática a buscar o asimilar información que pueda desmentirlas.
Resulta indispensable diferenciar conceptualmente el sesgo de confirmación descubierto en el paradigma 2-4-6 de los sesgos puramente afectivos, motivados o ideológicos. En la tarea numérica de Wason, los participantes no tenían ningún interés personal, político o emocional en defender que la regla fuera una progresión de números pares; la tarea era éticamente neutral y carecía de implicaciones identitarias. Por tanto, el sesgo documentado no obedecía al autoengaño defensivo ni a la preservación del ego, sino a una limitación estructural y algorítmica profunda en la arquitectura cognitiva del razonamiento inductivo humano.
5.2 La búsqueda exclusiva de instancias positivas
El mecanismo nuclear a través del cual opera este sesgo en el problema 2-4-6 es la preferencia inflexible por examinar exclusivamente instancias positivas. Cuando un individuo sostiene una hipótesis ($H$), manifiesta una tendencia casi invariable a generar casos de prueba en los que pronostica con absoluta certeza que el resultado será afirmativo («si mi regla es cierta, este caso encajará en ella»).
Esta predilección conlleva una incapacidad pragmática para comprender el inmenso valor epistémico de los datos negativos. En la lógica de la investigación, recibir una respuesta «No» es infinitamente más discriminativa que recibir un «Sí» redundante, puesto que una sola discrepancia empírica permite podar ramas enteras del árbol de posibilidades lógicas. Sin embargo, en el laboratorio, los participantes mostraban una aversión psicológica espontánea hacia el error inducido, considerando las respuestas negativas como fracasos operativos en lugar de apreciarlas como victorias informativas concluyentes.
5.3 La incapacidad psicológica para diseñar contraejemplos intencionales
El núcleo de la disfunción cognitiva radicaba en la dificultad insuperable que experimentaban los sujetos para concebir y proponer contraejemplos deliberados. Si un participante estaba convencido de que la regla rectora era «secuencias crecientes de dos en dos», la estrategia racionalmente informada consistía en emitir una tripleta que contradijera abiertamente esa propiedad, como (2, 4, 7) o (1, 2, 3) —para evaluar si la diferencia de dos era realmente necesaria— o incluso una secuencia descendente como (6, 4, 2) o caótica como (5, 1, 9) —para verificar si la dirección ascendente era obligatoria.
Sorprendentemente, los sujetos experimentaban una tensión cognitiva paralizante al considerar la posibilidad de generar secuencias que anticipaban como incorrectas. En sus protocolos verbales, plantear una terna que creían que recibiría un «No» era percibido como una pérdida de tiempo o un error metodológico. Este bloqueo ponía en evidencia que la mente humana tiende a tratar las hipótesis como posesiones cognitivas que deben ser blindadas y acumuladas, y no como conjeturas provisionales destinadas a ser derribadas en el crisol de la experimentación.
6. Epistemología popperiana y el principio de falsación en el laboratorio
6.1 El falsacionismo de Karl Popper como marco normativo de la ciencia
Para desentrañar el significado filosófico del trabajo de Wason, es imperativo remitirse a los postulados epistemológicos normativos de Karl Popper expuestos en The Logic of Scientific Discovery (1959). Popper abordó el clásico «problema de la inducción» planteado por David Hume, concluyendo que ningún número finito de observaciones particulares favorables, por extenso que sea, puede verificar de forma concluyente un enunciado universal:
$$\forall x (Px \rightarrow Qx)$$
El hecho de que hayamos observado diez mil cisnes blancos no autoriza lógicamente la deducción de que «todos los cisnes son blancos», pues siempre cabe la posibilidad empírica de encontrar un espécimen discordante en el siguiente intento. Sin embargo, un único cisne negro refuta categóricamente la proposición universal. Esta asimetría lógica elemental constituye el fundamento del criterio de falsabilidad como principio de demarcación científica: una teoría solo adquiere estatuto empírico genuino si es capaz de especificar con precisión qué observaciones empíricas potenciales, de producirse, demostrarían de forma inapelable su falsedad.
6.2 Divergencia entre el método prescriptivo popperiano y la heurística descriptiva
Wason adoptó la filosofía popperiana como el patrón de referencia normativo respecto al cual medir el comportamiento de sus participantes. El resultado de su investigación fue la verificación empírica de una brecha colosal entre la epistemología prescriptiva (cómo debe razonar un agente racional óptimo) y la heurística psicológica descriptiva (cómo razona de facto la mente humana).
Mientras que el modelo popperiano prescribe que el único camino epistémicamente productivo es intentar demoler la propia conjetura para evaluar su robustez (operando bajo esquemas deductivos del tipo modus tollens), los seres humanos en condiciones naturales se comportan como verificacionistas inductivos recalcitrantes. La mente intuitiva no está cableada de manera espontánea para ejecutar operaciones de falsación metódica; por el contrario, opera mediante mecanismos heurísticos de emparejamiento analógico y acumulación de concordancias empíricas superficiales.
6.3 La asimetría lógica entre confirmación inductiva y refutación deductiva
Desde el punto de vista de la lógica formal proposicional, la estrategia verificacionista desplegada por los participantes del problema 2-4-6 encarna la clásica falacia de afirmación del consecuente. El razonamiento implícito del participante puede esquematizarse formalmente del siguiente modo:
- Premisa mayor: Si la regla es $H$ (por ejemplo: secuencias aritméticas que aumentan de dos en dos), entonces la tripleta (8, 10, 12) debe recibir la respuesta «Sí».
- Premisa menor: La tripleta (8, 10, 12) ha recibido la respuesta «Sí».
- Conclusión falaz: Por lo tanto, la regla es con total seguridad $H$.
Este esquema inferencial es deductivamente inválido, pues existen innumerables reglas alternativas ($T_1, T_2, T_n$) bajo las cuales la secuencia (8, 10, 12) también arrojaría un veredicto positivo. En agudo contraste, la estrategia de falsación popperiana descansa en la validez incuestionable del modus tollens:
- Premisa mayor: Si la regla requiere necesariamente números pares, entonces la tripleta (3, 5, 7) debe recibir la respuesta «No».
- Premisa menor: La tripleta (3, 5, 7) recibe la respuesta «Sí».
- Conclusión deductivamente válida: Por lo tanto, la regla no requiere necesariamente números pares.
A pesar de la impecable contundencia demostrativa del modus tollens, los individuos se resisten intensamente a aplicarlo de manera espontánea, debido al coste atencional y a la aparente paradoja de tener que perseguir respuestas negativas para adquirir conocimientos verdaderos.
7. Replicaciones, variaciones metodológicas y debates teóricos posteriores
7.1 La modificación de Tweney: el paradigma 2-4-6 con dos reglas complementarias (Dax y Med)
El pesimismo antropológico derivado de las conclusiones de Wason sobre la supuesta irracionalidad congénita del pensamiento fue matizado por investigadores posteriores. Uno de los experimentos más célebres y lúcidos fue diseñado por Ryan D. Tweney y colaboradores en 1980, mediante la introducción del paradigma conocido como «Dax/Med».
En este rediseño experimental, Tweney modificó la arquitectura semántica de la retroalimentación. En lugar de informar al sujeto si su secuencia cumplía o no la regla general («Sí» o «No»), el evaluador explicaba que se estaban investigando dos tipos distintos de reglas complementarias: las tripletas que se ajustaban a la regla «Dax» (que correspondía a secuencias estrictamente ascendentes) y las que se ajustaban a la regla «Med» (cualquier otra combinación numérica). Cuando un participante proponía una tripleta, el examinador no decía «No», sino que la clasificaba neutralmente como «Med».
Los resultados de esta variación fueron asombrosos: la tasa de éxito de los participantes en su primer intento formal se disparó espectacularmente, superando el 60-70%. La razón de este cambio radicaba en que la reformulación desarmaba la valencia afectiva punitiva del rechazo empírico. Al clasificar una tripleta como «Med», el sujeto no sentía que su hipótesis había fracasado, sino que estaba descubriendo positivamente las propiedades del conjunto complementario. Esto demostró que cuando la falsación se disfraza estructuralmente de categorización positiva simétrica, la mente humana es perfectamente capaz de procesar y aprovechar la información segregada.
7.2 Variaciones instruccionales y advertencias explícitas sobre la falsación
Diversos investigadores intentaron replicar los hallazgos de Wason incorporando instrucciones verbales explícitas que incitaban directamente al uso de la falsación popperiana. Se advirtió a cohortes enteras de participantes con consignas inequívocas como: «Procure proponer tripletas orientadas a intentar refutar sus propias ideas preliminares en lugar de confirmarlas» o «Trate de descubrir cómo su regla podría estar equivocada».
Sorprendentemente, la efectividad de estas intervenciones didácticas puramente declarativas resultó ser muy tenue. Salvo que el sujeto poseyera un entrenamiento formal profundo en lógica o matemáticas puras, la advertencia abstracta de «intentar falsar» no se traducía en la generación operativa de contraejemplos válidos. Los sujetos continuaban formulando secuencias positivas compatibles con sus hipótesis, revelando que el sesgo no era una mera cuestión de ignorancia léxica o desatención a las órdenes del evaluador, sino una dificultad arraigada en los procesos de traducción de una directriz metacognitiva en un plan pragmático de acción numérica.
7.3 El debate Klayman y Ha: estrategia de prueba positiva frente a sesgo de confirmación estricto
El punto de inflexión teórico más trascendental en la reinterpretación del problema 2-4-6 se produjo con la publicación del influyente artículo de Joshua Klayman y Young-Won Ha en 1987, titulado Confirmation bias reexamined en la Psychological Review. Klayman y Ha cuestionaron la conclusión original de Wason de que los participantes sufrían de un «sesgo de confirmación» concebido como una patología irracional o un deseo obstinado de verificar sus creencias.
En su lugar, formalizaron el concepto de Estrategia de Prueba Positiva (Positive Test Strategy, PTS). Klayman y Ha demostraron algebraicamente que probar casos donde se espera que el fenómeno esté presente (instancias positivas de la hipótesis) constituye una heurística de razonamiento eminentemente adaptativa, económica y racional en la gran mayoría de los entornos ecológicos cotidianos. La estrategia de prueba positiva solo conduce al fracaso sistemático en un escenario geométrico y conjuntista sumamente excepcional: aquel en el que la hipótesis del sujeto ($H$) es un subconjunto estricto y anidado dentro de la regla meta ($T$), como ocurre deliberadamente en la trampa artificial del 2-4-6 ($H subset T$).
Si la realidad estuviera estructurada de modo que la hipótesis fuera más amplia que la meta ($T subset H$) o se encontrara en solapamiento parcial, la estrategia de prueba positiva generaría de forma natural y automática casos negativos o desconfirmatorios. En consecuencia, el error en el 2-4-6 no radicaba en una irracionalidad intrínseca de los individuos, sino en el choque entre una heurística humana normalmente funcional y un problema diseñado con una configuración topológica inusualmente asimétrica.
8. Mecanismos cognitivos subyacentes: heurísticas, memoria de trabajo y metacognición
8.1 Carga cognitiva y economía del procesamiento mental en la generación de tripletas
El comportamiento observado en el problema 2-4-6 puede explicarse ampliamente mediante las limitaciones inherentes a la arquitectura de la cognición humana, en particular la capacidad finita de la memoria de trabajo y del sistema ejecutivo central. El procesamiento de información en tiempo real exige una estricta economía cognitiva: sostener en la mente una hipótesis preliminar, calcular sus consecuencias lógicas y, simultáneamente, representarse mentalmente hipótesis alternativas antagónicas impone una carga atencional que desborda con rapidez el búfer episódico del sujeto.
Para mitigar esta saturación, el sistema cognitivo recurre de manera natural a heurísticas rápidas y frugales. Probar una instancia que coincide con el modelo mental activo requiere un esfuerzo cognitivo mínimo; basta con instanciar la regla actual con valores numéricos adyacentes. En cambio, construir un contraejemplo deliberado demanda desacoplarse del modelo mental presente, concebir qué propiedades deben alterarse y computar el valor informativo de un resultado negativo hipotético. El denominado «sesgo de confirmación» actúa en este nivel como una solución heurística por defecto, destinada a evitar la sobrecarga del sistema ejecutivo.
8.2 Sobreconfianza epistémica y anclaje en la hipótesis primaria
Otro determinante cognitivo crítico es el fenómeno del efecto de anclaje, profundamente entrelazado con la sobreconfianza epistémica. La presentación inicial del estímulo canónico (2, 4, 6) opera como un ancla perceptual y semántica masiva. La coherencia interna de este trío numérico seduce al intelecto, activando de inmediato marcos interpretativos familiares relativos a la regularidad y el equilibrio aritmético.
Una vez que el sujeto formula su primera hipótesis coherente, se suscita una ilusión de validez. Dado que la tripleta original encaja de forma impecable en la regla conjeturada, el sujeto experimenta una sensación subjetiva de descubrimiento genuino. A partir de ese momento, se produce una severa descalibración del juicio metacognitivo: la certidumbre subjetiva se incrementa a un ritmo vertiginoso con cada confirmación acumulada, abriendo una brecha infranqueable entre la certeza sentida por el individuo y la exactitud fáctica de sus conclusiones lógicas.
8.3 Dificultades metacognitivas en la autoevaluación del error
El paradigma 2-4-6 evidencia una profunda carencia de rutinas metacognitivas espontáneas para auditar la suficiencia probatoria del propio comportamiento de contrastación. Los sujetos manifiestan una incapacidad recurrente para distinguir entre evidencia necesaria y evidencia suficiente.
El hecho de que una serie de datos verifique de forma consistente una hipótesis demuestra que la regla propuesta es posible (consistente con los datos), pero de ningún modo demuestra que sea necesaria o única. La evaluación metacognitiva madura exigiría preguntarse: «¿Qué otras reglas radicalmente incompatibles con la mía arrojarían exactamente este mismo patrón de respuestas afirmativas?». La ausencia habitual de esta interrogación reflexiva en los protocolos de los sujetos revela un déficit metacognitivo en la apreciación de los espacios lógicos alternativos y en la comprensión de la subdeterminación de las teorías por los datos empíricos.
9. Comparativa teórica con la Tarea de Selección de Wason (las cuatro tarjetas)
9.1 Estructuras lógicas comparadas: condicional implicativo frente a inducción de reglas
Para calibrar la obra de Peter Wason en su justa dimensión, es imperativo comparar el problema 2-4-6 con su otra creación metodológica monumental: la Tarea de Selección de Wason (la prueba de las cuatro tarjetas), presentada al mundo académico en 1966. Aunque ambos paradigmas han sido citados recurrentemente como manifestaciones paradigmáticas del sesgo de confirmación, sus estructuras lógicas internas difieren de manera sustancial:
- La Tarea de Selección de 1966: Es un problema puramente deductivo de razonamiento condicional formal. Al sujeto se le proporciona una regla explícita del tipo «Si una tarjeta tiene una vocal en una cara, entonces tiene un número par en la otra» ($P \rightarrow Q$) y cuatro tarjetas visibles (por ejemplo: A, B, 4, 7). Su cometido es determinar exclusivamente qué tarjetas deben voltearse de manera obligatoria para comprobar si la regla es verdadera o falsa.
- El Problema 2-4-6 de 1960: Es un problema predominantemente inductivo y de descubrimiento científico dinámico. La regla se encuentra totalmente oculta y el participante debe generar hipótesis desde la incertidumbre total, diseñando sus propios estímulos para desentrañar un principio subyacente desconocido.
A pesar de estas diferencias arquitectónicas, subyace un paralelismo cognitivo inequívoco: en la tarea de las cuatro tarjetas, los sujetos exhiben una tasa masiva de fracaso al seleccionar compulsivamente la tarjeta «P» (vocal) y la tarjeta «Q» (par), omitiendo levantar la tarjeta «no-Q» (número impar), la cual representa la única prueba crucial de falsación mediante modus tollens. En ambos casos se constata el mismo patrón conductual: la renuncia voluntaria al uso del contraejemplo deductivo.
9.2 El sesgo de emparejamiento (matching bias) y su relación con la prueba positiva
En el análisis comparado de ambos experimentos, resulta crucial la intervención teórica del psicólogo británico Jonathan St. B. T. Evans, quien introdujo en 1972 el concepto de sesgo de emparejamiento (matching bias). Evans demostró que en la tarea de las cuatro tarjetas, los sujetos no intentan necesariamente «confirmar» en un sentido proposicional profundo, sino que responden a un atractor atencional no lógico, seleccionando mecánicamente aquellas tarjetas cuyos símbolos coinciden léxicamente con los términos mencionados en la regla enunciada.
En el problema 2-4-6 confluyen el sesgo de emparejamiento perceptual y la estrategia de prueba positiva descrita por Klayman y Ha. La secuencia (2, 4, 6) genera un emparejamiento directo con propiedades matemáticas concretas (pares, intervalos de dos), proyectando estas características hacia las sucesivas respuestas generadas por los sujetos. Se produce una potente sinergia entre la prominencia superficial de los estímulos iniciales y la inercia cognitiva hacia la corroboración positiva.
9.3 El impacto del contenido abstracto versus temático y deóntico en ambos paradigmas
Una de las discrepancias más fascinantes entre ambos experimentos reside en su permeabilidad ante el cambio de contenido. En la tarea de las cuatro tarjetas, cuando el material abstracto se sustituye por normas sociales o contextos deónticos de regulación comunitaria (por ejemplo: «Si una persona bebe alcohol, debe tener más de 18 años»), la ejecución de los sujetos se transforma drásticamente, alcanzando tasas de resolución exitosa superiores al 80%. Este fenómeno ha sido explicado por Leda Cosmides a través de la existencia de algoritmos darwinianos especializados en la «detección de tramposos», o por Patricia Cheng y Keith Holyoak mediante la activación de «esquemas pragmáticos de razonamiento» vinculados al permiso y la obligación.
Por el contrario, el problema 2-4-6 exhibe una resistencia pertinaz a cualquier tipo de facilitación temática ordinaria. Incluso cuando la tarea se disfraza bajo metáforas cotidianas, narrativas detectivescas o problemas de clasificación biológica, los sujetos siguen atrapados en la estrategia de prueba positiva restrictiva mientras la topología de la regla mantenga una estructura de inclusión conjuntista ($H subset T$). El problema 2-4-6 demuestra ser un desafío eminentemente estructural e inductivo, que no se desarticula con facilidad apelando a módulos de razonamiento social.
10. Implicaciones del problema 2-4-6 para el razonamiento científico y la epistemología aplicada
10.1 Cómo los científicos profesionales abordan el diseño experimental y las anomalías
El experimento 2-4-6 no constituye una mera curiosidad de laboratorio sobre el comportamiento de estudiantes de grado; funciona como un microcosmos que refleja con notable fidelidad las prácticas reales de la investigación científica profesional. Los estudios etnográficos y de psicología de la ciencia en vivo desarrollados por el investigador Kevin Dunbar en laboratorios de biología molecular demostraron que los científicos profesionales despliegan de forma recurrente heurísticas confirmatorias cuando se encuentran en las fases de consolidación de una hipótesis promisoria.
Frente a un hallazgo inesperado o un dato discordante, la primera reacción natural de los equipos de laboratorio no es descartar su teoría fundamental (falsacionismo popperiano heroico), sino atribuir la discordancia a errores de pipeteo, artefactos instrumentales o fallas en los reactivos. La confirmación heurística opera en la práctica como un pegamento necesario para estabilizar los programas de investigación en sus etapas nacientes, impidiendo que una hipótesis fértil sea prematuramente abandonada ante el primer ruido estadístico.
Sin embargo, en el contexto de la ciencia contemporánea, la persistencia ciega de esta tendencia verificacionista engendra peligros metodológicos devastadores. El sesgo de confirmación alimenta de forma directa patologías académicas estructurales como el p-hacking (la manipulación encubierta del análisis estadístico hasta forzar la aparición de resultados significativos) y el HARKing (Hypothesizing After the Results are Known, o postulación de hipótesis a posteriori disfrazadas de predicciones previas), erosionando los estándares de reproducibilidad de la ciencia empírica.
10.2 La perseverancia en hipótesis científicas desacreditadas y la sociología del conocimiento
Desde una perspectiva epistemológica más amplia, el comportamiento de los participantes en la tarea 2-4-6 resuena vivamente con las tesis socio-históricas de Thomas Kuhn expuestas en La estructura de las revoluciones científicas. Kuhn describió cómo la «ciencia normal» opera al interior de paradigmas epistemológicos cerrados que determinan qué preguntas es lícito formular y qué observaciones deben considerarse válidas.
Al igual que los sujetos de Wason inventaban justificaciones ad hoc para acomodar sus reglas fallidas cada vez que recibían un «No» del experimentador, las comunidades científicas históricas han desplegado con frecuencia maniobras de inmunización defensiva para blindar teorías en decadencia frente a las anomalías acumuladas. Este fenómeno se ve fuertemente agravado por los incentivos sociológicos e institucionales de la academia moderna, donde el sistema de recompensas y el sesgo de publicación premian de manera casi exclusiva el hallazgo de resultados positivos y confirmatorios, desincentivando sistemáticamente la inversión de recursos en estudios de replicación o de nulidad empírica.
10.3 Estrategias de desbiase cognitivo aplicables a la metodología de investigación
Para neutralizar la tendencia natural documentada por Wason, la comunidad científica ha debido concebir e institucionalizar una serie de salvaguardas y tecnologías de desbiase cognitivo (debiasing). Entre los instrumentos contemporáneos más eficaces destacan:
- El Prerregistro Metodológico: Consiste en registrar y fijar públicamente las hipótesis de investigación, los criterios de exclusión de datos y el plan analítico formal con anterioridad a la recogida empírica, impidiendo la racionalización confirmatoria a posteriori.
- La técnica de «Considerar lo Opuesto» (Consider the Alternative): Formalizada en la literatura por Lord, Lepper y Preston, esta intervención obliga al investigador a explicitar formalmente qué datos concretos lo obligarían a retractarse de su conjetura y a buscar de forma deliberada evidencias favorables a la hipótesis nula o rival.
- Equipos de «Abogado del Diablo» y Auditoría Ciega: La incorporación obligatoria en proyectos de investigación aplicada y agencias reguladoras de analistas independientes cuyo cometido contractual exclusivo es diseñar contraejemplos destructivos e identificar fallas metodológicas no visibles para los proponentes originales de la teoría.
11. Aplicaciones contemporáneas: inteligencia artificial, toma de decisiones y pensamiento crítico
11.1 Algoritmos de aprendizaje automático y la inducción de reglas sesgadas
En el campo del desarrollo de la inteligencia artificial y el aprendizaje automático (machine learning), el problema 2-4-6 anticipó con notable precisión uno de los dilemas teóricos y computacionales más espinosos: el problema del sobreajuste (overfitting) en la inducción de reglas desde conjuntos limitados de entrenamiento.
Cuando una red neuronal o un algoritmo de clasificación inductiva es entrenado con una muestra reducida y no representativa de datos —análoga a la tripleta canónica (2, 4, 6)—, el sistema tiende a construir representaciones excesivamente complejas y restrictivas, aprendiendo el ruido y las correlaciones contingentes en lugar de extraer la verdadera invariante subyacente. Asimismo, en el aprendizaje por refuerzo (reinforcement learning), el dilema clásico entre exploración y explotación es un reflejo matemático del problema de Wason: si un agente algorítmico se limita a explotar las regiones del espacio de estados donde ya ha cosechado recompensas positivas previas, quedará atrapado en óptimos locales deficientes, siendo incapaz de descubrir la estructura global del entorno.
11.2 Impacto en el juicio clínico, diagnóstico médico y peritaje judicial
La extrapolación del paradigma 2-4-6 a los dominios del juicio profesional aplicado pone de relieve consecuencias vitales de gran calado ético y práctico:
- Diagnóstico Médico y Juicio Clínico: Una de las mayores fuentes de mala praxis médica no atribuible a falta de conocimientos técnicos es el denominado «cierre diagnóstico prematuro». El facultativo atiende a los primeros síntomas evidentes de un paciente, formula una hipótesis clínica inicial y, a partir de ese instante, encarga únicamente pruebas analíticas dirigidas a confirmar su diagnóstico primario, ignorando o minimizando sintomatologías atípicas que apontocarían diagnósticos diferenciales alternativos de mayor gravedad.
- Peritaje Forense e Investigación Policial: En la criminalística y el peritaje judicial, el sesgo de confirmación se manifiesta bajo la forma de la «visión de túnel». Los investigadores fijan su atención en un sospechoso principal y recopilan de forma compulsiva indicios que lo incriminan, descartando coartadas sólidas o interpretando datos ambiguos como evidencias irrefutables de culpabilidad, lo que ha provocado históricamente trágicos errores judiciales.
11.3 Pedagogía del pensamiento crítico y diseño curricular para desarticular la confirmación
En el ámbito de la pedagogía moderna, la reconstrucción activa del problema 2-4-6 se ha transformado en uno de los ejercicios vivenciales más potentes para la enseñanza universitaria del pensamiento crítico y la epistemología aplicada. Al someter a estudiantes de posgrado a la experiencia interactiva de equivocarse sistemáticamente al adivinar la regla, los instructores logran quebrar la sobreconfianza epistémica mediante una desestabilización metacognitiva inmediata e incuestionable.
Esta intervención vivencial se utiliza como punto de anclaje para capacitar a los futuros profesionales en la alfabetización informacional frente a fenómenos contemporáneos como las cámaras de eco digitales y los algoritmos de recomendación en redes sociales. El experimento demuestra de forma palmaria que rodearse de información afirmativa no incrementa la probabilidad de que una conjetura sea verdadera, adiestrando a los estudiantes en el hábito metódico de rastrear activamente información discordante antes de consolidar juicios ideológicos o profesionales irreversibles.
12. Síntesis crítica y legado duradero del problema 2-4-6 de Peter Wason
12.1 Evaluación del impacto del experimento en las ciencias cognitivas modernas
El experimento del problema 2-4-6 de Peter Wason, publicado hace más de seis décadas, representa uno de los pilares fundacionales indiscutibles sobre los que se construyó el campo moderno de las ciencias cognitivas, la psicología del razonamiento y la economía del comportamiento. Su trascendencia histórica estriba en haber desmantelado de forma concluyente la visión hegemónica que equiparaba la mente humana madura a un sistema computacional guiado de manera transparente por las leyes normativas de la lógica formal.
El trabajo pionero de Wason abrió el sendero analítico que posteriormente transitarían investigadores de la talla de Daniel Kahneman, Amos Tversky y Richard Thaler, permitiendo el florecimiento del programa de «heurísticas y sesgos» que revolucionó no solo la psicología, sino también la economía, el derecho y la ciencia política contemporáneas. La constatación de que personas altamente cultas y educadas pueden quedar atrapadas en bucles de confirmación elemental inauguró un nuevo estándar de rigor en el examen de las limitaciones del juicio humano.
12.2 Limitaciones metodológicas y críticas ecológicas a la tarea de laboratorio
A pesar de su trascendencia histórica innegable, el paradigma 2-4-6 ha sido objeto de agudas objeciones conceptuales y metodológicas a lo largo de las últimas décadas. La crítica más profunda proviene del enfoque de la racionalidad ecológica y los modelos bayesianos del razonamiento, abanderados por teóricos como Gerd Gigerenzer, Mike Oaksford y Nick Chater.
Estos autores sostienen que la tarea de Wason representa un entorno de laboratorio altamente artificial y no representativo de la estructura del mundo real. En la ecología cotidiana, el número de regularidades posibles no está delimitado por un examinador caprichoso, sino por densidades probabilísticas naturales donde los fenómenos de interés suelen ser sucesos raros o escasos. En un universo donde los eventos raros albergan la mayor cantidad de información bayesiana, la estrategia de prueba positiva resulta computacionalmente superior y óptima frente a una búsqueda caótica de contraejemplos improbables. Por consiguiente, condenar la actuación de los sujetos humanos como intrínsecamente «irracional» a la luz de un criterio popperiano absolutista constituye, según esta corriente crítica, un error normativo que desatiende la genialidad adaptativa del razonamiento pragmático.
12.3 Consideraciones finales sobre la racionalidad humana sesgada pero adaptativa
El problema 2-4-6 nos confronta con la paradoja nuclear de la inteligencia humana: poseemos una arquitectura mental asombrosamente dotada para la inferencia predictiva cotidiana, pero sumamente vulnerable ante problemas abstractos que contienen trampas de anidamiento conjuntista. Esta aparente deficiencia no debe interpretarse como una marca de estupidez biológica, sino como el peaje adaptativo que nuestra especie paga por disponer de un sistema cognitivo rápido, frugal y guiado por patrones salientes.
En última instancia, el legado imperecedero de Peter Wason reside en habernos legado un monumento perenne a la humildad epistémica. Su sencilla secuencia de tres dígitos nos recuerda con elegancia que la mente que no aprende a dudar activamente de sus propias premisas, ni a buscar el rigor esclarecedor del contraejemplo voluntario, permanecerá para siempre cautiva de la ilusión seductora de sus propias certezas infundadas.
Referencias
- Cheng, P. W., & Holyoak, K. J. (1985). Pragmatic reasoning schemas. Cognitive Psychology, 17(4), 391-416. https://doi.org/10.1016/0010-0285(85)90014-3
- Cosmides, L. (1989). The logic of social exchange: Has natural selection shaped how humans reason? Studies with the Wason selection task. Cognition, 31(3), 187-276. https://doi.org/10.1016/0010-0277(89)90023-1
- Dunbar, K. (1995). How scientists really reason: Scientific reasoning in real-world laboratories. In R. J. Sternberg & J. E. Davidson (Eds.), The nature of insight (pp. 365-395). MIT Press.
- Evans, J. S. B. T. (1972). Interpretation and matching bias in a reasoning task. Quarterly Journal of Experimental Psychology, 24(2), 193-199. https://doi.org/10.1080/14640747208400282
- Klayman, J., & Ha, Y. W. (1987). Confirmation bias reexamined: A strategy of positive test strategy. Psychological Review, 94(2), 211-228. https://doi.org/10.1037/0033-295X.94.2.211
- Lord, C. G., Lepper, M. R., & Preston, E. (1984). Considering the opposite: A corrective strategy for social judgment. Journal of Personality and Social Psychology, 47(6), 1231-1243. https://doi.org/10.1037/0022-3514.47.6.1231
- Mynatt, C. R., Doherty, M. E., & Tweney, R. D. (1977). Confirmation bias in a simulated research environment: An experimental study of scientific inference. Quarterly Journal of Experimental Psychology, 29(1), 85-95. https://doi.org/10.1080/14640747708400597
- Oaksford, M., & Chater, N. (1994). A rational analysis of the selection task as optimal data selection. Psychological Review, 101(4), 608-631. https://doi.org/10.1037/0033-295X.101.4.608
- Popper, K. R. (1959). The logic of scientific discovery. Hutchinson.
- Tweney, R. D., Doherty, M. E., Worner, W. J., Pliske, D. B., Mynatt, C. R., Gross, K. A., & Arkkelin, D. L. (1980). Strategies of rule discovery on an operational problem. Quarterly Journal of Experimental Psychology, 32(1), 109-123. https://doi.org/10.1080/14640748008401146
- Wason, P. C. (1960). On the failure to eliminate hypotheses in a conceptual task. Quarterly Journal of Experimental Psychology, 12(3), 129-140. https://doi.org/10.1080/17470216008416717
- Wason, P. C. (1966). Reasoning. In B. M. Foss (Ed.), New horizons in psychology (pp. 135-151). Penguin Books.