| Processo: | 22/03862-2 |
| Modalidade de apoio: | Auxílio à Pesquisa - Pesquisador Visitante - Internacional |
| Data de Início da vigência: | 16 de janeiro de 2023 |
| Data de Término da vigência: | 15 de julho de 2023 |
| Área do conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Marcelo Esteban Coniglio |
| Beneficiário: | Marcelo Esteban Coniglio |
| Pesquisador visitante: | Martin Figallo |
| Instituição do Pesquisador Visitante: | Universidad Nacional del Sur (UNS), Argentina |
| Instituição Sede: | Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Palavra(s)-Chave do Pesquisador: | cut elimination | Degree-preserving consequence relations | Logics of Formal Inconsistency | Non-classical logic | non-deterministic matrices | Sequent calculus | Teoria da Prova |
Resumo
O objetivo desta proposta é investigar e estender métodos recentemente desenvolvidos de teoria da prova para o amplo contexto das Lógicas da Inconsistência Formal (LFIs) e para outras lógicas não-clássicas. O pesquisador visitante pretende combinar seu conhecimento relativo aos métodos acima mencionados, com a experiência do professor responsável na área de LFIs procurando respostas para diversas questões em teoria da prova relativas a LFIs. Espera-se, também, fortalecer e aprofundar a relação de cooperação acadêmica já existente entre a tradição lógica argentina (a escola lógica de Monteiro) e a mundialmente conhecida escola lógica brasileira, em particular a escola lógica de Campinas. Além destas atividades, a visita vai permitir discutir alguns trabalhos de pesquisa conjunta que já estão sendo desenvolvidos, assim como a orientação conjunta de um estudante de doutorado da Argentina que está sendo realizada. (AU)
| Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio: |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |