Engenharia Lógica segue inovando o engendrar.

Há mais de 30 (trinta) anos, em decorrência de meus estudos e pesquisas sobre o “pensar lógico”, criava a ENGENHARIA LÓGICA cujos fundamentos primeiros bem podem ser consultados no meu trabalho intitulado “A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior”, de 1993, o qual transformou-se em livro com o mesmo título em 1999 com ISBN: 85-900661-2-6 e com depósito no acervo da Biblioteca Nacional do Brasil compondo a Memória Nacional do Brasil responsável por guardar, preservar e divulgar a Produção Intelectual do Brasil.

Também nas minhas obras “Compêndios de matemática e lógica matemática: uma abordagem extemporânea” (ISBN: 85-900661-4-2) de 1999; “Lógica matemática: introdução ao cálculo proposicional” (ISBN: 85-900661-3-4) de 1999, “Lógica sentencial” (ISBN: 978-85-88925-21-2) de 2013, “Cálculo lógico inferencial” (ISBN: 978-85-88925-18-2) de 2013, bem como no meu livro “Prolegômenos à filosofia da matemática” (ISBN: 978-85-88925-08-3) de 2010, apresento conjunto de considerações técnicas/formais sobre a minha Engenharia Lógica.

Muito particularmente, tecnicamente por assim dizer, no meu “Projeto de Inovação e Desenvolvimento Tecnológico em Engenharia Lógica”, o qual desenvolvi no biênio 2013-2014, um Projeto de Pesquisa e Desenvolvimento credenciado oficialmente, estruturei uma estrita “Tecnologia Analítica de Decisão Otimizada” centrada na Lógica Formal (nos Cálculos Lógicos e na Álgebra da Lógica), na Teoria da Argumentação Dedutiva e na Análise Inferencial dando forma aos Métodos e Técnicas utilizados na Engenharia Lógica que venho desenvolvendo.

DIAS, C. M. C. - 2025

Também em artigos científicos e/ou tecnológicos tenho apresentado está minha Engenharia Lógica objetivando evidenciar o quanto é possível engendrar (“engenheirar”) soluções mais adequadas de maneira “consistente e correta” (de forma lógica) centrada nos Cálculos Lógicos (na Álgebra de Lógica) que fazem parte da Engenharia Lógica. Tal é o caso do meu recente artigo intitulado “Engenharia Lógica induzindo disrupção (mudança)” o qual foi publicado, em 27/01/2025, na página oficial da Federação Nacional dos Engenheiros (FNE), estando disponível no endereço https://www.fne.org.br/index.php/artigos/7279-artigo-engenharia-logica-induzindo-disrupcao.

Carlos Magno Corrêa Dias
31/01/2025

Notável graduou-se em Educação Física.

Em 10 de janeiro de 2025 foram completados 51 (cinquenta e um) anos, pouco mais de meio século, da Formatura de Edison Arantes do Nascimento (1940-2022) no Curso de Licenciatura em Educação Física da Faculdade de Educação Física da Universidade Metropolitana de Santos (UNIMES) a qual ocorreu em 10 de janeiro de 1974.

Oficialmente naquela data Pelé (sim, o grande Pelé), o Atleta do Século, o “Rei do Futebol”, o único tricampeão em Copas do Mundo de Futebol em quase 162 anos de existência do Futebol (o Futebol moderno nasceu em 26 de outubro de 1863), o recordista mundial do Guinnees (“Guinness World Records”), recebia seu Diploma de Graduado; documento aquele que atualmente se encontra devidamente integrando o Memorial das Conquistas localizado no Estádio Urbano Caldeira do Santos Futebol Clube, na Vila Belmiro, em Santos (SP). Cabe ressaltar que Pelé iniciou o Curso de Graduação em questão em 1970.

DIAS, C. M. C. - 2025

Por estas e por muitas outras conquistas é que Pelé, o mineiro de Três Corações (MG), o tricordiano Edison Arantes do Nascimento, sempre será insuperável.

Carlos Magno Corrêa Dias
30/01/2025

Engenharia Lógica engendrando soluções.

Há mais de três décadas, há mais de 30 (trinta) anos, gerava, em decorrência de meus estudos e pesquisas sobre o “pensar lógico”, os fundamentos da Engenharia Lógica uma forma de engendrar soluções de maneira “consistente e correta” centrada nos Cálculos Lógicos (na Álgebra de Lógica) como uma abordagem analítica inovadora para a construção (o engendrar) de soluções.

