Uma história da lógica no Brasil

Pretendemos mostrar o desenvolvimento da lógica matemática no Brasil focando principalmente nos sessenta anos iniciais do século XX apresentando obras e estudiosos que contribuíram para a consolidação e o desenvolvimento da lógica como um campo de pesquisa no Brasil. Abordaremos três obras que acreditamos serem relevantes na história da lógica no Brasil: As Ideas Fundamentaes da Matemática, de Manuel Amoroso Costa, publicada em 1929; Elementos de Lógica Matemática, de Vicente Ferreira da Silva, publicada em 1940 e O Sentido da Nova Lógica, de Willian Van Orman Quine, publicada em 1944. A lógica apresenta um salto qualitativo a partir do final dos anos 50, quando dois centros se destacam: um na Universidade de São Paulo (USP), em São Paulo, com o Prof. Edison Farah e outro na antiga Faculdade Nacional de Filosofia, no Rio de Janeiro. Neste trabalho, dedicaremos especial atenção aos pioneiros do grupo de São Paulo, que, no final da década de 50 reuniam-se sob a liderança do Prof. Edison Farah em um grupo de estudiosos de lógica e fundamentos da matemática do qual fizeram parte os professores Benedito Castrucci, Newton Carneiro Affonso da Costa, Mario Tourasse Teixeira e Leonidas Hegenberg que se reuniam em seminários no Departamento de Matemática da Universidade de São Paulo.We intend to present the development of mathematical logic in Brazil focusing mainly in the first six decades of the twenty century, presenting studies and researchers who contributed to consolidate and develop the logic as a field of research in Brazil. We will discuss about three books we believe that are more relevant in the History of Logic in Brazil: As Ideas Fundamentais da Matemática, by Manuel Amoroso Costa, published in 1929; Elementos de Lógica Matemática, by Vicente Ferreira da Silva, published in 1940; and O Sentido da Nova Lógica, by Willian Van Orman Quine, published in 1944. The logic presents a qualitative upgrade by the end of the fifties, when two centers obtain a great highlight: one at University of Sao Paulo (USP), in Sao Paulo city, with Professor Edison Farah and the other one at the former National Faculty of Philosophy, in Rio de Janeiro city. In the present study, we will pay special attention to the pioneers of the Sao Paulo group that, in the end of the fifty decade, upon the leadership of Professor Edison Farah, organized a group of researchers in logic and fundamentals of mathematics. Professors Benedito Castrucci, Newton Carneiro Affonso da Costa, Mario Tourasse Teixeira, and Leonidas Hegenberg took part of this group that used to have their meetings and seminars in the Department of Mathematics at University of Sao Paulo