Pular para o conteúdo principal

Postagens

Mostrando postagens de Novembro, 2007

XI COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS

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 (UFSM): Negação c…