The Mathematical Theory of Logic

Aunque superficialmente parece una obra de divulgación sobre temas diversos, su núcleo filosófico reside en la exploración de sistemas formales y cómo las reglas auto-referenciales pueden generar complejidad, un eco no obvio de la búsqueda de Boole por formalizar el pensamiento en un sistema lógico consistente, pero llevado a un plano mucho más reflexivo y artístico.

Mientras Boole sentaba las bases de una lógica estructural, Cavaillès analiza filosóficamente la propia noción de estructura matemática, su historicidad y su papel en la construcción del conocimiento. Es una meta-reflexión sobre el tipo de pensamiento que Boole ejemplificó, y rara vez se asocia directamente a 'La Teoría Matemática de la Lógica'.

Si Boole revolucionó la forma de codificar el razonamiento, Wittgenstein, de forma mucho más radical, cuestionó la esencia misma de ese razonamiento y su relación con la realidad y el lenguaje. Ambos buscan la pureza del pensamiento, pero Boole la encuentra en la álgebra y Wittgenstein en la lógica formal que define los límites de lo decible, constituyendo una exploración filosófica profunda de la capacidad humana para estructurar el mundo a través del lenguaje formal.

Boole fue pionero en mostrar cómo la lógica podía ser tratada algebraicamente. Los 'Principia Mathematica' representan la culminación extrema de esta visión, intentando fundamentar todas las matemáticas en la lógica booleana y la teoría de conjuntos, llevando la ambición de formalización a su punto máximo. Es la manifestación más profunda de la corriente de pensamiento que Boole inició.

Antes de la formalización de Boole, ya había intentos por encontrar estructuras subyacentes y 'lógicas' en el lenguaje. Esta gramática francesa, poco conocida fuera de los círculos académicos específicos, representa un esfuerzo temprano por mapear la estructura del pensamiento (como lo entendían) en la gramática, una analogía fascinante y más antigua a la búsqueda de sistemas formales de Boole.

Coseriu, un autor latinoamericano (uruguayo de origen rumano) con influencia más allá del ámbito anglosajón, profundiza en la lógica implícita en la estructura del lenguaje natural. Mientras Boole creó una lógica formal artificial, Coseriu desentraña la 'lógica' que los seres humanos ya emplean, haciendo una conexión inversa pero igualmente profunda con la idea de sistematicidad y estructura del pensamiento.

Wiener, al igual que Boole, busca un lenguaje unificado para describir fenómenos aparentemente dispares, en este caso, la información y el control. Mientras Boole sistematiza el razonamiento lógico, Wiener crea una estructura conceptual capaz de modelar el comportamiento de sistemas complejos, ya sean animales o máquinas, utilizando la lógica subyacente de la comunicación y el control, que a menudo se expresa matemáticamente.

Mientras Boole construye una estructura algebraica para la lógica, Husserl busca las 'estructuras' eidéticas de la conciencia y la intencionalidad, los cimientos pre-lingüísticos y pre-formales del pensamiento. Ambos se preocupan por la naturaleza fundacional de la lógica, pero en Husserl se manifiesta como una indagación sobre las condiciones de posibilidad de la experiencia cognitiva, una estructura filosófica que antecede a la formalización matemática del razonamiento.