O primeiro FOCONVALRAD (FÓRUM SOBRE CONSISTÊNCIA E VALIDADE DE RACIOCÍNIOS DEDUTIVOS), desenvolvido com o tema CONSISTÊNCIA E VALIDADE DEDUTIVA, objetivou apresentar o Cálculo Lógico Proposicional (Sentencial) desenvolvido em Lógica Matemática Dedutiva de Primeira Ordem para o estabelecimento de Métodos e Técnicas Formais de Raciocínios Dedutivos que permitam evidenciar e analisar, mediante a Álgebra da Lógica, a Validade e a Consistência de Raciocínios Dedutivos estruturados sejam como Argumentos Dedutivos ou como Inferências nos quais conclusões devem ser, necessariamente, consequências lógicas de premissas previamente identificadas.
DIAS, C. M. C. - 2017
Durante o evento ministrei as seguintes palestras: 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.
O conjunto das correspondentes palestras possibilitou, de forma ampla, perspectivar extensões no campo da avaliação formal de raciocínios dicotômicos e bivalentes dependentes da Lógica Analítica.
Carlos Magno Corrêa Dias
18/08/2017