FGV/EMAp promove curso em "consequência lógica e estruturas de informação"
01 Abril 2013 · Raquel Rittmeyer
Nos dias 08 e 09 de abril, a FGV/EMAp realizará o Minicurso Consequência Lógica e Estruturas de Informação com o PhD pela National Academy of Sciences of Ukraine, professor Yaroslav Shramko.
O curso será ministrado em inglês e ocorrerá das 14h às 15h30 na Praia de Botafogo, 190, sala 1014. Para participar, é necessário confirmar presença pelo email .
Resumo
No nível da linguagem objeto, a relação de consequência lógica pode ser representada por um conectivo proposicional de implicação devido ao bem conhecido teorema da dedução. A consequência lógica e a implicação, na lógica clássica, estão sujeitas a certas características que têm sido frequentemente caracterizadas como “paradoxais”. Sentenças logicamente falsas tem como consequência lógica qualquer sentença, e qualquer sentença tem como consequência lógica, sentenças verdadeiras. Isto é, a relação de consequência lógica na lógica clássica não garante relevância entre premissas e conclusão. É possível, no entanto, a construção de uma “lógica relevante”, com implicação e consequência lógica livres dos paradoxos da relevância. Esta lógica relevante é muito útil para a modelagem lógica de estruturas de informação e pode ser efetivamente empregada para um raciocínio assistido por computador.
Biografia
Yaroslav Shramko é PhD pela National Academy of Sciences of Ukraine, Kyiv; professor em Lógica e Filosofia; e pesquisador visitante na Humboldt-University Berlin (Alemanha), Uppsala University (Suécia), Indiana University (EUA) e Dresden University of Technology (Germany). Também é autor de cinco livros, incluindo “Truth and False hood”, e de mais de oitenta publicações na área.
Observação para visitantes
- A presença é gratuita.
- A FGV não permite a entrada de pessoas vestindo bermuda e/ou chinelos.