Hoje a Engenharia Lógica permeia diversas áreas do saber determinando a resolução de problemas na criação de algoritmos para computadores, na análise de estruturas, no desenvolvimento de sistemas autômatos, na estruturação de linguagens de programação, na elaboração de projetos de sistemas que vão desde circuitos eletrônicos até grandes sistemas de controle industrial, na tomada de decisões em sistemas inteligentes como robôs e sistemas autônomos; dentre muitas outras possibilidades tecnológicas.

Para uma visão geral da Engenharia Lógica (ou Engenharia Inferencial, como em determinados contextos se apresenta) elaborei o artigo intitulado “Engenharia Lógica induzindo disrupção (mudança)”, publicado em 14/01/2025, na página oficial do Seesp (Sindicato dos Engenheiros no Estado de São Paulo), o qual está disponível no endereço https://www.seesp.org.br/site/comunicacao/noticias/item/23084-engenharia-logica-induzindo-disrupcao-mudanca.

Mais recentemente, em 27/01/2025, o artigo em referência foi publicado na página oficial da Federação Nacional dos Engenheiros (FNE), estando disponível no endereço https://www.fne.org.br/index.php/artigos/7279-artigo-engenharia-logica-induzindo-disrupcao.

DIAS, C. M. C. - 2025

No artigo “Engenharia Lógica induzindo disrupção (mudança)” apresento considerações gerias sobre a essência da Engenharia Lógica que criei informado, também, livros de minha autoria nos quais são tratados os pressupostos desta inovadora forma de conduzir os trabalhos nos campos da Engenharia para se atingir a esperada solução de problemas. 

A Engenharia Lógica que proponho representa uma abordagem inovadora que busca integrar a Lógica Matemática com diversas áreas da Engenharia e das Tecnologias (em particular) bem como com as Ciências (em geral). Ao invés de ser apenas uma ferramenta teórica, a Engenharia Lógica passou a ser o alicerce para o desenvolvimento de soluções tecnológicas mais eficientes, robustas e capazes de induzir novas abordagens tecnológicas positivas na sociedade.

A Engenharia Lógica é fundada na premissa que a Lógica Matemática, com suas estruturas rígidas e métodos precisos, pode ser utilizada como um “framework” para o desenvolvimento de sistemas cada vez mais complexos. Ao aplicar os princípios da Lógica Matemática a problemas de Engenharia, é possível modelar sistemas complexos; validar soluções; otimizar processos; desenvolver sistemas inteligentes; ampliar e melhorar as relações homem-máquina expandindo sobremaneira a Transformação Digital, a Computação Quântica e as Redes Neurais Artificiais.

Carlos Magno Corrêa Dias
29/01/2025

Jamais esquecer o holocausto para sempre lembrar dos vitimados.

Já são passados 80 anos daquela vergonha humana e mesmo mais 800 anos não serão suficientes para amenizar as dolorosas lembranças dos crimes gerados no Campo de Concentração de Auschwitz porque não é permitido esquecer jamais aqueles horrores praticados por homens contra os próprios himens.

O Campo de Concentração de Auschwitz é um dos exemplos mais brutais (e vergonhosos) do sobrepujar o homem pelo próprio homem. Auschwitz é um símbolo sombrio do holocausto e das enormes atrocidades cometidas contra o homem. Um local de extermínio de pessoas com crueldade e total desrespeito à vida humana.

Sim, não é permitido esquecer o holocausto. Não se pode esquecer aquela miséria humana e, também, sim, deve-se lembrar sempre das vítimas do holocausto.

Em 27/01/1945, há 80 (oitenta) anos, há 0ito décadas, o Campo de Concentração de Auschwitz foi libertado.

27 de janeiro é o DIA INTERNACIONAL EM MEMÓRIA DAS VÍTIMAS DO HOLOCAUSTO.

Enquanto existir a humanidade os homens devem lembrar da vergonha daquela insana barbárie e miserável.

"ARBEIT MACHT FREI" ('O trabalho liberta'). Que ignomínia monstruosa usar o extermínio de pessoas por meio do trabalho. Para lembrar das vítimas do holocausto e para jamais esquecer as monstruosidades lá cometidas celebre-se o dia 27 de janeiro.

