Detalhes bibliográficos
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de acesso: Não Informado pela instituição
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
id UFMG_9de31c7e0cf67a9f74babf71cf0d10ee
oai_identifier_str oai:repositorio.ufmg.br:1843/BUBD-9U4PTS
network_acronym_str UFMG
network_name_str Repositório Institucional da UFMG
repository_id_str
reponame_str Repositório Institucional da UFMG
instacron_str UFMG
institution Universidade Federal de Minas Gerais (UFMG)
instname_str Universidade Federal de Minas Gerais (UFMG)
spelling Mauro Luiz EngelmannAbilio Azambuja Rodrigues FilhoJoão Vergílio Gallerani CuterFelipe Oliveira Araújo Lopes2019-08-13T09:23:50Z2019-08-13T09:23:50Z2014-07-30http://hdl.handle.net/1843/BUBD-9U4PTSO 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.Universidade Federal de Minas GeraisUFMGMatemáticaConstrutivismo (Filosofia)LógicaFilosofiaMatemáticaConstrutivismoMetalógicaLogicismoMatemática, metalógica e construtivismo no Tractatus Logico-Philosophicusinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALppgfilosofia_felipeoliveiraaraujolopes_dissertacaomestrado.pdfapplication/pdf1617109https://repositorio.ufmg.br/bitstream/1843/BUBD-9U4PTS/1/ppgfilosofia_felipeoliveiraaraujolopes_dissertacaomestrado.pdfa5749559048418b4b2f6ec1ca415b231MD51TEXTppgfilosofia_felipeoliveiraaraujolopes_dissertacaomestrado.pdf.txtppgfilosofia_felipeoliveiraaraujolopes_dissertacaomestrado.pdf.txtExtracted texttext/plain391840https://repositorio.ufmg.br/bitstream/1843/BUBD-9U4PTS/2/ppgfilosofia_felipeoliveiraaraujolopes_dissertacaomestrado.pdf.txtf9f963183fc0f0785a1ec2ab8a883c40MD521843/BUBD-9U4PTS2019-11-14 22:19:00.184oai:repositorio.ufmg.br:1843/BUBD-9U4PTSRepositório InstitucionalPUBhttps://repositorio.ufmg.br/oaiopendoar:2019-11-15T01:19Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false
_version_ 1813548835441475584