Mineração na Amazônia Azul.

A Amazônia Azul (o Mar do Brasil) é o vasto território marítimo brasileiro que abrange cerca de 5,7 milhões de km² e que corresponde a um potencial estratégico significativo em seus fundos marinhos. A exploração dos correspondentes recursos minerais leva o Brasil a um complexo debate que obriga o equilíbrio entre as oportunidades de desenvolvimento econômico e os desafios da sustentabilidade ambiental e geopolítica.

“O fundo do mar brasileiro abriga minerais cruciais para a transição energética e o desenvolvimento sustentável do país, alinhado com os Objetivos de Desenvolvimento Sustentável (ODS). A capacidade de explorar e utilizar tais recursos pode ampliar a inserção do Brasil na ‘Economia Azul’ e fortalecer sua base industrial”.

O Brasil tem investido consistentemente em pesquisa e exploração ao longo das últimas décadas. Iniciativas como os levantamentos sistemáticos da Marinha e Universidades, e programas estratégicos como PGGM, REMAC, LEPLAC, REMPLAC e PROAREA, visam mapear e compreender de forma sistemática esses recursos. Tais projetos demonstram a importância de uma abordagem integrada na qual a Tríplice Hélice do Conhecimento-Inovação (formada pela Indústria, Academia e Governo) gira de forma sustentável gerindo bem os recursos oceânicos.

Mas, a mineração em águas profundas impõe grandes desafios, principalmente no âmbito ambiental. Os impactos potenciais dessa atividade são vastos e preocupantes. A exploração deve, portanto, ser precedida e acompanhada por rigorosas medidas de mitigação e monitoramento, baseadas em conhecimentos gerados tanto pelas Ciências quanto pelas Tecnologias.

Em paralelo, a exploração mineral marinha toca em complexas questões geopolíticas e de soberania. A disputa pelos recursos se dá tanto dentro da Zona Econômica Exclusiva (ZEE) brasileira quanto em áreas internacionais (AREA), cuja regulação é de responsabilidade da Autoridade Internacional dos Fundos Marinhos (ISA). A atuação do Brasil nesse cenário exige a afirmação de sua soberania em sua ZEE e a participação ativa nas discussões internacionais para moldar um regime de exploração que seja justo, transparente e, acima de tudo, sustentável.

A riqueza mineral da Amazônia Azul representa uma faceta estratégica do Brasil, mas sua exploração demanda cautela. O caminho a seguir exige que o país continue a investir em conhecimento científico para entender os ecossistemas profundos, desenvolver tecnologias de mineração de baixo impacto e criar marcos regulatórios robustos que garantam a proteção ambiental e o benefício social e econômico.

Montagem a partir de Divulgação do Cembra - 2025

Cembra - 16 anos de história

A convite do Cembra (Centro de Excelência para o Mar Brasileiro) tive a oportunidade de assistir a palestra “Mineração na Amazônia Azul: Desafios e Oportunidades”, realizada em 24 de setembro de 2025, promovida pelo próprio Cembra, na qual se abordou as questões precedentemente consideradas.

Carlos Magno Corrêa Dias
30/09/2025

Álgebras Computáveis e Recursivamente Computáveis.

Quando se trata de "Álgebras Computáveis e Recursivamente Computáveis" se está fazendo referência a áreas mais avançadas da Lógica Matemática e da Teoria da Computação e/ou (mais especificamente) à Teoria da Recursão (ou Teoria da Computabilidade) aplicada a qual envolve “Estruturas Algébricas” cujos elementos e operações podem ser manipulados e calculados de forma algorítmica (formal).

Uma “Álgebra Computável” (ou “Estrutura Computável”) é uma “Estrutura Algébrica” que atende, necessariamente, um “Domínio Computável” e é constituída de “Operações Computáveis”.

O “Domínio Computável” corresponde ao conjunto de elementos da estrutura que pode ser representado por um conjunto de números naturais ou por algum conjunto que seja recursivamente enumerável (que pode ser listado por um algoritmo); enquanto as “Operações Computáveis” são todas as operações, relações e funções básicas da estrutura que são computáveis (ou seja, existe um algoritmo que pode calculá-las ou decidi-las em um número finito de passos).

Assim sendo, de forma mais elementar e/ou simples, diz-se que uma “Álgebra Computável” é aquela na qual é sempre possível efetivamente "programar" em um computador.

Já o termo “Recursivamente Computável" faz alusão ao que é “Computável” no contexto de “Teoria da Computação”, baseando-se em “Funções Recursivas Parciais”. Na prática quando se diz que uma “Estrutura” é “Computável” se está pensando no “Decidível”. Então, o termo "Recursivamente Computável" usado para “Estruturas” é sinônimo de “Computável” ou “Decidível”.

Para dar a conhecer sobre os conceitos precedentemente considerados ministrei, em 27 de setembro de 2010, na Sede Central do Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná, em um total de duas horas, a Palestra Técnica intitulada “Álgebras Computáveis e Recursivamente Computáveis”, a qual foi inolvidável e inovadora.

DIAS, Carlos Magno Corrêa - 2025

Após evidenciar o que são “Álgebras Computáveis e Recursivamente Computáveis”, integrantes da Teoria da Computabilidade (a qual estuda o que pode ser efetivamente calculado por algoritmos), mostrei que as estruturas correspondentes podiam ser aplicadas em áreas como Ciência da Computação; em Linguagens Formais e Autômatos; na “Verificação de Softwares”; na Teoria da Complexidade; em Lógica Formal no estudo de Modelos Computáveis e Decidibilidade; na análise de Raciocínio Automático para a Dedução; na Álgebra Computacional; na IA (Inteligência Artificial); bem como em “Machine Learning”.

Muito particularmente, entretanto, dei maior atenção aos usos das “Álgebras Computáveis e Recursivamente Computáveis” no campo da Lógica Matemática de Primeira Ordem em especial na Teoria de Demonstração Dedutiva e na Análise Inferencial associadas à Teoria da Prova (em Matemática) desenvolvidas no Cálculo Proposicional e dos Predicados.

Carlos Magno Corrêa Dias
29/09/2025

Completude e Corretude de Sistemas Algébricos.

Os conceitos de “Corretude” e “Completude” são fundamentais na Lógica Matemática e na Metalógica, que se aplicam a Sistemas Formais, incluindo aqueles que descrevem estruturas ou Sistemas Algébricos.

Enquanto a Lógica constrói argumentos válidos dentro de um Sistema, a Metalógica analisa as propriedades, estruturas e fundamentos do correspondente Sistema. A Metalógica trata da “Metateoria da Lógica. Na Lógica de Primeira Ordem, a Metalógica ajuda a entender “se o Sistema é capaz de provar todas as verdades matemáticas que ele expressa”. “Se a Lógica é a ferramenta que se usa para analisar argumentos, a Metalógica é a área que analisa a própria ferramenta”.

Para tratar da “Corretude” e da “Completude” ministrei, em 20 de setembro de 2010, na Sede Central do Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), a Palestra Técnica intitulada “Completude e Corretude de Sistemas Algébricos”.

DIAS, Carlos Magno Corrêa - 2025

Como proponente, organizador e coordenador do correspondente projeto da palestra em referência me preocupei, primeiramente, em distinguir os termos “Corretude” (em inglês “Soundness”) e “Completude” (em inglês “Completeness”).

Assim, evidenciei que a ‘Corretude’ se relaciona com garantia de que o sistema formal não prova nada que seja falso; ou seja, “tudo o que o sistema formal prova como teorema é, de fato, semanticamente válido (verdadeiro em todas as interpretações ou modelos consistentes com o sistema). Formalmente, tem-se, então, que “se uma fórmula é um teorema do sistema formal, então é semanticamente válida” de forma que a “Corretude” garante que o processo de dedução (prova) é confiável e preserva a verdade.

Já a “Completude” é a garantia de que o sistema formal é capaz de provar tudo que é verdadeiro em seu domínio; ou seja, “se uma fórmula é semanticamente válida (verdadeira em todas as interpretações), o sistema formal tem as ferramentas (axiomas e regras de inferência) para prová-la como um teorema”. Tem-se que “se uma fórmula é semanticamente válida, então é um teorema do sistema formal”. A “Completude” garante que o sistema de dedução é expressivo o suficiente para capturar todas as verdades do sistema.

A “Corretude” e a “Completude” são os pilares que conectam a sintaxe (o que se prova) com a semântica (o que é verdade) em qualquer Sistema Formal.

Na sequência levei em consideração onde são aplicados em Sistemas Algébricos pondo em evidência os Sistemas Formais da Lógica de Primeira Ordem, tais como a Lógica Proposicional e/ou a Lógica de Predicados.

