CONSISTÊNCIA E VALIDADE DEDUTIVA foi o tema do I FOCONVALRAD (FÓRUM SOBRE CONSISTÊNCIA E VALIDADE DE RACIOCÍNIOS DEDUTIVOS) o qual objetivou, por intermédio da Álgebra da Lógica, instanciar procedimentos formais para a avaliação (técnica) da legitimidade e consistência de argumentos dedutivos instituídos.
DIAS, C. M. C. - 2017
Desenvolvido no Câmpus Curitiba da TECNOLÓGICA o I FOCONVALRAD foi fundamentado na Álgebra da Lógica, na Análise Inferencial e na Teoria da Argumentação Lógica; seguindo, estritamente, os pressupostos estruturais do Cálculo Lógico Sentencial.
Durante o fórum apresentei as seguintes cinco palestras; quais sejam: Fórmulas Proposicionais e Cálculo Lógico; Validade Condicionando Consistência; Analítica de Argumentos Dedutivos; Análise e Teoria da Argumentação Analítica; e, Teoria da Prova Dedutiva e Raciocínios Válidos.
Mais uma vez pratica-se o entendimento sobre a Extensão Universitária para a disseminação do conhecimento e para contribuir com a premissa que Ensino, Pesquisa e Extensão devem ser indissociáveis na Universidade.
Sob minha proposição, coordenação e condução o I FOCONVALRED foi desenvolvido gratuitamente para os participantes, não havendo, também, qualquer ônus para a Universidade Tecnológica Federal do Paraná (UTFPR).
Carlos Magno Corrêa Dias
04/07/2017