DIAS, C. M. C. - 2025

Lembrando os horrores cometidos em Auschwitz que as gerações futuras possam (realmente) entender a importância de se combater o ódio e a intolerância para a preservação da humanidade que os homens devem possuir para evoluir e transcender gerações.

Carlos Magno Corrêa Dias
27/01/2025

Os “fortes” seguem transformando há mais de 30 anos.

Em 26 de janeiro de 2025 são completados 30 anos (três décadas) do discurso que proferi como Paraninfo na Cerimônia de Colação de Grau da Turma BCC-1994/PUCPR (Turma de Formandos de 1994 do Curso de Bacharelado em Ciência da Computação da Pontifícia Universidade Católica do Paraná - PUCPR), realizada em 26 de janeiro de 1995, na Ópera de Arame, em Curitiba.

DIAS, C. M. C. - 2025

Algo como “... que os horizontes continuem amplos e ilimitados, que as intermináveis possibilidades sempre nos desafiem e que continuemos (infinitamente) a nos perguntar o que podemos fazer por nosso país a partir do conhecimento que possuímos e que sequencialmente aprimoramos ...” fazia parte daquele meu pronunciamento saudando os Afilhados Bacharéis que entravam como Profissionais Formados no mundo das Soluções Necessárias por meio das Tecnologias da Computação, precursores de uma nova era que se vive atualmente.

Digitalização Foto - Convite de Formatura - 1995

Com júbilo celebro os 30 anos daquela especial deferência recebida apadrinhado a Turma BCC-1994/PUCPR e, com maior satisfação ainda, festejo a trajetória de sucesso dos então “Jovens” Afilhados que desde o início da Graduação lá no já distante ano de 1991 dividiram comigo as intensas emoções, as dificuldades (não poucas) e o conhecimento da determinante e “pesada” Lógica Formal quando para eles ministrei as disciplinas de Lógica Matemática nos primeiros períodos do Curso de Ciência da Computação (cujos conteúdos sempre eram apenas para os “fortes”, nas falas dos próprios Acadêmicos da época).

DIAS, C. M. C. - 1995

“Ao infinito e além”, muito além. Que os “fortes” sigam transcendendo as décadas aplicando seus conhecimentos para garantir o progresso e desenvolvimento de nossa Nação e para oportunizar uma vida sempre melhor para as Pessoas. Sigamos em frente, sempre em frente e melhorando cada vez mais a realidade que embora disruptiva exige lógica e consistência geradas pelo saber.

DIAS, C. M. C. - 1995

Para os Afilhados sempre votos de contínuo e constante sucesso.

Carlos Magno Corrêa Dias
26/01/2025

P.S.: Afilhados (Apadrinhados) da Turma BCC-1994/PUCPR (Turma de Formandos de 1994 do Curso de Bacharelado em Ciência da Computação da Pontifícia Universidade Católica do Paraná - PUCPR): Alexandro Simioni, Andréia Woellner, Carlos Iran Chiarello, Celso Manzo Odashiro, Cristiane Mussalan Assis, Cynthia Elaine Negrelo Newton, Darci Rosa da Silva Junior, Edna Wakuda, Eduardo Sousa Amaral, Fabiane Kiyomi Kavano, Fabiano Zanchet, Fabricia Silveira, Frediani Bartel, Galbas Milleo Filho, Geraldo Vandré Nunes, Gilson Scherer, Heloisa Alice Bruel Gemin, Humberto Augusto Falce, Ibaira Gabriel Akim, Ivan Carlos Vicentin, Ivo Farias Filho, Jéferson Coltro, Joice Seleme, Josimara Canestraro, Juliana Jansson, Karl Heinz Schäffer, Liliane Alessandra Gomes, Lisiane Volpi Sipert, Luciano Mattos, Lucio Tomazi, Luiz Cesar Antonio, Lusandra do Nascimento, Marcello Alexandre de Campos, Marcelo Ehalt, Marcelo Noronha Silva, Márcia Beatriz Cavalcante, Márcia Maria Karasinski, Marco Vinicio da Silva, Marcos Antonio Borille, Marisa Emika Morita, Noel Oliveira Machado, Patrícia Mueller Machado, Regina Maria Vidal, Regina Tomie Morita, Renata Cherobim (in memoriam), Renato Gonçalves Barros, Ricardo de Luca, Ricardo Tizzot Wittig, Roberta Maciel de Paula, Sergies Baptista de Oliveira, Simone Barrionuevo Saliba, Solange Fiori Gomes, Sonia Sofia El Khouri, Tattiana Mantovani Fonseca, Tatiana Rorato Carneiro, Vanessa Borgonovo Goulart, Viviane Hanako Degelmann, Wilson Hideo Takemoto, Winfried Helmuth Schumann e Yonder Kóu.

