The Calculus of Logic

Mientras que Boole sentó las bases de la lógica simbólica con su álgebra booleana, Turing extiende estas ideas al dominio de la computación, mostrando cómo las operaciones lógicas pueden ser mecanizadas y universalizadas en el procesamiento de información, una aplicación práctica y profunda del cálculo lógico. Conecta el cálculo abstracto de Boole con la capacidad física de una máquina para procesar la lógica.

Boole creó un sistema formal para la lógica; Hofstadter explora las implicaciones y los límites de tales sistemas formales, especialmente en relación con la autorreferencia y la emergencia del significado. No es directamente sobre lógica booleana, pero aborda las profundas consecuencias de los sistemas lógicos y matemáticos en la comprensión de la inteligencia y la complejidad, expandiendo el universo que Boole empezó a un nivel metafórico y filosófico.

Mientras Boole formalizó la estructura sintáctica del razonamiento deductivo, Husserl se sumerge en la cuestión de la validez y el significado de la lógica desde una perspectiva fenomenológica, es decir, cómo los actos de conciencia constituyen los objetos lógicos. Ambos buscan la esencia de la estructura del pensamiento, pero desde ángulos muy diferentes: Boole desde lo formal-matemático y Husserl desde lo experiencial-trascendental.

Boole estableció un cálculo para la lógica; Wittgenstein, especialmente en el Tractatus, llevó la noción de 'lógica' a su extremo filosófico, intentando definir qué puede decirse con sentido y qué no. Ambos libros, aunque muy diferentes en estilo y alcance, comparten la profunda preocupación por la estructura subyacente del pensamiento y la representación de la realidad a través de la lógica y el lenguaje. Wittgenstein radicaliza la idea de un 'cálculo' aplicándolo a todo el conocimiento.

Boole es la fundación de la lógica matemática occidental; Łukasiewicz representa una de las expansiones más significativas y menos conocidas en el canon anglosajón, desafiando la bivalencia fundamental de la lógica booleana con su introducción de la lógica trivalente. Ofrece una alternativa crucial a la visión booleana de cómo funciona la verdad lógica.

Mientras Boole creó un cálculo para la lógica, Hjelmslev intenta aplicar una aproximación igualmente 'calculable' y formalizada al estudio del lenguaje en sí mismo, buscando las estructuras subyacentes y las operaciones lógicas dentro del sistema lingüístico. Ambos persiguen la reducción de un dominio complejo (pensamiento/lenguaje) a sus elementos formales y sus reglas de combinación, aunque desde disciplinas distintas.

El 'Cálculo de la Lógica' de Boole es fundamental en su estructura por establecer un sistema axiomático para la lógica. Los 'Elementos' de Euclides son el arquetipo de este enfoque en las matemáticas: parten de un conjunto mínimo de supuestos y proceden con rigurosa deducción lógica para construir un vasto cuerpo de conocimiento. Ambos libros demuestran el poder de la formalización y la construcción sistemática desde principios básicos.

Boole construye un sistema formal para la lógica que puede ser 'calculado'. Frege, inspirándose en la idea de que el razonamiento puede ser formalizado, intenta hacer exactamente eso para la aritmética. Ambos autores comparten la ambición de reducir una disciplina (lógica para Boole, aritmética para Frege) a un sistema de símbolos y reglas rigurosas, buscando la fundamentación lógica de las matemáticas. Ambos son estructuralistas en el sentido de que sus obras son intentos de construir 'cálculos' formales.