Em síntese, a “Completude” é a propriedade dual da “Corretude”. “Um ‘Sistema Correto’ prova apenas verdades”. Um ‘Sistema Completo’ prova todas as verdades (que são deriváveis)”. Um Sistema ideal é Correto e Completo de forma que “tudo que ele prova é verdade, e tudo que é verdade pode ser provado”.

Carlos Magno Corrêa Dias
28/09/2025

Dom Pedro I e a Independência do Brasil.

Quando o assunto são as circunstâncias nas quais ocorreu o ato de “Independência do Brasil” existem, por certo, diversas controvérsias e muitas considerações a observar desde o questionamento sobre a “veracidade” do “GRITO DO IPIRANGA” até mesmo o reconhecimento do ambiente no qual a ação em si mesma ocorreu. Porém, o fato de Dom Pedro I, cognominado "o Libertador", "Pai da Pátria" e "Rei Soldado", ter declarado a “Independência do Brasil” e se tornado o primeiro Imperador do Brasil não há como negar.

No meu artigo “Sempre ordem para o progresso”, quando rememoro o dia 7 de setembro de 1822, data oficial da proclamação da Independência do Brasil, apresento algumas considerações sobre o bradar “Independência ou Morte!” de Dom Pedro I e sobre o próprio Dom Pedro I “considerado (tanto por seus contemporâneos - defensores ou opositores - quanto pela história posteriormente) como um dos governantes mais importantes na disseminação e propagação dos ideais liberais que possibilitaram ao Brasil e Portugal abandonarem os regimes absolutistas que cerceavam, em muito, o mais adequado desenvolvimento dos povos envolvidos”.

DIAS, Carlos Magno Corrêa - 2025

A história confirma que “Se nós [brasileiros] existimos como um corpo em uma Nação livre, se nossa terra não foi rasgada em pequenas repúblicas inimigas, onde apenas anarquia e espírito militar prevalecem, nós devemos muito à resolução que ele [Pedro I do Brasil] tomou em ficar entre nós, em realizar o primeiro grito por nossa independência. [...] Portugal, se fez-se livre da mais escura e degradante tirania [...] se goza dos benefícios trazidos por um governo representativo aos povos educados, ela deve a D. Pedro de Alcântara, cujas fatigas, sofrimentos e sacrifícios pela causa portuguesa lhe deram em alto grau o tributo da gratitude nacional".

O artigo em referência pode ser lido tanto na página da FNE (Federação Nacional dos Engenheiros) quanto na página do Seesp (Sindicato dos Engenheiros no Estado de São Paulo), estando disponível, respectivamente, nos endereços https://www.fne.org.br/index.php/artigos/7446-artigo-sempre-ordem-para-o-progresso e https://www.seesp.org.br/site/comunicacao/noticias/item/23512-sempre-ordem-para-o-progresso.

“Uma Nação soberana e livre reconhece sua história festejando seus exemplos e seus heróis”. Salve, Salve, Salve, a Independência do Brasil! “ORDEM por base e PROGRESSO por fim”.

Carlos Magno Corrêa Dias
27/09/2025

Incompletude Matemática.

Fui o proponente, organizador, coordenador e ministrante da Palestra Técnica intitulada “Teoremas da Incompletude Matemática”, apresentada na Sede Central do Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), em 12/09/2010, em um total de 2 (duas) horas.

DIAS, Carlos Magno Corrêa - 2025 

Na conferência em pauta fiz observar que os “Teoremas da Incompletude Matemática” são, na verdade, os Teoremas da Incompletude de Gödel, os quais, fundamentais em Lógica Matemática, foram publicados por Kurt Friedrich Gödel (1906-1978) em 1931, “estabelecendo limitações inerentes à capacidade de qualquer sistema axiomático formal consistente provar todas as verdades em seu domínio”. “Não existe um conjunto completo e consistente de axiomas a partir do qual toda a Matemática possa ser deduzida”.

Assim, demonstra-se que, em qualquer sistema formal consistente e recursivamente enumerável (o que significa que seus axiomas e regras de inferência podem ser listados por um algoritmo) que seja poderoso o suficiente para formalizar a Aritmética dos Números Naturais, haverá sempre proposições de valor lógico Verdade que não podem ser provadas (nem refutadas) dentro do próprio sistema. Em outras palavras: “existem verdades matemáticas que o sistema é incapaz de demonstrar; sendo, então, o sistema incompleto”.

Mas, como extensão do exposto precedentemente, tem-se, também, que um sistema formal consistente que satisfaça as condições anteriores “não pode provar sua própria consistência dentro de si mesmo”; ou seja: “para demonstrar que um Sistema Matemático (que inclui a Aritmética) não contém contradições (é “consistente”) se faz necessário usar um sistema formal ainda mais forte (que contenha mais axiomas ou regras) que não pode, por sua vez, provar sua própria consistência”; quer dizer: “a garantia definitiva de que um sistema é consistentemente não pode vir de dentro dele”.

“Nenhuma teoria formal suficientemente rica pode ser completa e consistente ao mesmo tempo. Se uma teoria é capaz de expressar a Aritmética básica, ela será incompleta, o que significa que sempre haverá afirmações verdadeiras que não podem ser demonstradas”. “Para que um sistema formal seja consistente (que não contenha contradições), é necessário que sua consistência não possa ser provada dentro do próprio sistema”.

Então, os Sistemas Lógicos são limitados pelos “Teoremas da Incompletude Matemática” e, portanto, incapazes de alcançar toda a intuição humana.

"Esta afirmação não pode ser provada neste sistema". “Se essa afirmação for verdadeira, ela não pode ser provada dentro do sistema (o que prova a incompletude). Se ela for falsa, então pode ser provada, mas isso levaria a uma contradição, mostrando que o sistema é inconsistente”.

Fica, então, estabelecido, “limites intrínsecos à capacidade dos sistemas formais em capturar toda a verdade matemática”.

Carlos Magno Corrêa Dias
26/09/2025

Os ODS ampliam as possibilidades dos ODM.

De 2000 até 2015 os ODM (Objetivos de Desenvolvimento do Milênio) foram trabalhados para melhorar a vida dos cidadãos. Em cada parte do planeta, em grupos corporativos ou individualmente, intenso trabalho foi realizado para se alcançar plenamente os ODM os quais no Brasil ficaram conhecidos como os “8 jeitos de mudar o mundo”.

Com os ODM a pobreza extrema diminuiu, se registrou um maior número de crianças nas escolas primárias, o acesso à água potável foi ampliado, reduziram-se as mortes de crianças, ampliaram-se os investimentos no tratamento e prevenção de doenças, cresceu a conscientização sobre a necessidade de todos contribuírem para a melhoria de vida das pessoas. Certamente, em 2015 o mundo ficou bem melhor que em 2000 e muito foi devido aos inúmeros trabalhos realizados em prol do alcance dos ODM.

Mas, o tempo passou e os desafios só fizeram aumentar com o crescimento das populações e das dificuldades para atender a todos em um mundo cada vez mais complexo. Os ODM se obrigaram transformação para se seguir na construção de um mundo cuja Sustentabilidade seja a razão do desenvolvimento e do progresso das Nações e da melhoria de vida das pessoas.

De 25 a 27 de setembro de 2015, foi realizada a Cúpula da ONU (Organização das Nações Unidas) sobre o Desenvolvimento Sustentável 2015, em Nova York (USA), quando se adotou a Agenda 2030 de Desenvolvimento Sustentável e foram assumidos os ODS (Objetivos de Desenvolvimento Sustentável) como ação global para dar sequência aos ODM. 

DIAS, Carlos Magno Corrêa - 2015

A Agenda Global Pós-2015, denominada de Agenda 2030 da ONU, aceita por unanimidade pelos 193 Estados-Membros das Nações Unidas, instituiu 17 (dezessete) Objetivos Globais, os ODS; os quais são formados por 169 metas e por um conjunto de 231 indicadores globais.

As “metas” são os compromissos específicos que os países signatários se propuseram a cumprir para concretizar a visão dos 17 ODS enquanto os “indicadores globais” fornecem as métricas para medir o progresso em relação às correspondentes metas.

A Agenda 2030 tem por principal objetivo transformações globais que possibilitem um mundo sustentável e resiliente para todos. No endereço https://brasil.un.org/pt-br/sdgs pode-se conhecer, em detalhes, cada um dos 17 ODS.

Considera-se a data de 25/09/2015 o início dos trabalhos em favor da Adenda 2030 e de alcance dos ODS. Então, neste 25/09/2025 são completados os primeiros dez anos de existência do correspondente plano global de ação para o Desenvolvimento Sustentável do mundo.