Arma de Engenharia do Exército do Brasil.

No último 23 de janeiro completaram-se 170 (cento e setenta) anos da criação do “Batalhão de Engenheiros” da Arma de Artilharia do Exército Brasileiro, fundado em 23/01/1855 e composto, originalmente, por quatro Companhias: uma de Artífices (Tropa especializada em reparos e fabricação de equipamentos de guerra), uma de Mineiros (Unidade Militar de Engenharia e Construção), uma de Pontoneiros (Tropa dedicada à instalação de pontes e pontões, e à utilização de embarcações) e uma de Sapadores (Unidade de Soldados responsáveis por cavar fossos, trincheiras e galerias subterrâneas nas operações militares).

DIAS, C. M. C. - 2025

Um Batalhão é uma Unidade Militar que se organiza em Companhias; sendo que cada Companhia é formada por Pelotões. As Armas do Exército do Brasil são, atualmente, a Infantaria, a Cavalaria, a Artilharia e a Engenharia.

O então “Batalhão de Engenheiros”, precursor da atual Arma de Engenharia do Exército do Brasil, criado como unidade ligada à Arma de Artilharia, surgiu, basicamente, da crescente necessidade de apoiar e engendrar soluções no Movimento do Exército em Campanha nos diferentes conflitos armados dos quais o Brasil participava.

Especificamente, a história registra, também, que a criação do “Batalhão de Engenheiros” do Exército do Brasil foi uma resposta direta ao Exército Imperial. Com o uso de conhecimentos de Engenharia as tropas do Exército do Brasil conseguiram melhor movimentação em Campanhas vencendo mais facilmente tanto os obstáculos naturais ou aqueles criados pelo inimigo, bem como engendrando (inovando) novas soluções de defesa e de ataque ou promovendo obras de construções e reparações antes não possíveis.

O “Batalhão de Engenheiros”, ligado à Arma de Artilharia, Batalhão Escola de Engenharia, chamado, também, "Batalhão Villagran Cabrita", permaneceu ativo até o ano de 1908 quando foi criada, especificamente, a Arma de Engenharia.

O Tenente-Coronel João Carlos de Villagran Cabrita (1820-1866) é o Patrono e o grande inspirador da Arma de Engenharia (Arma Azul-Turquesa) do Exército do Brasil.

A Arma de Engenharia do Exército Brasileiro (Arma Azul Turquesa) tornou-se responsável por apoiar a mobilidade, proteção e contramobilidade das Tropas do Exército do Brasil realizando, também, obras e serviços para apoiar o desenvolvimento nacional nas mais diversas e distintas situações. Arma Azul Turquesa é, também, o berço da Engenharia no Brasil

Carlos Magno Corrêa Dias
25/01/2025

Brasil desde a Constituição de 1967.

Com a Constituição de 1967, outorgada em 24/01/1967, o país antes denominado ESTADOS UNIDOS DO BRASIL passou a ser a REPÚBLICA FEDERATIVA DO BRASIL, conhecido como BRASIL, um Estado Democrático de Direito de Estrutura Federativa.

DIAS, C. M. C. - 2025

Em comemoração à Constituição do Brasil, em 24 de janeiro, celebra-se o DIA NACIONAL DA CONSTITUIÇÃO do Brasil. Em 1967, com a implementação da Constituição Federal do Brasil chegou-se ao nome atual do Brasil. Em 1988, com a nova Constituição, a denominação “República Federativa do Brasil” foi mantida.

O atual Brasil teve oito Constituições (1824, 1891, 1934, 1937, 1946, 1967, 1969 e 1988) e Emenda Constitucional número 1 (tratada, também, como a "Constituição de 1969").

