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

O tema este ano é "Negação", o local é o Hotel Itaimbé. O organizador é o Prof. Frank Sautter.
A programação é essa:

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 Correa (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 como operação formal em Hilbert

Sexta-feira, 16.11.2007
09:30 - 10:20 Décio Krause (UFSC): ¬∀x (Entidade(x) → Identidade(x))
10:20 – 11:10 Marcelo Coniglio (UNICAMP): Lógicas da inconsistência formal e negações paraconsistentes
11:10 - 12:00 Marcelino Pequeno (UFC): Handling exceptions in nonmonotonic reasoning
15:00 – 15:50 Javier Legris (UBA): Sobre la interpretación de la negación intuicionista
15:50 - 16:40 Jorge Molina (USC): Negação e dupla negação no intuicionismo de Brouwer
16:40 – 17:00 Coffee-break
17:00 – 17:50 Oscar Esquisabel (UNLP): El problema de la negación em Leibniz
17:50 - 18:40 Oswaldo Chateaubriand (PUC-Rio): Negação em Logical Forms

Sábado, 17.11.2007
09:00 – 09:50 Carlos Miraglia (UFPEL): A concepção darwinista do refutacionismo de Popper frente à ontologia dos três mundos
09:50 - 10:40 Wagner Sanz (UFG): Negação: verdade ou falsidade?
10:40 - 11:00 Coffee-break
11:00 - 11:50 José Seoane (UDELAR): Metáforas en lógica: una aproximación preliminar
11:50 – 12:40 Frank Sautter (UFSM): A noção kantiana pré-crítica de negação
15:00 - 16:30 Conferência de encerramento:
Marco Ruffino (UFRJ): Sensibilidade contextual e minimalismo semântico

Domingo, 18.11.2007
10:00-12:00 Reunião do Projeto de Cooperação Acadêmica PUC-Rio/UFSM/UFC (restrita aos integrantes do referido projeto e aos convidados do XI Colóquio Conesul de Filosofia das Ciências Formais)