George Boole
Il traite la logique comme une algèbre : raisonner devient calculer avec des symboles.
Sa vie
Mathématicien et logicien britannique, autodidacte devenu professeur au Queen's College de Cork. Il a montré que le raisonnement peut s'écrire comme une algèbre, fondant la logique symbolique qui sert aujourd'hui aux circuits et aux ordinateurs (algèbre de Boole). Il voyait dans ces lois les lois mêmes de la pensée.
Ses œuvres
Exprime les lois du raisonnement dans un calcul algébrique.
Première version de son algèbre de la logique.
Manuel de référence sur les équations différentielles.
Ce qu'il a écrit
« Le dessein de ce traité est d'étudier les lois fondamentales des opérations de l'esprit par lesquelles s'accomplit le raisonnement, de les exprimer dans le langage symbolique d'un calcul, et de fonder sur cette base la science de la Logique. »
Ses positions
clique sur une ligne pour voir la preuveIl tenait à la croyance en une cause intelligente suprême et en un gouverneur moral du monde, tout en doutant que la religion naturelle puisse le prouver avec certitude.
Boole, An Investigation of the Laws of Thought, ch. XIII (1854)