Programação do GT no Principia 2025

Terça-feira, 29/08

10h30 - 11h00    Décio Krause (PPGLM/UFRJ) - The double role of metamathematics
11h00 - 11h30    André Porto (UFG) - The Cohesive Continuum
    
14h00 - 15h00    Catarina Dutilh Novaes (VU Amsterdam) : A dialogical account of diagrams in mathematical proofs
15h00 - 15h30    Alex Steinmetz (UFMG): How Merleau-Pontyan numerical cognition can save Mill without challenging Frege
15h30 - 16h00    César F. dos Santos (UFMA): Anti-Anti-Psychologism: Making Room for the Cognitive Sciences in the Philosophy of Mathematics 

16h30 - 17h00    Jéssica Caren da Silva Melo (UFRN): Anti-excepcionalismo metodológico: limites da analogia com a ciência
17h00 - 17h30    Darlan Rodrigo Campos (UFRGS): Analiticidade epistêmica, operador-lambda e a revisão empírica de princípios lógicos: a reformulação de Boghossian e Wright do Problema da Adoção
17h30 - 18h00    Daniel Durante (UFRN): Do Pluralismo Metafísico ao Monismo Epistêmico: por uma justificação empírica da lógica
18h00 - 18h30    Emily de Oliveira Ovalhe (UFBA): Lógica, informação e evidência: sobre a abordagem epistêmica da paraconsistência

Quarta-feira, 30/08

08h30 - 09h00    Jonas Becker Arenhart (UFSC): Remarks on paraconsistent mathematics
09h00 - 09h30    Rafael Ongaratto (Unicamp) & Anderson Nakano (PUC-SP): Wittgenstein and Gödel: thinking about incompleteness theorem
09h30 - 10h00    Faysall Farhat (UFSC) - Como se dá a aplicabilidade da matemática nas ciências naturais?
10h00 - 10h30    coffee break
10h30 - 11h00    Ederson Safra Melo (UFMA) & Jonas R. B. Arenhart (UFSC): Is natural language paraconsistent?
11h00 - 11h30    Evelyn Erickson (UFSC) & Raoni Arroyo (Unicamp): A framework for theory choice, change, revision
11h30 - 12h00    Marcio Kléos Freire Pereira (UFMA): Quantified Propositions and Modal Indexicality