La línea incluye las siguientes propuestas:

- Estudio de las constantes lógicas. Qué pueden aportar las aproximaciones pragmatistas e inferencialistas a su tratamiento.

- Mecanismos semánticos y pragmáticos de la restricción del dominio de los cuantificadores (binding argument).

- Lógica matemática y argumentación.

- Diseño y aplicación de herramientas visuales al aprendizaje de la lógica y las matemáticas. Se trata, entre otros, de desarrollar herramientas que puedan llegar a mostrarse de especial utilidad en casos de dislexia o autismo.