Description:En 1975 se le hizo una demanda de formación al Instituto de Matemática Aplicada IMA: ¿es posible establecer una formación que desarrolle en el individuo una estimulación y un pensamiento lógico? Esta demanda estaba fundamentada en dos comprobaciones hechas sobre ciertos comportamientos del personal de empresas. En primer término, una incoherencia en el discurso: no es raro que, sin inmutarse, gran número de personas afirmen cosas contradictorias, y esto en un lapso muy corto. Y en segundo lugar una cierta forma de distorsión entre dos modos de captación de los fenómenos y de los razonamientos con ellos ligados: el modo verbal y el modo formal. A partir de estas comprobaciones fue establecido un módulo de formación que tiene por objetivo principal la estimulación intelectual y la formación en lógica por medio de juegos y enigmas. Así llegamos a desarrollar la capacidad de formalizar, esquematizar, modelizar, razonar y generalizar. Los dos tipos de actividad mental —verbal y formal— aparecen respaldándose uno en el otro, mientras que, en la formación inicial, aquellos que formalizan se dirigen hacia las matemáticas a riesgo de atrofiarse a nivel verbal y los otros son los literatos que sienten una gran aprensión frente al formalismo. Con el tiempo, el contenido y los objetivos pudieron afinarse. Nos es posible ahora hacer una presentación unificada de una parte de esta formación y situarla en perspectiva. El objeto de la presente obra es acompañar al lector en un camino que va desde la formación personal, tal como fue desarrollada más arriba, hasta el descubrimiento de los mecanismos fundamentales de formalización y de razonamiento, y de su puesta en práctica automática: es el dominio de la inteligencia artificial. Los dos grandes objetivos, que son la formación personal y la apertura hacia la inteligencia artificial, lejos de ser antinómicos, aparecen como complementarios.