No período de 23/03/2015 a 28/03/2015, ministrei o Curso de Extensão Universitária e Tecnológica em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA no qual objetivei apresentar os Cálculos Lógicos Proposicional e Predicativo desenvolvidos 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, mediante a Álgebra da Lógica, a Validade e a Consistência Inferências Formais estruturadas como Argumentos Dedutivos nos quais Conclusões são consequências de Premissas identificadas.
O Curso em referência, desenvolvido em um total de 30 horas-aula, integra o Programa de Extensão Universitária em Lógica que tenho desenvolvido nos últimos anos para promover a Lógica Formal com instrumento necessário para os membros das Ciências e das Tecnologias para o BEM PENSAR.
Durante o Curso apresentei, também, particulares Procedimentos Técnicos de Decisão Semânticos e Sintáticos desenvolvidos em Análise Inferencial, Teoria da Demonstração Sentencial e Teoria da Argumentação Lógica aplicáveis em Raciocínios Bivalentes e Dicotômicos.
Carlos Magno Corrêa Dias
29/05/2015