Ao conduzir, entre os dias 28 de setembro e 19 de outubro de 2011, o Curso de Extensão em Lógica Matemática Predicativa e Quantificacional de Primeira Ordem no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) consolidei uma convicção que reitero em minha trajetória docente e de pesquisa: a de que a Engenharia e o Raciocínio Analítico encontram na Lógica Formal o seu alicerce mais seguro e fecundo.
DIAS, Carlos Magno Corrêa - 2026
Desenvolvido para os futuros Engenheiros regularmente matriculados em disciplinas de Cálculo Diferencial e Integral que ministrava em Cursos de Graduação regulares da UTFPR, o evento de extensão em referência nasceu do propósito de certificar os participantes na Álgebra das Funções Predicativas e das Funções Quantificadas. Mais do que transmitir um compêndio de regras sintáticas ou semânticas, o objetivo central sempre foi o de dotar o espírito analítico de ferramentas robustas para a enunciação, a análise e a resolução lógica de problemas de raciocínio, distanciando-o de superficialidades.
Conduzir os Acadêmicos pelas trilhas da Teoria da Demonstração Dedutiva e da Teoria da Prova, aplicadas a Sistemas Algébricos Dicotômicos e Bivalentes, revelou-se uma experiência de inestimável valor intelectual. Afinal, introduzir com rigor e profundidade as técnicas dedutivas do cálculo para a avaliação formal de raciocínios é conferir ao Estudante a capacidade determinante de decidir sobre problemas complexos de maneira estritamente analítica. Para o futuro Engenheiro, essa habilidade é um imperativo profissional e filosófico: decidir sem que o raciocínio seja contaminado ou comprometido pela materialidade ou pelos condicionamentos contingentes do mundo real. É exatamente nessa perspectiva que defendo a premissa de que as técnicas formais de investigação da validade de modelos (operando com os recursos da Lógica Formal) configuram-se como as fontes de soluções mais amplas, elegantes e eficientes.
O Curso de Extensão em Lógica Matemática Predicativa e Quantificacional de Primeira Ordem expressou uma visão dotada de rigor conceitual abordado em itinerário programático que se desdobrou desde os fundamentos de termos e predicados, funções proposicionais e conjuntos verdade, até as complexidades das instâncias singulares, quantificadores lógicos fundamentais, variáveis livres e aparentes, equivalências entre funções quantificadas e, por fim, as inferências predicativas.
Celebrar aquela iniciativa é reafirmar que a Lógica não é um ornamento acadêmico estéril, mas sim o motor lógico-estrutural que sustenta a autonomia do pensamento crítico. Que a semente lançada continue a frutificar nas mentes daqueles que fazem da Engenharia um instrumento de precisão, clareza e transformação racional.
Carlos Magno Corrêa Dias
29/09/2026