Em fevereiro de 2016, no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná) desenvolvi evento que se tornou o epicentro de uma discussão fundamental tanto para o avanço da Computação quanto da Filosofia da Ciência.
Como proponente, organizador e coordenador do III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência), realizado no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná), tive o privilégio de conduzir imersão técnica na correspondente área do saber. O III SIDELOFIC teve como tema central “Máquinas Lógicas Virtuais em Engenharia Lógica”.
DIAS, Carlos Magno Corrêa - 2026
O III SIDELOFIC foi a resposta necessária aos desenvolvimentos teóricos que amadureceram ao longo do tempo. Percebia que para dar continuidade ao processo de inovação pretendido, era necessário consolidar o conceito de Engenharia Lógica não apenas como um exercício abstrato, mas como uma ferramenta aplicada.
DIAS, Carlos Magno Corrêa - 2016
Basicamente, o III SIDELOFIC levou em consideração a necessária “Análise Inferencial Dedutiva Computacional” na geração de Produtos, Serviços ou Processos associados ao gerenciamento de Metadados por intermédio da Engenharia Lógica levando em conta as Nanotecnologias (em geral) e, especificamente, as Nanomáquinas (em particular).
Na abertura do evento, em 22/02/2016, proferi a Palestra (Conferência) intitulada “Análise Inferencial Dedutiva Computacional” na qual defendi que a “geração de inteligência em sistemas complexos depende da capacidade de processar inferências lógicas de forma dedutiva e automatizada”.
“Sem a Estrutura Lógica o gerenciamento de Metadados torna-se um oceano de informações sem propósito”. A realização do III SIDELOFIC na TECNOLÓGICA (UTFPR) confirmou que a aplicabilidade da Engenharia Lógica é o caminho para transformar dados brutos em produtos e serviços inovadores.
Ministrei, também, no III SIDELOFIC, respectivamente, em 23/02/2016 e 24/02/2016, as Palestras intituladas “Engenharia Lógica Aplicada às Nanomáquinas” e “Máquinas Lógicas Virtuais”.
Em “Engenharia Lógica Aplicada às Nanomáquinas” considerei que a aplicação da Engenharia Lógica às Nanomáquinas permite que a funcionalidade seja programada e prevista com rigor matemático; utilizando a Lógica como a "planta baixa" para a construção de sistemas em escalas nanométricas, garantindo que o comportamento esperado seja obtido através de processos inferenciais.
Em “Máquinas Lógicas Virtuais” evidenciei conceito que representa o ápice da abstração operacional: um ambiente onde a Lógica não apenas descreve o sistema, mas é o “próprio motor de execução”. As “Máquinas Lógicas Virtuais” funcionam como “camadas de inteligência capazes de gerir a complexidade inerente às novas tecnologias de informação e materiais”.
Carlos Magno Corrêa Dias
27/02/2026