A Treatise on the Theory of Probabilities

Mientras Boole sentó las bases de la lógica binaria 'verdad-falso', Kosko introduce al lector a la lógica difusa, que desafía esa dicotomía estricta. La conexión es no-obvia porque, en lugar de extender la lógica booleana, propone un sistema fundamentalmente diferente que resuelve sus limitaciones en la representación del mundo real, extendiendo la naturaleza de la verdad más allá de los valores discretos de Boole.

En lugar de centrarse directamente en la teoría de probabilidad como un sistema matemático (como Boole), este ensayo rastrea las raíces filosóficas y conceptuales de la probabilidad. Conecta con Boole no tanto por la teoría en sí, sino por el contexto histórico y filosófico del pensamiento probabilístico que llevó a figuras como Boole a formalizarlo, ofreciendo una perspectiva menos técnica y más humanística sobre el mismo campo.

Boole sentó las bases formales para el razonamiento deductivo puro y la verdad lógica binaria, esenciales para la estructura de cualquier argumento. Popper, aunque hablando de la ciencia, se apoya en una lógica subyacente de proposiciones y la verdad (o falsedad) de las afirmaciones para construir su teoría de la falsabilidad y la deductibilidad en la ciencia, reflejando una profunda conexión con el armazón lógico que Boole ayudó a formalizar para cualquier campo de conocimiento.

Boole articuló un sistema lógico formal a partir del cual se pueden derivar relaciones de verdad y silogismos. Frege, influenciado por la necesidad de una fundamentación rigurosa, persiguió un objetivo análogo para las matemáticas con su proyecto logicista, intentando anclar los números a principios lógicos. Ambos autores comparten la misma ambición filosófica de reducir áreas del pensamiento (lógica para Boole, matemáticas para Frege) a sistemas de axiomas y reglas, buscando la certeza y la derivación formal.

Antes de Boole, Laplace fue una figura central en la formalización de la probabilidad. Este ensayo académico, de un matemático francés, contextualiza la probabilidad de una manera que precede a Boole, y sus desarrollos ulteriores, pero desde una tradición europea continental menos prominente en las discusiones anglosajonas sobre Boole. Ofrece una perspectiva 'obscura' al enfocarse en la escuela francesa, menos divulgada que la británica en el ámbito general.

Aunque Boole se centró en la lógica finita, la formalización rigurosa que propuso tiene implicaciones para cómo se abordan los sistemas infinitos. Agazzi, un académico italiano menos conocido fuera de círculos especializados en el mundo anglosajón, profundiza en las complejidades conceptuales de las que la lógica booleana es una herramienta fundamental. La conexión es indirecta pero profunda al abordar un concepto matemático-filosófico esencial con el rigor formal que Boole ejemplificó.

Boole fue pionero en un sistema simbólico para la lógica. Frege, con su 'Begriffsschrift', desarrolla una notación lógica mucho más expresiva y rigurosa, capaz de capturar relaciones que la lógica booleana de proposiciones no podía. La similitud estructural radica en la creación de un CALCULUS FORMAL completo para el razonamiento: Boole para las proposiciones y la probabilidad, Frege para los predicados y cuantificadores, ambos construyendo 'lenguajes' con sus propias reglas para operar el pensamiento. La estructura de un lenguaje formal es la clave.

Al igual que Boole intentó reducir la lógica a un sistema algebraico, 'Principia Mathematica' representa el pináculo de este enfoque estructuralista, buscando construir un sistema completo y sin inconsistencias para toda la matemática a partir de la lógica. Comparte con Boole la ambición de formalizar el razonamiento y la verdad a través de símbolos y reglas, evidenciando una estructura axiomática y deductiva exhaustiva como método principal, extendiendo el alcance y la complejidad de las ideas incipientes en Boole.