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 “Aspectos lógico-filosóficos da negação” (restrita aos pesquisadores)
14:00 – 15:00 Jorge Molina (UNISC, UERGS): A crítica de Leibniz à geometria algébrica cartesiana: comparando programas de pesquisa
15:00 – 16:00 Oscar Esquisabel (UNLP): Leibniz: lógica, metafísica y matemática
16:00 – 16:30 Coffee-break
16:30 – 17:30 Wagner Sanz (UFG): A Noção de Construção Intuicionista e BHK
17:30 – 18:30 Javier Legris (UBA): Demostración, semántica y la concepción universalista del lenguaje
Terça-feira, 27/10/2009:
10:00 –11:00 Jaime Rebello (UFRGS): Ontologia e Entidades Matemáticas
11:00 – 12:00 Rogério Corrêa (UFSM): Sobre a Natureza das Operações no Tractatus
14:30 – 15:30 Carlos Miraglia (UFPEL): É a geometria de Kant visual?
15:30 – 16:30 Jairo José da Silva (UNESP): O Conceito de Estrutura Matemática
16:30 – 17:00 Coffee-break
17:00 – 18:00 Luiz Carlos Pereira (PUC-Rio): Validades existenciais e outros enigmas
18:00 – 19:00 José Seoane (UDELAR): Elucidando el concepto de demostración. Observaciones sobre Chateaubriand.
Quarta-feira, 28/10/2009:
10:00 – 11:30 Conferência de encerramento
Abel Lassalle Casanave (UFSM): Demonstrações katholicas e demonstrações ectheticas
Frank Thomas Sautter (UFSM): moderador
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 “Aspectos lógico-filosóficos da negação” (restrita aos pesquisadores)
14:00 – 15:00 Jorge Molina (UNISC, UERGS): A crítica de Leibniz à geometria algébrica cartesiana: comparando programas de pesquisa
15:00 – 16:00 Oscar Esquisabel (UNLP): Leibniz: lógica, metafísica y matemática
16:00 – 16:30 Coffee-break
16:30 – 17:30 Wagner Sanz (UFG): A Noção de Construção Intuicionista e BHK
17:30 – 18:30 Javier Legris (UBA): Demostración, semántica y la concepción universalista del lenguaje
Terça-feira, 27/10/2009:
10:00 –11:00 Jaime Rebello (UFRGS): Ontologia e Entidades Matemáticas
11:00 – 12:00 Rogério Corrêa (UFSM): Sobre a Natureza das Operações no Tractatus
14:30 – 15:30 Carlos Miraglia (UFPEL): É a geometria de Kant visual?
15:30 – 16:30 Jairo José da Silva (UNESP): O Conceito de Estrutura Matemática
16:30 – 17:00 Coffee-break
17:00 – 18:00 Luiz Carlos Pereira (PUC-Rio): Validades existenciais e outros enigmas
18:00 – 19:00 José Seoane (UDELAR): Elucidando el concepto de demostración. Observaciones sobre Chateaubriand.
Quarta-feira, 28/10/2009:
10:00 – 11:30 Conferência de encerramento
Abel Lassalle Casanave (UFSM): Demonstrações katholicas e demonstrações ectheticas
Frank Thomas Sautter (UFSM): moderador
Comentários