Projeto

Atos Ilocucionários na Matemática

Resumo

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). Trata-se de um estudo inédito, uma vez que as teorias de atos ilocucionários normalmente se concentram na linguagem ordinária e situações de comunicação, enquanto que a filosofia da matemática normalmente se concentra nas linguagens formalizadas (deixando de lado elementos pragmáticos). O projeto aplicará a teoria pragmática às linguagens formalizadas da matemática. Processos Fapesp n. 18/17011-9 e 20/00703-5