O cenário acadêmico e tecnológico brasileiro guarda marcos profundos quando a rigorosidade do pensamento formal encontra o imperativo criativo da Inovação. No panorama em questão, a segunda edição do Secafunp (Seminário de Cálculo das Funções Predicativas em Lógica Matemática) consolidou-se como um divisor de águas na reflexão científica desenvolvida no Câmpus Curitiba da TECNOLÓGICA (Universidade Tecnológica Federal do Paraná - UTFPR).
Tive a grata satisfação de idealizar, coordenar e conduzir o II Secafunp, evento que se erigiu como um manifesto da simbiose entre o Rigor Analítico e o Desenvolvimento Produtivo, baseando-se na premissa de que a Ciência da Academia e as Tecnologias da Indústria devem manter simbioses relacionais constantes e contínuas para o progresso da Nação.
Se a primeira edição do evento, realizada em 2010, abriu clareiras investigativas ao debater as “Instâncias Sentenciais e Funções Quantificadas”, o ano de 2011 viu o II Secafunp mostrar-se especial na correspondente empreitada intelectual. Em 26 de outubro de 2011, o II Secafunp aportou no Câmpus Curitiba da UTFPR trazendo como tema central: Lógica Formal e Filosofia Analítica como Fator de Inovação.
-CMCD-L.png)
DIAS, Carlos Mgano Corrêa - 2026
O II Secafunp cumpriu um papel estruturante no amadurecimento e consolidação das pesquisas em Engenharia Lógica (a qual já desenvolvo há décadas), demonstrando que os Cálculos Predicativos e as Linguagens Analíticas não constituem meras abstrações, mas são ferramentas vivas e poderosas capazes de solucionar dilemas do mundo real de forma a catapultar os resultados obtidos pela Inovação.
Consubstanciado na conferência que ministrei Intitulada “Lógica Formal e Filosofia Analítica como Fator de Inovação”, o Secafunp 2011 mostrou que a Inovação está indissoluvelmente ligada à forma lógica de pensar; sendo praticamente impossível exercer o pensamento lógico genuíno sem flertar com a Inovação.
O evento desmistificou a noção simplista de que a Inovação decorre exclusivamente do ineditismo vazio. Pelo contrário, evidenciou-se que muitas vezes, velhos gargalos tecnológicos e científicos são superados simplesmente ao se identificarem as estruturas lógicas ou as correntes filosóficas subjacentes que antes permaneciam obscuras.
O II Secafunp chamou a comunidade acadêmica a projetar sistemas lógicos centrados na análise dos processos circundantes. Os Cálculos Lógicos desvinculados da materialidade imediata convocam a Inovação a trabalhar em conjunto, expandindo horizontes e potencialidades sistêmicas.
Celebrar os 15 anos do Secafunp é exaltar o pensamento autônomo, a precisão do Cálculo Predicativo em Lógica e a convicção de que o avanço tecnológico genuíno floresce onde a razão encontra seu solo mais fértil.
Carlos Magno Corrêa Dias
27/10/2026