AS BASES FILOSÓFICAS DO CONSTRUTIVISMO MATEMÁTICO DE WITTGENSTEIN

O objetivo dessa tese é expor a base filosófica por trás das propostas de Wittgenstein para a filosofia da matemática. Procuramos mostrar que há um núcleo semântico das quais essas propostas são derivadas: a idéia de que o significado de uma sentença deveria ser tomado como sendo suas condições de verdade. Procuramos acompanhar esse insight desde seu aparecimento em Frege, depois no Tractatus até a última fase do pensamento de Wittgenstein. Em nossos dois últimos capítulos discutimos as mudanças que essa abordagem sofreu nessa última fase do pensamento do filósofo em conexão com a idéia de triangularização da semântica subjacente. Tratamos em com algum nível de detalhamento as interpretações propostas por Wittgenstein de alguns tipos de proposições matemáticas elementares, especialmente proposições aritméticas.This thesis deals with the philosophical basis behind Wittgenstein`s proposals in the philosophy of mathematics. We try to show that there is a semantic core from which these proposals are derived: the idea that the meaning of a sentence should be taken to be its truth conditions. We sort out this insight from its inception in Frege through the Tractatus all the way to the last phase of Wittgenstein`s thought. In our last two chapters we discuss the changes this approach went through in this last phase of the philosopher`s thought in relation to the idea of triangularization of the underlying semantics. We then deal in some detail with Wittgenstein`s proposed interpretation of some types of elementary mathematical propositions, especially arithmetical propositions