Busca avançada
Ano de início
Entree

Atos de fala em Matemática: ilocuções hipotéticas

Processo: 20/08016-7
Linha de fomento:Bolsas no Brasil - Pós-Doutorado
Vigência (Início): 01 de junho de 2021
Vigência (Término): 31 de maio de 2023
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Giorgio Venturi
Beneficiário:Tiago Rezende de Castro Alves
Instituição-sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Vinculado ao auxílio:16/25891-3 - Arbitrariedade e genericidade: ou sobre como falar do indizível, AP.JP
Assunto(s):Atos de fala   Hipótese   Matemática

Resumo

O objetivo primário da pesquisa a ser empreendida consiste em esclarecer a natureza da força ilocucionária correspondente às hipóteses em lógica e em matemática, bem como em explicar seu papel na estruturação lógica da linguagem matemática. Assim, ela fará convergirem iniciativas dos projetos de pesquisa Hypotheses, liderado pelo Prof. Peter Schroeder-Heister (Uni-Tübingen), e Genericity and arbitrariness. Or how to speak of the unspeakable, coordenado pelo supervisor - respectivamente: (i) analisar a semântica e a teoria da prova das hipóteses em lógica formal; e (ii) analisar os elementos ilocucionários presentes na estruturação das linguagens da lógica e da matemática. As seguintes hipóteses diretrizes estabelecem a motivação e o ponto de partida da pesquisa: (a) hipóteses são uma parte essencial da estruturação lógica formal da linguagem matemática; (b) a teoria dos atos de fala contemporânea não é capaz de explicar a contento a natureza ilocucionária de hipóteses em contextos argumentativos; e (c) o aparato formal de diferentes cálculos dedutivos baseados em hipóteses (e.g. dedução natural, cálculo dos sequentes, etc.) enseja uma caracterização do papel ilocucionário das hipóteses em lógica e matemática por meio do estudo de sua teoria da prova. Dessa forma, o objetivo será perseguido por meio do estudo da teoria da prova de representações formais notáveis desse tipo de ilocução sobre o pano de fundo da teoria dos atos de fala contemporânea. Indiretamente, propicia-se assim o alcance da meta secundária de oferecer uma análise crítica de limitações atuais da teoria dos atos de fala, que aumentará o poder explicativo desta sobre os fenômenos ilocucionários a serem estudados - tanto em suas ocorrências em contextos de índole formal e matemática quanto alhures. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)