Novos Integrantes dos Exércitos Analíticos se Formam.

   
Objetivando 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 ministrei, na TECNOLÓGICA (UTFPR), gratuitamente para os participantes e sem ônus para a UTFPR, em um total de trinta horas, o Curso de Extensão Universitária e Tecnológica em ALGEBRIZAÇÃO E AXIOMATIZAÇÃO DE SISTEMAS LÓGICOS.

  

Uma vez mais tive o privilégio e a satisfação de cumprir meu necessário entendimento sobre a indissociabilidade entre Ensino, Pesquisa e Extensão na Universidade e 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