Computational Logic and Set Theory

Mientras que 'Computational Logic and Set Theory' se enfoca en la formalización de la lógica para la computación, 'Gödel, Escher, Bach' aborda la esencia de esos mismos conceptos lógicos (recursión, autorreferencia, sistemas formales) pero desde una perspectiva interdisciplinaria y filosófica, revelando sus implicaciones en la cognición y la creatividad humana, lo cual es un 'nonobvious' giro a la aplicación práctica de la lógica computacional.

El libro de Pierce aborda la lógica computacional y la teoría de conjuntos como herramientas para la fundamentación de las matemáticas y la informática. El trabajo de Katz, aunque enfocado en la lingüística y la filosofía del lenguaje, comparte la ambición de formalizar y estructurar 'la verdad' a través de sistemas rigurosos y abstractos, ofreciendo una perspectiva inesperada sobre cómo la propia verdad puede ser 'computada' o 'estructurada' lingüísticamente, más allá de la computación binaria.

'Computational Logic and Set Theory' explora cómo la lógica y la teoría de conjuntos fundamentan la computación. 'Los Fundamentos de la Aritmética' de Frege es el precursor filosófico fundamental de este enfoque, al intentar reducir la matemática (la aritmética) a la lógica. Ambos libros comparten la ambición profunda de establecer un marco formal y axiomático para sistemas complejos, ya sea el número o la computación, desde la lógica pura.

Así como Pierce aborda la estructura formal de la lógica para el pensamiento computacional, los 'Principia Mathematica' representan la cumbre del intento de formalizar toda la matemática a partir de principios lógicos elementales. Comparten la misma arquitectura de pensamiento radicalmente formal y la búsqueda de una base incuestionable para sistemas abstractos, un ejercicio de construcción lógica que resuena con la formalización para la informática.

Mientras que Pierce se enfoca en la aplicación directa de la lógica a la computación, Føllesdal, un respetado filósofo noruego, explora las implicaciones más profundas y a veces paradójicas de la lógica en la filosofía del lenguaje y la fenomenología. Ofrece una perspectiva 'oscura' (menos conocida en el mundo anglosajón mainstream) sobre los fundamentos y límites del pensamiento lógico y su aplicación, alejándose de la practicidad computacional.

El trabajo de Pierce sienta las bases prácticas de la lógica computacional. La obra de Carnap, aunque más antigua y filosófica, comparte la obsesión por la forma y la estructura de los sistemas lógicos. Su intento de purificar el lenguaje de la ciencia de ambigüedades semánticas y metafísicas, enfocándose solo en la sintaxis, refleja un anhelo similar de rigor formal que subyace a la computación, pero desde una perspectiva poco difundida hoy en día fuera de círculos muy específicos.

'Computational Logic and Set Theory' de Pierce es un texto técnico que construye progresivamente sistemas formales a través de definiciones, axiomas y teoremas. El 'Tractatus' comparte esta característica estructural: es una obra que se construye formalmente, numerando cada proposición y sus subdivisiones, creando una jerarquía deductiva de pensamiento. Ambos buscan la claridad y la precisión, una a través de la notación matemática y otra a través de la estructuración aforística y rigurosa de las ideas.

El libro de Pierce expone la teoría de conjuntos como una herramienta fundamental. 'Teoría de Conjuntos y sus Paradojas' comparte la estructura de presentar un campo matemático y sus elementos, pero lo hace a través de la narración de sus desafíos y crisis internas (las paradojas), que inherentemente revelan la naturaleza y los límites de los sistemas formales. Ambos son textos que presentan la teoría de conjuntos, pero uno construye y el otro deconstruye para entender mejor el mismo objeto, mostrando la complejidad del tema de manera complementaria.