Programação
Programação:
Quinta-feira, dia 19 de janeiro:
14h – 16h: Quantificadores - Prof. Dr. Rodrigo Bacellar (USP)
16h – 17h: Explicando a Logicalidade: Considerações sobre a Proposta de Tarski - Daniel Nagase (mestrando, USP)
17h – 17h30: Intervalo
17h30 – 19h30: Hierarquias de Lógicas da Imaginação - Prof. Dr. Alexandre Costa-Leite (UnB)
Sexta-feira, dia 20 de janeiro:
14h – 16h: Paraconsistentização via Teoria da Prova - Prof. Dr. Edélcio Gonçalves de Souza (USP)
16h – 17h: Investigações sobre os Fundamentos da Aritmética - Edgar Almeida (doutorando, Unicamp; pesquisador colaborador, UnB)
17h – 17h30: Intervalo
17h30 – 19h30: Princípios de Substituição em Linguagens Infinitárias
Prof. Dr. Rodrigo Freire (UnB)
Org.: Profs. Drs. Edélcio Gonçalves de Souza e Rodrigo Bacellar