As concepções de função de Frege e Russell: um estudo de caso em filosofia e história da matemática

Abstract

This work presents a case study about the conceptual and methodological development of Mathematics by the examination and comparison of function conceptions in the thinking of Gottlob Frege and Bertrand Russell. Particularly, we discuss the fregean extension of mathematical idea of function, the russellian notion of propositional function and their philosophical assumptions and implications. The basis for this study is a analisys of the authors' books on the foundations of Mathematics and some other authors' writings, included among these some posthumous publications. From this analisys we conclude that the comprehensive function concept of Frege and the Russell's propositional function are both generalizations of an important acquisition of mathematical thought, namely the idea of function, and that the conceptography, the type theory and the theory of descriptions, in turn, constitute the methodical exploration of what these generalizations imply. Finally, we conclude that, though there are expressives differences between the function conceptions of Frege and Russell, a pattern of rigour associated with more wide reflections on the nature of meaning emerges from their investigations of the concept of function: the fregian function and the propositional function are the entities that participate of their respective meaning relations and whose nature is explained by these relations

O presente trabalho exibe um estudo de caso sobre o desenvolvimento conceitual e metodológico da Matemática, por meio do exame e comparação das concepções de função de Gottlob Frege e Bertrand Russell. Em particular, são discutidos: a extensão fregiana da ideia matemática de função, a noção russelliana de função proposicional, os seus pressupostos filosóficos e as suas implicações. O presente estudo baseia-se em análises dos livros que os dois autores publicaram sobre os fundamentos da Matemática, e também de alguns outros escritos de sua autoria, entre eles, manuscritos que foram publicados postumamente. Conclui-se a partir dessas análises que a concepção compreensiva de função de Frege e a função proposicional de Russell são generalizações de uma importante aquisição do pensamento matemático, qual seja, a ideia de função, e que a conceitografia e as teorias dos tipos e das descrições, por sua vez, constituem a exploração metódica daquilo que essas generalizações acarretam. Conclui-se, finalmente, que embora existam diferenças expressivas entre as concepções de função de Frege e Russell, um padrão de rigor associado a reflexões mais amplas sobre a natureza do significado emerge em meio às investigações que empreenderam sobre a noção de função: a função fregiana e a função proposicional são as entidades que participam de suas respectivas relações de significado e cuja natureza é precisada no âmbito dessas relações