Frege foi um matemtico que dedicou praticamente toda
a sua obra realizao de um projeto: provar que a aritmtica um ramo da lgica, isto , provar que os axiomas da aritmtica podem ser obtidos a partir de um conjunto de axiomas, definies e regras de inferncia de carter estritamente lgico. Estava em questo, portanto, a justificativa das proposies da aritmtica. O projeto de Frege tinha um carter epistemolgico e pode ser compreendido como uma tentativa de aperfeioar as teses kantianas acerca da justificao do conhecimento matemtico. As principais obras de Frege de 1879 a 1903 foram todas designadas com o objetivo de provar a tese logicista. Para a execuo de seu projeto, Frege precisava de uma linguagem formal capaz de explicitar todos os passos realizados nas provas com preciso e sem ambiguidade. Frege apresentou sua linguagem formal em um pequeno livro de 1879, j mencionado aqui, denominado Conceitografia (CG)3 . Ao criar tal linguagem, ele criou nada menos do que a lgica moderna. Na CG, considerada por muitos a mais importante obra de lgica desde Aristteles, encontramos um sistema completo de lgica proposicional e de predicados, essencialmente o mesmo que encontramos nos livros modernos de lgica. Apesar disso, a obra CG foi praticamente ignorada pelos contemporneos de Frege. Em 1884, Frege lanou Fundamentos da aritmtica (FA) (1980), em que so apresentados de maneira informal, os argumentos em defesa da tese logicista. Ao contrrio de CG, FA no um livro predominantemente tcnico, mas, sim, de carter explicitamente filosfico. Entretanto, embora em FA encontremos indicaes metodolgicas que vo ao encontro do modo de se fazer filosofia caracterstico da filosofia da linguagem contempornea, FA trata de um problema que pertence filosofia da matemtica Entre 1891 e 1892, Frege lanou trs artigos: Funo e conceito (FC), Sobre o sentido e a referncia (SSR) e Sobre o conceito e o objeto (SCO)4. Esses textos no so predominantemente tcnicos. Pelo contrrio, so considerados, junto com FA, os textos de Frege de carter mais filosfico. Neles, encontramos importantes reflexes sobre a linguagem. Mas o ponto que precisa ser enfatizado aqui que a funo principal desses textos no projeto de Frege, especialmente FC e SSR, consertar a linguagem formal de Frege, evitando os problemas da CG j mencionados, e tambm apresentar de modo informal, na forma de elucidaes, noes centrais necessrias para a realizao do seu projeto. Tais elucidaes no pertencem teoria propriamente dita, mas tm carter propedutico. Nelas, Frege frequentemente faz uso de exemplos da linguagem natural, como na apresentao da distino sentido/referncia. Entretanto, o ponto de tais explicaes informais no uma anlise da linguagem natural, mas, sim, explicar, de fora do sistema, noes tcnicas do sistema de Frege. Em 1893, logo aps a publicao desses artigos mencionados, Frege lanou o primeiro volume das Leis bsicas da aritmtica (LBA) (1964), obra que deveria ser o ponto culminante de toda uma carreira acadmica. Mais uma vez, o livro no foi muito bem recebido pelos contemporneos de Frege, o que atrasou a publicao do segundo volume, lanado dez anos depois, em 1903. Mas, como j foi mencionado, o sistema de LBA era inconsistente e o projeto de Frege fracassou. (Cf. RODRIGUES, FILHO, s.d) Referncias bibliogrficas RODRIGUES-FILHO, Ablio. Frege e a filosofia da linguagem. Disponvel em: http://www.ufsj.edu.br/portal2-repositorio /File/vertentes/Vertentes_33/abilio_rodrig ues.pdf . Acesso em 27 abril 2015.