Uma reavaliação do pensamento lógico de George Boole à luz da história da matemática

The aim of the present study is to reevaluate the logical thought of the English mathematician George Boole (1815 - 1864). Thus, our research centers on the mathematical analysis of logic in the context of the history of mathematics. In order to do so, we present various biographical considerations about Boole in the light of events that happened in the 19th century and their consequences for mathematical production. We briefly describe Boole's innovations in the areas of differential equations and invariant theory and undertake an analysis of Boole's logic, especially as formulated in the book The Mathematical Analysis of Logic, comparing it not only with the traditional Aristotelian logic, but also with modern symbolic logic. We conclude that Boole, as he intended, expanded logic both in terms of its content and also in terms of its methods and formal elaboration. We further conclude that his purpose was the mathematical modeling of deductive reasoning, which led him to present an innovative formalism for logic and, because the different ways it can be interpreted, a new conception of mathematics