Boole e a lógica vista como álgebra das operações do pensamento
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.
Referências
BELNA, J. P. Cantor. São Paulo: Estação Liberdade, 2011.
BOLL, M.; REINHART, J. A história da lógica. Lisboa: Edições 70, 1992.
BOOLE, G. The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning. Cambridge: Cambridge University Press, 2009.
DA COSTA, N. Ensaio sobre os fundamentos da lógica. São Paulo: HUCITE, 2008.
DAGHLIAN, J. Lógica e álgebra de Boole. São Paulo: Atlas, 1995.EVES, H. Introdução à história da matemática. Campinas: Unicamp, 2004.
GABBAY, D. Handbook of the History of Logic: British Logic in the Nineteenth Century. Volume 4. Amsterdam, 2008.
HASENJAEGER, G. Conceptos y problemas de la lógica moderna. Barcelona: Edi-torial Labor, 1968.
JACQUETTE, D. Boole ́s logic. In: GABBAY, D.; WOODS, J. (Ed.) Handbook of the History of Logic: British Logic in the Nineteenth Century. Volume 4. Amsterdam: Elsevier, 2008.
LENZEN, W. Leibniz ́s logic. In: GABBAY, D.; WOODS, J. (Ed.) Handbook of the History of Logic: British Logic in the Nineteenth Century. Volume 3. Amsterdam, 2014.
MILIES, C. P.; COELHO, S. P. Números: uma introdução à matemática. São Paulo: EDUSP, 2006.
SANT ́ANNA, A. (Org.) Encontros: Newton da Costa. Rio de Janeiro: Azougue, 2011.
Downloads
Publicado
Edição
Seção
Licença
Os Autores mantêm os direitos autorais e ao mesmo tempo, concedem cessão dos mesmos direitos autorais à Revista Coletânea que passa ter plenos direitos de publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Attribution que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista. As publicações deste periódico poderão ser reproduzidas desde que devidamente referenciadas, conforme a licença adotada.
