Em 29 de novembro de 2014, há dez anos (uma década), divulgava a realização do Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA NA AVALIAÇÃO DE RACIOCÍNIOS DEDUTIVOS o qual ministrava para Acadêmicos dos Cursos de Engenharia da Tecnológica (UTFPR - Universidade Tecnológica Federal do Paraná).
Seguindo os pressupostos da Engenharia Lógica (Engenharia Inferencial), a qual venho desenvolvendo ao longo dos anos, o Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA NA AVALIAÇÃO DE RACIOCÍNIOS DEDUTIVOS foi pensado para dotar os participantes de conhecimentos necessários para utilizar a LÓGICA MATEMÁTICA INFERENCIAL PROPOSICIONAL DE PRIMEIRA ORDEM para a determinação da solução de problemas passíveis de equacionamento algébrico e lógico na tomada de decisão e correção dos correspondentes raciocínios inferidos.
Centrado nos fundamentos da Análise Inferencial e Teoria da Argumentação, desenvolvidos em Lógica Formal, aquela atividade foi direcionada para suprir deficiências evidenciadas quanto à avaliação da validade de argumentos dedutivos, bem como para distinguir técnicas formais para a correção de raciocínios falaciosos frequentemente gerados e não percebidos.