Dez Anos do SLAIDEL

No período de 15 a 19 de agosto de 2016, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), tive a grata satisfação e a honra institucional de propor, organizar, coordenar e desenvolver como docente a Ação de Extensão Universitária e Tecnológica intitulada Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica (SLAIDEL).

Ao alcançar em 2026 uma década da realização do primeiro SLAIDEL, é celebrada a reafirmação dos pressupostos científicos e epistemológicos que motivaram a sua concepção original. O primeiro SLAIDEL foi planejado como um espaço de convergência analítica para demonstrar que o avanço tecnológico sustentável e o progresso da computação exigem fundamentos lógicos rigorosos, nos quais a precisão conceitual e a coerência do raciocínio são requisitos estruturais primordiais.

No SLAIDEL 2016, apresentei as seguintes palestras: Engenharia Lógica e Teoria da Prova Dedutiva (em 19/08/2016); Corretude e Completude em Sistemas Consistentes (em 18/08/2016); Análise Inferencial e Teoria da Argumentação Lógica (em 17/08/2016); Cálculos Lógicos e Álgebra da Lógica Dedutiva (em 16/08/2016); e, Semântica e Sintaxe de Linguagens Formais de Primeira Ordem (em 15/08/2016).

DIAS, Carlos Magno Corrêa - 2026

Assim sendo, observa-se que jornada em questão se pautou na Avaliação Formal da Validade de Argumentos Dedutivos, assentada na premissa categórica de que no ecossistema científico e tecnológico não basta apenas pensar de forma intuitiva ou difusa, mas é absolutamente inescapável e imperativo pensar de forma rigorosamente lógica e consistente.

O objetivo central do SLAIDEL 2016 foi apresentar os condicionantes Algébricos Operacionais que venho desenvolvendo no âmbito da 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 Sistemas envolvidos, a Corretude Lógica e a Completude Lógica são exigências para a manutenção da Consistência Analítica e para a promoção da Eficiência Mental na instanciação de interfaces fundamentadas em uma relação simbiótica, relacional e procedimental lógica entre a linguagem binária dos sistemas artificiais e os processos eletroquímicos dos neurônios no cérebro humano. Semelhante visão integrada colocou em evidência a capacidade da Engenharia Lógica de atuar como ponte causal entre o código discreto da tecnologia e o substrato contínuo e complexo da neurobiologia.

Seguindo a concepção de que não basta a Inteligência Artificial (IA), mas é indispensável a construção de uma Consciência Cibernética (CC), os pressupostos analíticos da Engenharia Lógica foram novamente chamados para evidenciar o interfaceamento do híbrido lógico-cibernético e promover a aproximação causal entre Ciência e Tecnologia no nível nanométrico.

Carlos Magno Corrêa Dias
15/08/2026

Reflexões em Tempos de Metamorfose

Celebrar meia década de uma reflexão escrita é, acima de tudo, ter a oportunidade de confrontar as ideias teóricas com a soberania do tempo.

No dia 13 de agosto de 2021, em pleno auge das incertezas e transformações aceleradas pela pandemia de Covid-19, foi publicado o meu artigo "Parâmetros norteadores para seguir em um mundo disruptivo" nas páginas oficiais da Federação Nacional dos Engenheiros (FNE) e do Sindicato dos Engenheiros no Estado de São Paulo (Seesp).

Aquele texto nasceu do incômodo e da constatação de que o trabalho (e as formas de se posicionar frente a ele) havia mudado irreversivelmente. Considerei a transição paradigmática entre o tradicional mundo VUCA (“Volatility, Uncertainty, Complexity, Ambiguity”, em português: Volatilidade, Incerteza, Complexidade, Ambiguidade) e o emergentíssimo mundo BANI (“Brittle, Anxious, Nonlinear, Incomprehensible”, em português: Frágil, Ansioso, Não Linear, Incompreensível).

Argumentei, então, que tentar aplicar antigas fórmulas de planejamento em um cenário frágil e sobrecarregado de informações seria inútil: era necessário, imperativamente, "aprender a aprender", desaprender e reaprender a todo instante.

