PROBLEMAS FILOSÓFICOS
XI Colóquio Conesul de Filosofia das Ciências Formais – Negação
Posted: 04 Nov 2007 07:19 AM CST
ITAIMBÉ PALACE HOTEL – Santa Maria, RS
14.11.2007 a 18.11.2007
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)
