A trajetória do pensamento científico e tecnológico exige, de maneira imperativa, a constante maturação dos fundamentos que sustentam a racionalidade formal. Foi sob essa premissa essencial que concebi, realizei e coordenei, no âmbito do Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), o primeiro COLÓQUIO ENGENHARIA LÓGICA (I COLENLOG), centrado no tema ANÁLISE INFERENCIAL E COMPUTABILIDADE EM ENGENHARIA LÓGICA.
Integrado à programação oficial da Semana Nacional de Ciência e Tecnologia do MCTI, a formulação do I COLENLOG nasceu de um diagnóstico acerca das lacunas presentes na formação acadêmica. Já naquela época, a evolução vertiginosa das tecnologias de computação evidenciava uma carência sensível: a ausência de meios sistêmicos para a avaliação e correção formal de raciocínios estruturados por meio da codificação e decodificação de proposições.
O evento foi realizado no período de 17 a 20/10/2016, em um total de 20 (vinte) horas, apresentando os pressupostos necessários para a instanciação da Engenharia Lógica como área de conhecimento para engendrar e desenvolver métodos e técnicas para a avaliação e correção formal de raciocínios estruturados a partir da codificação e decodificação de proposições utilizadas na fundamentação das Ciências (em geral) e das Ciências Exatas (em particular).
DIAS, Carlos Mgno Corrêa - 2026
Em conformidade, também, com a evolução e o alcance da Álgebra da Lógica e da Filosofia Analítica, foram postuladas as razões pelas quais a Engenharia Lógica é instanciada como Modelo Inferencial Analítico Axiomático necessário para avaliação formal de Inferências Dedutivas centradas na Computabilidade dos Cálculos Lógicos.
Baseando-se nos fundamentos da Análise Inferencial e da Teoria da Argumentação, desenvolvidos em Lógica Formal (Dedutiva), em associação com o engendrar nas Engenharias, no I COLENLOG apresentei as seguintes palestras: Álgebra da Lógica em Engenharia Lógica (em 17/10/2016); Engenharia Lógica como Modelo Analítico Inferencial (em 17/10/2016); Lógica Computacional (em 19/10/2016); Lógicas Recursivas Inferenciais (em 19/10/2016); Computabilidade de Sistemas Algébricos (em 20/10/2016); e, Pressupostos da Lógica Fuzzy (em 20/10/2016).
Historicamente, a Álgebra da Lógica e a Filosofia Analítica muitas vezes permaneceram restritas a recortes teóricos isolados, distantes das necessidades operacionais da modelagem de sistemas e da cognição computacional. A correspondente vacância acadêmica gerava óbices consideráveis à plena capacitação de estudantes e futuros profissionais, dificultando o desenvolvimento de soluções rigorosas, livres de falácias e respaldadas pela Teoria da Prova e pela Análise Inferencial. O I COLENLOG ergueu-se como uma resposta direta a esse desafio formativo.
Carlos Magno Corrêa Dias
22/10/2026