Celebrar os 5 anos de publicação daquele artigo traz um sentimento de gratidão, pois as premissas levantadas em 2021 continuam a ressoar com assustadora atualidade. A Quarta Revolução Industrial seguiu seu ritmo vertiginoso, a Inteligência Artificial (IA) reorganizou ainda mais as profissões e as relações profissionais, e a constante necessidade de inteligência emocional, resiliência e adaptabilidade provou não ser apenas um jargão temporário, mas o único porto seguro para os trabalhadores e corporações.

Que seja sempre possível seguir atentos às transformações, abertos ao aprendizado contínuo e conscientes de que, por mais incerto ou incompreensível que o amanhã possa parecer, a capacidade humana de se reinventar sempre prevalecerá.

DIAS, Carlos Magno Corrêa - 2026

O artigo “Parâmetros norteadores para seguir em um mundo disruptivo” encontra-se disponível nos endereços: https://www.fne.org.br/artigos/6370-parametros-norteadores-para-seguir-em-um-mundo-disruptivo e https://www.seesp.org.br/site/comunicacao/noticias/item/20480-artigo-parametros-norteadores-para-seguir-em-um-mundo-disruptivo.

Carlos Magno Corrêa Dias
13/08/2026

Referências:
(1) DIAS, Carlos Magno Corrêa. Parâmetros norteadores para seguir em um mundo disruptivo. Federação Nacional dos Engenheiros (FNE), Brasília, DF, 13 ago. 2021. Artigos. Disponível em: https://www.fne.org.br/artigos/6370-parametros-norteadores-para-seguir-em-um-mundo-disruptivo.
(2) DIAS, Carlos Magno Corrêa. Parâmetros norteadores para seguir em um mundo disruptivo. Sindicato dos Engenheiros no Estado de São Paulo (Seesp), São Paulo, 13 ago. 2021. Notícias. Disponível em: https://www.seesp.org.br/site/comunicacao/noticias/item/20480-artigo-parametros-norteadores-para-seguir-em-um-mundo-disruptivo.

FBN é integrada com “Extratos lógicos atemporais”

Em agosto de 2026, completam-se dez anos (uma década) da incorporação dos meus “Extratos lógicos atemporais” (ISBN: 978-85-88925-24-3) ao acervo da Divisão de Depósito Legal (DDL) da Fundação Biblioteca Nacional (FBN).

Efetivado com aceitamento formal a partir de 11/08/2016, conforme o Recibo número 3.138/16, o Depósito Legal de “Extratos lógicos atemporais” na FBN representa o cumprimento da Lei Federal 10.994/2004, marco regulatório do Depósito Legal no Brasil, que assegura o registro, a guarda e a salvaguarda da produção intelectual brasileira, garantindo a preservação da Coleção Memória Nacional da FBN, possibilitando o controle bibliográfico e divulgando a Bibliografia Brasileira corrente.

DIAS, Carlos Magno Corrêa - 2026

“Extratos lógicos atemporais” (ISBN: 978-85-88925-24-3) objetiva promover, de um lado, extensões e, de outro, reflexões, não constituindo defesa unilateral de posições revolucionárias acerca dos correspondentes conhecimentos selecionados. A obra, embora contenha determinadas discussões sistematizadas sobre os assuntos contemplados, não tem por objetivo uma compreensão no sentido estrito do termo, mas, antes, almeja constituir uma impressão sobre os temas expostos sem levar em conta, entretanto, as amarras do tempo ou a contingência do concatenar sequencial de saberes para um fim anunciado.

Não se trata, em sentido rigoroso, de um livro estrito sobre “Lógica” (mesmo que em alguns capítulos em muito se assemelhe). A obra apresenta considerações específicas sobre tópicos de Lógica Matemática, mas sem a preocupação sistêmica de se seguir uma sequência estruturada de exposição ou de encadeamento dos temas tratados. Porém, aborda, também, outros temas que procuram relacionamentos ou aproximações com a “Lógica” para instanciar a geração de novos ou inovadores conhecimentos.