Tenho a satisfação de participar dos trabalhos para alcançar os ODS desde a implantação da Agenda 2030 da ONU contribuindo de forma diversificada, em especial, como Conselheiro no CPCE (Conselho Paranaense de Cidadania Empresarial), Conselho de Responsabilidade Social Corporativa (RSC) do Sistema Fiep (Sistema Federação das Indústrias do Estado do Paraná).

DIAS, Carlos Magno Corrêa

ODM (desde 2009) - ODS (desde 2015)

Carlos Magno Corrêa Dias
25/09/2025

Funções Recursivas Parciais.

As “Funções Recursivas Parciais” (base para se entender “o que é computável e o que não é”) seguem sendo conceito fundamental na Teoria da Computação e na Lógica Matemática dado constituírem forma poderosa e flexível de se descrever algoritmos, “capturando a ideia de que um processo de computação nem sempre precisa produzir um resultado para cada entrada”.

De forma simples e compendiada, as “Funções Recursivas Parciais” são funções que podem ser “parcialmente definidas”, ou seja, que “não necessitam ter um valor de saída para cada possível valor de entrada”.

“Funções Recursivas Parciais” são funções que não estão definidas para todos os possíveis valores de entrada; podendo “não terminar ou não produzir um resultado válido para determinados argumentos”.

São denominadas de "RECURSIVAS" porque podem ser definidas em termos de si mesmas, usando uma abordagem de recursão (baseia-se em valores da própria função para entradas menores); e, são "PARCIAIS" porque seu domínio de definição (o conjunto de entradas para as quais a função tem um valor de saída) pode ser um subconjunto próprio de seu domínio de entrada (“parcialidade”: a função pode não ter uma saída para todas as entradas; de forma que o processo de cálculo da função não termina).

Assim, as “Funções Recursivas Parciais” são aquelas que se chamam a si mesmas para resolver subproblemas menores e não estão definidas para alguns valores (ou seja, podem entrar em “um ciclo infinito” ou “falhar ao atingir um caso base”).

Para os Jovens Acadêmicos que cursavam sob minha orientação as disciplinas de Cálculo Diferencial e Integral no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná) ministrei, durante o mês de setembro de 2010, iniciando em 13/09/2010, o Curso de Extensão Universitária em "Funções Recursivas Parciais", com duração de 20 horas, cujo projeto de abertura foi, também, proposto, organizado e coordenado por mim.

DIAS, Carlos Magno Corrêa - 2025

Além da definição, propriedades e exemplos de aplicação, objetivando mostrar o quão importante são as Funções Recursivas Parciais, considerei a necessidade de se distinguir entre “Funções Totais” e “Funções Parciais” para se garantir terminação, correção e segurança (tanto em Linguagens Funcionais quanto em Teoria da Computação).

No curso em referência, inovador naquela época e há algum tempo considerado um marco, apresentei, ainda, a chamada “Tese de Church-Turing” segundo a qual se vem afirmar “que qualquer função que pode ser calculada por um algoritmo (em qualquer Modelo de Computação, como uma Máquina de Turing) é uma Função Recursiva Parcial”. No geral, “a classe das Funções Recursivas Parciais é considerada como a formalização precisa da noção intuitiva de um algoritmo”.

Uma vez mais apresentei elogios ao genial Alan Mathison Turing (1912-1954) aquele que é o “Pai da Computação Moderna” e um dos pioneiros da Inteligência Artificial.

Carlos Magno Corrêa Dias
24/09/2025

TECNOLÓGICA mantendo TECNOLOGIA e HUMANISMO.

Em 23 de setembro de 2025, a TECNOLÓGICA (atualmente UTFPR - Universidade Tecnológica Federal do Paraná) completa seus 116 (cento e dezesseis) anos de história enquanto Instituição de Ensino. Da ESCOLA DE APRENDIZES ARTÍFICES DO PARANÁ fundada em 1909 até hoje, a TECNOLÓGICA, centrada no lema TECNOLOGIA e HUMANISMO, vem transformando, continuamente, realidades em todo o Estado do Paraná.

DIAS, Carlos Magno Corrêa - 2025

Independentemente das denominações - Escola de Aprendizes Artífices do Paraná (1909), Liceu Industrial do Paraná (1937), Escola Técnica de Curitiba (1942), Escola Técnica Federal do Paraná (1959), Centro Federal de Educação Tecnológica do Paraná (1978), UTFPR (2005) - a TECNOLÓGICA sempre caminhou em direção à excelência em Educação por meio do Ensino, Pesquisa e Extensão gerando Conhecimento em prol do bem da Sociedade.

Reconhecida pela qualidade, a TECNOLÓGICA é a ALMA MATER de inúmeras histórias de Vida Acadêmica e Profissional. Integrar sua particular história de vida enquanto pessoa à história da TECNOLÓGICA, contribuindo para preservar seu lema TECNOLOGIA e HUMANISMO, é um privilégio sem igual.

A hoje UTFPR, considerada a primeira Universidade Tecnológica do Brasil, como TECNOLÓGICA, segue mantendo-se fundamental para o desenvolvimento do Paraná.

A TECNOLÓGICA sempre foi uma Instituição que teve papel especial na formação de Profissionais altamente qualificados nas áreas de Engenharia, Tecnologia e Ciências e segue contribuindo para impulsionar a industrialização e o crescimento econômico do Estado do Paraná.

A TECNOLÓGICA é um excelente Polo de Pesquisa e Inovação com diversos Programas de Pós-Graduação e Grupos de Pesquisa que geram produção científica centrada em novas tecnologias e soluções para problemas locais e globais, contribuindo para a competitividade das Indústrias do Paraná e para o avanço do conhecimento. A TECNOLÓGICA fortalece a ligação entre a Academia e o Setor Produtivo.

Com seus Câmpus em Apucarana, Campo Mourão, Cornélio Procópio, Curitiba, Dois Vizinhos, Francisco Beltrão, Guarapuava, Londrina, Medianeira, Pato Branco, Ponta Grossa, Santa Helena e Toledo, a UTFPR promove o desenvolvimento das regiões do Estado do Paraná atraindo talentos, estimulando a economia local e contribuindo para a melhoria da qualidade de vida das Comunidades.

Por intermédio de Projetos de Extensão (Universitária e/ou Tecnológica), dos quais fui o proponente, coordenador e ministrante de diversos deles ao longo de décadas, a TECNOLÓGICA sempre se conectou diretamente com a Sociedade gerando benefícios dos mais diversificados à Comunidade e ampliando o impacto da Universidade de forma a levar o conhecimento para muito além dos muros da Academia e contribuindo para o mais rápido e intensificado desenvolvimento do Estado do Paraná.

Parabéns, TECNOLÓGICA. “Ao infinito e além”, muito além.

Carlos Magno Corrêa Dias
23/09/2025

Profissionais das “Partidas Dobradas” em festa.

No livro “Summa de arithmetica, geometria, Proportioni et proportionalita”, no capítulo “Particulario de computies et scripturis”, o Frade Franciscano e importante Matemático italiano Luca Bartolomeo de Pacioli (1445-1517), Pai da Contabilidade, o pioneiro na Contabilidade que criou diversas soluções em Contabilidade, dentre eles o Método das Partidas Dobradas (ou Método Veneziano), trata com excelência assuntos sobre a Contabilidade

Em 22 de setembro, no Brasil, celebra-se o DIA DO CONTADOR, data escolhida em função do Decreto-Lei número 7.988/1945, de 22/09/1945, que dispõe sobre o Ensino Superior de Ciências Econômicas e de Ciências Contábeis e Atuariais, e regulamentou, também, o primeiro Curso de Ensino Superior em Ciências Contábeis do Brasil ofertado na Universidade Federal de Minas Gerais (UFMG); contribuindo para a regulamentação da profissão de Contador no Brasil.

DIAS, Carlos Magno Corrêa - 2024

Em homenagem aos Profissionais da Contabilidade que desempenham papel fundamental na gestão financeira tanto de empresas e organizações quando de pessoas, o DIA DO CONTADOR comemora o Profissional da Contabilidade que é vital na Economia e na Sociedade dado ser de sua responsabilidade garantir que as finanças sejam gerenciadas de forma técnica, adequada, profissional e transparente.

Parabéns aos Contadores que seguem firmes contribuindo para o avanço das Finanças e para o pleno sucesso do Sistema Financeiro do Brasil.

Carlos Magno Corrêa Dias
22/09/2025

Celebrando o Divisor de Realidades na Aviação.

Em 22 de setembro de 1959, o Tenente-Brigadeiro-do-Ar Alberto Santos Dumont (1873-1932) recebeu o título honorífico de Marechal-do-Ar, o mais alto posto da Força Aérea Brasileira (FAB). Reconhecimento dado àquele que não apenas desafiou os limites da gravidade, mas redefiniu os rumos da humanidade com suas invenções.

