Filosofía del lenguaje y la programación

Aunque 'Filosofía del lenguaje y la programación' se centra en sistemas formales, la obra de Semprún aborda cómo el lenguaje (y su ausencia, su quiebre ante el trauma) moldea la realidad y la experiencia humana a un nivel existencial, un paralelismo poco evidente con la forma en que los lenguajes de programación crean y limitan mundos posibles a través de reglas sintácticas y semánticas, impactando la cognición y la construcción de la realidad en un sentido mucho más profundo que el meramente técnico.

Mientras el libro de referencia explora los lenguajes formales usados para interactuar con máquinas, Baudrillard desentraña el 'lenguaje' de los objetos de consumo, mostrando cómo su sintaxis y semántica subyacentes estructuran la realidad social. Ambos trabajos examinan sistemas de signos que, aunque en diferentes dominios, definen la interacción y la cognición humana de maneras a menudo invisibles.

El libro de Campanini explora la filosofía del lenguaje aplicada a sistemas formales de programación. Wittgenstein, en esta obra, investiga los fundamentos del lenguaje natural, desafiando la noción de un lenguaje ideal y enfatizando el uso contextual y las 'formas de vida'. Ambos abordan cómo los límites y las reglas de un lenguaje (ya sea formal o natural) configuran el pensamiento y la acción, aunque desde perspectivas muy diferentes.

El trabajo de Frege es fundamental para entender cómo los símbolos adquieren significado, una cuestión central tanto en la filosofía del lenguaje general como en la de los lenguajes de programación, donde la sintaxis y la semántica deben ser claras y no ambiguas. La distinción entre sentido y referencia es análoga a cómo las variables en programación tienen un 'valor' (referencia) y un 'tipo' o 'significado' (sentido) dentro de un contexto de ejecución, impacting la forma en que los programas ' entienden' y manipulan datos.

Catarina Dutilh Novaes, una filósofa brasileña-neerlandesa, aborda directamente la filosofía y la cognición de los lenguajes formales, un puente directo y menos conocido en la literatura anglosajona que el libro de referencia, que integra estas ideas con la programación. Su trabajo profundiza en la raíz fundamental de cómo estos lenguajes estructuran el pensamiento.

Aunque el libro de referencia se enfoca más directamente en la programación, Hofstadter utiliza un enfoque estructural y narrativo único, con diálogos que imitan estructuras lógicas y formales. Ambos libros exploran los fundamentos de los sistemas formales (lógica, matemáticas, lenguajes de programación) y sus límites, pero Hofstadter lo hace con una estructura literaria que es en sí misma un ejemplo de los conceptos que explica.