Use este identificador para citar ou linkar para este item: http://hdl.handle.net/1843/BUBD-9U4PTS
Tipo: Dissertação de Mestrado
Título: Matemática, metalógica e construtivismo no Tractatus Logico-Philosophicus
Autor(es): Felipe Oliveira Araújo Lopes
Primeiro Orientador: Mauro Luiz Engelmann
Primeiro membro da banca : Abilio Azambuja Rodrigues Filho
Segundo membro da banca: João Vergílio Gallerani Cuter
Resumo: O objetivo do presente trabalho é elucidar a relação entre lógica e matemática no Tractatus Logico-Philosophicus. A partir disso, se esclarecerá como Wittgenstein trata o problema dos paradoxos lógicos e semânticos ao descartar tais construções como casos de uma pretensa metalógica. A rejeição dessa última deve-se, no que será defendido, à noção de que a multiplicidade matemática de um sistema de sinais não permite a representação, nele mesmo, de aspectos formais do próprio sistema. Nesse contexto, será questionada a hipótese de considerar a matemática como um tipo de metalógica a qual pretensamente enunciaria, por meio de equações, regras da sintaxe lógica na substituição de sinais uns pelos outros. Com esse objetivo, será mostrada a possibilidade de se antecipar certo construtivismo matemático já no Tractatus, onde o cálculo, em se tratando da aplicação de regras de substituição entre sinais quaisquer, possui autonomia em relação à eventual projeção simbólica desses sinais ao mundo sendo propriamente tal autonomia o que nos permite distinguir matemática e lógica; e a qual servirá de argumento para a defesa de uma posição contrária ao logicismo usualmente atribuído ao Tractatus. Assim, não se poderia falar em metalógica quando da apresentação de uma equação matemática, como se estivéssemos a enunciar uma regra de substituição. Uma equação não enuncia uma regra, mas antes é ela mesma a aplicação de uma regra, de maneira ao cálculo seja ele escrito, falado, pensado, etc. nada mais fazer que apresentar, em seus próprios sinais, uma seqüência de instâncias da regra em questão: à medida que os escrevemos, falamos, pensamos, etc. Regras da sintaxe lógica não teriam, com isso, qualquer existência abstrata ou platônica para além dos sinais mesmos com que as exemplificamos in concreto.
Assunto: Matemática
Construtivismo (Filosofia)
Lógica
Filosofia
Idioma: Português
Editor: Universidade Federal de Minas Gerais
Sigla da Instituição: UFMG
Tipo de Acesso: Acesso Aberto
URI: http://hdl.handle.net/1843/BUBD-9U4PTS
Data do documento: 30-Jul-2014
Aparece nas coleções:Dissertações de Mestrado

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
ppgfilosofia_felipeoliveiraaraujolopes_dissertacaomestrado.pdf1.58 MBAdobe PDFVisualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.