No último dia 28/03/2015 as Legiões de ANALÍTICOS foram ampliadas quando mais Jovens Aprendizes foram certificados no Curso de Extensão Universitária e Tecnológica em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA o qual ministrei gratuitamente para Acadêmicos das Engenharias da TECNOLÓGICA (UTFPR).
No Curso de Extensão Universitária e Tecnológica em referência, em um total de 30 horas-aula, tratei tecnicamente (formalmente, analiticamente) desenvolvimentos em Lógica Matemática Dedutiva de Primeira Ordem para o estabelecimento de Métodos e Técnicas Formais de Raciocínios Dedutivos que permitem evidenciar, mediante a Álgebra da Lógica, a validade e a consistência de Inferências Formais estruturadas como Argumentos Dedutivos nos quais Conclusões são consequências de Premissas identificadas.
Os participantes receberam, também, instruções sobre 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 aplicáveis em Raciocínios Bivalentes e Dicotômicos para o “BEM PENSAR”.
Mais uma vez o poder da LÓGICA FORMAL, mediante apropriação do Cálculo Lógico Proposicional e do Cálculo Lógico Predicativo, vem contribuir para ampliar a força das LEGIÕES DE ANALÍTICOS que mais intensamente podem pensar de forma dedutiva.
Carlos Magno Corrêa Dias
16/04/2015