XI COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS NEGAÇÃO ITAIMBÉ PALACE HOTEL 14.11.2007 a 18.11.2007 Quarta-feira, 14.11.2007: 20:00 – 20:30 Cerimônia de abertura 20:30 – 22:00 Conferência de abertura: Jairo José da Silva (UNESP): O conflito entre as demonstrações reais da matemática e suas versões formais Quinta-feira, 15.11.2007 09:30 – 10:20 Rogério Corrêa (UFG): A negação como operação formal 10:20 - 11:10 Alexandre Noronha (UFBA): Negação e proposições da Lógica no Tractatus de Wittgenstein 11:10 – 12:00 André Porto (UFG): Domínios, a regra da eliminação da indução e possibilidade em princípio 15:00 – 15:50 Guido Imaguire (UFC): A intensionalidade oculta das estruturas extensionais 15:50 - 16:40 Dirk Greimann (UFSM): A negação fregeana do número 2 (segunda parte) As duas palestras acima terão, como debatedor, Jaime Rebello (UFRGS) 16:40 - 17:00 Coffee-break 17:00 - 17:50 Luiz Carlos Pereira (PUC-Rio): Negação no último Wittgenstein 17:50 – 18:40 Abel Lassalle Casanave (