Lá em 14 de março de 2011, já completando 15 anos neste 2026, ministrava o “Curso de Extensão Universitária em Lógica Matemática Aplicada à Teoria da Argumentação Dedutiva”, o qual foi desenvolvido no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), com chancela do DAMAT (Departamento Acadêmico de Matemática) da UTFPR e promoção da DIECE (Divisão de Cursos de Extensão) da UTFPR.
DIAS, Carlos Magno Corrêa - 2011
Direcionado exclusivamente para Acadêmicos dos Cursos de Engenharia dos Campi da TECNOLÓGICA, fui, também, o proponente e organizador daquela Atividade de Extensão Universitária a qual até os dias atuais é considerada referência e representa um marco de excelência no aprofundamento do rigor intelectual destinado aos Estudantes de Graduação e Engenharia do Sistema UTFPR.
Ao ministrar o “Curso de Extensão Universitária em Lógica Matemática Aplicada à Teoria da Argumentação Dedutiva” não apenas oportunizei uma complementação na formação dos Acadêmicos, mas auxiliei no estabelecimento de alicerce fundamental para o desenvolvimento do raciocínio analítico e da estruturação do pensamento crítico. A relevância atestada daquela proposta reside na simbiose entre a abstração da Matemática e a aplicabilidade prática da Lógica Formal na validação de argumentos, competência essencial para todo Profissional que lida com sistemas complexos e tomadas de decisão baseadas em evidências irrefutáveis.
Foi objetivado apresentar as Operações e as Relações da Álgebra Proposicional em Lógica Matemática de Primeira Ordem necessárias para o Estudo e a Análise de Validade de Argumentos Dedutivos Sentenciais e identificação imediata de Falácias ou de Sofismas.
O Programa do “Curso de Extensão Universitária em Lógica Matemática Aplicada à Teoria da Argumentação Dedutiva” foi estruturado para atender desde os pressupostos algébricos do Cálculo Proposicional até o domínio sofisticado das relações de implicação e equivalência. Ao focar na análise de validade de argumentos dedutivos sentenciais, procurei capacitar os interessados a decodificar fórmulas e, primordialmente, a identificar Falácias com precisão cirúrgica, uma habilidade que transcende as salas de aula para se tornar uma ferramenta de vida (conforme os próprios participantes seguem relatam).
“A imersão técnica em Lógica de Primeira Ordem funciona como um catalisador da inteligência lógica, permitindo que o Profissional, principalmente, oriundo dos Cursos de Engenharia, compreenda a arquitetura invisível que sustenta a verdade formal e o encadeamento das ideias”.
Aquela ação reafirmava, uma vez mais, a posição da TECNOLÓGICA como um polo inovador de irradiação de saber científico e tecnológico, onde a Lógica deixa de ser apenas uma disciplina teórica para se tornar a linguagem mestra do progresso intelectual e da integridade argumentativa.
Carlos Magno Corrêa Dias
16/03/2026