George Boole
Trata la lógica como un álgebra: razonar se convierte en calcular con símbolos.
Vida
Matemático y lógico británico, autodidacta, que llegó a ser profesor en el Queen's College de Cork. Mostró que el razonamiento puede escribirse como un álgebra y fundó la lógica simbólica que hoy se utiliza en los circuitos y los ordenadores (álgebra de Boole). Veía en estas leyes las leyes mismas del pensamiento.
Obras principales
Expresa las leyes del razonamiento en un cálculo algebraico.
Primera versión de su álgebra de la lógica.
Manual de referencia sobre las ecuaciones diferenciales.
En sus propias palabras
« El propósito de este tratado es investigar las leyes fundamentales de aquellas operaciones de la mente por las que se lleva a cabo el razonamiento; expresarlas en el lenguaje simbólico de un cálculo y, sobre este fundamento, establecer la ciencia de la Lógica »
Sus posiciones
haz clic en una fila para ver la pruebaEra partidario de creer en una causa inteligente suprema y en un gobernante moral del mundo, aunque dudaba de que la religión natural pueda probarlo con certeza.
Boole, An Investigation of the Laws of Thought, ch. XIII (1854)