O Fundamento Ilocucionário do Construtivismo Social Matemático

• Processo: 23/17906-4
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de junho de 2025
• Data de Término da vigência: 28 de fevereiro de 2026
• Área de conhecimento: Ciências Humanas - Filosofia - Metafísica
• Pesquisador responsável: Marco Antonio Caron Ruffino
• Beneficiário: Pedro Daher Novo
• Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Filosofia da matemática
• Palavra(s)-Chave do Pesquisador: Construtivismo Social Matemático | Ontologia da Matemática | Ontologia Social | teoria dos atos de fala | Filosofia da Matemática

Resumo

A perspectiva tradicional da filosofia da matemática, atribuída tipicamente ao pensamento de Gottlob Frege, caracteriza objetos matemáticos como entidades abstratas. Segundo essa perspectiva, conhecida como o realismo platônico, uma vez que as afirmações sobre entidades matemáticas são verdadeiras, devemos supor a existência dos objetos que são referidos pelos termos e expressões que operam como nomes próprios. Entretanto, após o surgimento dos argumentos baseados na requisição de conexão causal de Paul Benacerraf e de Hartry Field, surgiram diversas teorias alternativas ao realismo platônico que buscaram recuperar as características intuitivas das entidades matemáticas, como sua objetividade, sua necessidade metafísica e sua atemporalidade, sem admitir os comprometimentos ontológicos problemáticos do realismo platônico. O construtivismo social de Julian Cole destaca-se dentre as abordagens alternativas por constituir uma reivindicação das propriedades abstratas clássicas das verdades matemáticas, preservando o aspecto de dependência dos fatos matemáticos à sua prática institucional. A perspectiva atual de Cole sobre a realidade institucional se baseia em um refinamento da ontologia social de John Searle, adicionando um tipo diferente de função, que não atribui um status, mas delimita e caracteriza a transição entre domínios de poderes deônticos. Por sua vez, as instituições impõem funções na realidade em virtude da capacidade linguística dos seres humanos de gerar novos aspectos da realidade a partir de atos de fala declarativos. Desta forma, o objetivo principal deste projeto consiste em analisar as vantagens e desvantagens teóricas na caracterização das declarações como o fundamento da matemática.