[en] IMPREDICATIVITY, GENERALITY AND THE DEVELOPMENT OF WITTGENSTEINS THOUGHT

• Main Author: CAMILA APARECIDA RODRIGUES JOURDAN
• Other Authors: LUIZ CARLOS PINHEIRO DIAS PEREIRA
• Language: pt
• Published: MAXWELL 2009
• Subjects: [pt] NECESSIDADE; [en] NEED; [pt] MATEMATICA; [en] MATHEMATICS; [pt] CONSTRUTIVISMO; [en] CONSTRUCTIVISM; [pt] GENERALIDADE; [en] GENERALITY; [pt] INDUCAO; [en] INDUCTION; [pt] WITTGENSTEIN; [en] WITTGENSTEIN
• Online Access: https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=13796@1; https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=13796@2; http://doi.org/10.17771/PUCRio.acad.13796

[pt] A tese identifica uma continuidade no pensamento de Wittgenstein centrada na sua distinção entre o âmbito necessário e o âmbito contingente da linguagem, particularmente na característica impredicativa do primeiro, sobretudo evidente na sua Filosofia da Matemática, e cujas conseqüências seriam permanentemente desenvolvidas ao longo da sua obra. São apresentadas as origens da noção de impredicatividade nos sistemas de Poincaré e Russell e a importância desta noção já para o início da Filosofia de Wittgenstein é avaliada. A partir disso, as críticas de Wittgenstein à abordagem de Russell da Teoria dos Tipos são analisadas. Em seguida, discute-se a importância do tema para a mudança de concepção operada no período intermediário do pensamento de Wittgenstein e para suas posições sobre as demonstrações e a verdade matemática. O trabalho contém ainda um anexo no qual aplicamos a leitura proposta à compreensão das observações de Wittgenstein sobre o teorema da incompletude de Gödel. O principal ganho de nosso trabalho é oferecer uma opção de leitura da Filosofia de Wittgenstein que confere unidade, sistematicidade e coerência interna para suas mais estranhas e díspares posições. Além disso, na medida em que o âmbito necessário da linguagem é tomado como o âmbito responsável pela determinação do sentido lingüístico, identifica-se o caráter impredicativo da própria determinação semântica como uma característica fundamental a ser levada em conta não apenas na abordagem da Filosofia de Wittgenstein, mas também por aqueles que se preocupam com o problema geral do significado e com suas conseqüências para uma justificativa semântica do construtivismo matemático. === [en] This study identifies a line of continuity through Wittgenstein s Philosophy based on his distinction between the necessary and the contingent domains of language. This distinction is concerned with the impredicativity featured by the necessary domain. This continuity is particularly evident in Wittgenstein s Philosophy of Mathematics. My thesis claims that the consequences of this continuity in the treatment of the necessary domain of language are permanently developed throughout his work. First, I present the impredicativity notion roots in the systems of Poincaré and Russell. As of this, I evaluate also this notion importance to the beginning of Wittgenstein’s Philosophy and to his criticism about Russell’s approach to a Theory of Types. Thereafter, I discuss the impredicativy importance to the turn of Wittgenstein’s thought in its intermediary period as well as to his positions about the mathematical truth and demonstrations. This study contains also an appendix in which I apply the proposed interpretation to the comprehension of Wittgenstein’s remarks on Gödel incompleteness theorem. The thesis main contribution is to offer an alternative interpretation of Wittgenstein s Philosophy conveying unity, systematization and an internal coherence to his most awkward and strangest positions. Moreover, since it is assumed that the necessary field of language is responsible for the linguistic meaning determination, the impredicative feature in the semantic determination is highlighted. As a result, this feature must be assumed not only as an approach to Wittgenstein s Philosophy, but also by everyone that is concerned with the general problem of meaning and with its consequences to a semantic justification to mathematical constructivism.