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) tive a grata satisfação de coordenar e desenvolver o primeiro SLAIDEL (Seminário de LÓGICA ALGÉBRICA INFERENCIAL DEDUTIVA EM ENGENHARIA LÓGICA).
O SLAIDEL 2016 teve como objetivo principal apresentar os condicionantes Algébricos Operacionais que estou desenvolvendo 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.
Seguindo a concepção que não basta a IA (Inteligência Artificial) e sim é exigida uma CC (Consciência Cibernética) os pressupostos analíticos da ENGENHARIA LÓGICA foram novamente chamados para a evidenciação de interfaceamento do híbrido LÓGICO-CIBERNÉTICO em ENGENHARIA LÓGICA para aproximação causal entre Ciência e Tecnologia no nível nanométrico.
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
08/09/2016