Este ensayo explora los procesos lógicos de la ciencia, relacionando la invención y el razonamiento, tal como De Morgan en su análisis del silogismo.
Formal Logic, Or, The Calculus of Inference, Necessary and Probable
por Augustus De Morgan · 1847
Ver sugerenciasSinopsis
Este libro presenta un sistema de lógica formal que incluye discusiones sobre el silogismo, la cuantificación de predicados y la teoría de la probabilidad. De Morgan, contemporáneo de Boole, también buscó matematicizar la lógica.
Sé el primero en valorar este libro.
Más de Augustus De Morgan
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Keynes profundiza en la lógica simbólica y la cuantificación, alineándose con De Morgan al sistematizar conceptos que son fundamentales en la lógica formal.
Scholz aborda la lógica formal desde sus orígenes, similar a De Morgan, quien busca establecer una base matemática sólida dentro de la lógica histórica.
Hilbert y Ackermann formulan el cálculo de predicados, estableciendo un marco sistemático que complementa la búsqueda de De Morgan por un enfoque matemático en la lógica.
Boole formaliza la probabilidad de forma algebraica, como De Morgan, ambos aportan perspectivas que conectan matemáticas y lógica en sus escritos fundacionales.
El Cálculo Infinitesimal y el Álgebra de la Lógica: Análisis de la Lógica Simbólica
George Boole
1847·divulgacion
En su obra, Boole desarrolla un sistema algebraico para proposiciones lógicas, resonando con la intención de De Morgan de matematicizar la lógica.