Que a Constituição da República Federativa do Brasil possibilite sempre o cumprimento das Garantias Constitucionais, dos Direitos e dos Deveres de cada Cidadão do Brasil.

Carlos Magno Corrêa Dias
24/01/2025

Futuras relações entre a Indústria do Paraná e os USA.

Fui convidado pelo Sistema Fiep (Sistema Federação das Indústrias do Estado do Paraná), por meio da área de Relações Internacionais da Fiep, a participar, no dia 12 de dezembro de 2024, do evento intitulado “A presidência Trump: impacto sobre a indústria do Paraná”, no qual foram abordadas questões relacionadas aos desdobramentos políticos e econômicos a serem gerados no novo governo nos USA (Estados Unidos da América) e como as correspondentes políticas pretendidas poderão afetar (efetivamente) os Setores Industriais do Paraná.

CIN-PR / Sistema Fiep - 2025

O evento analisou a mudança de posicionamentos nos Estados Unidos no tocante aos impactos na Indústria do Paraná e tratou de temas como: (a) Perspectiva macroeconômica e relações diplomáticas EUA-Brasil; (b) Perspectiva política norte-americana na nova era Trump; (c) O impacto das eleições dos EUA no mercado financeiro; e, (d) O cenário pós-eleitoral dos EUA: oportunidades e riscos nas cadeias globais de produção.

Antes do final do encontro, o qual reuniu industriais paranaenses, empresários e demais interessados em política e economia mundiais, ocorreu o debate “Adaptando a Indústria ao Novo Contexto Internacional”.

O encontro aconteceu no Auditório Mario de Mari, no Câmpus da Indústria do Sistema Fiep, em Curitiba (PR), sendo realizado pelo Sistema Fiep, por meio do CIN-PR (Centro Internacional de Negócios do Paraná) do Sistema Fiep, com apoio da ACP (Associação Comercial do Paraná), Amcham Brasil (Câmara Americana de Comércio para o Brasil), Fecomércio PR, Invest Paraná (Agência de Promoção de Investimentos do Governo do Estado do Paraná), IRIP ( Instituto de Relações Internacionais do Paraná), Sebrae, Governo do Estado do Paraná, World Trade Center Curitiba e Sistema Ocepar (Sindicato e Organização das Cooperativas do Estado do Paraná - Ocepar), Serviço Nacional de Aprendizagem do Cooperativismo - Sescoop/PR e Federação e Organização das Cooperativas do Estado do Paraná - Fecoopar).

Carlos Magno Corrêa Dias
20/01/2025

Herói da FAB junta-se à Galeria dos Imortais ex-Combatentes.

Com imenso pesar recebo a notícia que no último dia 15 de janeiro de 2025 o Major Especialista em Aviões João Rodrigues Filho faleceu aos seus 101 anos de idade.

O Ex-Combatente deixou um legado de inspiração para gerações futuras e será sempre lembrado como um dos importantes membros da FAB (Força Aérea Brasileira) do Primeiro Grupo de Aviação de Caça (1º GAVCA) que contribuiu para o grande sucesso da Aviação do Brasil ao lado dos aliados na Segunda Guerra Mundial.

Atuando como Terceiro Sargento no 1° GAVCA da FAB durante a Campanha da Itália o militar João Rodrigues Filho, nascido em 22/07/1923, na Cidade do Rio de Janeiro (RJ), foi o Chefe da Equipe de Mecânicos do Avião A-3 (um P-47 “Thunderbolt”) sendo, também, um dos responsáveis por manter a maioria dos aviões pilotados por brasileiros sempre em condições de voar. Bem mais de 90% daquelas aeronaves permaneceram nos céus durante a participação do Brasil naquele insano e sangrento conflito.

João Rodrigues Filho nos disse: “os Sargentos Brasileiros foram fundamentais para se vencer a guerra, especialmente os Mecânicos, os Especialistas em Lanternagem e os Especialistas em Rádio, que sempre deixavam os aviões prontos para voar”. Mesmo diante das enormes dificuldades enfrentadas a quantidade de missões diárias atribuídas à FAB sempre foi cumprida graças ao excelente trabalho dos Especialistas em Aviões os quais mantiveram esforços descomunais para que as aeronaves estivessem em condições de voar e lutar bem.

