A Treatise on Logic

Boole estableció las bases de la lógica simbólica, un sistema formal cerrado. Hofstadter, aunque no trata directamente sobre lógica proposicional, explora sistemas formales y su capacidad para generar significado y conciencia, planteando preguntas análogas sobre los límites de la formalización y la aparición de la complejidad a partir de reglas simples, pero en un contexto mucho más amplio y menos obvio que la pura matemática lógica.

La lógica de Boole es el precursor teórico de los sistemas binarios y la computación digital. Este libro de compiladores representa una aplicación directa y fundamental de esos principios lógicos, aunque de manera 'no obvia' porque salta de la teoría abstracta de la lógica a la ingeniería de sistemas. Un compilador es esencialmente un intérprete de reglas formales (las de un lenguaje de programación) en otro conjunto de reglas formales (código máquina), lo cual resuena con la preocupación de Boole por la transformación de proposiciones lógicas.

Boole sentó las bases para el análisis formal de la lógica, pero su interés era principalmente matemático. Wittgenstein, influenciado por Frege y Russell (quienes a su vez se basaron en Boole), lleva la formalización un paso más allá, no para crear un cálculo, sino para explorar filosóficamente la estructura profunda de la proposición y su relación con la realidad. Ambos buscan la esencia de la verdad y la expresión lingüística de la misma, aunque Wittgenstein con un enfoque más radicalmente lingüístico-filosófico.

Si bien Boole se centra en la formalización binaria y la estructura de la 'verdad', Wittgenstein en sus Investigaciones profundiza en cómo las reglas para el uso del lenguaje (y por extensión, las reglas para la lógica) no son absolutas sino que emergen de 'formas de vida'. Esto resuena con una comprensión más profunda y contextualizada de las 'reglas' que Boole buscaba formalizar, desafiando la idea de una verdad abstracta universal y vinculándola a la práctica humana, lo cual es una evolución filosófica del problema del 'cómo sabemos'.

Boole buscó formalizar las reglas del pensamiento para describir las verdades inherentes. Berger y Luckmann abordan un aspecto complementario pero a menudo descuidado: cómo lo que consideramos 'verdadero' o 'lógico' (incluso las categorías fundamentales de nuestro pensamiento) es producto de procesos sociales y no un mero reflejo de una realidad externa. Esto ofrece una perspectiva sociológica del 'razonamiento' que Boole buscó entender desde la lógica matemática, conectando con las condiciones subyacentes que dan forma a las estructuras que la lógica intenta modelar.

Boole desarrolló un sistema de lógica para formalizar el razonamiento y establecer verdades. Kuhn, por su parte, investiga cómo los sistemas de 'verdad' y 'razonamiento' cambian radicalmente en la ciencia a través de 'revoluciones'. Aunque no es un texto de lógica, es 'oscuro' en el contexto de sus implicaciones para la lógica, ya que sugiere que las herramientas formales como las de Boole están circunscritas a un paradigma, y que la 'verdad' no es estática, sino dependiente de un marco conceptual. Es una obra seminal pero no directamente vinculada a la lógica en las listas comunes, siendo más de filosofía de la ciencia.

Boole inició la formalización de la lógica a través del simbolismo algebraico. 'Principia Mathematica' es, estructuralmente, su continuación y expansión directa, llevando la ambición de Boole al extremo de construir la totalidad de las matemáticas desde cimientos lógicos formales y simbólicos. La estructura del argumento y la presentación de la lógica, aunque más compleja y detallada, sigue el mismo espíritu de Boole: el uso de un lenguaje simbólico riguroso para la deducción formal de verdades.

Frege, como Boole, se interesó en la formalización de la lógica, pero su obra 'Fundamentos de la Aritmética' representa una estructura argumentativa que, aunque filosófica, está intrínsecamente ligada al proyecto formalista de Boole. Frege busca fundar las verdades aritméticas en la lógica pura, utilizando un método de exposición y un rigor que refleja la búsqueda de Boole de un 'álgebra del pensamiento'. Ambos autores construyen argumentos deductivos paso a paso, buscando la simplicidad y la universalidad en las reglas fundamentales.