Partindo dos fundamentos da construção da Engenharia Lógica que estou desenvolvendo e na concepção que não basta IA (Inteligência Artificial) e sim é exigida uma CC (Consciência Cibernética) para engendrar o interfaceamento eficiente do híbrido LÓGICO-CIBERNÉTICO para aproximação causal entre Ciência e Tecnologia no nível nanométrico quando se exige iteração humano-computador, ministrei, no período de 15/08/2016 a 19/08/2015, no Câmpus Curitiba da TECNOLÓGICA (Universidade Tecnológica Federal do Paraná - UTFPR), o primeiro SLAIDEL (Seminário de LÓGICA ALGÉBRICA INFERENCIAL DEDUTIVA EM ENGENHARIA LÓGICA).
O SLAIDEL 2016 teve como objetivo, também, apresentar os condicionantes Algébricos Operacionais que desenvolvo em ENGENHARIA LÓGICA em associação com o Cálculo Sentencial necessários para o desenvolvimento da Prova Formal de Argumentos e de Inferências Dedutivas de Primeira Ordem orientados por Sistemas Axiomáticos Lógicos nos quais são exigidas Corretude Lógica e Completude Lógica para a manutenção da Consistência Analítica e Eficiência Mental na instanciação de Interface Biocompatível com relação SIMBIÓTICA RELACIONAL PROCEDIMENTAL LÓGICA entre linguagem binária e processos eletroquímicos dos neurônios em cérebros humanos.
Durante o SLAIDEL 2016 chamei, uma vez mais, como possibilidade analítica condicional, a Álgebra da Lógica para a intensificação das potencializações do Raciocínio Lógico Dedutivo centrado em estudos fundamentados na Análise Inferencial e na Teoria da Argumentação, desenvolvidos em Lógica Formal em associação com a ENGENHARIA LÓGICA. A Avaliação Formal da Validade de Argumentos Dedutivos foi tônica replicante e recursiva. Não basta "pensar". É necessário PENSAR de forma "consistente" e "lógica".
Carlos Magno Corrêa Dias
29/09/2016