O ex-Combatente João Rodrigues Filho foi condecorado com a Medalha da Campanha da Itália e com a Medalha da Campanha Atlântico Sul. Também recebeu a Medalha Militar Bronze por 10 anos de bons serviços prestados à FAB, a Medalha Militar Prata por 20 anos de bons serviços à FAB e foi reconhecido com a especial “Presidential Unit Citation” (“Citação Presidencial de Unidade”, honraria concedida pelo Presidente dos USA que distingue aqueles que demonstraram extraordinário heroísmo em ação contra inimigos armados).

Ao regressar ao Brasil João Rodrigues Filho serviu na Base Aérea de Santa Cruz (BASC), no Rio de Janeiro (RJ), desempenhando com excelência a função de Mecânico de avião P-47 “Thunderbolt” até 1.950. Em seguida cursou a Escola Preparatória de Oficiais Especialistas em Mecânica; continuando na FAB até 1964 quando, então, foi reformado como Major.

Depois dos serviços ativos na FAB o Major João Rodrigues Filho seguiu participando de eventos realizados pela FAB e, mais recentemente, em 22/04/2024, participou da Reunião da Aviação de Caça (RAC), realizada no BASC, quando foi solenemente homenageado.

DIAS, C. M. C. - 2025

Um “Adelphi” especial para o Major Especialista em Avião de avião P-47 “Thunderbolt” João Rodrigues Filho.

Hurra! Hurra! Hurra! Salve, Salve! Salve! Salve Herói da Pátria João Rodrigues Filho que “SENTOU A PUA” para manter a liberdade dos homens.

Carlos Magno Corrêa Dias
17/01/2025

Congresso e Prêmio ODS 2024.

No período de 05 a 06 de dezembro de 2024 aconteceu, no Câmpus da Indústria do Sistema Fiep (Sistema Federação das Indústrias do Estado do Paraná), na Capital do Estado do Paraná, em Curitiba, o Congresso Sesi ODS 2024; evento de grande relevância realizado pelo Sesi Paraná com o objetivo de impulsionar a discussão sobre o desenvolvimento sustentável no setor industrial paranaense.

Sistema Fiep / Sesi-PR - 2024 

Com a participação de diversas empresas e instituições engajadas, pesquisadores, autoridades e interessados em geral na temática da sustentabilidade o evento abordou temas como: ESG (práticas ambientais, sociais e de governança); impactos social e ambiental promovidos pelos setores industriais; bem como disseminação da Agenda 2030 da ONU afim de ampliar colaborações que possibilitem um futuro mais justo e equitativo.

A convite do Conselho Temático de Responsabilidade Social do Sistema Fiep, anteriormente denominado CPCE (Conselho Paranaense de Cidadania Empresarial), no qual estou como Conselheiro Sênior, tive a satisfação e privilégio de interagir com os participantes apresentando considerações sobre ESG e Sustentabilidade centradas em minha caminhada em defesa dos ODM (Objetivos de Desenvolvimento do Milênio) e dos ODS (Objetivos de Desenvolvimento Sustentável), ambos da ONU (Organização das Nações Unidas), há mais de duas décadas.

O Conselho Temático de Responsabilidade Social do Sistema Fiep (Fiep) articulando competências de Responsabilidade Socioambiental Corporativa (RSAC) das indústrias tem por objetivo principal impactar a sociedade para o desenvolvimento sustentável do Paraná.

Durante o Congresso Sesi ODS 2024 foram tratadas questões como o fortalecimento do debate sobre ESG, o reconhecimento de iniciativas sustentáveis; bem como favorecido o diálogo entre diferentes atores de empresas, governo, academia e sociedade civil para o fortalecendo de um futuro mais sustentável.

O Congresso Sesi ODS 2024 representou um marco importante para a promoção da sustentabilidade no setor industrial paranaense. Ao reunir diversos atores e promover o debate sobre temas relevantes, o evento contribuiu para: aumentar a conscientização sobre a importância da sustentabilidade; fomentar a inovação e a criação de novas soluções; fortalecer a competitividade das empresas.

Além de abordar temas cruciais para a melhor transformação das realidades por meio das práticas ESG e do alcance dos ODS o Congresso Sesi ODS 2024 foi, também, momento da entrega do Prêmio Sesi ODS 2024 o qual reconhece e incentiva práticas inovadoras em prol dos ODS nas categorias Social, Ambiental, Governança e Parcerias Sustentáveis.

