Máquinas y Teoría Formal

Aunque parecería una elección obvia para un libro sobre lógica y máquinas, la conexión es 'nonobvious' porque Hofstadter va más allá de la lógica formal que aborda Łukasiewicz, explorando la recursividad, los bucles autorreferenciales y la emergencia de la conciencia, temas menos directamente asociados con el enfoque puramente formal de las máquinas lógicas, pero que plantean preguntas fundamentales sobre los límites de dichos sistemas.

Mientras Łukasiewicz se centra en las máquinas desde una perspectiva puramente lógica y matemática, Simon se desvía hacia el estudio empírico de las 'máquinas' construidas por el hombre, incluyendo sistemas complejos y la cognición humana como sistemas diseñados. La conexión es 'nonobvious' porque aborda la creación y el estudio de lo artificial desde una perspectiva sistémica y de diseño, no solo lógica, ofreciendo una visión complementaria pero distinta a la teoría formal.

Este libro se conecta profundamente con 'Máquinas y Teoría Formal' al cuestionar la validez y los límites de los sistemas formales, que Łukasiewicz explora en el contexto de las máquinas. Wittgenstein, aunque desde una perspectiva lingüística y filosófica, desafía la idea de que la lógica formal pueda capturar completamente la complejidad del pensamiento y el lenguaje, ofreciendo una contraposición filosófica a la confianza en la simbolización pura que subyace a la teoría de máquinas lógicas.

Aunque siglos antes de Łukasiewicz, Leibniz es el precursor filosófico de la idea de una 'calculadora universal' y un 'lenguaje universal' que subyace a la noción de máquinas teóricas y la lógica formal. Łukasiewicz explora la realización práctica de estas ideas en la lógica simbólica y las máquinas. Leibniz, por su parte, establece las bases conceptuales profundas sobre cómo el conocimiento podría ser sistematizado y 'calculado', conectando con la ambición subyacente de la teoría de máquinas formales en la búsqueda de la razón pura.

Tarski, un lógico polaco contemporáneo y colega de Łukasiewicz en la Escuela de Lógica de Lwów-Varsovia, aborda la metalógica que es una rama cercana a la teoría formal y las máquinas lógicas. Su trabajo profundiza en los límites y la coherencia de los sistemas que Łukasiewicz ayudaría a formalizar. Es 'obscure' en el sentido de su poca difusión fuera de los círculos especializados, a pesar de su inmensa influencia, y su procedencia no anglosajona, al igual que Łukasiewicz.

Frege es considerado uno de los padres de la lógica moderna y la filosofía analítica, cuya obra es fundamental para entender la evolución de 'Máquinas y Teoría Formal', ya que propuso los primeros lenguajes formales modernos. Es 'obscure' para el público general, a pesar de su crucial relevancia histórica y su origen alemán. Aborda la formalización de conceptos aritméticos de una manera que prefigura directamente la posibilidad de máquinas lógicas que procesen dichos sistemas.

La conexión estructural reside en la ambición compartida de construir un sistema formal universal. Al igual que Łukasiewicz explora las bases de las máquinas lógicas, 'Principia Mathematica' es el epítome de la formalización sistemática de la lógica y la matemática, utilizando una notación simbólica y una progresión axiomática que refleja directamente la estructura de la teoría formal que sustentaría el diseño de máquinas lógicas. Ambos comparten la meta de la formalización y la construcción de sistemas deductivos rigurosos.

La estructura del 'Tractatus', con sus enunciados numerados y jerárquicos, es en sí misma una máquina lógica textual. Al igual que 'Máquinas y Teoría Formal' se ocupa de la organización formal del pensamiento para la creación de sistemas, el 'Tractatus' está construido como un sistema axiomático-deductivo de proposiciones lógicas sobre el lenguaje y la realidad. Su forma y contenido están intrínsecamente ligados a la idea de un sistema formal y sus límites, lo que lo conecta estructuralmente con la meta de Łukasiewicz de formalizar el razonamiento.