O intuicionismo e o problema com as provas não construtivas

Autores

DOI:

https://doi.org/10.31977/grirfi.v15i1.749

Palavras-chave:

Intuicionismo; Provas matemáticas; Terceiro excluído; Lógicas não clássicas.

Resumo

O presente artigo tem por finalidade avaliar o problema intuicionista com as provas não construtivas na matemática. Para esta posição construtivista o princípio do terceiro excluído, da lógica clássica, não deve operar sobre demonstrações matemáticas. As provas não construtivas não são aceitas, sendo as provas construtivas as únicas com caráter positivo. Após uma breve introdução ao intuicionismo e seu idealizador, o artigo abordará a relação entre o princípio do terceiro excluído e as provas na matemática, para assim falar sobre o problema das provas não construtivas e da consequência em não aceitá-las. Ao tomar a matemática unicamente como um empreendimento de construção mental, o intuicionismo quebra com o realismo platônico dominante e estabelece um debate frutífero sobre os fundamentos da matemática.

Downloads

Não há dados estatísticos.

Biografia do Autor

Diego Henrique Figueira de Melo, Universidade Federal de Minas Gerais (UFMG)

Doutorando em Filosofia pela Universidade Federal de Minas Gerais (UFMG), Minas Gerais – Brasil.

Referências

BROUWER, L. On the foundations of mathematics. In: HEYTING, A. (Ed.). Collected Works 1: Philosophy and foundations of mathematics. New York: American Elsevier Publishing Company, 1975.

DA COSTA, N. Ensaio sobre os fundamentos da lógica. 2. ed. São Paulo: Editora Hucitec, 1994.

DA COSTA, N. Introdução aos fundamentos da matemática. 3. ed. São Paulo: Editora Hucitec, 1992.

GEORGE, A; VELLEMAN, D. Philosophies of mathematics. Oxford: Blackwell Publishers, 2002.

IEMHOFF, R. Intuitionism in the philosophy of mathematics. The Stanford Encyclopedia of philosophy. Spring 2015 Edition. Disponível em: <http://plato.stanford.edu/archives/spr2015/entries/intuitionism/>. Acesso em: 19 mai. 2015.

MOSCHOVAKIS, J. Intuitionistic Logic. The Stanford Encyclopedia of philosophy. Spring 2015 Edition. Disponível em: <http://plato.stanford.edu/archives/spr2015/entries/logic-intuitionistic/>. Acesso em: 20 mai. 2015.

PALMGREN, E; BRIDGES, D. Constructive Mathematics. The Stanford Encyclopedia of philosophy. Winter 2013 Edition. Disponível em: <http://plato.stanford.edu/archives/win2013/entries/mathematics-constructive/>. Acesso em: 20 mai. 2015.

RODRIGUES FILHO, A. Lógica. São Paulo: Martins Fontes, 2011.

VAN ATTEN, M. Luitzen Egbertus Jan Brouwer. The Stanford Encyclopedia of philosophy. Summer 2011 Edition. Disponível em: <http://plato.stanford.edu/archives/sum2011/entries/brouwer/>. Acesso em: 20 mai. 2015.

VAN ATTEN, M. The development of intuitionistic logic. The Stanford Encyclopedia of philosophy. Spring 2014 Edition. Disponível em: <http://plato.stanford.edu/archives/spr2014/entries/intuitionistic-logic-development/>. Acesso em: 20 mai. 2015.

VAN DALEN, D. Logic and structure. 4. ed. Heidelberg: Springer, 2008.

Downloads

Publicado

2017-06-18

Como Citar

MELO, Diego Henrique Figueira de. O intuicionismo e o problema com as provas não construtivas. Griot : Revista de Filosofia, [S. l.], v. 15, n. 1, p. 100–110, 2017. DOI: 10.31977/grirfi.v15i1.749. Disponível em: https://periodicos.ufrb.edu.br/index.php/griot/article/view/749. Acesso em: 19 abr. 2024.

Edição

v. 15 n. 1 (2017)

Seção

Artigos

Licença

Os autores que publicam na Griot : Revista de Filosofia mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Creative Commons Attribution 4.0 International License,  permitindo compartilhamento e adaptação,  mesmo para fins comerciais, com o devido reconhecimento da autoria e publicação inicial nesta revista. Leia mais...