Cumprindo meu necessário entendimento sobre a indissociabilidade entre Ensino, Pesquisa e Extensão na Universidade tive a grata satisfação de concluir o Curso de Extensão Universitária e Tecnológica em ALGEBRIZAÇÃO E AXIOMATIZAÇÃO DE SISTEMAS LÓGICOS.
Ministrei o Curso em referência no Câmpus Curitiba da TECNOLÓGICA (UTFPR), gratuitamente para a Comunidade, em um total de 30 horas, sem ônus para a Instituição.
O objetivo principal do Curso em ALGEBRIZAÇÃO E AXIOMATIZAÇÃO DE SISTEMAS LÓGICOS foi apresentar a Álgebra da Lógica Formal Dedutiva de Primeira Ordem em associação com Sistemas Axiomáticos para a instituição da Teoria da Prova e da Teoria da Argumentação Lógica aplicadas na Análise Lógica da Validade e da Consistência de Argumentos e Inferências centradas na Completude e na Corretude.
Uma vez mais temos o privilégio de certificar, por intermédio da TECNOLÓGICA, com o poder da Lógica Formal, novos integrantes dos Exércitos dos Analíticos Dedutivos para o bem pensar.
Carlos Magno Corrêa Dias
06/04/2016