Carlos Magno Corrêa Dias
12/01/2025

Contradições seguem assolando alicerces.

É sabido que:

(a) 2 - 2 = 3 - 3 pois, obviamente, 2 - 2 = 0 e 3 - 3 = 0. Claramente, então, 0 = 0.

(b) É correto afirmar, também, que 1 - 1 = 0.

(c) Assim, pode-se dizer que 2 - 2 = 2 . (1-1) = 0

e que 3 - 3 = 3 . (1-1) = 0; colocando-se, respectivamente, 2 e 3 em evidência.

(d) Logo, segue-se que: 2 . (1-1) = 3 . (1-1) = 0, pois:

2 . 0 = 0 e 3 . 0 = 0 e, óbvio, 0 = 0.

(e) Então, tem-se que: 2 . (1-1) = 2 . 0 = 0 = 3 . (1-1) = 3 . 0 = 0.

(f) É sabido, também, que se A = B, então A.C = B.C; quando C/C = 1.

(g) Portanto, multiplicando-se ambos os lados da igualdade por C, vem que:
2 . (1-1) . C = 3 . (1-1) . C = 0. Logo, se C = 1/(1-1), então, da linha “e” resulta, claramente, que:
2. (1-1) . [ 1/(1-1) ] = 3 . (1-1) . [ 1/(1-1) ] =
= 2. [ (1-1)/(1-1) ] = 3 . [ (1-1)/(1-1) ].

(h) Tomando-se, então, o considerado na linha “f”, resultaria afirmar que
(1-1)/(1-1) = 1 e, portanto, ter-se-ia, invariavelmente, que:
2 . ( 1 ) = 3 . ( 1 ); ou seja: 2 . 1 = 3 . 1.

(i) Mas, 2 . 1 = 2, bem como 3 . 1 = 3.

Assim, nas condições em questão, chegar-se-ia ao resultado “perturbador”: 2 = 3.

Como pode?

Será um “paradoxo”? Ou, será uma “antinomia”? Existe algum "erro"?

Seja como for, se gerou a contradição 2 = 3.

DIAS, C. M. C. - 2025

Quem foi meu Aluno bem o sabe as razões de semelhante resultados, entendendo “bem” porque as contradições são juízas (lógicas) nas disputas entre antinomias e paradoxos. Todavia, deve ser claro, lógico, também, que paradoxos e antinomias não brigam entre si, embora possam compartilhar proposições contraválidas (contradições).

DIAS, C. M. C. - 2025

No capítulo VIII (Paradoxos e Antinomias) do meu livro “Lógica matemática: introdução ao cálculo proposicional” (ISBN: 978-85-88925-15-1) apresento compêndio contendo algumas considerações sobre minha particular posição sobre os PARADOXOS e as ANTINOMIAS.

Carlos Magno Corrêa Dias
10/01/2025

Surpreendente constatação trivial.

A matemática não pode sobreviver à lógica, porém a lógica já sobrevive a despeito da existência da matemática.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
09/01/2025

Sortilégio de dilema determinante.

Na ineficaz tentativa de se manter a igualdade entre os homens é que se distinguem as verdadeiras diferenças.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
08/01/2025

Contestações entre paradoxos e antinomias.

Como tenho considerado, de forma algo recorrente, replicante mesmo, se faz necessário chamar, de vez em quando, a atenção sobre erros lógicos cometidos, em muitas das vezes, inadvertidamente, sem qualquer intenção; mas, evitáveis.

Para tanto, sirvo-me de chamadas embasadas na primeira figura (dita reversa) ou (exclusivamente) na segunda (rotulada de reversa também) a seguir novamente reproduzidas (em separado).

DIAS, C. M. C. 

DIAS, C. M. C.

Houve até vez que apresentei, de forma provocativa, ambas as figuras formando uma só imagem dispondo as figuras (“reversas”) em referência uma do lado da outra sem, contudo, pretender "quebrar" os sentidos internos existentes (sejam eles paradoxais ou antinômicos).

DIAS, C. M. C.

