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

Sempre cumprir o dever da melhor forma possível.

Lembrar que a qualidade e a integridade no cumprimento das tarefas são tão essenciais quanto a própria execução é algo a ser perseguido frequentemente dado não apenas ser essencial cumprir com as responsabilidades, mas, também, deve-se ter a plena certeza de que foram realizadas da melhor maneira.

Não basta cumprir o dever. É necessário, também, convencer-se que o dever foi cumprido adequadamente. 

DIAS, C. M. C. - 2025

Correspondente pensamento, um dos aforismas essenciais que criei, enfatiza a importância de cada indivíduo sentir-se responsável não apenas por realizar as tarefas que lhe são atribuídas, mas por garantir que elas foram realizadas da melhor maneira possível. Isso implica, certamente, em um diferencial no que tange ao compromisso pessoal com a qualidade e a ética no trabalho.

De outro lado, não se pode esquecer (jamais) a autoconsciência e a reflexão uma vez que é necessário (mas, não suficiente) convencer-se de que o dever cumprido adequadamente exigirá uma análise honesta das próprias ações e decisões e promoverá a cultura de melhoria contínua. Além do que, cumprir o dever adequadamente está intimamente ligado à integridade e à honestidade.

Não basta cumprir o dever. É necessário, também, convencer-se que o dever foi cumprido adequadamente.

Semelhante pensamento, exige, ainda, que não se deve se contentar com o mínimo, mas buscar sempre a excelência em tudo o que se faz sendo este o caminho para qualidade e para a geração de impactos positivos na comunidade e na sociedade em geral. Basicamente, quando cada cidadão se esforçar para fazer o seu melhor, o resultado promoverá um ambiente mais ético e eficiente, permitindo a transcendência.

Não basta cumprir o dever. É necessário, também, convencer-se que o dever foi cumprido adequadamente.

Carlos Magno Corrêa Dias
01/03/2025