XIV COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS
QUANTIFICAÇÃO E GENERALIDADE
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 - 06/11/2010
20:30 – 21:00 Cerimônia de abertura
21:00 – 22:30 Conferência de abertura
Marco Ruffino (UFRJ): Quantificação restrita e intenção
Róbson Ramos dos Reis (UFSM): moderador
Domingo - 07/11/2010
Manhã
10:00 – 11:00 Ludovic Soutif (PUC-Rio): Quantificação não restrita e expressivismo lógico no Tractatus de Wittgenstein
11:00 – 12:00 Camila Jourdan (PUC-Rio): Generalidade e quantificação no período intermediário do pensamento de Wittgenstein.
Debatedor da sessão: Rogério Corrêa (UFSM)
Tarde
14:30 – 15:30 Dirk Greimann (UFF): Quantificação de segunda ordem: problemas internos da concepção fregeana
15:30 – 16:30 Sérgio Schultz (PUC-Rio): Sobre o que falam as sentenças universais?
Debatedor da Sessão: Jaime Rebello
16:30 – 17:00 Coffee-break
17:00 – 18:00 Max de Castro (UAM/México): De la posibilidad a la existencia matemática
18:00 – 19:30 José Ferreiros (Universidad de Sevilla/Espanha): Hilbert, el logicismo, y la existencia en matematicas
Frank Thomas Sautter (UFSM): moderador
Segunda-feira - 08/11/2010
Manhã
10:00 – 11:00 Alexandre Machado (UFPR): Quantificação e o debate sobre o realismo
11:00 – 12:00 André Porto (UFG): Singularidade e percepção
Debatedor da sessão: Guido Imaguire (UFRJ)
Tarde
14:30 – 15:30 Wagner Sanz (UFG): Quantificação e generalidade em BHK
15:30 – 16:30 Javier Legris (UBA/Argentina): Diagramas, generalidad y quantificación.
Debatedor da Sessão: Frank Thomas Sautter
16:30 – 17:00 Coffee-break
17:00 - 18:00 Walter Carnielli (UNICAMP): Sobre filósofos que admiram-se somente uns aos outros, tudo, muito e alguns
18:00 – 19:30 Oswaldo Chateaubriand (PUC-Rio): Quantificação e generalidade
Abel Lassalle Casanave: Moderador
Terça-feira - 09/11/2010
Manhã
10:00 – 12:00 Reunião do Grupo de Pesquisa em Filosofia das Ciências Formais
Tarde
14:30 – 15:30 Jorge Molina (USC, UERGS): Os quantificadores indefinidos em posição predicativa e a enunciação: uma análise lógica e linguística
15:30 – 16:30 Oscar Esquisabel (UNLP/Argentina): El proyecto de cálculo lógico de Lambert
Debatedor da Sessão: José Seoane
16:30 – 17:00 Coffee-break
17:00 – 18:00 Sílvio Pinto (UAM/México): A explicação matemática.
18:00 – 19:30 Paulo Veloso (UFRJ), Luiz Carlos Pereira (PUC-Rio), Hermann Haeusler (PUC-Rio): Validades existenciais e possibilidades válidas.
Quarta-feira - 10/11/2010
10:00 – 11:30 Conferência de Encerramento
Jairo José da Silva (UNESP): Estruturalismo e a aplicabilidade da matemática.
Ronai Pires da Rocha (UFSM): Moderador
Comentários