IV Colóquio UnB–USP de Lógica e Filosofia da Lógica

22 e 23 JAN 2019

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)

Cartaz e Programação do evento
Local
Sala 111
Endereço
Conjunto Didático de Filosofia e Ciências Sociais, Av. Prof. Luciano Gualberto, 315 - Cidade Universitária, São Paulo - SP