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
Igualdade faz referência à inexistência de incongruências sob determinado ponto de vista entre dois ou mais elementos comparados.
Diferenças há entre os “sexos”, mas é necessário entender a equivalência social (ou, simplesmente, a igualdade) entre os vários gêneros.
Carlos Magno Corrêa Dias
02/04/2016
