Programação
PROGRAMAÇÃO
Terça-feira, dia 22 de janeiro:
14h00 : Condições de Verdade
Prof. Dr. André Leclerc (UnB)
15h00 : Oposições em um Segmento de Reta
Prof. Dr. Alexandre Costa-Leite (UnB)
16h00 : Estrutura Topológica da Lógica Modal S4
Guilherme Lima (doutorando, USP)
17h00 : Intervalo
17h30 : Categoricidade dos Modelos de Peano via Teoria de Categorias: Parte I
Prof. Dr. Edelcio G. de Souza (USP)
18h30 : Categoricidade dos Modelos de Peano via Teoria de Categorias: Parte II
Daniel Nagase (doutorando, USP)
Quarta-feira, dia 23 de janeiro:
14h00 : Observações sobre Funções de Verdade
Prof. Dr. Rodrigo Bacellar (USP)
15h00 : Observações sobre Funções Modais
Dr. Pedro Falcão (doutor pela USP)
16h00 : Karl Popper, a Teoria da Dedução e a Proposta de uma Lógica sem Pressupostos
André Coggiola (mestrando, USP)
17h00 : Intervalo
17h30 : Lógica Abstrata e Definibilidade
Prof. Dr. Rodrigo Freire (UnB)
18h30 : Pluralismo, Relativismo e Consequência Lógica
Prof. Dr. Otávio Bueno (University of Miami)