DIAS, Carlos Magno Corrêa - 2025

Alberto Santos Dumont não foi apenas um grande inventor e inovador, foi um visionário que transformou profundamente a realidade de forma que seu legado divide a história da aviação mundial. Existe um mundo antes de Alberto Santos Dumont e um mundo (bem diferente) depois de Alberto Santos Dumont dado que voar deixou de ser uma fantasia restrita à imaginação para ser uma possibilidade concreta, acessível, revolucionária, inovadora e determinante.

Alberto Santos Dumont projetou e construiu os primeiros balões dirigíveis movidos a motor de combustão interna, desafiando os paradigmas da navegação aérea; realizou, com o dirigível número 6, o primeiro voo em circuito fechado entre o Parc de Saint-Cloud e a Torre Eiffel em Paris (França), sob testemunho oficial de especialistas, jornalistas e centenas de populares, um feito que lhe rendeu o Prêmio Deutsch de la Meurthe; foi o primeiro a decolar a bordo de um avião com motor a gasolina, o 14-Bis, sem auxílio de rampas ou catapultas; obteve os primeiros voos homologados pelo Aeroclube da França com um aparelho mais pesado que o ar, inaugurando oficialmente a era da aviação prática; demonstrou que o voo controlado e autônomo era possível, abrindo caminho para o desenvolvimento de aeronaves modernas.

Com genialidade (e humildade) Alberto Santos Dumont acreditava que “o avião seria um instrumento de paz e aproximação entre os povos”. Permitiu que qualquer pessoa pudesse aprimorar suas invenções já que se recusou (categoricamente) a patenteá-las.

Reconhecidamente um homem ético (de grande generosidade), o notável e incrível Alberto Santos Dumont é símbolo, também, de moral preciosa.

Inventor por excelência, inovador por destino, Alberto Santos Dumont foi o primeiro Aeronauta a cumprir um circuito pré-estabelecido conduzindo um balão dirigível com motor a gasolina, na presença de testemunhas e com registro oficial na História.

Não há como deixar de observar que Alberto Santos Dumont é o inventor da primeira AERONAVE DIRIGÍVEL PRÁTICA. Depois de sua invenção os homens seguiram seus passos criando no campo da Aviação as aeronaves que hoje voam naturalmente pelos céus em toda parte.

Alberto Santos Dumont figura no Almanaque de Heróis do Ministério da Aeronáutica; a FAB concede a Medalha Mérito Santos-Dumont para galardoar aqueles que tenham prestado relevantes serviços à FAB ou que tenham dado contribuições significativas para o desenvolvimento e promoção da aviação; Alberto Santos-Dumont é o Patrono da Aeronáutica Brasileira.

Carlos Magno Corrêa Dias
22/09/2025

Cidadãos com deficiência possuem direitos e deveres.

Abordar a importância da inclusão e o respeito aos direitos e deveres das “Pessoas com Deficiência” (PcD) segue com prioridade intensificada quando se fala na luta por uma sociedade mais justa para os Cidadãos com deficiência.

No dia 21 de setembro, Dia Nacional de Luta da Pessoa com Deficiência, reforça-se a importância de garantir DIREITOS e exigir DEVERES das PcD como cidadãos de uma Nação Soberana que considera todos unidos pelo desenvolvimento e progresso do país.

PcD são indivíduos com impedimentos físicos, mentais, intelectuais ou sensoriais de longo prazo que, diante de barreiras sociais, podem ter sua participação plena comprometida. Como Cidadãos devem ser respeitados como tal.

É preciso abandonar estereótipos que tratam as PcD como frágeis ou heróis por superação. São Cidadãos com deficiência que são capazes de contribuir com conhecimento, experiência, força e expertise para o bem do país.

Sempre, então, a palavra de ordem é inclusão (no sentido pleno e concreto do termo). Sem atenuantes ou desculpas sem sentido. Sem invenções. PcD são Cidadãos e devem ter seus DIREITOS preservados e devem cumprir seus DEVERES.

Para se orientar e informar as pessoas sobre a disponibilidade de ferramentas de acessibilidade, promovendo a autonomia e a inclusão das PcD existem os Símbolos de Acessibilidade (SA) ou Símbolos de Inclusão (SI) que representam os recursos e serviços que garantem o acesso e a participação plena das Pessoas com Deficiência (PcD) na sociedade.

DIAS, Carlos Mgno Corrêa - 2024

Na imagem anexada, da esquerda para a direita e de cima para baixo, estão representados os AS ou SI com os seguintes significados:
(1) Símbolo Internacional de Acesso: Indica acessibilidade física, como rampas, banheiros adaptados e elevadores.
(2) Símbolo do Braille: Sinaliza que há textos escritos em Braille disponíveis.
(3) Símbolo de Baixa Visão: Representa recursos para pessoas com baixa visão.
(4) Símbolo de Sistemas de Audição Assistida: Indica que o local possui sistemas de som que auxiliam pessoas com deficiência auditiva.
(5) Símbolo do Intérprete de Libras: Mostra que há um intérprete de Libras disponível.
(6) Símbolo de “Closed Caption” (Legendas Ocultas): Sinaliza que o conteúdo de áudio ou vídeo possui legendas ocultas.

Alinhada com a Convenção sobre os Direitos das Pessoas com Deficiência da ONU, da qual o Brasil é signatário, deve-se, continuamente, chamar a Cidadania das PcD dado que as PcD são "Cidadãos com deficiências" e não apenas "pessoas com deficiência". E este é ponto crucial para reforçar o papel ativo e a participação plena na sociedade das PcD.

Na luta das PcD não se deve focar na condição da deficiência e sim que PcD são Cidadãos e como tais possuem DIREITOS e DEVERES.

Carlos Magno Corrêa Dias
21/09/2025

O legado espetacular dos ODM.

Há mais de 25 anos, 191 países membros da Organização das Nações Unidas (ONU), durante a Cúpula do Milênio das Nações Unidas (ocorrida entre 06 e 08/09/2000), realizada em Nova York (USA), por meio da Declaração do Milênio (adotada em 08/09/2000), instituíram os Objetivos de Desenvolvimento do Milênio (ODM) os quais definiam oito objetivos fundamentais visando combater a pobreza extrema e seus impactos mais severos nas Nações em desenvolvimento, no prazo de 15 anos, de 2000 até 2015.

ODM - ONU - 2000

Em síntese, os 8 ODM objetivaram: erradicar a pobreza extrema e a fome; atingir o ensino básico universal; promover a igualdade entre os sexos e a autonomia das mulheres; reduzir a mortalidade infantil; melhorar a saúde materna; combater o HIV/Sida, a malária e outras doenças; garantir a sustentabilidade ambiental; e, estabelecer uma parceria mundial para o desenvolvimento.

Os ODM não foram totalmente alcançados; embora, “tenham produzido o movimento antipobreza de maior sucesso na história e alcançaram marcos importantes” os quais obrigaram novos posicionamentos sobre as concepções de Sustentabilidade.

Ao final de 2015, os ODM conseguiu atingir várias metas importantes; tais como: a redução pela metade do número de pessoas vivendo em pobreza extrema; a redução pela metade das pessoas sem acesso a fontes aprimoradas de água potável; houve um grande avanço na taxa de matrícula no ensino primário; foi alcançada a paridade de gênero no ensino primário; foram evitadas mais de 6,2 milhões de mortes por malária e 37 milhões de vidas foram salvas por intervenções contra a tuberculose; a taxa de novas infecções por HIV/AIDS caiu significativamente.

No entanto, não se conseguiu atingir a redução em dois terços a mortalidade materna; também não foi possível a redução em dois terços a mortalidade de crianças menores de 5 anos; o acesso a um saneamento melhorado permaneceu um desafio e a redução pela metade a proporção de pessoas sem acesso não foi alcançada; e, continuou se perdendo recursos ambientais no campo da biodiversidade.

Os ODM foram um sucesso em termos de mobilização política e alcançaram resultados notáveis em áreas-chave. Embora os ODM tenham deixado desafios não resolvidos, especialmente nas áreas de desigualdade, saúde materna e sustentabilidade ambiental, estes foram incorporados e ampliados na agenda sucessora, a Agenda 2030 da ONU, com os ODS (Objetivos de Desenvolvimento Sustentável) que seguem a partir de 25/09/2015 até 2030.

DIAS, Carlos Magno Corrêa - 2015

