XII COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS
VISUALIZAÇÃO
ITAIMBÉ PALACE HOTEL, Sala 3, 08/11/2008 a 12/11/2008
Inscrições, restritas a 60 participantes, na Secretaria da Licenciatura em Filosofia.
Informações adicionais: ppgfil@mail.ufsm.br
PROGRAMAÇÃO PROVISÓRIA
Sábado, 08/11/2008:
20:00 – 20:30 Cerimônia de abertura
20:30 – 21:30 Conferência de abertura:
Abel Lassalle Casanave (UFSM): Visualización y escritura
Moderador da conferência: Frank Thomas Sautter (UFSM)
Domingo, 09/11/2008:
10:00 – 12:00 Moderador da sessão: Hans Christian Klotz (UFSM)
10:00 – 11:00 Jorge Molina (UNISC, UERGS): Leibniz e a característica geométrica
11:00 – 12:00 Frank Thomas Sautter (UFSM): Prova por exposição nos diagramas de Venn
14:30 – 16:30 Moderador da sessão: Jaqueline Engelmann (CAP/UFRGS)
14:30 – 15:30 José Seoane (UDELAR): Diagramas y sentencias: observaciones preliminares
15:30 – 16:30 Oscar Esquisabel (UNLP): La visualización del razonamiento silogístico en Lambert
16:30 – 17:00 Coffee-break
17:00 – 19:00 Moderador da sessão: Róbson Ramos dos Reis (UFSM)
17:00 – 18:00 Javier Legris (UBA): Sobre diagramas y la naturaleza de la lógica
18:00 – 19:00 Jairo José da Silva (UNESP): título a ser anunciado
Segunda-feira, 10/11/2008
10:00 – 12:00 Reunião PROCAD/CAPES “Aspectos lógico-filosóficos da negação” (restrita aos pesquisadores)
14:00 – 17:00 Moderador de sessão: Guido Imaguire (UFC)
14:00 – 15:00 Dirk Greimann (UFSM): O desenvolvimento ontológico de Quine
15:00 – 16:00 Jaime Rebello (UFRGS): Existência
16:00 – 17:00 Alexandre Noronha (UFBA): Formalização e tradução
17:00 – 17:30 Coffee-break
17:30 – 19:00 Conferência:
Paolo Mancosu (UC at Berkeley): La rappresentazione dell’invisibile in matemática
Moderador da conferência: Abel Lassalle Casanave (UFSM)
Terça-feira, 11/11/2008
10:00 – 12:00 Moderador da sessão: Jaime Rebello (UFRGS)
10:00 –11:00 Marco Ruffino (UFRJ): Proposições incompletas e sensibilidade contextual
11:00 – 12:00 Rogério Corrêa (UFG): A noção de juízo de Ramsey em Facts and Propositions
14:30 – 16:30 Moderador da sessão: Carlos Miraglia (UFPel)
14:30 – 15:30 Luiz Carlos Pereira (PUC-Rio, UERJ): Brouwer e a natureza da lógica
15:30 – 16:30 Wagner Sanz (UFG) (com Thomas Piecha (Tübingen)): Inversão por Reflexão Definicional e a Admissibilidade das Regras Lógicas
16:30 – 17:00 Coffee-break
17:00 – 18:00 Marcelo Coniglio (UNICAMP): Olhando as lógicas através dos grafos
Quarta-feira, 12/11/2008
10:00 – 11:30 Conferência de encerramento
Oswaldo Chateaubriand (PUC-Rio): Platonismo e visualização
Moderador da conferência: Frank Thomas Sautter (UFSM)
VISUALIZAÇÃO
ITAIMBÉ PALACE HOTEL, Sala 3, 08/11/2008 a 12/11/2008
Inscrições, restritas a 60 participantes, na Secretaria da Licenciatura em Filosofia.
Informações adicionais: ppgfil@mail.ufsm.br
PROGRAMAÇÃO PROVISÓRIA
Sábado, 08/11/2008:
20:00 – 20:30 Cerimônia de abertura
20:30 – 21:30 Conferência de abertura:
Abel Lassalle Casanave (UFSM): Visualización y escritura
Moderador da conferência: Frank Thomas Sautter (UFSM)
Domingo, 09/11/2008:
10:00 – 12:00 Moderador da sessão: Hans Christian Klotz (UFSM)
10:00 – 11:00 Jorge Molina (UNISC, UERGS): Leibniz e a característica geométrica
11:00 – 12:00 Frank Thomas Sautter (UFSM): Prova por exposição nos diagramas de Venn
14:30 – 16:30 Moderador da sessão: Jaqueline Engelmann (CAP/UFRGS)
14:30 – 15:30 José Seoane (UDELAR): Diagramas y sentencias: observaciones preliminares
15:30 – 16:30 Oscar Esquisabel (UNLP): La visualización del razonamiento silogístico en Lambert
16:30 – 17:00 Coffee-break
17:00 – 19:00 Moderador da sessão: Róbson Ramos dos Reis (UFSM)
17:00 – 18:00 Javier Legris (UBA): Sobre diagramas y la naturaleza de la lógica
18:00 – 19:00 Jairo José da Silva (UNESP): título a ser anunciado
Segunda-feira, 10/11/2008
10:00 – 12:00 Reunião PROCAD/CAPES “Aspectos lógico-filosóficos da negação” (restrita aos pesquisadores)
14:00 – 17:00 Moderador de sessão: Guido Imaguire (UFC)
14:00 – 15:00 Dirk Greimann (UFSM): O desenvolvimento ontológico de Quine
15:00 – 16:00 Jaime Rebello (UFRGS): Existência
16:00 – 17:00 Alexandre Noronha (UFBA): Formalização e tradução
17:00 – 17:30 Coffee-break
17:30 – 19:00 Conferência:
Paolo Mancosu (UC at Berkeley): La rappresentazione dell’invisibile in matemática
Moderador da conferência: Abel Lassalle Casanave (UFSM)
Terça-feira, 11/11/2008
10:00 – 12:00 Moderador da sessão: Jaime Rebello (UFRGS)
10:00 –11:00 Marco Ruffino (UFRJ): Proposições incompletas e sensibilidade contextual
11:00 – 12:00 Rogério Corrêa (UFG): A noção de juízo de Ramsey em Facts and Propositions
14:30 – 16:30 Moderador da sessão: Carlos Miraglia (UFPel)
14:30 – 15:30 Luiz Carlos Pereira (PUC-Rio, UERJ): Brouwer e a natureza da lógica
15:30 – 16:30 Wagner Sanz (UFG) (com Thomas Piecha (Tübingen)): Inversão por Reflexão Definicional e a Admissibilidade das Regras Lógicas
16:30 – 17:00 Coffee-break
17:00 – 18:00 Marcelo Coniglio (UNICAMP): Olhando as lógicas através dos grafos
Quarta-feira, 12/11/2008
10:00 – 11:30 Conferência de encerramento
Oswaldo Chateaubriand (PUC-Rio): Platonismo e visualização
Moderador da conferência: Frank Thomas Sautter (UFSM)
Comentários