Lenguajes formales en lógica: un análisis filosófico y cognitivo

Porque, al igual que Dutilh Novaes, Lakatos examina la lógica no como un sistema puramente formal y ahistórico, sino como una práctica dialéctica y socialmente situada. Su enfoque en cómo los conceptos matemáticos (y por extensión, lógicos) evolucionan a través de la discusión y la refutación ofrece una perspectiva 'nonobvious' sobre la formalización, complementando el análisis cognitivo de la autora con uno histórico-epistemológico.

Este libro desplaza el foco de los lenguajes formales a las estructuras metafóricas del pensamiento cotidiano, ofreciendo un contrapunto 'nonobvious' pero profundamente relevante. Si Dutilh Novaes analiza cómo los formalismos moldean el razonamiento, Lakoff y Johnson muestran cómo el razonamiento informal está estructurado por metáforas corpóreas, planteando una pregunta paralela sobre los fundamentos cognitivos de la conceptualización.

Cassirer explora la dimensión simbólica y formativa del lenguaje, argumentando que las formas simbólicas (mito, lenguaje, ciencia) son los órganos mediante los cuales la realidad se constituye para la conciencia. Esto conecta profundamente con la investigación de Dutilh Novaes sobre cómo los lenguajes formales no son meras herramientas neutrales, sino esquemas que configuran activamente el pensamiento y la comprensión del mundo.

Wittgenstein cuestiona los fundamentos de la matemática y la lógica, investigando las prácticas, reglas y formas de vida que dan sentido a los símbolos formales. Esta indagación filosófica sobre qué significa seguir una regla y cómo se establece la necesidad lógica profundiza en los mismos problemas que aborda Dutilh Novaes sobre la naturaleza y función de los formalismos, yendo a la raíz de su aparente objetividad.

Esta compilación de filósofos mexicanos aborda críticamente los límites y presupuestos de la formalización en la ciencia, un tema central en el libro de Dutilh Novaes. Ofrece una perspectiva latinoamericana, menos conocida en el canon anglosajón, que combina el análisis lógico con preocupaciones hermenéuticas y históricas, enriqueciendo el debate sobre el estatus de los lenguajes formales.

Ajdukiewicz, figura central de la Escuela de Lvov-Varsovia, desarrolló una semántica categorial que busca conectar la estructura lógica con la estructura del lenguaje y el pensamiento. Su trabajo, menos divulgado fuera de los círculos de filosofía analítica continental, anticipa preguntas sobre la relación entre forma, significado y cognición que son el núcleo del análisis de Dutilh Novaes.

Hofstadter construye su exploración de la autorreferencia, la consciencia y el significado mediante una estructura recursiva y de múltiples niveles que refleja sus temas. Este método estructural, donde la forma del libro imita su contenido (bucles extraños, fugas, diálogos), se relaciona con la investigación de Dutilh Novaes en cuanto a cómo los sistemas formales (estructuras) influyen y modelan la producción de significado y conocimiento.

La estructura fragmentaria, aforística y dialógica de las 'Investigaciones Filosóficas' es fundamental para su argumento contra las teorías esencialistas del lenguaje. Wittgenstein no presenta un tratado sistemático, sino una serie de 'observaciones' que obligan al lector a participar en un proceso de investigación. Esta elección estructural es en sí misma un comentario sobre los límites de la formalización y encaja con el análisis de Dutilh Novaes sobre cómo se conciben y usan los lenguajes.