Desenvolvo os fundamentos da “Engenharia Lógica” há mais de três décadas, com marcos significativos que remontam ao início da década de 1990. Então, são, na verdade, quase 40 (quarenta) anos (quatro décadas), 36 anos em 2026.
-CMCD-L.png)
DIAS, C. M. C. - 2026
O termo “Engenharia Lógica” ganha projeção a cada novo ano atrelado às “Revoluções Tecnológicas” e/o às “Ondas de Inovação” desde o início das pesquisas elaboradas as quais estão conectadas a títulos e registros históricos de minha carreira.
Segundo meu posicionamento, a “Engenharia Lógica” é uma proposta do “engendrar” (“engenheirar”) que utiliza a Lógica Matemática de Primeira Ordem como fundação para o desenvolvimento de “Tecnologias Disruptivas” como Inteligência Artificial (IA), Computação Quântica, Cidades Inteligentes, Redes Neurais, Consciência Cibernética, dentre outras. Defendo que não há inovação tecnológica real sem o rigor dos Cálculos Lógicos e da Álgebra da Lógica.
Embora as bases teóricas da “Engenharia Lógica” (“Engenharia Inferencial”) foram apresentadas lá em 1990 com o meu trabalho “Modelagem Matemática como Modelo Lógico”, teve os fundamentos divulgados entre 1999 e 2001 com a publicação de minhas obras: Compêndios de Matemática e Lógica Matemática: uma abordagem extemporânea de 1999 (com ISBN: 85-900661-2-6); Silogística: introdução à lógica categórica de 2000 (com ISBN: 85-900661-5-0); e, segunda edição de Lógica Matemática: introdução ao cálculo proposicional de 2001 (com ISBN: 85-900661-6-9).
“Compêndios de Matemática e Lógica Matemática: uma abordagem extemporânea” tem como foco a sistematização dos estudos, tratando a Lógica sob uma perspectiva "extemporânea" (fora do tempo comum ou tradicional), conectando a evolução histórica da matemática com o rigor lógico.
“Silogística: introdução à lógica categórica”, centrada na Lógica Clássica Aristotélica, aborda a estrutura dos Silogismos, Inferências Imediatas e a Validade de Argumentos Categóricos, servindo como base necessária para a compreensão da Lógica Formal antes da transição para o Cálculo Simbólico moderno/contemporâneo.
Por sua vez, na segunda edição de “Lógica Matemática: introdução ao cálculo proposicional” (ISBN: 85-900661-6-9), com uma primeira edição em 1999 (ISBN: 85-900661-3-4), detalho a Álgebra Proposicional, Métodos de Tabelas-Verdade, Sistemas Axiomáticos e a Teoria da Argumentação Dedutiva os quais são necessários para se fazer e aplicar a “Engenharia Lógica”.
As ferramentas desenvolvidas na concepção de “Engenharia Lógica” atendem desafios tecnológicos e científicos ao longo do passar do tempo por favorecer a "a indução de disrupção (mudança)" sempre. A “Engenharia Lógica” não é apenas um “conceito”, mas uma metodologia que se atualiza para fundamentar as novas ferramentas tecnologias tomando-se por base o rigor e o alcance da Lógica Matemática.
Carlos Magno Corrêa Dias
03/01/2026
Segundo meu posicionamento, a “Engenharia Lógica” é uma proposta do “engendrar” (“engenheirar”) que utiliza a Lógica Matemática de Primeira Ordem como fundação para o desenvolvimento de “Tecnologias Disruptivas” como Inteligência Artificial (IA), Computação Quântica, Cidades Inteligentes, Redes Neurais, Consciência Cibernética, dentre outras. Defendo que não há inovação tecnológica real sem o rigor dos Cálculos Lógicos e da Álgebra da Lógica.
Embora as bases teóricas da “Engenharia Lógica” (“Engenharia Inferencial”) foram apresentadas lá em 1990 com o meu trabalho “Modelagem Matemática como Modelo Lógico”, teve os fundamentos divulgados entre 1999 e 2001 com a publicação de minhas obras: Compêndios de Matemática e Lógica Matemática: uma abordagem extemporânea de 1999 (com ISBN: 85-900661-2-6); Silogística: introdução à lógica categórica de 2000 (com ISBN: 85-900661-5-0); e, segunda edição de Lógica Matemática: introdução ao cálculo proposicional de 2001 (com ISBN: 85-900661-6-9).
“Compêndios de Matemática e Lógica Matemática: uma abordagem extemporânea” tem como foco a sistematização dos estudos, tratando a Lógica sob uma perspectiva "extemporânea" (fora do tempo comum ou tradicional), conectando a evolução histórica da matemática com o rigor lógico.
“Silogística: introdução à lógica categórica”, centrada na Lógica Clássica Aristotélica, aborda a estrutura dos Silogismos, Inferências Imediatas e a Validade de Argumentos Categóricos, servindo como base necessária para a compreensão da Lógica Formal antes da transição para o Cálculo Simbólico moderno/contemporâneo.
Por sua vez, na segunda edição de “Lógica Matemática: introdução ao cálculo proposicional” (ISBN: 85-900661-6-9), com uma primeira edição em 1999 (ISBN: 85-900661-3-4), detalho a Álgebra Proposicional, Métodos de Tabelas-Verdade, Sistemas Axiomáticos e a Teoria da Argumentação Dedutiva os quais são necessários para se fazer e aplicar a “Engenharia Lógica”.
As ferramentas desenvolvidas na concepção de “Engenharia Lógica” atendem desafios tecnológicos e científicos ao longo do passar do tempo por favorecer a "a indução de disrupção (mudança)" sempre. A “Engenharia Lógica” não é apenas um “conceito”, mas uma metodologia que se atualiza para fundamentar as novas ferramentas tecnologias tomando-se por base o rigor e o alcance da Lógica Matemática.
Carlos Magno Corrêa Dias
03/01/2026
-CMCD-OP-EL-C-L.png)