Tríade de livros celebram início da Engenharia Lógica.

E já são passados vinte anos, desde a publicação de minhas obras “A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior” (ISBN: 85-900661-2-6), “Compêndios de matemática e lógica matemática: uma abordagem extemporânea” (ISBN: 85-900661-4-2) e “Lógica matemática: introdução ao cálculo proposicional” (ISBN: 85-900661-3-4).

A tríade destes livros coroava os estudos e pesquisas que instituíram os pressupostos de minha ENGENHARIA LÓGICA (ou ENGENHARIA INFERENCIAL) concebida e desenvolvida ao longo dos dez anos anteriores.

Então, em 2019, não somente celebro as duas décadas de existências destas três obras fundamentais para a ENGENHARIA LÓGICA, como, também, as três décadas de minha concepção da ENGENHARIA LÓGICA que em contínua construção já provocou profundas transformações na forma de se pensar e engendrar soluções para o nosso mundo real.

Dadas as relações de impregnação mútuas entre a Inteligência Lógica (um dos sete tipos de inteligência e que está fortemente relacionada ao lado direito do cérebro) e a ENGENHARIA INFERENCIAL que propus como área de conhecimento para engendrar e desenvolver métodos e técnicas para a avaliação e correção formal de raciocínios centrados na Computabilidade dos Cálculos Lógicos, a ENGENHARIA INFERENCIAL (centrada em Inferências Lógicas constitue a base para a criação, aperfeiçoamento ou implementação de soluções) tornou-se uma forma estrita de Engenharia a qual possibilita engendrar modelos formais de solução de problemas equacionáveis algébrica e logicamente, bem como, produzir dispositivos automáticos para aferir a validade de raciocínios dedutivos originalmente identificados.

A Engenharia Lógica serve-se, também, de técnicas formais de avaliação de processos dedutivos direcionadas para a aquisição de conhecimentos, bem como, de métodos algébricos de gerenciamento sistemático de informações tomando por suporte os Cálculos Algébricos da Lógica Matemática Sentencial e Predicativa de Primeira Ordem.

Carlos Magno Corrêa Dias
04/06/2019