Translate

quarta-feira, 7 de outubro de 2009

XIII Colóquio Conesul de Filosofia das Ciências Formais

Clique sobre a imagem para ampliá-la.


PROGRAMAÇÃO

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): título a confirmar
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

2 comentários:

  1. Grato pela divulgação do evento, Alexandre. Ótimo contar com a sua participação em mais esta edição.

    ResponderExcluir
  2. Frank: Por nada. Eu é que agradeço por mais esse convite. A cada vez eu recebo muito mais do que o pouco que ofereço.

    ResponderExcluir