---------- Forwarded message ----------
*II Colóquio UnB–USP de Lógica e Filosofia da Lógica* Dias 19 e 20 de Janeiro de 2017 Local: Sala 115 Endereço: FFLCH-USP, São Paulo - SP 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) http://filosofia.fflch.usp.br/node/710 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgjcB30%3DUEj44FjYZ_w%2BeZFgN26MM4_QfNiHmVOPWGHdw%40mail.gmail.com.
