“…Acciones cognitivas como el juicio, que representaría tanto una acción intelectual como el contenido de esa acción, así como el razonamiento, que denota tanto un proceso intelectual como sus distintas aplicaciones, e incluso nuestro uso ordinario del término "lenguaje natural", tienen todos ellos un carácter dual. Esta interacción entre contenidos estáticos y acciones dinámicas estaría presente no sólo en las estructuras lógicas estáticas de proposiciones, palabras y reglas, sino también en la actividad social dinámica representada en muchas convenciones que no estarían necesariamente codificadas en una sintaxis específica (van Benthem, 1991 Esa dualidad entre el contenido estático, por una parte, y la acción dinámica, por otra parte, no hace sino confirmar que la estructura proposicional de la tradición clásica (estática) estaría definida semánticamente como una estructura booleana donde las proposiciones son consideradas como valores de verdad y las constantes lógicas como operadores sobre esos valores; algo que algunos autores ven problemático para una semántica de raíces intuicionistas después de la crítica a la doble negación y al tercero excluido (Redmond y López-Orellana, 2018).…”