La corriente estructuralista europea se opone a la americana en la naturaleza de los datos que se estudian: es fundamentalmente mentalista, si bien se presentan variantes en esta concepción. Podemos, con la venia de los filósofos, hablar de un estructuralismo lógico y de un estructuralismo sistémico.
La vertiente lógica es la que está directamente relacionada con el nacimiento de la Informática. La idea de la formalización del lenguaje natural y de la mecanización del razonamiento es la que subyace a la lógica, trabajada ya desde Aristóteles. La formalización de la lógica de predicados de primer orden que conocemos hoy la iniciaron Boole (1815-1869) y Frege (1848-1925), paralelamente a Peano(1858-1932), tomando inspiración de la obra de Leibnitz. Por otra parte, Hilbert propuso en 1910 el problema cuya resolución abrirá el campo de investigación de la Informática Teórica, que se desarrolló principalmente en Europa: el "Entscheidungsproblem", que se preguntaba si existía un algoritmo para deducir siempre una fórmula o su negación de un conjunto de axiomas en la lógica, es decir, si se podía decidir por algún procedimiento algorítmico la verdad o falsedad de una fórmula.
No es extraño en este contexto que la psicología se preguntase específicamente por las capacidades 16gico-matemáticas de la inteligencia humana. La psicología Evolutiva, (GAR84) cuya primera figura fue Jean Piaget (1896-1980), y cuyas investigaciones se extendieron posteriormente al campo más amplio de la epistemología, caminaba en esta dirección. Para Piaget (BUR78), es la estructura de la mente humana la que determina el aprendizaje y afirma que dicha estructura viene dada por una particular organización neurofisiológica de la especie humana que determina la inteligencia. Según Piaget se aprende a pensar, pero ese aprendizaje está condicionado por el grado de maduración somática que determina una serie de etapas en la organización neurofisiológica. Llegó a estas conclusiones observando hacia 1923 que todos los niños de la misma edad cometían más o menos los mismos errores al someterlos a ciertos test. Esto supone una evolución en cinco períodos de la infancia para el pensar humano, que determinan los esquemas relacionales y las operaciones lógico-matemáticas que una criatura es capaz de comprender.
El enfoque que aquí llamamos sistémico, y que se aproxima más a lo que hoy podemos estudiar como Sistemas Complejos, es más antiguo. El trabajo del suizo (1859-1913) Ferdinand de Saussure (SAU89), se reconoce como el punto de partida del estructuralismo europeo. Saussure define la "Langue" (la Lengua) como objeto de estudio de la lingüística en términos sistémicos: la Lengua es la estructura del sistema lingüístico que subyace a una comunidad de hablantes, de distinta naturaleza que las producciones individuales del habla, pero emergente de la masa hablante. La Lengua es un objeto válido de estudio porque es una estructura de naturaleza psico-social representada en la mente de cada hablante. La fonología, la gramática, la semántica de la Lengua pueden ser estudiados científicamente porque son representaciones aprehensibles para el lingüista igual que para cualquier otro mortal. Saussure concibe el signo lingüístico como una entidad mental que asocia, de forma arbitraria, las imágenes sensoriales de los referentes con las imágenes sensoriales de los sonidos, significantes con significados, produciendo un sistema de valores que articulan una sustancia de pensamiento y que son creados colectivamente~.
La psicología de la Gestalt o psicología de la forma (BUR78) es una corriente que también podemos catalogar como sistémica. Aparece en Alemania entre los años 1920 y 1930, fundada por Max Wertheimer, Kurt Kofka y Wolfgang Kohler. "Gestalt" es una palabra alemana que puede traducirse por "forma", "organización" o "configuración", y su postulado fundamental es que la percepción es más que una suma de sensaciones producidas por los estímulos, y que la forma en que los estímulos están organizados interviene en lo que se percibe. Wertheimer define la Gestalt como un conjunto cuyo comportamiento o actuación no se determina desde sus elementos, sino por la organización interna del conjunto. Los elementos en singular no tienen características perceptibles, lo cual se formula en el principio del isomorfismo: "sea el hecho biológico, social o físico, en todo caso es un conjunto de elementos; pero sus propiedades no derivan de éstos, sino de la organización interna del conjunto: de su gestalt" (BUR7S). Para la psicología de la gestalt el objeto central de estudio es la conducta. Sin embargo, se estudia la conducta en su relación causal con un campo psico-físico, ya que necesariamente la conducta se desarrolla en un ámbito geográfico, en un plano objetivo. El campo psicofísico es la estructura dinámica del ámbito conductal: el dinamismo entre dos polos, físico-objetivo y psíquico-subjetivo, que causa la conducta. La percepción se organiza en base a leyes estructurales que conciernen tanto a la organización neuro-psíquica específica como al medio estimulante. La experiencia perceptiva añade contenidos a lo que se percibe, pero no determina su estructuración.
La escuela de la Gestalt mantiene una posición holista y antimecanicista. Se considera que se perciben hechos molares, es decir, globales, y que la percepción no puede explicarse como una simple suma de sensaciones. La asociación holista consiste en que las características de lo que se percibe se explican en función del todo del que forman parte. La palabra "banco" se percibe diferente cuando aparece en frases como "voy al banco" o "me siento en el banco". Los objetos individualizados en la percepción presentan propiedades en gran medida constantes, a pesar de que la estipulación física es fluctuante: lo que es constante es la diferencia de potencial estimulativo entre figura y fondo. Cuanto mayor sea esta diferencia de potencial mayor será el poder impositivo de la figura. Son famosos los dibujos ambiguos en los que, según se mire, se pueden ver dos figuras diferentes.
Para los gestaltistas el aprendizaje depende de la capacidad para percibir o pensar los posibles cambios estructurales de una situación problemática. Es una aproximación a la Inteligencia diferente de la de la logicista. Cuando un sujeto se enfrenta a una situación que no es capaz de resolver se genera una tensión que le induce a resolverlo, intentando reestructurarlo de manera diferente. Esta proceso se produce en virtud de un campo psico-físico individual en el que actúan dos tipos de factores: los estructurales, externos al sujeto e inherentes a la propia situación, y los funcionales, motivados por las necesidades y motivaciones. Según la Gestalt, la resolución del problema equivale a una percepción diferente de la solución problemática, y constituye una vivencia que se ha bautizado en la literatura como "Insight", la vivencia del ¡AH!.