George Boole
Tratta la logica come un'algebra: ragionare diventa calcolare con simboli.
La sua vita
Matematico e logico britannico, autodidatta, poi professore al Queen's College di Cork. Mostrò che il ragionamento può essere scritto come un'algebra, fondando la logica simbolica oggi utilizzata nei circuiti e nei computer (algebra di Boole). Vedeva in queste leggi le leggi stesse del pensiero.
Le sue opere
Esprime le leggi del ragionamento in un calcolo algebrico.
La prima versione della sua algebra della logica.
Un manuale di riferimento sulle equazioni differenziali.
Cosa ha scritto
« Il disegno del presente trattato è di indagare le leggi fondamentali di quelle operazioni della mente con cui si compie il ragionamento, di esprimerle nel linguaggio simbolico di un calcolo e, su questa base, di fondare la scienza della Logica »
Posizioni
clicca su una riga per vedere la provaEgli era favorevole alla credenza in una causa intelligente suprema e in un governatore morale del mondo, pur dubitando che la religione naturale possa dimostrarla con certezza.
Boole, An Investigation of the Laws of Thought, ch. XIII (1854)