Sigo, entretanto, ressaltando que (no meu particular entendimento) os vocábulos “antinomia” e “paradoxo” se prestam a enunciar argumentações distintas, embora ambos estejam associados a conteúdos contraválidos (“contradições”).

Cabe observar que uma proposição contraválida faz referência a determinada afirmação (composta) que tem, sempre, valor de verdade “Falsidade”, independentemente do contexto ou das informações que a compõem. Em termos técnicos poder-se-ia dizer que uma proposição contraválida é aquela cuja tabela-verdade apresenta apenas o valor lógico "Falsidade" em todas as suas linhas; significando afirmar que não importa quais sejam os valores de verdade das proposições simples que fazem parte de sua constituição, a proposição composta resultante sempre será apresentará valor lógico “Falsidade”.

Um exemplo trivial de proposição contraválida é considerar a conjunção do tipo "A porta está aberta e a porta está fechada", dado entender que os predicados “fechada” e “aberta” são opostos entre si.

As proposições contraválidas (contradições) são essenciais para a análise lógica no sentido de avaliar a consistência de argumentos, a validade de teorias e/ou a coerência dos pensamentos; como, também, se prestam, como ponto modal, para se distinguir, pontualmente, entre paradoxos e antinomias.

ANTINOMIA é entendida como uma afirmação que contém (necessariamente) uma contradição lógica (interna) na sua formulação a qual destruirá o raciocínio que a contenha.

PARADOXO sempre será uma declaração que conduz (invariavelmente) a uma contradição lógica a qual, em geral, embora possa ser surpreende, leva, possivelmente, ao “engano”.

No capítulo VIII do meu livro “Lógica matemática: introdução ao cálculo proposicional” (ISBN: 978-85-88925-15-1) apresento, com o título “Paradoxos e Antinomias”, pretendido compêndio de considerações sobre minha posição sobre PARADOXOS e ANTINOMIAS.

Carlos Magno Corrêa Dias
07/01/2025

Nem paradoxo é, mas dissimula.

Há mais de uma década, lá em 02 de janeiro de 2015, com o título “BELEZA x ESPUPIDEZ”, publicava o aforismo a seguir (novamente) enunciado.

“Todos somos BELOS de alguma forma; basta desejar enxergar. A FEIURA apontada, denunciada, escandalizada, criticada e até objeto de escárnio, está apenas na consciência daqueles que não podem perceber a BELEZA sempre existente em tudo e em todos.”

Apesar da dissimulação (incontida), não ocorreu, nesta década passada, disrupção (mudança) alguma que suscitasse alguma alteração e, assim, sigo com idêntica posição.

Todos somos BELOS de alguma forma; basta desejar enxergar. A FEIURA apontada, denunciada, escandalizada, criticada e até objeto de escárnio, está apenas na consciência daqueles que não podem perceber a BELEZA sempre existente em tudo e em todos.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
06/01/2025

Pensando logicamente e engendrando soluções.

A concepção de "Engenharia Lógica" envolve uma abordagem sistemática e rigorosa para resolver problemas baseando-se em premissas claras e bem definidas para se chegar (unicamente) a conclusões inevitáveis.

Assim como a Engenharia (tradicional), por exemplo, possibilita a construção de pontes e edifícios com base em princípios físicos e matemáticos, a Engenharia Lógica constrói soluções usando princípios da Lógica Matemática centrados nos Cálculos Lógicos (Sentencial e dos Predicados), na Teoria da Demonstração/Argumentação Dedutiva e na Análise Inferencial para garantir correção e consistência. 

DIAS, C. M. C. - 2025

ENGENHARIA LÓGICA, porque engendrar soluções necessita, essencialmente, sempre, do pensamento lógico de forma que alfa premissas devem gerar (obrigatoriamente) beta conclusão.

Carlos Magno Corrêa Dias
03/01/2025

Saída para um futuro melhor.

Muita SAÚDE, SUCESSO e SABEDORIA (os 3 esses da fortuna) para 2025. Que com resiliência e consciência seja possível, neste 2025 que se inicia, mitigar (abrandar, suavizar, “resolver”), adequadamente, logicamente, as consequências dos anos anteriores. Somem-se as forças e expertises adquiridas para multiplicar-se resultados ainda em maior quantidade e melhores. Sempre o próximo ano é uma saída para um futuro melhor.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
01/01/2025