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

[Joao Marcos]

---------- 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