p { margin-bottom: 0.21cm; } XIV COLOQUIO CONESUL DE FILOSOFIA DAS CIENCIAS FORMAIS QUANTIFICACAO E GENERALIDADE PROGRAMA DE POS-GRADUACAO EM FILOSOFIA UNIVERSIDADE FEDERAL DE SANTA MARIA Informacoes adicionais: ppgfil@mail.ufsm.br PROGRAMACAO DO EVENTO Sabado - 06/11/2010 20:30 21:00 Cerimonia de abertura 21:00 22:30 Conferencia de abertura Marco Ruffino (UFRJ): Quantificacao restrita e intencao Robson Ramos dos Reis (UFSM): moderador Domingo - 07/11/2010 Manha 10:00 11:00 Ludovic Soutif (PUC-Rio): Quantificacao nao restrita e expressivismo logico no Tractatus de Wittgenstein 11:00 12:00 Camila Jourdan (PUC-Rio): Generalidade e quantificacao no periodo intermediario do pensamento de Wittgenstein. Debatedor da sessao: Rogerio Correa (UFSM) Tarde 14:30 15:30 Dirk Greimann (UFF): Quantificacao de segunda ordem: problemas internos da concepcao fregeana 15:30 16:30 Sergio Schultz (PUC-Rio): Sobre o que falam as sentencas universais? Debatedor da Sessao: Jaime Rebello 16:30 17:00 Coffee-break 17:00 18:00 Max de Castro (UAM/Mexico): De la posibilidad a la existencia matematica 18:00 19:30 Jose Ferreiros (Universidad de Sevilla/Espanha): Hilbert, el logicismo, y la existencia en matematicas Frank Thomas Sautter (UFSM): moderador Segunda-feira - 08/11/2010 Manha 10:00 11:00 Alexandre Machado (UFPR): Quantificacao e o debate sobre o realismo 11:00 12:00 Andre Porto (UFG): Singularidade e percepcao Debatedor da sessao: Guido Imaguire (UFRJ) Tarde 14:30 15:30 Wagner Sanz (UFG): Quantificacao e generalidade em BHK 15:30 16:30 Javier Legris (UBA/Argentina): Diagramas, generalidad y quantificacion. Debatedor da Sessao: Frank Thomas Sautter 16:30 17:00 Coffee-break 17:00 - 18:00 Walter Carnielli (UNICAMP): Sobre filosofos que admiram-se somente uns aos outros, tudo, muito e alguns 18:00 19:30 Oswaldo Chateaubriand (PUC-Rio): Quantificacao e generalidade Abel Lassalle Casanave: Moderador Terca-feira - 09/11/2010 Manha 10:00 12:00 Reuniao do Grupo de Pesquisa em Filosofia das Ciencias Formais Tarde 14:30 15:30 Jorge Molina (USC, UERGS): Os quantificadores indefinidos em posicao predicativa e a enunciacao: uma analise logica e linguistica 15:30 16:30 Oscar Esquisabel (UNLP/Argentina): El proyecto de calculo logico de Lambert Debatedor da Sessao: Jose Seoane 16:30 17:00 Coffee-break 17:00 18:00 Silvio Pinto (UAM/Mexico): A explicacao matematica. 18:00 19:30 Paulo Veloso (UFRJ), Luiz Carlos Pereira (PUC-Rio), Hermann Haeusler (PUC-Rio): Validades existenciais e possibilidades validas. Quarta-feira - 10/11/2010 10:00 11:30 Conferencia de Encerramento Jairo Jose da Silva (UNESP): Estruturalismo e a aplicabilidade da matematica. Ronai Pires da Rocha (UFSM): Moderador A fala de Dilma VEJAM SO! SERRA E UM RETROCESSO. SE DEPENDER DELE, VAMOS VOLTAR A VIVER NAS CAVERNAS. EU GOSTARIA DE SABER A OPINIAO DELE SOBRE AS MULHERES! Dilma e tres focos de atencao http://www.ricardomoraleida.com/?p=50 O golpismo valera a pena? - Obra da geracao modernista (3a fase);- Peca em tres atos e seis quadros:1o Ato: Atencao na marcacao das rubricas: (Barraco de Romana. Mesa ao centro. Um pequeno fogareiro, comoda, caixotes servem de bancos. Ha apenas uma cadeira. Dois colchoes onde dormem Chiquinho e Tiao). 2o Ato: O grande tema que emerge e a questao da greve (inicio da tensao da peca).3o Ato: Inicia com a saida de Tiao e de Otavio para irem ao trabalho. Este ato apresenta efetivamente o desenrolar e o desfecho da greve.- Apesar de a peca enfocar o choque entre duas geracoes, representadas por Tiao e por Otavio, o protagonista e o filho Tiao,