Projetos de Pesquisa

O objetivo deste projeto é reunir um linguista, um filosofo da linguagem e três filósofos da matemática (dois dos quais também matemáticos) para um estudo da linguagem da matemática. Mais particularmente, será aplicada a teoria contemporânea dos atos ilocucionários (tomando como base os trabalhos de Austin (1962), Searle (1969, 1979) e Searle e Vanderveken (1985)) à linguagem da matemática. Nossa hipótese de trabalho é que a matemática como ciência contém, de maneira essencial, indicadores ilocucionários em sua linguagem (tanto informal quanto formal).

Estudo de atos ilocucionários na lógica e matemática.

O objetivo do presente projeto e aplicar a teoria dos atos ilocucionariosa alguns elementos essenciais da linguagem da logica e da matematica, especialmenteno que diz respeito a definicoes. Tal estudo e, em ultimainstancia, baseado em insights fundamentais de Frege que, apesar dasaparencias (e como explicado no projeto) nao reconhecia uma separacaotao estrita entre aspectos pragmaticos e linguagens formais quanto normalmentese assume na literatura especializada. Consideraremos qual deve ser o conteudo proposicional adequado dos atos declarativos que geramdefinicoes.