No período de 11 de maio de 2015 a 29 de junho de 2015, no Câmpus Curitiba da TECNOLÓGICA (Universidade Tecnológica Federal do Paraná - UTFPR), tive a grata satisfação de ministrar o Curso de Extensão Universitária e Tecnológica intitulado LÓGICA MATEMÁTICA APLICADA EM MODELOS INFERENCIAIS.
Desenvolvi o Curso em referência em um total de 30 horas acadêmicas para Estudantes regulamente matriculados em Cursos das Ciências Exatas do Sistema UTFPR e em disciplinas das quais sou o Professor.
O Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA EM MODELOS INFERENCIAIS foi ofertado gratuitamente para os participantes, sem ônus para a Universidade e sem vinculação com quaisquer Agências de Fomento. Tenho em semelhante ação minha contrapartida de contribuição com a Sociedade por meio da Extensão que entendo não possa ser desenvolvida de forma diferente em Instituições de Ensino Superior Públicas.
Como principal propósito do Curso o mesmo objetivou apresentar aos participantes os Cálculos Lógicos desenvolvidos em Lógica Matemática Dedutiva de Primeira Ordem como Modelos Inferenciais para evidenciar Procedimentos Formais de Raciocínios Dedutivos que permitam, por sua vez, avaliar, mediante a Álgebra da Lógica, a correspondente Validade e Consistência de Inferências Formais estruturadas como Argumentos Dedutivos nos quais Conclusões são consequências de Premissas identificadas.
Objetivei, também, a apresentação de 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”.
O “EXÉRCITO DOS LÓGICOS DEDUTIVOS” é ampliado com a correspondente CERTIFICAÇÃO adquirida pelos Jovens Dedutivos que participaram do Curso desenvolvido.
Parabéns aos Jovens Acadêmicos pela Certificação.
Professor Carlos Magno Corrêa Dias
30/06/2015