Boole e a lógica vista como álgebra das operações do pensamento
Coletânea
Boole e a lógica vista como álgebra das operações do pensamento
Autor Correspondente: André Campos da Rocha | [email protected]
Palavras-chave: Boole. Álgebra. Lógica moderna. Lógica matemática.
Resumos Cadastrados
Resumo Português:
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.
Resumo Inglês:
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.
