A Treatise on the Theory of Combinations

Aunque Boole sentó las bases de la lógica formal, Hofstadter expande esta idea hacia la autorreferencia y los sistemas formales complejos, mostrando cómo las estructuras lógicas pueden dar lugar a fenómenos como la conciencia. Se aleja de la matemática pura para explorar las implicaciones filosóficas de la combinación de reglas.

Boole revolucionó la lógica formal con un enfoque algebraico y combinatorio. Hegel, décadas antes, construyó un sistema lógico radicalmente diferente, que, aunque no matemático en el sentido moderno, buscaba una teoría de las conexiones y el desarrollo del pensamiento, ofreciendo una perspectiva muy distinta sobre cómo las ideas se combinan y evolucionan. Es una 'teoría de las combinaciones' del pensamiento desde una perspectiva idealista.

Si Boole estableció las reglas básicas de combinación y las operaciones lógicas, 'Principia Mathematica' es la culminación de ese sueño, demostrando cómo, con un simbolismo aún más sofisticado, se podía construir gran parte de la matemática a partir de esas combinaciones lógicas fundamentales. Comparte la ambición profunda de formalizar el pensamiento y sus conexiones elementales.

El trabajo de Boole sobre las combinaciones lógicas es un fundamento para entender cómo las proposiciones se conectan. Wittgenstein, en el 'Tractatus', lleva esta idea a su extremo filosófico, explorando cómo la estructura lógica de las proposiciones determina la posibilidad de significar y cómo las 'combinaciones' de elementos (nombres) en el lenguaje reflejan la combinación de objetos en el mundo. Aborda las capacidades y los límites de la lógica para representar la realidad.

Mientras Boole ofrece un "tratado sobre la teoría de las combinaciones" formal-matemático, Husserl en sus 'Investigaciones Lógicas' busca ir a la raíz de la validez lógica misma, examinando las estructuras a priori del pensamiento y la conciencia que hacen posibles esas combinaciones. Es una exploración fundamental y profunda de la lógica, menos conocida en el mundo anglosajón que los analíticos, pero igualmente influyente.

Boole buscó formalizar las combinaciones lógicas para establecer la verdad. Adorno, desde la tradición crítica europea, cuestiona radicalmente las bases de la lógica y la razón instrumental, explorando cómo la combinación y síntesis de conceptos pueden conducir a la dominación. Es una "teoría de las combinaciones" vista desde la crítica profunda a sus fundamentos societales y éticos, lejos de la matemática anglosajona.

Ambos autores comparten la ambición de dar un fundamento lógico riguroso a conceptos matemáticos. Boole combinó elementos para generar nuevas proposiciones; Frege, con una precisión y un formalismo aún mayores, intenta 'combinar' conceptos lógicos para construir el concepto de número. La estructura de su argumentación es extremadamente formal y deductiva, construyendo un sistema de relaciones de un modo similar a Boole.

Mientras Boole establece un sistema combinatorio para la lógica, Kuhn describe cómo los científicos 'combinan' y estructuran sus observaciones y teorías dentro de marcos conceptuales específicos (paradigmas). La obra de Boole, al ofrecer nuevas 'combinaciones' lógicas, fue en sí misma un cambio de paradigma en la lógica. Kuhn analiza la estructura profunda de cómo se forman y reemplazan estos sistemas de 'combinación' de ideas en la ciencia.