Objetivando apresentar a Álgebra da Lógica de Primeira Ordem instituída nos Cálculos Lógicos Dedutivos necessária para o desenvolvimento de Métodos e Técnicas que permitem a Avaliação Analítica da Validade e da Consistência de Raciocínios Dedutivos Formais estruturados como Argumentos (em geral) ou reconhecidos como Inferências (em particular) estou ministrando o Curso de Extensão Universitária e Tecnológica intitulado LÓGICA MATEMÁTICA APLICADA NA AVALIAÇÃO DE RACIOCÍNIOS DEDUTIVOS.
Tal Curso está sendo desenvolvido para Alunos regularmente matriculados em Cursos de Graduação do Sistema UTFPR, é gratuito pra os participantes e sem ônus para a Instituição. Desenvolvo, então, semelhante Ação de Extensão corroborando minha contrapartida com a Sociedade enquanto Docente e Pesquisador de uma Instituição Pública de Ensino.
No Curso, objetivo, também, apresentar Procedimentos Técnicos de Decisão Semânticos e Sintáticos desenvolvidos em Análise Inferencial, Teoria da Demonstração Sentencial e Teoria da Argumentação Lógica para ampliação ou fortalecimento da Dedução Lógica nos raciocínios formais que dependem de estruturas dicotômicas e bivalentes (próprias da LÓGICA DE PRIMEIRA ORDEM).
Muito em breve mais uma Turma terá somada a força da LÓGICA DE PRIMEIRA ORDEM para ampliar seus poderes na transformação de realidades.
Carlos Magno Corrêa Dias
29/11/2014