XIII COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS TEMA CENTRAL: FILOSOFIA DA MATEMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM FILOSOFIA UNIVERSIDADE FEDERAL DE SANTA MARIA Informações adicionais: ppgfil@mail.ufsm.br PROGRAMAÇÃO DO EVENTO: Sábado, 24/10/2009: 20:30 – 21:00 Cerimônia de abertura 21:00 – 22:30 Conferência de abertura: Oswaldo Chateaubriand (PUC-Rio): Verdade e Conhecimento Matemático Frank Thomas Sautter (UFSM): moderador Domingo, 25/10/2009: 10:00 – 11:00 Alexandre Noronha Machado (UFPR): Medição e Contingente a priori 11:00 – 12:00 Guido Imaguire (UFC): Sobre a Natureza da Lógica e da Matemática 14:30 – 15:30 Dirk Greimann (UFC): O Problema Júlio César 15:30 – 16:30 Marco Ruffino (UFRJ): O Problema Júlio César 16:30 – 17:00 Coffee-break 17:30 – 18:00 André Porto (UFG): Os naturais dados por Deus: indução e recursão 18:00 – 19:00 Paulo Veloso (UFRJ): Os naturais dados por Deus: indução e recursão Segunda-feira, 26/10/2009: 10:00 – 12:00 Reunião PROCAD/CAPES “A...
"O fim da filosofia é o esclarecimento lógico dos pensamentos. A filosofia não é uma teoria, mas uma atividade. Uma obra filosófica consiste essencialmente em elucidações. O resultado da filosofia não são ‘proposições filosóficas’, mas é tornar proposições claras. Cumpre à filosofia tornar claros e delimitar precisamente os pensamentos, antes como que turvos e indistintos." (WITTGENSTEIN, TLP. 4.112)