Adotando a Declaração do Milênio e a possibilidade da Sustentabilidade, iniciei minha atuação em prol do alcance dos ODM a partir de 2009; e sigo, atualmente, com ações em favor do alcance dos ODS, das atividades ESG (“Environmental”, “Social”, “Governance”); defendendo a RSC (Responsabilidade Social Corporativa), os princípios do Prime (“Principles for Responsible Management Education”) e as diretrizes do Pacto Global (“United Nations Global Compact”).

Carlos Magno Corrêa Dias
20/09/2025

Membro do “Esquadrão Adelphi” ilumina a Galeria dos Imortais.

Disse certa vez o Soldado de Primeira Classe, Segundo Tenente Heitor Tider (1921-2023): “O segredo para tudo na vida é muito simples: garra e determinação. Se quer fazer qualquer coisa, não pode no primeiro obstáculo recuar, tem que seguir em frente com garra e determinação”.

Ao mesmo tempo dá-se um “ADELPHI” e um seja bem-vindo à Galeria dos Imortais Heróis da Segunda Guerra Mundial ao veterano do Primeiro Grupo de Aviação de Caça (1º GAvCa) da Força Aérea Brasileira (FAB) Heitor Tider, nascido em 28/08/1921 em Porto Alegre (RS) e que faleceu em 17/09/2023 aos seus 102 anos de idade.

DIAS, Carlos Magno Corrêa - 2025

A Unidade de Caça 1º GAvCa da FAB, conhecido como “Esquadrão Jambock” (“Esquadrão Adelphi”) e pelo seu grito de guerra “SENTA A PUA!”, constituiu “o primeiro Grupo de Aviação de Caça da FAB sendo seus componentes daquela época considerados exemplos de coragem e determinação que contribuíram para a excelência da aviação da FAB”.

“Heitor Tider queria ser piloto, mas, não possuindo o Ensino Secundário completo, não estava apto a inscrever-se no concurso de admissão da Escola de Aeronáutica. A oportunidade de ingressar nas fileiras da FAB surgiu com a Segunda Guerra Mundial, quando, atendendo um anúncio de convocação, alistou-se na FAB aos 21 anos, em Porto Alegre. Com seus conhecimentos prévios de mecânica, aprendidos numa oficina de automóveis em Porto Alegre, começou a trabalhar como auxiliar mecânico nos aviões de treinamento primário”.

Ao regressar ao Brasil, depois da guerra no posto de Cabo, Heitor Tider pediu baixa da FAB e em 1946 fez treinamento de Piloto em planadores e começou a atuar como Copiloto Mecânico em voos comerciais. Após a realização de Curso de Aviador Civil recebeu a sua licença de Mecânico do antigo DAC (Departamento Aviação Civil) aprovada em 29/05/1947.

Realizou então cursos de Piloto Primário e Comercial na Varig Aero Esporte (VAE) e Escola Varig de Aeronáutica (EVAER), obtendo sua carta de Piloto Mercante em dezembro de 1949. O Piloto Heitor Tider iniciou sua carreira de Piloto Comercial em 1951 como Comandante de avião McDonnel Douglas DC-3 na VARIG em Porto Alegre (RS). Construindo uma longa carreira de muito sucesso chegar a Comandante de avião McDonnel Douglas DC-10; aposentando-se na mesma VARIG em 1977 com 25.000 horas de voo.

Homem prático e profissional brilhante Heitor Tider tem suas memórias de guerra contadas no livro “80 anos do V COMAR” que foi produzida pelo Comando Aéreo Sul (V COMAR) sediado em Canoas (RS).

Heitor Tider recebeu as Condecorações: Medalha da Campanha da Itália; Medalha Mérito Operacional Nero Moura; Medalha Marechal Mascarenhas de Moraes; Medalha Heróis Alados do Brasil; bem como a “Presidential Unit Citation” (EUA).

Hurra! Hurra! Hurra! Salve, Salve! Salve Heitor Tider que com “garra e determinação” SENTOU A PUA pela liberdade dos homens!

Carlos Magno Corrêa Dias
19/09/2025

A Lógica do Cálculo Diferencial e Integral.

Durante mais de quarenta anos tenho me dedicado a realizar Atividades de Extensão nas Instituições de Ensino Superior nas quais lecionei. Já perdi as contas de quantos foram os Acadêmicos que receberam conhecimentos nas áreas da Lógica Matemática e da Diferenciação e Integração; mas, certamente, o batalhão de iniciados nestes campos deve ter ultrapassado já a casa dos mais de cinco milhares (ou mais).

Mas, em particular, muitos dos Cursos de Extensão Universitária que ministrei foram especiais e determinantes, porquanto além de ampliar o número de iniciados em Técnicas Formais de Avaliação de Raciocínios Lógicos possibilitaram aos correspondentes Profissionais dominarem seus espaços de atuação de maneira mais consistente e coerente (lógica) permitindo vislumbrar horizontes de inovação cada vez mais abrangentes e determinantes.

Dentre os Cursos de Extensão Universitária que propus, organizei e ministrei, o Curso de Extensão Universitária em “Lógica Sentencial e Predicativa Aplicada ao Cálculo Diferencial e Integral”, realizado nas dependências do Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), com início em 09/09/2010, há mais de quinze anos atrás, é uma daquelas Atividades de Extensão inolvidável e especial, dado que o evento teve por objetivo apresentar a Álgebra Proposicional e Predicativa da Lógica Matemática de Primeira Ordem para o estudo lógico dos elementos fundamentais do Cálculo Diferencial e do Cálculo Integral nas Engenharias.

DIAS, Carlos Magno Corrêa - 2025

O Curso de Extensão Universitária em “Lógica Sentencial e Predicativa Aplicada ao Cálculo Diferencial e Integral” foi ainda melhor porque o público que participou era formado, exclusivamente, de Acadêmicos que tiveram (ou tinham) comigo as disciplinas de Cálculo Diferencial e Integral nos Cursos de Engenharia da TECNOLÓGICA. Lembro-me que tão logo as inscrições foram abertas, em poucos minutos o setor responsável pelas inscrições encerrou o processo e começou a elaborar uma lista de espera de interessados em uma nova edição do curso tendo em vista que o número de vagas disponibilizado havia terminado rapidamente.

Durante o curso em referência tratei os conteúdos da Lógica Matemática voltados para o entendimento “lógico” de temas como: Álgebra da Teoria dos Conjuntos; Álgebra de Limites; Álgebra da Derivação; Álgebra da Diferenciação; bem como Álgebra da Integração.

Atualmente, hoje Engenheiros, aqueles Jovens Acadêmicos que realizaram o Curso de Extensão Universitária em questão relatam como por várias vezes em suas carreiras utilizam os correspondentes conhecimentos para resolver mais fácil e adequadamente os problemas profissionais surgidos.

Receber semelhante retorno é dos prêmios o maior e o mais significativo que pode existir. “Ao infinito e além”, muito além.

Tanto a Lógica Formal quanto Diferenciação e a Integração operam transformações inolvidáveis e inovadoras no mundo real.

Carlos Magno Corrêa Dias
18/09/2025

Celebrando em Recife a Ciência do Brasil.

No dia 10 de setembro de 2025, a cidade de Recife (PE) foi o palco de celebração do conhecimento gerado no Brasil ao sediar o Simpósio e a Diplomação dos Membros Afiliados da Regional Nordeste e Espírito Santos da Academia Brasileira de Ciências (ABC) para o período 2025–2029. O evento, realizado na Universidade Federal de Pernambuco (UFPE), na Cidade Universitária, destacou o papel fundamental da nova geração de pesquisadores no cenário científico do Brasil.

Academia Brasileira de Ciências (ABC) - 2025

A cerimônia diplomou cinco jovens cientistas reconhecidos por suas contribuições em diversas áreas, como Ciências Biomédicas, Químicas, da Saúde e da Engenharia. Durante o simpósio, eles apresentaram suas pesquisas inovadoras, abordando temas de grande relevância, desde o desenvolvimento de antivirais até a análise de dados urbanos e a luta contra a desinformação.

“Não apenas se reconheceu a excelência individual de cada um dos jovens pesquisadores, mas, celebrou, também, a vitalidade das pesquisas que estão sendo realizadas”.

Além das apresentações, o evento contou com conferências magnas proferidas por conhecidos acadêmicos, enriquecendo o debate e aprofundando as discussões sobre o futuro da Ciência do Brasil. O simpósio e a diplomação, transmitidos ao vivo pelo YouTube, permitiram que um público mais amplo testemunhasse a importância de se investir em Ciência e em seus profissionais.

