Há mais de dez anos, lá em maio de 2014, iniciava o Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL (concluído em 28/07/2014) no qual apresentei o Cálculo Proposicional e a Álgebra da Lógica instituídos em Lógica Matemática Dedutiva de Primeira Ordem necessários para o desenvolvimento de Métodos e Técnicas para a Avaliação Formal da Validade e da Consistência de Raciocínios Dedutivos estruturados como Argumentos (em geral) ou Inferências (em particular).
DIAS, C. M. C. - 2024
No Curso em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL desenvolvi, também, Procedimentos Técnicos de Decisão Semânticos e Sintáticos estabelecidos em Análise Inferencial, Teoria da Demonstração Sentencial e Teoria da Argumentação Lógica.
Centrado nos fundamentos da Análise Inferencial e Teoria da Argumentação, desenvolvidos em Lógica Formal (Dedutiva), o Curso de Extensão Universitária em CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL foi mais um momento direcionado para proporcionar capacitação na Avaliação da Validade de Argumentos Dedutivos e para apresentar, também, técnicas poderosas necessárias e eficientes para promover a correção de Raciocínios Falaciosos frequentemente gerados e não percebidos.
Carlos Magno Corrêa Dias
29/07/2024