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

Distorção “lógica” de espectros extremos.

Quando se tem medo da "verdade", conta-se a mentira. Quando se tem medo da "mentira", conta-se a verdade. Entretanto, "mentira" e "verdade" são as duas faces de uma mesma dissimulação.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
01/04/2025