XI Colóquio Conesul de Filosofia das Ciências Formais - Negação

Santa Maria

ITAIMBÉ PALACE HOTEL
Santa Maria, RS
14.11.2007 a 18.11.2007

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

PROGRAMAÇÃO

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 oposiçã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)