O vetor invisível do saber

A razão, a lógica, o conhecimento, seguem “ao infinito e além”, muito além.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
01/09/2026

Desígnio: Professor. (BIS)

Aquele que não trabalha objetivando ser superado pelos seus Alunos não pode ser chamado de PROFESSOR.

DIAS, Carlos Magno Corrêa - 2020

Carlos Magno Corrêa Dias
01/08/2026

Nota: O aforismo em questão foi apresentado, também, em 01/03/2013.

A riqueza comum dos homens.

O Conhecimento é patrimônio da Sociedade.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
02/07/2026

O custo elevado de se pensar livre.

A audácia de se pensar por si mesmo (e corretamente) causa aflição naqueles que insistem em julgar erradamente.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
01/06/2026

A metamorfose do abismo invisível.

A simples ilusão de uma possibilidade viável pode levar o desesperado a transformações vitais.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
01/05/2026

Sem antídoto para o ponto de não retorno.

A loucura da guerra não tem cura e nem, tão pouco, remédio algum depois que se matou o primeiro inimigo de qualquer um dos lados.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
02/04/2026

O pincel invisível que retrata o além da moldura.

A escrita não é uma pintura, mas bem pode pintar tudo aquilo que a arte não consegue retratar.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
01/03/2026

A Engenharia disruptiva do amanhã.

Na juventude deve-se construir pontes sólidas para se chegar à velhice como um privilégio e não como um fardo difícil de carregar.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
26/01/2026

P.S.: Desde 1976 (há meio século) gerando aforismos que me conduzem “ao infinito e além” muito além.

O labirinto condicionante do agora.

Aquele que julga o passado melhor do que foi, o presente pior do que é e o futuro mais perfeito do que poderá ser, não é de todo um iludido; mas é alguém que desconhece o presente que tem e, assim sendo, não consegue vivê-lo em plenitude.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
01/01/2026

Selocog 2025 focalizando a Consciência Cibernética.

Em 26/12/2025, celebrando os 35 anos do recebimento do título Especialista em Didática do Ensino Superior” pela internacional Pontifícia Universidade Católica do Paraná (PUC-PR), apresentei a edição de 2025 do Selocog (Seminário de Engenharia Lógica e Cognição), com o tema “Modelagem Lógica”. Fui, também, o proponete e coordenador do correspondente projeto.

DIAS, C. M. C. - 2025

O título recebido em referência foi decorrente da conclusão do Curso de Especialização (Lato Sensu) em “Didática do Ensino Superior”, quando desenvolvi o trabalho intitulado “Modelagem Matemática como Modelo Lógico”.

No Selocog 2025, promovido pelo Cenenlocog (Centro de Engenharia Lógica e Cognição), apresentei considerações sobre a “Modelagem” no campo da Lógica Matemática de Primeira Ordem (LMPO) e sobre a evolução das Tecnologias desde 1995 até a atualidade focando na Inteligência Artificial (IA) e supondo a extensão da IA para a CC (Consciência Cibernética). Entendo que a relação entre a LMPO e a CC, no contexto da evolução da IA, é dada pela transição de um “sistema de regras rígidas” para um “sistema consciente de percepção e autoajuste complexo”.

Assim sendo, admito que a LMPO é o "DNA" do “Pensamento Artificial” que envolve, necessariamente a “consciência”; tendo-se em LMPO o padrão para a IA simbólica a qual oferece o rigor necessário para que uma máquina opere sem ambiguidades (uma vez que "todo algoritmo deve ser lógico"). No Selocog 2025, evidencio que a LMPO “pura” segue pondo fim a incertezas sendo fundamental para levar a IA à CC.

Na palestra “Modelagem Lógica”, afirmo que a “evolução da IA, por intermédio da LMPO, favorece um processo contínuo e constante que levará a IA a passar do aprender a partir de dados e de ser uma executora de tarefas para ser um simulador de cenários complexos baseado na consciência”.

Ao supor que a CC é a evolução da IA admito que a “consciência” está em um nível extremo de “Modelagem Lógica” o qual se transformará em um sistema que define suas próprias premissas ao compreender seu próprio estado de funcionamento. A CC seria o estágio onde a IA utiliza o rigor da Lógica Formal para manter a consistência interna e aplicar a “otimização” para evoluir de forma autônoma.

Como propunha no trabalho "Modelagem Matemática como Modelo Lógico", certamente, o passar destes 35 anos, mostraram que “se a realidade pode ser modelada logicamente com precisão matemática, então a "mente" pode ser também. A CC será o resultado da transição de um sistema que processa lógica em um modelo lógico vivo, capaz de prever, manter o rigor e otimizar a si mesmo em tempo real.

No Selocog 2025 observo que a LMPO forneceu a “gramática”; a IA institui o “vocabulário e o aprendizado”; e a CC será a “capacidade” do sistema de escrever sua própria biografia lógica, unindo a precisão com a complexidade cognitiva do futuro.

