Boole e a lógica vista como álgebra das operações do pensamento

Resumo

Resumo: O objetivo deste artigo é apresentar, de forma sucinta, a abordagem algébrica que George Boole fez da lógica. Com isso, pretende-se mostrar os primeiros momentos de efetivação da matematização dessa ciência, tal como Leibniz havia sonhado com a sua “característica universal”. As contribuições do matemático britânico acabaram por modificar definitivamente a aparência e a metodologia da lógica. A partir do empreendimento do autor ora examinado, a lógica ganhou um novo estilo e passou a ser conhecida pelos nomes de lógica simbólica, lógica matemática e lógica moderna.

Palavras-chave: Boole. Álgebra. Lógica moderna. Lógica matemática.

Abstract: The purpose of this article is to briefly present George Boole's algebraic approach to logic. Thus, it intends to show the first moments of the mathematization actualization of this science, just as Leibniz once dreamed to do in his “universal character”. The contributions of the British mathematician eventually changed the logic appearance and methodology. Since the enterprise of the author examined here, logic gained a new style and came to be known by the names of symbolic logic, mathematical logic and modern logic.

Keywords: Boole. Algebra. Modern logic. Mathematical logic.