El Cálculo Infinitesimal y el Álgebra de la Lógica: Análisis de la Lógica Simbólica

Boole, al formalizar la lógica, sentó las bases para el estudio estructural de la información. Este ensayo de Poincaré, aunque posterior, ofrece una perspectiva 'nonobvious' al recalcar que la invención y la intuición son cruciales para crear estas estructuras matemáticas, algo que complementa la rigurosa formalización booleana sin limitarse a su método.

Mientras Boole estableció los fundamentos del álgebra de la lógica, Keynes, padre del famoso economista, expandió y consolidó la lógica formal de su tiempo. Este libro es 'nonobvious' porque, aunque comparte el tema, no es una obra canónica de la lógica simbólica moderna sino una obra intermedia que busca refinar y adaptar las ideas de Boole, De Morgan y Jevons para la enseñanza en su época.

Boole fue pionero en la reducción de la lógica al álgebra; los Principia Mathematica representan el culmen de esa ambición, buscando reducir la matemática completa a principios lógicos. Ambos comparten la profunda convicción de que las estructuras subyacentes del pensamiento racional (ya sea lógica o matemática) pueden ser formalizadas y manipuladas simbólicamente, haciendo explícitas las reglas de derivación del conocimiento.

Boole buscó formalizar el razonamiento para eliminar ambigüedades; Wittgenstein en el Tractatus, aunque desde una perspectiva filosófica, comparte esa profunda preocupación por la claridad y precisión del lenguaje y el pensamiento. Ambos ven la lógica como una herramienta fundamental para comprender la estructura del mundo y las proposiciones que podemos hacer sobre él, buscando los límites de lo expresable con sentido.

Mientras Boole explora la lógica desde una perspectiva algebraica, Husserl en sus 'Investigaciones lógicas' profundiza en las estructuras fundamentales de la conciencia que subyacen a toda experiencia y conocimiento lógico. Es 'obscure' en el contexto anglosajón tradicional de la lógica simbólica, pero esencial en la filosofía continental, investigando cómo las 'formas' lógicas mismas se constituyen en la experiencia, un complemento fenomenológico a la formalización booleana.

Boole proporcionó el primer sistema algebraico para la lógica, y Carnap, figura del Círculo de Viena, llevó la formalización a un extremo, intentando reconstruir conceptualmente todo el conocimiento a partir de la lógica y la experiencia sensorial. Este libro conecta al buscar la misma aspiración de una estructura lógica subyacente para el conocimiento, aunque desde una perspectiva de 'reconstrucción racional' que es menos conocida para el lector casual que los trabajos de Russell o Frege.

Boole estableció un sistema formal para la lógica, y Frege, de forma contemporánea pero independiente, desarrolló un sistema aún más riguroso para la lógica y la reducción de la aritmética, empleando una notación conceptual que, aunque compleja, tiene la misma ambición estructural de representar el pensamiento de manera simbólica y axiomática. Ambos libros son estructuras lógicas en sí mismos, demostrando la operatividad del pensamiento a través de símbolos.

El libro de Boole es en sí mismo una demostración de una nueva estructura lógica. Cassirer, como filósofo de las 'formas simbólicas', analiza la lógica simbólica con un enfoque 'estructural': lo ve como una de las formas fundamentales mediante las cuales los humanos organizan y dan sentido al mundo. Su libro no solo explica la lógica simbólica sino que la enmarca como una estructura fundamental del pensamiento, similar en su esencia a cómo Boole estructuró su propio sistema.