A obra em questão, reunindo trabalhos adaptados de publicações anteriores, foi organizada em cinco capítulos: Capítulo I (Lógica Matemática e Teoria dos Conjuntos); Capítulo II (A Concepção de Rudolf Carnap sobre a Matemática); Capítulo III (Raciocínio Lógico Dedutivo Proposicional); Capítulo IV (Realidade e Segurança nas Nuvens); e Capítulo V (Engenharia Universal e Sustentabilidade).

DIAS, Carlos Magno Corrêa - 2015

“Extratos lógicos atemporais” (ISBN: 978-85-88925-24-3), mesmo depois de uma década de Depósito na DDL/FBN e integrando o acervo da fantástica Biblioteca Nacional, segue cumprindo seu principal objetivo de fornecer perspectivas que permitam extensões e motivem estudos mais aprofundados.

Carlos Magno Corrêa Dias
11/08/2026

Referências:
(1) DIAS, Carlos Magno Corrêa. Extratos lógicos atemporais [Recibo de Depósito Legal]. Rio de Janeiro (RJ): Fundação Biblioteca Nacional (FBN), Divisão de Depósito Legal (DDL), 11 ago. 2016. Recibo número 3.138/2016.
(2) Prefácio da obra "Extratos Lógicos Atemporais" disponível em: https://repositorio-entelechia-logicae.blogspot.com/2024/03/prefacio-primeira-edicao-de-extratos.html.

A Educação como Pilar da Sustentabilidade

Neste agosto de 2026, celebro a publicação do artigo "Educação efetiva é condição para sustentabilidade", veiculado em 8 de agosto de 2016 no blog Giro Sustentável do jornal Gazeta do Povo.

O artigo delineou uma tese fundante: não há possibilidade de consolidação do desenvolvimento sustentável, em quaisquer de suas dimensões, sem que haja uma educação de qualidade capaz de assegurar o aprendizado efetivo e a formação cidadã plena das novas gerações.

A reflexão proposta transcende o diagnóstico conjuntural lançando luz sobre a estrutura do problema educacional brasileiro. Tomando como ponto de partida analítico os dados do Programa de Avaliação Internacional de Estudantes (PISA), promovido pela OCDE, o texto examina de forma minuciosa a trajetória do país nas áreas essenciais de Leitura, Matemática e Ciências.

A constatação trazida pela análise dos resultados do PISA 2012 revela um cenário alarmante, no qual o Brasil figurou nas últimas colocações entre os 65 países avaliados (58º em Matemática, 55º em Leitura e 59º em Ciências), demonstrando graves limitações dos estudantes na interpretação textual, na aplicação de conceitos científicos no cotidiano e na resolução de problemas matemáticos fundamentais.

Mais do que expor números, o artigo realiza uma denúncia indispensável sobre a cultura do esquecimento e a pulverização da responsabilidade social no país. Há uma incoerente desconexão entre a indignação temporária provocada pela divulgação de diagnósticos educacionais negativos e a falta de ações sérias e continuadas para reverter esse quadro. Sem uma transformação drástica e contínua nas políticas públicas, o ciclo de estagnação se perpetua, comprometendo o horizonte das futuras gerações e fragilizando as bases do desenvolvimento socioeconômico nacional.

No artigo é considerado que a educação não representa uma meta isolada, mas o motor central para o êxito de todos os demais objetivos globais, desde a erradicação da pobreza e a promoção da saúde até a inovação tecnológica, o trabalho digno e o combate às mudanças climáticas.

Revisitar o artigo em tela é reafirmar que a busca pela sustentabilidade exige o engajamento consciente de toda a sociedade. A mensagem veiculada em 2016 permanece urgente, servindo como farol reflexivo para lembrar que a verdadeira sustentabilidade não se constrói com discursos abstratos, mas sim com o fortalecimento de uma educação efetiva, transformadora e verdadeiramente inclusiva.

DIAS, Carlos Magno Corrêa - 2026

O artigo está disponível no endereço: https://drive.google.com/file/d/1OY5kVILBBpK-KtJ6oDaTSBx5-mP7ODxU/view?usp=sharing.

Carlos Magno Corrêa Dias
10/08/2026

Refletindo sobre um bem de todos