A convite da ABC tive a oportunidade especial de assistir as conferências magnas “Inteligência Artificial: Benefícios, Riscos e como está o Brasil” e “Desafios e estratégias na luta contra a desinformação científica” ministradas por membros titulares da ABC, bem como as palestras “Desenvolvimento de antivirais contra Arboviroses”, “Fármacos de Ação Imunomoduladora e Antiparasitária: Uma Nova Fronteira na Doença de Chagas”, “Obesidade e Câncer de mama: Conexões Inflamatórias e desafios terapêuticos”, “Ciência & Equidade”, e, “Aplicações de Visualização Interativa para Análise de Dados Urbanos”

“Eventos como a diplomação da ABC em Recife consolidam que a Ciência do Brasil é robusta e promissora. Ao honrar e dar voz a esses jovens talentos, o evento segue inspirando as próximas gerações de pesquisadores e reafirma o compromisso da ABC com o avanço do conhecimento e com o desenvolvimento social, científico e tecnológico do Brasil”.

A ABC é uma das instituições mais antigas e prestigiadas do Brasil, fundada em 1916. Trata-se de uma entidade autônoma, não governamental e sem fins lucrativos, cujo principal objetivo é promover o desenvolvimento da Ciência no Brasil.

Atuando como um importante e independente agente na sociedade, congregando cientistas renomados do Brasil e do exterior “a ABC realiza debates, emite pareceres e propõe soluções para os desafios nacionais, utilizando o conhecimento científico como base para a formulação de políticas públicas nas áreas de educação, saúde, meio ambiente e inovação”.

Carlos Magno Corrêa Dias
17/09/2025

Engenharia mitiga o sofrimento da demência.

A Engenharia, com foco na resolução de problemas do mundo real, sempre emergiu como uma aliada na criação de soluções que possam tornar a vida das pessoas melhorada; não sendo diferente no caso da luta contra a Demência. Atualmente, longe de ser apenas um desafio médico, a Demência exige atenções multidisciplinares que tanto as Ciências quanto as Tecnologia podem oferecer, desde um diagnóstico precoce até técnicas sofisticadas de tratamento e/ou acompanhamento visando a qualidade de vida dos pacientes e de seus cuidadores.

A pandemia de Covid-19 trouxe à tona grande preocupação com o aumento intensificado de Distúrbios Cognitivos e/ou Distúrbios Neurológicos que geram tanto a Demência quanto danos à Saúde Mental. Semelhantes efeitos têm impactado diretamente a produtividade e a qualidade de vida de trabalhadores em diversas áreas.

No contexto em pauta, a Engenharia é forte aliada estratégica no necessário enfrentamento. Por meio de soluções tecnológicas e científicas os Engenheiros têm desenvolvido Tecnologias Assistivas, Ambientes Inteligentes, Plataformas Digitais voltadas para a monitoração das funções mentais dos pacientes; dentre outras inovações.

DIAS, Carlos Magno Corrêa - 2025

Mas, entende-se que os cuidados com a Saúde Mental devem ser interdisciplinares, associando Tecnologias, Ciências e Engenharia com Medicina, Psicologia, Filosofia, Antropologia, Lógica, Neurociência, dentre outras áreas do saber. E, em particular, a Engenharia pode contribuir com a geração de ferramentas efetivas para diagnóstico precoce, suporte à autonomia e melhoria da qualidade de vida.

As pesquisas demonstram que o primeiro e importante passo no combate à demência é o diagnóstico preciso, e a Engenharia tanto é fundamental quanto está revolucionando o correspondente processo.

Algoritmos de IA (Inteligência Artificial) passam a analisar exames de imagem cerebral para identificar padrões que sinalizam o início de doenças. Além disso, a IA pode processar, também, dados de voz e padrões de escrita para detectar alterações cognitivas precocemente. Dispositivos Vestíveis (“wearables”) e sensores embutidos no ambiente doméstico podem monitor discretamente o comportamento do paciente. O conjunto de tais informações fornecem dados valiosos para os médicos avaliarem a progressão da doença.

Para tratar de questões relacionadas, apresentando um alerta, escrevi o artigo “A engenharia e o combate à demência”, publicado, recentemente, tanto na página da FNE (Federação Nacional dos Engenheiros) quanto na página do Seesp (Sindicato dos Engenheiros no Estado de São Paulo). No texto apresento considerações gerais sobre Distúrbios Neurológicos e Distúrbios Cognitivos, Demência e Saúde Mental, que podem ocorrer na Vida Profissional ou no Mercado de Trabalho, particularmente no campo das Engenharias e da Indústria. O artigo encontra-se disponível nos endereços: https://tinyurl.com/3kaerchc e https://tinyurl.com/mryekm3n.

Carlos Magno Corrêa Dias
16/09/2025

Análise inferencial dedutiva transcendendo.

Com o título “Porque é Necessário Avaliar Logicamente as Razões Suficientes a Análise Lógica é Solicitada” informava em 14/09/2015, há mais de uma década passada, que estava iniciando no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná) o Curso de Extensão Universitária e Tecnológica em ANÁLISE INFERENCIAL DEDUTIVA EM LÓGICA MATEMÁTICA.

DIAS, Carlos Magno Corrêa - 2025

Curso em questão, voltado para instruir Graduandos dos Cursos de Ciências Exatas e de Tecnologia de “Técnicas Formais para a Avaliação de Raciocínios Dedutivos”, tomava por base a “Álgebra da Lógica e a Teoria da Argumentação em Lógica Analítica de Primeira Ordem” para ser desenvolvido.

Como Proponente, Organizador e Coordenador do correspondente Projeto do Curso o qual integrava da área de “Lógica e Filosofia da Ciência”, bem como quem ministrou o Curso, minha preocupação era que “os Acadêmicos dos diversos e diferentes Cursos Regulares de Graduação das Universidades Brasileiras, das distintas Áreas do Saber (em geral), apresentam dificuldades nos estudos e na aquisição de conhecimentos decorrentes da falta de entendimento lógico a respeito dos temas que se obrigam estudar quando estes exigem domínios no campo da Dedução Lógica ou da Análise Lógica Inferencial”.

Assim sendo, o Curso de Extensão Universitária e Tecnológica em ANÁLISE INFERENCIAL DEDUTIVA EM LÓGICA MATEMÁTICA teve por principal objetivo apresentar o Cálculo Lógico Proposicional (Sentencial), desenvolvido em Lógica Matemática Dedutiva de Primeira Ordem, para o estabelecimento de Métodos e Técnicas Formais de Raciocínios Dedutivos que permitissem evidenciar e analisar, mediante a Álgebra da Lógica, a Validade e a Consistência de Raciocínios estruturados sejam como Argumentos Dedutivos ou Inferências nos quais “Conclusões” devem ser, necessariamente, consequências lógicas de “Premissas” identificadas.

DIAS, Carlos Magno Corrêa - 2025

Justificado para ser possível perspectivar uma melhoria do Raciocínio Lógico Dedutivo dos correspondentes Estudantes, o Curso de Extensão Universitária e Tecnológica em ANÁLISE INFERENCIAL DEDUTIVA EM LÓGICA MATEMÁTICA foi edificado centrando-se nos fundamentos da Análise Inferencial e Teoria da Argumentação, desenvolvidos em Lógica Formal (Dedutiva).

Durante a referida Ação de Extensão foram tratados Conteúdos Programáticos como: Semântica da Linguagem Formal da Lógica Matemática; Sintaxe da Linguagem Formal da Lógica Matemática; Enunciações e Proposições; Fórmulas Proposicionais; Estruturação do Cálculo Lógico Proposicional; Validade e Verdade; Matriz-Função-de-Verdade; Contingências, Tautologias e Contradições; Operações Lógicas Fundamentais e Operações Derivadas; Relação de Equivalência Lógica; Relação de Implicação Lógica; Álgebra da Lógica (Sentencial); Argumentos Dedutivos; Análise Inferencial; Teoria da Argumentação Lógica; Sofismas e Falácias; bem como Demonstração Dedutiva.

Carlos Magno Corrêa Dias
15/09/2025

A “Due Diligence” no contexto de Compliance.

No último dia 29/08/2025, a Rede Paranaense de Compliance realizou seu Segundo Encontro de 2025 com o tema: "Due Diligence como Ferramenta Estratégica de Compliance", o qual foi desenvolvido presencialmente na Casa da Indústria do Sistema Fiep (Sistema Federação das Indústrias do Estado do Paraná), no Jardim Botânico, em Curitiba (PR), na Sala Prospectiva Nova, com transmissão ao vivo também.

Sistema Fiep - Rede Paranaense de Compliance - 2025

A “Due Diligence”, enquanto “ferramenta estratégica para o Compliance”, é um processo de investigação minuciosa e avaliação de riscos que vai muito além de uma simples verificação; sendo no cenário corporativo atual um mecanismo indispensável para o Compliance de forma a garantir que as empresas operem de forma ética, transparente e em conformidade com as leis e regulamentações. A “Due Diligence” possibilita “que organizações conheçam a fundo seus parceiros de negócios, clientes, fornecedores e até mesmo aquisições, identificando potenciais ameaças e tomando decisões informadas”.

