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

Santa Maria (por Ronai Rocha)

Quantificação e Generalidade

Programa de Pós-Graduação em Filosofia

Universidade Federal de Santa Maria

Programação

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

Fotos do evento: Picasa