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

Dias 19 e 20 de Janeiro de 2017

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

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