A história acadêmica, científica e extensionista de determinados conhecimentos consolida-se não apenas como um campo de estudo, mas como uma disciplina estruturante para a inovação tecnológica, o rigor analítico e a interpretação do mundo contemporâneo.
Assim é que, ao longo das últimas três décadas de iniciativas formuladas e executadas em torno da Lógica e da Cognição, emerge a Engenharia Lógica como a espinha dorsal de um projeto intelectual contínuo.
A trajetória de consolidação da Engenharia Lógica traduz-se em uma estrutura encadeada de eventos acadêmicos, científicos e extensionistas que mapearam rigorosamente as conexões entre o formalismo matemático, as ciências aplicadas e as transformações tecnológicas contemporâneas.
Nos primórdios de sua construção, no âmbito da Pontifícia Universidade Católica do Paraná (PUCPR), a agenda concentrou-se na fundamentação epistemológica e na formação estrutural da Lógica do Conhecimento. No ano de 1996, o curso de Especialização / Pós-Graduação Lato Sensu em Lógica do Conhecimento Científico, composto por 375 horas-aula obrigatórias e 105 horas-aula opcionais dedicadas a aspectos didático-pedagógicos, constituiu essa base.
Aquele programa de pós-graduação de 1996 teve uma segunda edição em 1997, com 390 horas-aula obrigatórias e 105 horas-aula opcionais, garantindo uma formação continuada e aprofundada na área. Paralelamente, em junho de 1997, realizou-se o IV Ciclo de Palestras sobre a Lógica do Conhecimento Científico: Sistemas de Lógicas Não Clássicas, totalizando 20 horas-aula voltadas ao estudo de modelos lógicos não convencionais.
No início de 1998, promoveu-se o Curso de Extensão Universitária Correntes Filosóficas da Matemática (20 horas-aula), seguido pelo V Ciclo de Palestras sobre a Lógica do Conhecimento Científico: Evolução Histórica da Lógica Matemática. Encerrando esse ciclo de consolidação na PUCPR, realizou-se em 1999 a Atividade de Extensão Universitária em Análise Inferencial e Teoria da Argumentação.
Entretanto, uma contribuição inicial ao repensar o ensino e a aprendizagem das estruturas lógico-formais relacionadas às matemáticas (quanto à essência, ao formalismo, à axiomatização e à complexidade) a partir de uma fundamentação, "a priori", estruturada em termos dos princípios norteadores da Lógica Matemática (ou Lógica Formal, ou Lógica Algorítmica), ocorreu em 1993 quando da publicação dos resultados da Dissertação de Mestrado na UFPR (Universidade Federal do Paraná) intitulada “A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior”, a qual teve uma segunda edição em 1999 com ISBN: 85-900661-2-6.
No trabalho em questão, determinaram-se as diferenças existentes entre o nível de aproveitamento dos educandos que detêm conhecimentos iniciais (basilares) sobre Lógica Matemática (no que concerne aos fundamentos do Cálculo dos Enunciados ou Cálculo Proposicional) daqueles estudantes que (nos cursos universitários das Ciências Exatas e Tecnologia) não se relacionavam com tal disciplina, no tocante à compreensão, à abstração e à manipulação do formalismo matemático associado aos processos inferenciais.
O estudo em referência apresentou também considerações sobre as vantagens existentes na utilização das leis lógico-formais (vinculadas ao Cálculo Sentencial, em Lógica Formal) no desempenho dos educandos que necessitam do formalismo, da simbolização e da axiomatização, em Matemática, para o devido desenvolvimento e promoção.
A maturidade acadêmica a partir da década de 2000 permitiu que o formalismo matemático se desdobrasse em aplicações práticas voltadas à resolução de problemas complexos em diversas áreas tecnológicas contemporâneas.
O livro “Compêndios de Matemática e Lógica Matemática: uma abordagem extemporânea” (1999, ISBN: 85-900661-2-6) foi fundamental para conectar a evolução histórica da matemática ao rigor formal sob uma perspectiva fora do tempo comum.
Em obras como “Silogística: Introdução à Lógica Categórica” (2000, ISBN: 85-900661-5-0), é tratada a estrutura dos silogismos aristotélicos, as inferências imediatas e a validade dos argumentos categóricos, fornecendo a base necessária para a transição rumo ao cálculo simbólico contemporâneo.
Todavia, é com a segunda edição de “Lógica Matemática: Introdução ao Cálculo Proposicional” (2001, ISBN: 85-900661-6-9, sucedendo a primeira edição de 1999, ISBN: 85-900661-3-4) que se sistematizam a Álgebra Proposicional, os Sistemas Axiomáticos e a Teoria da Argumentação Dedutiva como instrumentos operacionais indispensáveis para a aplicação da Engenharia Lógica.
De fins da década de 1990 até início da década de 2000 um conjunto extenso de estudos e pesquisas levaram à produção de artigos relacionados tais como: Argumentos dedutivos: análise inferencial e teoria da argumentação em lógica matemática (publicado em 1998, na Revista Tecnologia & Humanismo, do então Centro Federal de Educação Tecnológica do Paraná (Cefet-PR)); Lógica categórica: uma abordagem analítica sobre a silogística (publicado em 1999, na Revista de Filosofia da PUC-PR); Silogística: uma introdução à lógica dos enunciados categóricos (publicado em 1999, na Revista Tecnologia & Humanismo do então Centro Federal de Educação Tecnológica do Paraná (Cefet-PR)); São Antinomias os Paradoxos Matemáticos? (publicado em 2002, na Revista Tecnologia & Humanismo do então Centro Federal de Educação Tecnológica do Paraná (Cefet-PR)); Dominação em Matemática (publicado em 2002, na Revista Tecnologias na Construção Civil e Matemática Aplicada / Coleção Exatas da Editora Universitária Champagnat da PUC-PR).
No período de 1999 até 2003, dando sustentação à Engenharia Lógica, foram elaborados e registrados no EDA (Escritório de Direitos Autorais) / Fundação Biblioteca Nacional (FBN) / Ministério da Cultura (MinC)) os artigos técnicos/científicos: Prolegômenos sobre o desenvolvimento da lógica no período medieval cristão (1999); A Concepção de Rudolf Carnap sobre a Matemática (1999); As concepções de Frege e Kant sobre analítico / sintético ou a priori / a posteriori em relação à aritmética (1999); Observações Extemporâneas sobre a Matemática em Platão e Aristóteles (2000), Boécio - Fibonacci - Regiomontano: uma tríade representativa da matemática medieval (2000); A idade antiga da matemática (2000); A Matemática Contemporânea (2001); A Idade Moderna da Matemática (2001); Aritmética de Peano e Modelos da Aritmética (2001); Álgebra Booleana (2002).
Fundamental foi, também, a obra intitulada Problemas e exercícios de lógica matemática a qual foi publicada em 2003 com ISBN: 85-88925-05-2. Nesse livro foram introduzidos procedimentos práticos que auxiliaram na produção de ferramentas para o bem engendrar tomando-se por base os Cálculos Lógicos.
A partir da transição das Atividades de Extensão Universitária para o Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), ocorrida em meados de 2005 (ano no qual o então Cefet-Pr se transformou em UTFPR), o percurso de construção ganhou densidade pedagógica e foco no Cálculo Dedutivo e na Axiomatização mais intensificados.
Em 2008, promoveram-se dois Cursos de Extensão Universitária e Tecnológica de 20 horas cada: Teoria da Argumentação e Análise Inferencial em Lógica Matemática de Primeira Ordem e Teoria da Demonstração em Lógica Matemática de Primeira Ordem.
No ano de 2009, foi conduzido um ciclo semanal de palestras e conferências técnicas, cobrindo detalhadamente temas como: Álgebra Enunciativa de Primeira Ordem no Cálculo Proposicional; Argumentos Dedutivos e Teoria da Demonstração de Primeira Ordem; Análise Lógica da Teoria dos Conjuntos através do Cálculo Proposicional e dos Predicados; Demonstração segundo o Princípio da Indução Finita ou Indução Matemática; Axiomatização do Corpo Ordenado Completo dos Números Reais; Teoria Axiomática dos Conjuntos de acordo com a Lógica Matemática de Primeira Ordem; Demonstrações Recursivas em Análise Inferencial.
No mesmo ano de 2009 seguiram-se as conferências: Axiomatização da Lógica Proposicional de Primeira Ordem; Completude da Lógica Proposicional Clássica; Teorema de Gödel e a Lógica de Primeira Ordem; Teorema da Dedução e Provas como Procedimento Computável; Aritmética de Primeira Ordem e Linguagem; Aritmética de Peano e os Fundamentos da Aritmética; Paradoxos Matemáticos e Paradoxos Lógicos; e Consistência em Matemática e a Incompletude. Ainda em 2009, ministraram-se os cursos de extensão Álgebra Proposicional e Implicações Lógicas e Cálculo Sentencial e Predicativo em Lógica Matemática.
No ano de 2010, o aprofundamento continuou com os cursos Teoria da Demonstração em Lógica Matemática Proposicional, Análise Lógica de Predicados em Lógica Matemática e Cálculo das Funções Predicativas Quantificadas em Lógica Matemática. No segundo semestre de 2010, ofereceram-se os cursos Sistemas Algébricos em Lógica Matemática e Lógica Sentencial e Predicativa Aplicada ao Cálculo Diferencial e Integral. O ano encerrou-se com os primeiros simpósios de grande porte: o I Seminário de Cálculo das Funções Predicativas em Lógica Matemática (I SECAFUNP), sob o tema "Instâncias Sentenciais e Funções Quantificadas", e o I Seminário de Lógica Matemática Sentencial (I SELOGMAS), abordando a "Completude dos Fundamentos Necessários e Suficientes da Matemática".
O livro “Prolegômenos à filosofia da matemática”, de 2010, com ISBN: 978-85-88925-08-3, apresentou, de forma a mais clara possível, porém de maneira compendiada e (inevitavelmente) arbitrária, uma exposição tratando a evolução histórica da matemática agregada às principais concepções filosóficas sobre a matemática para, em paralelo, perspectivar uma posição dita extemporânea sobre a matemática.
“Prolegômenos à filosofia da matemática” não expos, efetiva e declaradamente, uma particular filosofia da matemática. Mas, considerou, indiretamente, os pressupostos necessários para se atingir um correspondente propósito e instanciar formas de se engendrar soluções a partir de uma Filosofia da Lógica/Matemática.
Há de se observar que no ano de 2011 foi publicada a terceira edição de “Lógica matemática: introdução ao cálculo proposicional” com ISBN: 978-85-88925-15-1 a qual continuou sendo a base de sistematização da Álgebra Proposicional, dos Sistemas Axiomáticos e da Teoria da Argumentação Dedutiva tomados como instrumentos operacionais indispensáveis na edificação da Engenharia Lógica.
Promovidos pelo Departamento Acadêmico de Matemática (DAMAT) da UTFPR, o SELOGMAS e o SECAFUNP funcionaram como fóruns estruturantes para debater a aplicação da lógica formal na computação, inteligência artificial, automação e sistemas ciberfísicos, expandindo a reflexão das proposições para o cálculo de predicados e consolidando a filosofia analítica como motor de inovação tecnológica e modelagem de sistemas complexos.
Em fevereiro de 2011, realizaram-se os Seminários Atuação da Agência de Inovação da UTFPR e Utilização do Maple V no Ensino e Aprendizagem do Cálculo Diferencial e Integral, além do curso Estruturas Algébricas em Sistemas Lógicos Bivalentes e Dicotômicos. Seguiram-se os cursos Lógica Matemática Aplicada à Teoria da Argumentação Dedutiva, Cálculo Sentencial Dedutivo em Lógica Matemática e Filosofia da Ciência Dedutiva no Contexto Histórico e Epistemológico.
No segundo semestre de 2011, ministrou-se o Curso de Extensão Universitária de Lógica Matemática Proposicional de Primeira Ordem, seguido pelo II SELOGMAS, acompanhado da conferência "Inovação Tecnológica Centrada na Lógica Clássica". Em seguida, realizaram-se o Curso de Extensão em Lógica Matemática Predicativa e Quantificacional de Primeira Ordem, o II SECAFUNP sob o tema "Lógica Formal e Filosofia Analítica como Fator de Inovação" (com conferência homônima) e o II Seminário de Cálculo Diferencial e Integral em Engenharia (II SCADIENG), com o tema e palestra "Os Caminhos da Inovação em Engenharia Matemática".
Em 2012, o Ensino de Matemática Aplicada e Lógica fortaleceu-se com o curso Maple Aplicado no Ensino do Cálculo nas Engenharias e uma sequência intensa de formações: Lógica Matemática Sentencial Inferencial, Cálculo Inferencial Dedutivo em Lógica Matemática Proposicional, Engenharia Inferencial, Cálculo Inferencial Proposicional em Lógica Matemática, Inteligência Lógica nas Ciências Exatas e A Lógica da Necessidade. No decorrer de 2013, foram ofertados sete cursos de extensão na UTFPR: Lógica Matemática Proposicional e Predicativa, Axiomatização da Lógica Matemática de Primeira Ordem, Lógica Matemática Dedutiva Aplicada, Lógica Matemática Inferencial Dedutiva, Cálculo Lógico e Análise Lógica de Funções Enunciativas, Análise de Argumentos Dedutivos em Lógica Matemática e Álgebra da Lógica Aplicada na Avaliação de Raciocínios Dedutivos.
A partir de 2013, os seminários SELOGMAS e SECAFUNP derivaram e se transformaram no Colóquio Entelechia Logicae (COENTELOG). Enquanto a palavra "colóquio" remete a um diálogo acadêmico para discussão temática e o vocábulo latino "logicae" indica o genitivo "da lógica", o termo aristotélico "entelechia" designa a realização plena e em ato da finalidade natural de um ser.
Assim, "Entelechia Logicae" consagra-se como a realização plena da lógica, marcando a passagem da lógica contemplativa e teórica para o seu estado de aplicação prática na cognição e na modelagem de sistemas complexos. O COENTELOG, interligado ao Centro de Engenharia Lógica e Cognição (CENENLOCOG), inaugurou sua primeira edição em 23/06/2013, tornando-se evento histórico voltado a debater a Engenharia Lógica aplicada na indústria, lógicas mentais recursivas, nanociência, metadados, Internet Industrial das Coisas (IIoT) e a cognição computacional para o avanço das Indústrias 4.0 e 5.0.
No ano de 2014, realizaram-se os cursos Lógica Matemática Inferencial Proposicional de Primeira Ordem e Análise Lógica de Modelos Diferenciais e Integrais nas Engenharias. De 10/03/2014 a 14/03/2014, organizou-se o I SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência), com o tema central "Engenharias em Inovação Científica e Tecnológica" (10h), no qual foi proferida palestra sobre "Engenharia Lógica, Cálculo Lógico Inferencial e Engenharia Matemática".
O SIDELOFIC foi idealizado e conduzido como projeto de extensão universitária e tecnológica sem ônus para a instituição e totalmente gratuito para os participantes. Logo em seguida, promoveram-se o Colóquio Entelechia Logicae: Inovação em Engenharia Lógica e o III COENTELOG: Lógicas Mentais Recursivas. No meio do ano de 2014, ocorreram os cursos Cálculo Sentencial Dedutivo em Lógica Matemática Inferencial e Cálculo Proposicional em Lógica Matemática Inferencial Dedutiva, finalizando o ano com Lógica Formal Aplicada na Análise Dedutiva de Inferências e Lógica Matemática Aplicada na Avaliação de Raciocínios Dedutivos.
O ano de 2015 abriu com o curso Lógica Diferencial e Integral de Modelos Hiperbólicos e o IV COENTELOG: Engenharia Lógica Aplicada na Indústria. De 06/04/2015 a 10/04/2015, realizou-se o II SIDELOFIC sob o tema "Possibilidades Tecnológicas e Segurança Científica", no qual foi ministrada a palestra "Engenharia Lógica e Gerenciamento Industrial".
Na sequência, promoveram-se o curso Análise Lógica Sentencial e Predicativa Aplicada na Demonstração Dedutiva e o I SETECIEI (Seminário de Tecnologias e Ciências para Engenharia e Indústria), com o tema "Simbiose e Exigências Relacionais entre Academia e Indústria", visando discutir a simbiose entre ensino, pesquisa e o setor produtivo. Em seguida, ofertou-se o curso Lógica Matemática Aplicada em Modelos Inferenciais.
No período de 14/08/2015 a 28/08/2015, em comemoração aos dez anos da transformação do Cefet-PR em UTFPR, realizou-se o I SEQUANTEI (Seminário de Quantificação Aplicada em Engenharia e na Indústria), sob o tema "Relação Corporativa entre Tecnologia e Ciência". O I SEQUANTEI teve como objetivo aproximar a universidade da indústria através do compartilhamento de pesquisas desenvolvidas pelo Grupo de Pesquisa em Lógica e Filosofia da Ciência (GPLFC) e pelo Grupo de Pesquisa em Desenvolvimento Tecnológico e Científico em Engenharia e na Indústria (GPDTCEI), ambos fundados e liderados pelo idealizador da proposta.
No I SEQUANTEI foram ministradas as conferências "Exigências Holísticas entre Tecnologia e Ciência" e "Modelagem Lógica Sentencial e Inferencial". O ano seguiu com o curso Análise Inferencial Dedutiva em Lógica Matemática e com a conferência "Necessária Simbiose entre Tecnologia da Indústria e Ciência da Academia" (2h), integrante da Semana Nacional de Ciência e Tecnologia (SNCT 2015, tema "Luz, Ciência e Vida").
Em 2016, a articulação com os avanços industriais intensificou-se. A programação iniciou com o curso Algebrização e Axiomatização de Sistemas Lógicos, a oficina Engenharia Lógica nos Caminhos da Quarta Revolução Industrial e o V COENTELOG: Metadados, Nanociência e Revolução Industrial. De 22/02/2016 a 24/02/2016, ocorreu o III SIDELOFIC sob o tema "Máquinas Lógicas Virtuais em Engenharia Lógica", com as palestras "Máquinas Lógicas Virtuais", "Engenharia Lógica Aplicada às Nanomáquinas" e "Análise Inferencial Dedutiva Computacional". Seguiram-se o II SETECIEI (Ciências e Tecnologias na Quarta Revolução Industrial) e o curso Cálculo Lógico Dedutivo Sentencial.
Entre 15/08/2016 e 19/08/2016, realizou-se o I SLAIDEL (Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica, 20h), espaço de convergência analítica voltado a demonstrar como a álgebra booleana, reticulados e raciocínios inferenciais sustentam a computabilidade e o avanço tecnológico na engenharia. Na sequência, promoveu-se o II SEQUANTEI, com o tema "Tríplice Hélice do Conhecimento-Inovação", voltado a divulgar o projeto articulador entre setor produtivo, governo e universidade guiado pelos Objetivos de Desenvolvimento Sustentável (ODS) e pela Agenda 2030 da ONU, no qual foi proferida a palestra "Modelos Inferenciais Dedutivos". O ano encerrou-se em outubro com o Colóquio Engenharia Lógica: Análise Inferencial e Computabilidade em Engenharia Lógica.
O início de 2017 trouxe uma série encadeada de eventos de extensão: o VI COENTELOG (Lógica da Cognição Computacional e Consciência Cibernética) e o II SECANQUARI (Seminário de Engenharia Lógica nos Caminhos da Quarta Revolução Industrial), com o tema "Lógica Condicional entre Nanociências e Nanotecnologias", focado na intersecção entre lógica matemática, automação, interoperabilidade e componentes nanométricos.
De 14/02/2017 a 17/02/2017, realizou-se o IV SIDELOFIC sob o tema "Cognição Computacional e Filosofia Analítica", com as palestras "Aspectos Lógicos da Cognição Sistêmica no Meio Industrial", "Aquisição Analítica de Conhecimento" e "Cognição Computacional e Filosofia Analítica". Na sequência, ocorreram o III SETECIEI (Simbiose entre Ciências e Tecnologias na Quarta Revolução Industrial) e o I FOCONVALRAD (Fórum sobre Consistência e Validade de Raciocínios Dedutivos: Consistência e Validade Dedutiva), focado nos pilares da lógica dedutiva como validade semântica, consistência e eliminação de falácias formais.
No segundo semestre de 2017, realizaram-se o Seminário sobre Simbiose entre Indústria 4.0 e ODS e o III SEQUANTEI sob o tema "Indústria 4.0 e Inovação em Engenharia", que divulgou o Projeto de Especialização Lato Sensu em "Modelos e Métodos Quantitativos Aplicados em Engenharia e na Indústria", contando com as conferências "Engenharia Lógica na Indústria 4.0" e "Engenharia Matemática e Engenharia Lógica". O ano finalizou com o II SLAIDEL (A Necessidade Matemática nas Engenharias) e o II COLENLOG (Engenharia Matemática para além das Matemáticas).
Em 2018, no âmbito do CENENLOCOG, realizou-se o COENTELOG 2018: Consciência Cibernética em Engenharia Lógica, evidenciando procedimentos formais de tomada de decisão dedutiva. Em 10/12/2018, conduziu-se o IV SEQUANTEI: Os ODS como Fator de Disrupção na Indústria 4.0, em parceria com o Conselho Multidisciplinar de Cognição Disruptiva (CMCD). Em 21/10/2019, o SELOCOG (Seminário de Engenharia Lógica e Cognição) abordou o tema "Engenharia Infinita em um Mundo Sem Lixo", correlacionando Logística Reversa, Política Nacional de Resíduos Sólidos e o paradigma Economia Circular / Cradle to Cradle (C2C).
Após o período de adequações de projetos durante a pandemia de Covid-19, as atividades presenciais e remotas foram retomadas em 18/03/2022 com a primeira reunião do CENENLOCOG para estabelecer planos de mitigação das consequências da pandemia no desenvolvimento urbano. Em 13/07/2022, o SELOCOG 2022, promovido pelo CMCD do CENENLOCOG, discutiu "RSC Trilhando os Caminhos da Inovação no Mundo Disruptivo" (tema da palestra ministrada). A partir de 2023, os Seminários de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência (SIDELOFIC) retomaram suas atividades no primeiro semestre, acompanhados pelo Webinar "Inovação e Desenvolvimento em Lógica e Filosofia da Ciência" e pela reiteração da palestra "Engenharia Lógica e Gerenciamento Industrial". Em 25/03/2023, a conferência "Engenharia Lógica avalia Chat de IA" abriu os trabalhos do CENENLOCOG.
Em 10/04/2023, organizou-se o I Simpósio de Lógica e Neurociência (SIMLOGNEU), fórum interdisciplinar focado na interface entre o pensamento formal e a biologia do sistema nervoso, no qual foi ministrada a palestra "Lógica dos Distúrbios Cognitivos e Neurológicos". Em 04/07/2023, realizou-se a edição do SELOCOG 2023, dando sequência aos princípios de cognição disruptiva consolidados nos anos anteriores.
Celebrando marcos históricos das iniciativas (como dez anos do SLAIDEL), em 26/12/2025 realizou-se a palestra "Modelagem Lógica" durante o SELOCOG 2025, consolidando a Engenharia Lógica como método estruturante de análise, tecnologia e transformação social.
A solidificação do percurso acadêmico e das proposições contidas nos textos articulados demonstra que a Engenharia Lógica se estabeleceu como um arcabouço epistemológico e operacional completo, fundamentado na premissa de que engendrar soluções exige um rigor formal no qual premissas bem definidas geram necessariamente conclusões válidas. Estruturada sobre os Cálculos Lógicos Sentencial e de Predicados, a Teoria da Demonstração e a Lógica Algébrica, essa disciplina atua de forma análoga às engenharias tradicionais, substituindo os princípios físicos pela rigorosa consistência da Lógica Matemática de Primeira Ordem para garantir a validade dos sistemas desenvolvidos. Esse arcabouço atua também na distinção precisa entre antinomias e paradoxos no âmbito das proposições contraválidas, reforçando a primazia ontológica da Lógica sobre a própria estrutura da Matemática.
Nas transformações da Quarta e Quinta Revoluções Industriais, a Engenharia Lógica atua como sustentáculo metodológico para a otimização de Sistemas Ciberfísicos, permitindo a modelagem e a validação dedutiva de processos industriais antes de sua execução no mundo físico. Além disso, fornece o rigor necessário para a integração entre Metadados e Nanociência, além de nortear a transição das abordagens puramente estatísticas da Inteligência Artificial em direção à Consciência Cibernética, atribuindo explicabilidade e coerência aos modelos cognitivos artificiais.
Ao engendrar soluções alinhando o contínuo avanço das Tecnologias, o alcance dos ODS e a efetivação do modelo da Tríplice Hélice, a Engenharia Lógica reafirma seu papel determinante para a construção de um ecossistema produtivo constantemente disruptivo, inovador e sustentável.
* Carlos Magno Corrêa Dias é professor, pesquisador, conselheiro consultivo do Conselho das Mil Cabeças da CNTU, conselheiro sênior do então Conselho Paranaense de Cidadania Empresarial (CPCE) do Sistema Fiep (atual Conselho de Responsabilidade Social do Sistema Fiep), líder/fundador do Grupo de Pesquisa em Desenvolvimento Tecnológico e Científico em Engenharia e na Indústria (GPDTCEI) do CNPq, líder/fundador do Grupo de Pesquisa em Lógica e Filosofia da Ciência (GPLFC) do CNPq, personalidade empreendedora do Estado do Paraná pela Assembleia Legislativa do Estado do Paraná (Alep).