A discussão sobre as dinâmicas globais de produção, circulação e apropriação do saber ganha um capítulo particular no artigo "O Conhecimento como Patrimônio da Humanidade".

O texto em tela propõe uma reflexão crítica e profundamente necessária ao posicionar a Ciência Aberta e o Acesso Aberto não como escolhas metodológicas secundárias, mas como imperativos éticos e políticos inalienáveis.

No artigo em referência sustento que todo conhecimento científico financiado com recursos públicos deve ser categorizado como um bem comum universal, pertencente de forma irrestrita a toda a sociedade.

Ao se contextualizar a realidade da América Latina, região que construiu historicamente uma tradição sólida e pioneira no cenário global ao estruturar ecossistemas de acesso aberto mantidos por infraestruturas públicas e plataformas acadêmicas não comerciais, o texto expõe o paradoxo financeiro imposto aos pesquisadores e instituições do Sul Global, que enfrentam barreiras econômicas perversas criadas por grandes editoras internacionais através de elevadas taxas de publicação.

Além dos entraves financeiros, o artigo detalha os conflitos estruturais entre a partilha aberta e a lógica mercantil da proteção por patentes. Demonstra-se que a circulação irrestrita das evidências científicas é o caminho mais eficiente para reduzir custos, evitar duplicações desnecessárias de pesquisas e acelerar a descoberta de soluções para os desafios contemporâneos.

Para fundamentar a superação dos correspondentes gargalos, estabelece-se um paralelo com a secular Lei do Depósito Legal ao propor a urgência de uma Engenharia da Confiança (uma arquitetura voltada a garantir a auditabilidade, a reprodutibilidade dos experimentos e a segurança do patrimônio científico nacional contra obsolescências ou cercamentos privados).

Como observado no final do texto em questão, “... o Estado deve exercer seu papel indutor indispensável, financiando o risco tecnológico e subsidiando os custos de inserção dos pesquisadores locais no cenário internacional. A formulação de manifestos técnicos e declarações conjuntas entre academias de ciências internacionais simboliza o caminho a seguir, haja vista a necessidade de uma diplomacia científica unificada, forte e focada na premissa inalienável de que o saber não é propriedade de corporações, mas sim um patrimônio perpétuo de toda a humanidade”.

Faz-se, então, o convite para a leitura na íntegra do artigo "O Conhecimento como Patrimônio da Humanidade", o qual está disponível em: (1) FNE: https://www.fne.org.br/artigos/7673-o-conhecimento-como-patrimonio-da-humanidade e (2) Seesp: https://www.seesp.org.br/site/comunicacao/noticias/item/23988-o-conhecimento-como-patrimonio-da-humanidade.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
09/08/2026

A Ilusão da Era Conectada

Poucas experiências foram tão reveladoras quanto o dia em que decidi alterar a dinâmica de uma avaliação de Cálculo Diferencial e Integral 3 para uma turma de Engenharia Mecânica. O exame, focado em Integrais envolvendo Funções Hiperbólicas, fora planejado tradicionalmente: sem consulta, sem calculadoras e sem formulários. No entanto, após repassar as orientações rotineiras, surpreendi os estudantes com um anúncio inusitado: “A avaliação de hoje poderá ser realizada com consulta a todo material e recursos que estejam em seu poder agora. Apenas mantenham a prova individual, sem troca física de informações com os colegas da sala.”

O impacto foi imediato. Tomados por um silêncio atônito, os acadêmicos entreolhavam-se sem acreditar. Vindo do fundo da sala, um aluno perguntou: “Posso mandar mensagens pelo celular para a minha mãe, professor?”

Ao que respondi: “Claro que sim. Podem usar internet, livros, cadernos, notebook, smartphone, formulários, WhatsApp ou até sinais de fumaça. Só não podem sair da sala ou receber material físico de fora.” Outro estudante, perplexo, desabafou: “Desta vez morri. Só trouxe uma caneta.”

Superada a agitação inicial, a atmosfera mudou quando os alunos perceberam que todas as questões da prova eram idênticas aos exercícios resolvidos das listas distribuídas previamente ao longo do semestre. Murmúrios tomaram a sala: “Todas as questões são iguais às das listas.”