A “Due Diligence” atua “como um mecanismo de defesa proativo, ajudando a empresa a evitar se envolver com entidades ou indivíduos que possam causar danos à sua reputação, estabilidade financeira ou que representem riscos legais”. Quando aplicada estrategicamente, a “Due Diligence” pode fortalecer a Governança Corporativa de uma organização; contribuindo para a construção de uma cultura de integridade, onde a ética e a transparência são valorizadas em todas as operações.

Convidado a participar do encontro pelo Sistema Fiep, por meio da Rede Paranaense de Compliance, tive a oportunidade de aprofundar conhecimentos sobre como a “Due Diligence” pode ser aplicada na prática para garantir a integridade e o sucesso das Indústria do Paraná.

O objetivo da Rede Paranaense de Compliance “é estimular a troca de informações relacionadas com as práticas de Compliance e gestão de riscos, tendo como propósito difundir as melhores práticas corporativas e, por consequência, contribuir com o avanço de temas relacionados à integridade, transparência e conduta ética nos negócios no Estado do Paraná”.

A Rede Paranaense de Compliance é uma iniciativa do Sistema Fiep que promove a cultura de Compliance, Governança Corporativa e Integridade no Ambiente Empresarial do Estado do Paraná. Reunindo-se periodicamente para debater e compartilhar conhecimentos sobre o Compliance, a Rede Paranaense de Compliance, em parceria com o CIFAL Curitiba (Centro Internacional de Formação de Autoridades e Líderes de Curitiba) e o Unitar (Instituto das Nações Unidas para Treinamento e Pesquisa), gera encontros periódicos que visam a troca de experiências objetivando a atualização sobre as melhores práticas do mercado.

O Sistema Fiep segue promovendo, representando e defendendo a Indústria do Estado do Paraná. Indústria Forte. Nação Soberana.

Carlos Magno Corrêa Dias
14/08/2025

Visão extemporânea de “Compêndios” segue orientando.

Com título “Matemática e Lógica Matemática”, na seção “LANÇAMENTOS”, foi publicado no Jornal VIDA UNIVERSITÁRIA da PUC-PR (Pontifícia Universidade Católica do Paraná), no número 119, na página 10, de setembro de 2000, artigo divulgando o meu livro “Compêndios de matemática e lógica matemática: uma abordagem extemporânea” (ISBN: 85-900661-1-8).

DIAS, C. M. C. - 2025

No artigo em referência (PUC-PR. Matemática e Lógica Matemática. Vida Universitária, Curitiba, n. 119, p. 10, set. 2000.) é observado que “Compêndios de matemática e lógica matemática: uma abordagem extemporânea”, com mais de quatrocentas páginas, trata-se de um livro “constituído de uma coleção de textos que abordam temas estritamente técnicos e de tópicos relacionados com aspectos históricos e filosóficos ligados à Matemática ou à Lógica Matemática”.

O artigo segue salientando que a obra não apresenta os “assuntos” ordenados em uma “sequência rígida de exposição ou encadeamento” como é usual, ressaltando que o livro não considera, também, preocupação com aquilo que “é próprio do tempo em que se sucede ou se faz”; fazendo-se jus à intencionada “abordagem extemporânea”.

Na época, como Professor do Departamento de Matemática e Física do Centro de Ciências Exatas e de Tecnologia (CCET) da PUC-PR, divulgava minha perspectiva sobre Matemática e Lógica Matemática por intermédio de textos que abordavam tanto temas técnicos quanto tópicos históricos e filosóficos ligados à Matemática e à Lógica Matemática, os quais reunia em publicações do tipo de "“Compêndios de matemática e lógica matemática: uma abordagem extemporânea”"; obra que elaborei, editei e publiquei.

“Compêndios de matemática e lógica matemática: uma abordagem extemporânea” livro escrito com a intenção de ser “atemporal”, chega em 2025 completando já mais de um quarto de século, mais de vinte e cinco anos, de existência e segue atendendo “a todos que, em certa medida, se interessam por assuntos relacionados à Matemática e à Lógica Matemática independentemente de sua formação ou área de foco específica”.

DIAS, C. M. C. - 2000

Como observei no prefácio da obra, não havia quando da elaboração do livro “a ousada pretensão de “ensinar” as correspondentes teorias”. Aquele “trabalho (em sua particular concepção) não é um livro de Matemática e de Lógica Matemática (nos moldes do padrão convencionado, no sentido usual), tem-se, ao contrário, simplesmente, a intenção de expor alguns pontos que poderão, por sua vez, motivar o leitor, a seu tempo, tanto a desenvolver algumas reflexões pertinentes, quanto a balizar seu caminho intelectual no sentido de buscar aprofundamentos que julgue necessário ao desenvolvimento de seus respectivos estudos”.

“Compêndios de matemática e lógica matemática: uma abordagem extemporânea” apontam para além de lugares comuns e de posições preconcebidas, e, conforme esperado, segue vislumbrando possibilidades de orientação.

Carlos Magno Corrêa Dias
12/09/2025

Seminário Avançado em Lógica em Mestrado da PUC-PR.

Saiu lá em setembro de 1995, há mais de três décadas portanto, no Jornal VIDA UNIVERSITÁRIA da PUC-PR (Pontifícia Universidade Católica do Paraná), no número 79, na página 04, o artigo “Seminário Avançado em Lógica para Desenvolvimento do Raciocínio” (PUC-PR. Seminário Avançado em Lógica para Desenvolvimento do Raciocínio. Vida Universitária, Curitiba, n. 79, p. 4, set. 1995.).

DIAS, C. M. C. - 2025

No Seminário Avançado em “Lógica do Desenvolvimento do Raciocínio”, o qual ministrei no Curso de Mestrado em Educação da PUC-PR, no período de 27/04/1995 a 29/04/1995, apresentei os principais Métodos e Técnicas Formais de Argumentação para a Análise de Validade de Raciocínios Dedutivos e Indutivos a partir dos pressupostos analíticos da Lógica Matemática de Primeira Ordem; quando tratei, também, questões sobre Paradoxos e Antinomias, bem como sobre os procedimentos para identificar, evitar e corrigir erros de raciocínio.

No início do correspondente artigo é apresentada justificativa para que o seminário em referência fosse desenvolvido no Curso de Mestrado em Educação da PUC-PR daquela época. “Tendo em vista a necessidade de se pensar logicamente para a tomada de quaisquer decisões, quer seja nas áreas de administração e produção, quer seja nas áreas de disseminação de conhecimentos, constatamos que a maioria dos estudantes dos cursos de pós-graduação, bem como dos profissionais formados pelos cursos de graduação não possuem os meios necessários e suficientes para atuar de forma lógica, coerente e consistente na realidade que os engloba”.

Defendendo sempre que a Lógica possibilita a geração dos meios necessários e suficientes para se atuar de forma coerente, consistente e completa na realidade circundante, o Seminário Avançado em “Lógica do Desenvolvimento do Raciocínio” integrou o conjunto dos Seminários Avançados ofertados por Especialista com o objetivo principal de aprofundar o conhecimento dos Mestrandos do PPGE (Programa de Pós-Graduação em Educação) da PUC-PR em tópicos específicos, promovendo o necessário desenvolvimento de habilidades de pesquisa.

No artigo “Seminário Avançado em Lógica para Desenvolvimento do Raciocínio” foi dado atenção especial à minha posição de que entre a ciência e a lógica existe uma relação de impregnação mútua de forma que “Tal relacionamento se revela por meio de um paralelismo nas funções que desempenham e na complementaridade nos objetivos que perseguem. É necessário reconhecer a essencialidade desta impregnação e utilizá-la como fundamento para a formação do mestrando, o qual carece de sustentação lógica em suas atividades”.

O “Seminário Avançado em “Lógica do Desenvolvimento do Raciocínio”, por sua vez, fez história a qual é rememorada com júbilo ainda atualmente sendo fonte de diversos estudos e pesquisa que renderam incremento significativo nos processos do Ensino-Aprendizagem.

Carlos Magno Corrêa Dias
11/09/2025

Evolução da Cartografia Náutica.

A convite do Cembra (Centro de Excelência para o Mar Brasileiro) assisti, em 27/08/2025, a palestra intitulada “A próxima fronteira da Produção Cartográfica Náutica mundial: O modelo universal de dados hidrográficos S-100”, a qual marcou o aniversário de 16 anos do Cembra e teve como foco o avanço tecnológico na produção Cartográfica Náutica mundial por meio do modelo universal de dados hidrográficos S-100.