Carlos Magno Corrêa Dias
30/12/2025

A cruel contabilidade da miséria imposta coletivamente.

Se alguma pessoa adulta passa fome, já é um absurdo. Se uma criança passa fome, além de ser inaceitável é um crime hediondo. Na verdade, quando seres humanos passam fome e morrem pela falta de comida impõe-se extremo sofrimento cruel cuja reponsabilidade é de todos.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
01/12/2025

Sobrevivência impõe limite à existência.

Quando a dor de viver é maior que o medo de viver, a vida já se transformou em apenas sobrevivência.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
01/11/2025

Prolixa consistência procedimental reversa.

Inteligência e sabedoria não são as faces de uma mesma moeda. Sabedoria se adquire com a experiência. Inteligência não depende da experiência.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
01/10/2025

Primazia da verdade condicional.

Ouviu-se dizer que “certezas” são encontradas apenas dentro de gaiolas.

DIAS, C. M. C. - 2025

 
Carlos Magno Corrêa Dias
01/09/2025

O essencial do melhor e do bem existir.

Viver com beleza e dignidade é caminho afiançado para o melhor e o bem existir.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
01/08/2025

Tautológica necessária suficiência.

A Engenharia Lógica é necessária para engendrar boas soluções (soluções lógicas) porque resolver problemas de Engenharia sem apoio da Lógica Matemática não tem sentido algum.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
06/07/2025

As origens da Engenharia Lógica.

A criação da Engenharia Lógica (ou como já a chamei antes, “Engenharia Inferencial”) é um conceito inolvidável e inovador, ou “novo” (no sentido “lato”, “amplo”) de “Engenharia” que venho desenvolvendo nas últimas três décadas para embasar o engendrar centrado (e/ou orientado) na Lógica Matemática de Primeira Ordem (Lógica Formal ou Analítica).

Comecei a estruturação da Engenharia Lógica, em parte, na minha dissertação de Mestrado, com o título “A LÓGICA MATEMÁTICA ENQUANTO AGENTE TRANSFORMADOR DOS PROCESSOS INFERENCIAIS EM MATEMÁTICA SUPERIOR”, desenvolvida na UFPR (Universidade Federal do Paraná), a partir de 1990.

Agora, em 2025, contam-se, então, já 35 anos desde o início dos trabalhos e pesquisas que levaram à construção do corpo conceitual que forma a Engenharia Lógica o qual, em constante e contínuo desenvolvimento, segue sendo aprimorado.

Centrada na Lógica Matemática, na Análise Inferencial e Teoria da Argumentação, a Engenharia Lógica é orientada pela máxima fundamental de que “alfa premissas levam (necessariamente) a beta conclusão” num processo recursivo recorrente dado que a “conclusão gerada” em um primeiro argumento passa a ser nova premissa no próximo (e compulsório) argumento e assim por diante numa sequência infinita sucessiva; não havendo “ponto de parada”. Jamais se gera “conclusão” que não encontre razão suficiente nas premissas que a condicionaram existir.

Também no Projeto de Pesquisa “Aplicação da Álgebra Booleana na Otimização de Circuitos Elétricos”, materializado e premiado em 1995 na Expotec (Exposição de Trabalhos Técnicos) do então Cefet-PR (Centro Federal de Educação Tecnológica do Paraná), eram apresentadas as primeiras contribuições no caminho futuro de se pensar em “Smart Cities” (Cidades Inteligentes).

DIAS, C. M. C. - 2025

“A Engenharia Lógica consiste em um conjunto de metodologias e procedimentos que possibilitam engendrar soluções de maneira “consistente e lógica” centrada nos Cálculos Lógicos (na Álgebra de Lógica) tratando o engendrar de soluções como uma abordagem analítica inovadora.”

DIAS, C. M. C. - 2025

Afirmação como a precedente é apresentada no artigo “Engenharia lógica contribuindo nas cidades inteligentes”, disponível, tanto na página do Seesp (Sindicato dos Engenheiros no Estado de São Paulo), disponível em https://tinyurl.com/yw4cy8fm, quanto na página da FNE (Federação Nacional dos Engenheiros), disponível em https://tinyurl.com/32z883s4, no qual levo em consideração as origens da Engenharia Lógica e possíveis associações, em particular, com as tecnologias apresentadas nas edições da SMART CITY EXPO CURITIBA (SCECWB).

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
04/07/2025

Renovação e perseverança da vida.

Por mais flores que sejam arrancadas, pisoteadas ou destruídas, nunca a primavera deixará de existir.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
01/07/2025

Ponto sem retorno na estrada da ruína humana.

Quando se perde o medo e a esperança passa a ser apenas uma utopia o caos já terá se transformado em miséria completada.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
01/06/2025

Caminho de infinitas soluções.

Conhecimento, a chave de todas as portas e o poder humano que outro igual não há.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
01/05/2025