A euforia, contudo, durou pouco. Diversos estudantes começaram a entregar a prova em branco ou incompleta, apresentando justificativas estarrecedoras: “Assim não vale, professor, pois as questões da prova são cópias das listas, mas eu não tenho mais os arquivos”; “Apaguei os exercícios do celular para liberar memória”; “Meu notebook descarregou e esqueci o carregador em casa”; “Achei que as listas não serviam para nada”.

Aquele episódio escancarou um contraste desconcertante entre a abundância tecnológica e o letramento funcional na universidade. O paradoxo central residia na distância entre o dado disponível e a capacidade real de interpretá-lo e aplicá-lo.

Ao delegar a memória e a atenção integralmente aos dispositivos virtuais, o estudante moderno torna-se refém da própria ferramenta que deveria libertá-lo. Ter a informação a um toque de dedos difere substancialmente de possuir o conhecimento consolidado no pensamento.

A lição foi clara: a verdadeira autonomia acadêmica não está na posse do dispositivo, mas na capacidade crítica de gerenciar a informação. A mera disponibilidade de acervos não garante o aprendizado real; ao contrário, pode nutrir uma falsa sensação de sabedoria imediata que desestimula o estudo contínuo e a assimilação profunda.

DIAS, Carlos Magno Corrêa - 2026

Diante dos resultados alarmantes, obriguei-me a cancelar aquela avaliação e não mais repetir a experiência. Restou o alerta sobre o enorme fosso que ainda separa a conectividade técnica da maturidade intelectual nas universidades.

Carlos Magno Corrêa Dias
08/08/2026

História de vida integrada à história da sociedade

A história de um povo e de um Estado, de uma Nação, é edificada cotidianamente pelo esforço silencioso e pela dedicação incansável daqueles que colocam seu trabalho a serviço do bem comum. No contexto das comemorações do Dia Internacional do Trabalho, a celebração do mérito profissional adquire um significado ainda mais profundo, pois transcende o reconhecimento individual para transformar-se em um ato de valorização da própria força transformadora da sociedade.

Ter a grata satisfação e o privilégio de ser homenageado mais de uma vez na Tribuna de Honra da Assembleia Legislativa do Estado do Paraná (Alep) com o recebimento do Prêmio Personalidades Empreendedoras do Paraná é significativo na trajetória de todo profissional. Concedida em Sessão Solene por deliberação da Alep, em parceria com a Fundação Força Trabalhista do Paraná (Fotrapar) e a Central Força Trabalhista do Brasil (CFTB), a Honraria de Mérito celebra os relevantes trabalhos prestados em prol da sociedade paranaense e de todo o Brasil.

DIAS, Carlos Magno Corrêa - 2026

Receber o título de "Trabalhador Nota 10 do Paraná" é motivo de gratidão a todos os proponentes e organizadores que escolheram meu nome para a concessão de tão expressiva distinção. Expresso agradecimentos à Fotrapar e à CFTB, bem como à Assembleia Legislativa do Paraná, por viabilizarem a realização do evento em tela voltado à valorização do trabalhador paranaense.

O reconhecimento ganha contornos ainda mais memoráveis ao recordar que a Sessão Solene realizada na Tribuna de Honra da Alep tem sido considerada uma das mais expressivas solenidades daquela Casa de Leis. Ver o esforço de uma vida ser enaltecido em uma solenidade de tamanha relevância pública reafirma a certeza de que a dedicação à educação, ao empreendedorismo e ao desenvolvimento social gera frutos permanentes. Ao lado de ilustres colegas também agraciados, a conquista não se encerra no instante festivo da entrega do diploma; ela se perpetua na construção da memória coletiva.

O tempo avança em seu curso natural e inexorável, trazendo novas etapas e renovando os ciclos da vida, mas o verdadeiro legado permanece intocado pelas engrenagens dos anos. Fica gravada no tempo e no coração a lembrança afetuosa do reconhecimento ao trabalho prestado em prol do desenvolvimento paranaense e brasileiro.

