Problemas con las propuestas puramente deductivas de razonamiento humano

• La inferencia formal permite, a partir de un conjunto de premisas, un número infinito de distintas conclusiones (todas ellas correctas). Se necesitaría añadir principios semánticos para derivar las conclusiones propias de la deducción mental
• Tarea de Wason y Johnson-Laird. A la vista de

  A B 2 3

  Se trata de establecer si se satisface

  Si hay una vocal en una cara de la carta, entonces hay un número par en la otra

  levantando el menor número de cartas posibles (las cartas tienen una letra en una cara y un número en la otra)

  Un error frecuente es levantar sólamente la A (y no levantar también el 3)

• Experimentos de este tipo sugieren que no tenemos un sistema deductivo formal general
• También hay experimentos según los cuales las capacidades deductivas de los sujetos son mejores si las tareas son menos abstractas (esto no puede explicarse desde la teoría puramente deductiva formal)