Cembra - 2025

O padrão S-100, desenvolvido pela Organização Hidrográfica Internacional (OHI) com base nas normas ISO 19100, representa avanço na modernização da Cartografia Náutica. Diferente de uma simples atualização, o S-100 estabelece uma estrutura universal voltada para a interoperabilidade e integração de dados geoespaciais, permitindo a produção, o compartilhamento e o uso eficiente de informações marítimas; impactando diretamente a segurança da navegação e a gestão de operações marítimas em ambientes cada vez mais digitais.

Historicamente, a Cartografia Náutica foi baseada em produtos estáticos, como cartas de papel e Cartas de Navegação Eletrônica (ENC) no padrão S-57. Embora tenham sido fundamentais por décadas, esses formatos apresentam limitações frente à crescente demanda por dados dinâmicos e em tempo real, como níveis do mar, correntes e condições meteorológicas.

O S-100 surge como uma solução estratégica, alinhando-se às exigências da tecnologia da informação contemporânea. Sua estrutura modular permite o desenvolvimento de produtos especializados, como o S-101 (ENC de nova geração), S-102 (modelos batimétricos) e S-111 (dados de correntes superficiais), entre outros. Com isso, o S-100 não apenas substitui os padrões anteriores, mas inaugura uma nova era na cartografia náutica, voltada para a interoperabilidade, atualização contínua e suporte à navegação inteligente.

No dia 27 de agosto, lá no ano de 2009, o Cembra foi constituído. Assim, celebrar os 16 anos do Cembra no mesmo dia de apresentação da palestra em referência foi oportunidade única de reconhecer ao vivo a trajetória do Cembra marcada por compromisso, inovação e profundo impacto no desenvolvimento sustentável da chamada Amazônia Azul (Mar do Brasil).

Cembra - 2025

Desde sua fundação, o Cembra tem se destacado como um elo estratégico entre Governo, Academia e Indústria, promovendo ações estruturantes que fortalecem a mentalidade marítima e ampliam o protagonismo do Brasil no cenário oceânico global. Ao longo do tempo, o Cembra consolidou-se como referencial técnico e institucional, fomentando pesquisas de ponta, projetos multidisciplinares e a produção de conhecimento aplicado ao Mar do Brasil.

O Cembra avança fazendo a Tríplice Hélice do Conhecimento-Inovação girar e mais do que uma instituição o Cembra (“Profundo como o Mar”) representa uma visão de futuro dado defender “um Brasil que reconhece o Mar como fonte de riqueza, soberania e inovação”.

Carlos Magno Corrêa Dias
09/09/2025

Ler e escrever é muito mais que uma necessidade.

Enquanto o mundo civilizado e alfabetizado, certamente, celebrou, em 8 de setembro, o Dia Internacional da Alfabetização com júbilo reconhecendo mais uma vez os benefícios da Educação de boa qualidade, existiram países, como o Brasil, que se encontram em posição paradoxal. A data, que para muitas Nações representa a comemoração de conquistas educacionais e o reconhecimento do valor da Educação para o desenvolvimento e a soberania, expõe para outros países uma série de desafios crônicos os quais levam seus povos a enfrentarem uma realidade de deficiências que persistem e colocam em xeque o progresso e o correspondente potencial.

DIAS, C. M. C. - 2025

A análise dos indicadores educacionais do Brasil, por exemplo, revela um cenário desanimador. Em avaliações internacionais comparadas tipo o Pisa (Programa Internacional de Avaliação de Estudantes) da OCDE (), o país consistentemente ocupa as últimas colocações, refletindo um baixo desempenho de suas crianças e de seus jovens em áreas fundamentais do aprendizado. Semelhante performance insatisfatória não se limita aos rankings. O problema é estrutural, manifestando-se em altos índices de analfabetismo, seja ele total ou funcional. A falta de instrução formal é evidente, também, na população adulta na qual mais da metade não completou o Ensino Médio, enquanto a parcela com Ensino Superior completo permanece pequena.

A situação crítica pela qual passa a Educação no Brasil é resultado de falhas históricas e da falta de prioridade dada à Educação de qualidade. “O Brasil se distingue como um país que, apesar de seu tamanho e potencial, ainda luta para garantir que todos os seus cidadãos possam, ao menos, escrever seus próprios nomes com proficiência”. O acesso à leitura e à escrita, direitos fundamentais e pilares para a autonomia e a participação social, ainda não é uma realidade para todos.

Assim, o 8 de setembro, para o Brasil, não é um dia de festa. Mas, poderia ser uma oportunidade para a reflexão profunda que levassem à busca por soluções urgentes. “A Educação é o motor do progresso”. Reconhecer essa realidade é o primeiro passo para a construção de um futuro em que a celebração da alfabetização seja, de fato, um motivo de orgulho nacional.

LER e ESCREVER vai muito além de uma exigência.

“A Educação é um pilar central para o desenvolvimento social e econômico de qualquer Nação”. E a melhoria nos índices de alfabetização e de qualidade da Educação, embora um desafio constante que requer esforços contínuos e políticas públicas eficazes, é uns dos caminhos eficientes para a solução de diversos problemas.

Carlos Magno Corrêa Dias
08/09/2025

Ressoando em duas frentes o espírito de Independência.

Em 07/09/1822, há mais de dois séculos, a Independência do Brasil era proclamada com o “Grito do Ipiranga” dado por Dom Pedro I (1798-1834), que criou, também, a música do Hino da Independência, cuja letra foi composta por Evaristo Ferreira da Veiga e Barros (1799-1837).

DIAS, C. M. C. - 2024

O Hino da Independência é um manifesto pela liberdade e um chamado à Nação. Sempre que se lê as estrofes do Hino da Independência do Brasil, se é chamado a refletir sobre a necessidade de manter a Pátria livre e soberana.

Já podeis da Pátria filhos
Ver contente a Mãe gentil;
Já raiou a Liberdade
No Horizonte do Brasil
Já raiou a Liberdade
Já raiou a Liberdade
No Horizonte do Brasil

Brava Gente Brasileira
Longe vá temor servil;
Ou ficar a Pátria livre,
Ou morrer pelo Brasil.
Ou ficar a Pátria livre,
Ou morrer pelo Brasil.

Os grilhões que nos forjava
Da perfídia astuto ardil,
Houve Mão mais poderosa,
Zombou deles o Brasil.
Houve Mão mais poderosa
Houve Mão mais poderosa
Zombou deles o Brasil.

Brava Gente Brasileira
Longe vá temor servil;
Ou ficar a Pátria livre,
Ou morrer pelo Brasil.
Ou ficar a Pátria livre,
Ou morrer pelo Brasil.

Não temais ímpias falanges,
Que apresentam face hostil:
Vossos peitos, vossos braços
São muralhas do Brasil.
Vossos peitos, vossos braços
Vossos peitos, vossos braços
São muralhas do Brasil.

Brava Gente Brasileira
Longe vá temor servil;
Ou ficar a Pátria livre,
Ou morrer pelo Brasil.
Ou ficar a Pátria livre,
Ou morrer pelo Brasil.

Parabéns ó brasileiros,
Já com garbo juvenil
Do universo entre as nações
Resplandece a do Brasil.
Do universo entre as nações
Do universo entre as nações
Resplandece a do Brasil.

Brava Gente Brasileira
Longe vá temor servil;
Ou ficar a Pátria livre,
Ou morrer pelo Brasil.
Ou ficar a Pátria livre,
Ou morrer pelo Brasil.

Há de se notar que o Hino da Independência não é o único a festejar o 7 de setembro. O Hino Nacional do Brasil é, também, uma das importantes expressões da Independência do Brasil que faz ressoar a Independência do Brasil.

DIAS, C. M. C. - 2024

A melodia do Hino Nacional do Brasil foi composta por Francisco Manuel da Silva (1795-1865). A letra do Hino Nacional do Brasil foi oficializada apenas quase um século depois em 06/09/1922; sendo de autoria de Joaquim Osório Duque Estrada (1870-1927).

Então, em todo dia 7 de setembro, celebrando a Independência do Brasil, é momento especial de se relembrar, também, o Hino Nacional do Brasil ouvindo e cantando: https://www.youtube.com/watch?v=Z7pFwsX6UVc.

Enquanto o Hino da Independência celebra o evento histórico, o Hino Nacional é uma ode poética ao Brasil, fazendo referência à sua história, povo e riquezas. Juntos, eles reforçam os valores e ideais que formam a identidade brasileira. Por isso, em todo dia 7 de setembro, é um momento especial para se lembrar e valorizar ambas as canções.

Carlos Magno Corrêa Dias
07/09/2025