É com júbilo que constato minha história de vida e minha trajetória profissional integradas à história do Paraná e do Brasil. A cada vez que se celebra o correspondente momento, renova-se o compromisso de trabalhar em prol da coletividade com o mesmo entusiasmo e dedicação de vezes anteriores.

Carlos Magno Corrêa Dias
07/08/2026

O legado determinado pela insistência.

A persistência órfã de pai e mãe abnegados é filha orgulhosa da conquista vitoriosa.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
06/08/2026

A Arquitetura do Invisível na transformação do real

No Câmpus da PUCPR (Pontifícia Universidade Católica do Paraná), no Prado Velho, em Curitiba (PR), houve um tempo em que, em cada bloco, o espaço debaixo das escadas que davam acesso ao segundo andar abrigava uma minúscula sala improvisada. Nela, encontravam-se por vezes uma pequena lousa de giz ou um quadro branco, algumas cadeiras de plástico, uma mesa e, possivelmente, um sofá antigo. Tudo muito simples e meio que surrado (já usado antes). Os usuários iam trazendo sem qualquer organização.

Lembro, com alguma nostalgia e sempre com júbilo, das várias vezes em que me reunia com meus alunos das Engenharias naquelas salinhas, geralmente no Bloco Azul (o das Ciências Exatas), onde ministrava a maioria das minhas aulas naquela Instituição de Ensino.


Meus alunos me levavam para aqueles espaços depois das aulas e lá faziam perguntas além do conteúdo normal, geralmente sobre aplicações práticas dos tópicos trabalhados. Aglomerados na entrada para assistir às aulas extras que eu acabava ministrando ali mesmo, muitos diziam: “É aqui que a gente fica diferente”. Era algo surreal, bacana e sem precedentes.

DIAS, Carlos Magno Corrêa - 2026

Eu tratava de temas que iam muito além dos conteúdos programáticos das minhas disciplinas. Naquela época, fazia questão de estabelecer a conjunção “pesada” entre a Lógica Matemática e o Cálculo Diferencial e Integral, um procedimento que permitiu formar Bacharéis Engenheiros diferenciados e com expertises distintas do comum.

Aquelas minhas ações, entretanto, davam um “trabalhão” ao saudoso Irmão Firmino, que por várias vezes nos encontrava por lá e perguntava, com sua voz calma, generosa e afetuosa: “O que meninos fazem reunidos aí?”. No entanto, assim que me via, logo dizia: “Professor, vou ver se acho uma sala para o senhor ensinar mais”. Minutos depois, voltava satisfeito e me informava sobre alguma sala desocupada que podíamos utilizar por determinado tempo. Algumas vezes, o Irmão Firmino entrava e, também, assistia às minhas aulas. Era uma honra sem tamanho. Depois, ficávamos apenas conversando sobre as Ciências e a Vida.

O Irmão Firmino Bonato foi um Educador de grande importância para a história educacional da PUCPR e para a formação universitária de professores, além de ter sido membro do Círculo de Estudos Bandeirantes da PUCPR.

O Irmão Firmino (o Mestre Firmino) é tomado como um dos pilares fundamentais para a padronização e o avanço do ensino de Ciências Exatas no país. Como religioso marista, fez parte da rede de educadores que moldou de forma decisiva o panorama do Ensino Católico e Superior no Paraná e em outras regiões do Brasil, refletindo o compromisso histórico da Congregação Marista com o desenvolvimento da Educação de qualidade.

Alguns de meus alunos permaneciam juntos naquelas reuniões com o Irmão Firmino, e um grupo deles passou a integrar a Pastoral Universitária da PUCPR, da qual também fiz parte.

Carlos Magno Corrêa Dias
04/08/2026

Notório Exemplo de Fracasso Vivido. (BIS)

No exato momento em que percebermos que nossas vidas valeram terem sido vividas, teremos, certamente, a confirmação de como nossas vidas foram inúteis.

DIAS, Carlos Magno Corrêa - 2019 

Carlos Magno Corrêa Dias
04/08/2026

Nota:
O aforismo em questão foi apresentado, também, em 25/07/2013 e em 31/07/2019.