Os 103 Anos de um Legado Vivo.

“Todos os cidadãos que gozam da liberdade devem um profundo agradecimento aos Pracinhas da FEB (Força Expedicionária Brasileira)”. A trajetória do Soldado Agostinho Ferreira da Silva, abrilhantada pela extrema coragem diante da miséria da Segunda Guerra Mundial, transformou-se em um farol de esperança e em uma inspiração na busca por um futuro melhor.

O Herói Imortal Agostinho Ferreira da Silva não pertence apenas ao passado ou aos livros de história; ele é um patrimônio moral do Brasil, Herói Imortal, um exemplo centenário vivo de que o amor à pátria e a dedicação à justiça são eternos.

DIAS, Carlos Magno Corrêa - 2026

“Há páginas na história de uma nação que são escritas com tinta, mas as mais profundas e duradouras são gravadas com a coragem, o sacrifício e o sangue de seus filhos mais bravos. No solo capixaba, em Guaçuí, na Região do Caparaó, reside Agostinho Ferreira da Silva um dos gigantes da história contemporânea que sofreu os horrores daquela insana e descomunal guerra mundial, mas que jamais se afastou dos ideais de justiça e liberdade.

Nascido em 24 de maio de 1923, o centenário FEBiano enfrentou o caos e as enormes agruras daquela miserável e sangrenta guerra que foi a Segunda Guerra Mundial. Mais do que um sobrevivente de um dos períodos mais sombrios da humanidade, o Cobra Fumante Agostinho Ferreira da Silva é um “Herói dos Povos Livres” que prestou serviços de relevância incomensurável ao Brasil e ao mundo.

A bravura de Agostinho Ferreira da Silva não se limitou à sua presença no teatro de operações na Itália; ela se manifestou na função de altíssimo risco que desempenhou. Como Sinaleiro e Esclarecedor da 1ª Companhia do 1º Batalhão do 1º Regimento de Infantaria (o lendário Regimento Sampaio), sua missão era marchar à frente da própria linha de frente.

A função de um Esclarecedor era inspecionar o terreno hostil antes do avanço do grosso das tropas. Significava ser os olhos e os ouvidos do Regimento, desbravando o desconhecido sob a constante ameaça de emboscadas, minas e o fogo inimigo.

O Regimento Sampaio foi um dos três Regimentos da FEB que participaram da Segunda Guerra Mundial e que se transformou na principal peça tática do vitorioso e histórico ataque brasileiro a Monte Castelo na Itália. Foi com coragem inabalável que o Pracinha Agostinho Ferreira da Silva participou da tomada de Monte Castelo em 1944.

Ferido em combate por ação direta das forças inimigas, Agostinho Ferreira da Silva, consagrado como “Soldado da Caserna de Sampaio”, carregou no próprio corpo as marcas do preço da liberdade; sendo laureado com a prestigiada Medalha "Sangue do Brasil".

Hurra! Hurra! Hurra! Salve, Salve, Salve o Cobra Fumante Agostinho Ferreira da Silva! Glória eterna ao Pracinha FEBiano, Herói Imortal Agostinho Ferreira da Silva!

Carlos Magno Corrêa Dias
02/06/2026

O custo elevado de se pensar livre.

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

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
01/06/2026

Celebrando publicações na WWW de 05/2016 e de 05/2021.

Revisitar (ou rememorar) a própria produção escrita é um exercício que exige olhar no espelho do tempo e reconhecer que o "passado" deixou pistas, aprendizados e histórias que moldaram, necessariamente, o presente. Rever ou recordar o quanto se produziu por escrito é um processo de observação, reflexão e autoconhecimento.

O reencontro com as suas próprias palavras cumpre papéis fundamentais no desenvolvimento pessoal e profissional podendo-se notar o quanto se evoluiu, como reconectar-se com antigas ideias e, principalmente, como desenvolver a autocrítica de forma a aprender a ser um juiz mais imparcial.

“Quando se debruça sobre os arquivos de reflexões passadas, é, de forma extemporânea, validada a cosmovisão que se tem diante do fluxo inexorável da história”.

Assim sendo, realizo nesta data o rememorar de minhas postagens em meus Blogs nos meses de maio de 2016 e maio de 2021 (seguindo o lustro romano que adotei como periodização para o recordar de minhas realizações). Aquelas publicações descortinam um manifesto contínuo em defesa do rigor analítico, da autonomia acadêmica, da inovação ciber-física e da urgência de uma humanização necessária (como seguidamente tenho proclamado).

DIAS, Carlos Magno Corrêa - 2026

Afirmando o tom celebrativo que semelhante balanço exige, percebo que aquelas minhas crônicas dos períodos considerados operam como uma engrenagem dialética. Nelas, o rigor inflexível das Ciências Exatas e a urgência do desenvolvimento industrial caminham lado a lado com a gravidade filosófica dos aforismos e o compromisso ético das agendas globais de sustentabilidade.

O conhecimento não é estático; ele é dinâmico e plural. "O mundo é quântico; sempre foi. Diversidade de abordagens não somente é necessária quanto é determinante".

No endereço  https://drive.google.com/file/d/1yGwRLxCxAKCwD3skinr3cjPj9yySfwC2/view?usp=sharing encontram-se disponíveis as correspondentes publicações em meus Blogs em maio/2016.

No endereço  ttps://drive.google.com/file/d/1TmZAhAFtzjVmgTB0VARKYLOfI3ojAlt3/view?usp=sharing encontram-se disponíveis as correspondentes publicações em meus Blogs em maio/2021.

Celebrar as postagens de maio de 2016 e maio de 2021 é, então, permitir que se compreenda ser a escrita um ato de "somar para multiplicar". As crônicas daqueles períodos passados não servem como mero adorno nostálgico, mas como balizas que confirmam a permanência de muitas inquietações.

Seja analisando a função inversa do seno hiperbólico, cobrando a digitalização das fábricas brasileiras, ou poetizando os desassossegos da alma humana, permaneço fiel ao lema que há muito tempo aceito como divisa: o conhecimento é poder, e o poder implica grandes responsabilidades.

Que o eco das referidas postagens continue a desassossegar mentes e a pavimentar caminhos mais lógicos, tecnológicos e humanos.

Carlos Magno Corrêa Dias
31/05/2026

Filosofia da Ciência Dedutiva em debate.

Objetivando tratar as concepções sobre a Filosofia da Ciência Dedutiva (em particular sobre as Filosofias da Lógica e da Matemática), fui o proponente, organizador e ministrante do Curso de Extensão Universitária em “Filosofia da Ciência Dedutiva no Contexto Histórico e Epistemológico”, o qual desenvolvi no Câmpus Curitiba da UTFPR (Universidade Tecnológica Federal do Paraná), com promoção do DAMAT (Departamento Acadêmico de Matemática) e da Divisão de Cursos de Extensão (DIECE) do Câmpus Curitiba da TECNOLÓGICA (UTFPR).

No Curso de Extensão Universitária em referência, iniciado 30/05/2011, levei em conta, também, a evolução histórica da Epistemologia Analítica e priorizei a Avaliação da Consciência Lógica em relação aos possíveis Limites do Conhecimento Científico.

DIAS, Carlos Magno Corrêa - 2026

Com o rigor necessário, tratei dos seguintes temas: Ciência Dedutiva; Contornos Filosóficos Necessários; Filosofia Analítica; Consciência Lógica; Filosofia da Lógica; Filosofias da Matemática; Nominalismo e Conceptualismo; Intuicionismo e Realismo; Logicismo e Formalismo; Anti-Fundacionismo Matemático; Filosofia da Lógica Reflexa.

O Projeto do Curso, carimbado com o número 11.068/2011, foi concebido para ser um espaço de reflexão abstrata direcionada para “configurar um ambiente hermético e focado de debate acadêmico sobre a Filosofia da Ciência”.

Realizadas na icônica sala E203 do Câmpus Curitiba da TECNOLÓGICA (UTFPR), as aulas expositivas estruturaram-se unicamente a partir da exposição oral e do uso do giz e do quadro de giz; “ambiente minimalista que exigiu o foco na argumentação e no encadeamento lógico das ideias”.

O Curso sobre “Filosofia da Ciência Dedutiva no Contexto Histórico e Epistemológico” abriu espaço para discussões sobre a “Filosofia da Lógica Reflexa” e serviu de palco para a apresentação da minha particular concepção de Filosofia da Matemática, possibilitando diálogo entre as correntes históricas consagradas e as novas perspectivas epistemológicas.

Concebido de forma inteiramente gratuita para os participantes e sem qualquer tipo de ônus financeiro para a UTFPR, o projeto materializou o ideal primeiro da Extensão Universitária: o compartilhamento do conhecimento pelo seu valor intrínseco.

“Os Acadêmicos participantes daquela Atividade de Extensão não buscavam tão somente o cumprimento de horas curriculares; buscavam decifrar as ferramentas da própria inteligibilidade humana”. “Ao se resgatar a memória daquele Curso de Extensão no Contexto Histórico e Epistemológico, neste 2026, quinze anos depois, reafirma-se a convicção de que a Filosofia da Ciência Dedutiva permanece viva, provocativa e indispensável para quem compreende que a técnica, sem a devida profundidade reflexiva, torna-se cega perante os seus próprios limites”.

Carlos Magno Corrêa Dias
30/05/2026

Axiomática em Lógica Matemática.

Em 25 de maio de 2016, há dez anos passados, redigia o prefácio de meu livro intitulado “Sistemas axiomáticos em lógica dedutiva” (ISBN: 978-85-88925-26-7), obra que há muito tempo desejava escrever tendo em vista a importância que atribuo à Axiomática em Lógica Matemática de Primeira Ordem (LMPO).

“Sistemas axiomáticos em lógica dedutiva” é daquelas obras “prazerosas” as quais, independentemente do árduo trabalho de confecção, trazem especial satisfação e júbilo ao autor. Entendo que a Axiomática na LMPO é o alicerce que permite transformar o raciocínio matemático em um sistema formal rigoroso, no qual a “verdade” pode ser demonstrada mediante de regras puramente sintáticas.

DIAS, Carlos Magno Corrêa - 2016

A Axiomática substitui a intuição por um conjunto de regras explícitas as quais partem de Axiomas Lógicos (verdades universais), de Axiomas Não-Lógicos (Axiomas Específicos, que definem a estrutura estudada) e de Regras de Inferência (que permitem derivar novos teoremas a partir dos Axiomas).

O mais legal (importante mesmo) é que a Organização Axiomática possibilita “testar a saúde de qualquer sistema” garantindo a Consistência (o Sistema não gera contradições) e a Independência (nenhum Axioma é redundante).

Mas, o essencial na Axiomática na LMPO é elevado pelo Teorema da Completude que estabelece que a Semântica (o que é verdadeiro em todos os modelos) e a Sintaxe (o que é provável por axiomas) coincidem perfeitamente. Se uma sentença é logicamente válida, existe uma prova formal dentro do próprio Sistema Axiomático.

“Sistemas axiomáticos em lógica dedutiva” apresenta “ferramental” teórico que permite o deduzir em Lógica Matemática com o objetivo de gerar a capacitação para identificar formas válidas de raciocínio dedutivo, além de fornecer instrumentação técnica para avaliar e corrigir argumentos não válidos (Sofismas e/ou Falácias).

DIAS, Carlos Magno Corrêa - 2016

Entretanto, para a plena compreensão do conteúdo tratado no livro, presume-se conhecimentos iniciais em Cálculo Sentencial (Proposicional) e Cálculo dos Predicados, exigindo uma formação prévia em LMPO.

Sempre é importante salientar que a Axiomática é o que permite que a Lógica Formal (Lógica Matemática ou Lógica Analítica) seja processada por máquinas. Sem a redução do pensamento a “passos axiomáticos”, não se teria Softwares que verificam a correção de circuitos ou códigos complexos e nem tão pouco a capacidade de uma IA (Inteligência Artificial) de realizar deduções lógicas baseadas em fatos conhecidos.

A obra é dividida em cinco capítulos, todos acompanhados de exercícios propostos ao final para fixação e aplicações práticas: Capítulo I (Dedução em Lógica Matemática); Capítulo II (Silogismos); Capítulo III (Silogismos como Teoria Axiomática); Capítulo IV (Axiomática em Lógica Matemática); e, Capítulo V (Álgebra da Lógica).

Carlos Magno Corrêa Dias
28/05/2026

Refletindo sobre "Reversas Posições Holísticas".

A publicação de minhas “Reversas posições holísticas” (ISBN: 978-85-88925-25-0), em 2016, assinala um marco na trajetória iniciada em 2014 com minhas “Condicionais necessidades de transcendentes suficiências” (ISBN: 978-85-88925-20-5) e preservada em 2015 por intermédio de minha obra intitulada “Lógicas condicionais em reversas exposições” (ISBN: 978-85-88925-23-6).

Celebrar, portanto, “Reversas posições holísticas”, obra que em 25 de maio de 2026 teve seu prefácio completando uma década, é manter aquele convite para se “examinar a arquitetura do pensamento que transita entre o formalismo lógico e a sensibilidade aforística”.

DIAS, Carlos Magno Corrêa - 2026

O livro em referência reúne textos publicados originalmente nos meus Blogs “Observatório ONGMA PATHERBLINCK”, “Repositório ENTELECHIA LOGICAE” e “Observatório do Professor Carlos Magno Corrêa Dias”.

A transposição das reflexões isoladas para o formato de livro impresso com registro número 978-85-88925-25-0 no ISBN (“International Standard Book Number”, ou “Número Padrão Internacional de Livro”), denota o compromisso assumido com a preservação da memória científica e literária.

Desde março de 2020, a CBL (Câmara Brasileira do Livro) assumiu oficialmente o papel de Agência Brasileira do ISBN emitindo e gerenciando o ISBN dos livros publicados no Brasil. Por mais de 40 anos (desde 1978), entretanto, o Registro do ISBN era administrado pela Fundação Biblioteca Nacional (FBN).

O conjunto da obra está centrado na investigação das condições que cercam o cotidiano humano, avaliando, indiretamente, necessidades e suficiências. Observo que se submete a condicionamentos diários e contínuos, forças compulsivas que delineiam escolhas. No entanto, “é no exame inverso dessas pressões que a emancipação racional se torna factível”.

Existencial e humanista, com certo grau de indulgência, a obra procura provocar sentimentos, despertar preocupações e motivar soluções pragmáticas para os dilemas humanos.

Conforme faço observar no prefácio de “Reversas posições holísticas” a ideia central era contribuir para exigir reflexões sobre aquelas sempre possibilidades que insistem em condicionar (compulsiva ou compulsoriamente) a vida, “encontrando, no reverso do entendimento, em muitas das vezes, as razões regulatórias”.

A obra em referência “se preocupa com a construção de uma visão integrada do saber, permanecendo como um farol epistemológico. Celebrar “Reversas posições holísticas” é “reconhecer a postura existencial da escrita como um dever de cidadania intelectual que, seguidamente, estimula a buscar as razões regulatórias que impulsionam o homem a se definir”.

Carlos Magno Corrêa Dias
27/05/2026

O olhar da lucidez dirigindo visões do invisível.

Os loucos enxergam tudo aquilo que os ditos normais são incapazes de perceber.

DIAS, Carlos Magno Corrêa - 2026

Carlos Magno Corrêa Dias
26/05/2026

Salvaguardados “Dilemas cotidianos” na FBN.

O transcurso do décimo quinto aniversário de incorporação dos meus “Dilemas cotidianos” (ISBN: 978-85-88925-12-0) ao acervo da Divisão de Depósito Legal (DDL) da Fundação Biblioteca Nacional (FBN) constitui um marco de relevância cultural e institucional.

Efetivado com aceitamento formal a partir de 25 de maio de 2011, o Depósito Legal de “Dilemas cotidianos” na FBN representa, fundamentalmente, o cumprimento de um dever cívico de preservação e a inserção definitiva da produção intelectual na memória bibliográfica perene da nação brasileira, em estrita consonância com a Lei do Depósito Legal (Número 10.994/2004).

DIAS, Carlos Magno Corrêa - 2026

A Lei Federal em referência é o Marco Regulatório que rege o Depósito Legal no Brasil e dá conta de assegurar o registro, a guarda e a salvaguarda da produção intelectual brasileira; garantindo a preservação da Coleção Memória Nacional da FBN, possibilitando o controle bibliográfico, bem como divulgando a Bibliografia Brasileira corrente.

O Depósito Legal cumpre o papel vital de assegurar a coleta, a guarda e a difusão da herança cultural do país. “O Depósito Legal de livros concorre diretamente para o enriquecimento do Patrimônio Público Intangível”, além de sacramentar a autoria e conferir universalidade jurídica e bibliográfica às obras que compõem o acervo da FBN.

“Celebrar 15 anos deste depósito é reconhecer a indestrutibilidade do pensamento registrado e catalogado, imune ao esquecimento do tempo e protegido para a posteridade”.

“Dilemas cotidianos” é um convite a rememorar o “estofo filosófico”. A obra debruça-se sobre a angustiante necessidade humana de deliberar diante de escolhas excludentes, contraditórias e, muitas vezes, insatisfatórias. O cerne de minha crítica apresentada na obra “Dilemas cotidianos” repousa no conflito civilizatório contemporâneo: a busca por saídas à alarmante falta de humanização mútua e as amarras que a razão pragmática impõe aos sentimentos sutis do ser pensante.

DIAS, Carlos Magno Corrêa - 2011

“A arquitetura do livro divide-se em duas frentes complementares: na primeira parte, manifestam-se timbres intensos e intenções confessas que clamam contra o conformismo intelectual que retém o homem em sua marcha evolutiva; na outra parte, consubstanciam-se assertivas que desnudam as inquietações face ao aviltamento do espírito contemporâneo”. “Enquanto o homem for tratado como meio, e não como um fim em si mesmo, a humanidade estará condenada a operar em contradição e conflito”.

Ao se celebrar 15 anos do depósito institucional de “Dilemas cotidianos”, reverencia-se o propósito de se oportunizar um olhar profundo, menos condicionado e isento de dogmas sobre a condição humana.

Carlos Magno Corrêa Dias
25/05/2026

Matemáticas renovadas na Licenciatura em Física da TECNOLÓGICA.

Como fiz observar na postagem de 23/05/2026, com o título “Física e Lógica Matemática em simbiose”, fui o responsável por propor a total reformulação das disciplinas da área de Matemática em relação ao Projeto de Abertura do Curso de Licenciatura em Física da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná).

As alterações em pauta foram oficializadas quando da elaboração do PPC (Projeto Pedagógico de Curso) do Curso, o qual constituiu a base para o Reconhecimento do Curso pelo MEC (Ministério da Educação) que avaliando o Curso com o Conceito de Curso (CC) 4 (quatro) chancelou a qualidade daquele Curso de Graduação.

DIAS, Carlos Magno Corrêa - 2026

As adequações em referência, aprovadas, também, pela Resolução 14/2011 do COGEP (Conselho de Graduação e Educação Profissional) da UTFPR, foram as seguintes:

(a) transferência da disciplina de Geometria Analítica e Álgebra Linear do segundo para o primeiro período, tendo por ementa: Sistemas de Coordenadas; Matrizes; Sistemas de Equações Lineares; Álgebra Vetorial; Produto de Vetores; Estudo Analítico da Reta e do Plano; Espaços Vetoriais; Transformações Lineares; Autovalores e Autovetores; Espaço com Produto Interno; Cônicas e Quádricas;
(b) transferência da disciplina de Cálculo Diferencial e Integral 2 do terceiro para o segundo período, tendo por ementa: Sistemas de Coordenadas Polares e Integrais; Integrais Impróprios; Integrais Eulerianos; Tópicos de Topologia dos Espaços Reais n-Dimensionais; Relações e Funções em Espaços Reais n-Dimensionais; Limite e Continuidade de Funções de n-Variáveis Reais; Derivadas Parciais; Derivadas de Funções Compostas, Implícitas e Homogêneas; Diferenciais de Funções de n-Variáveis; Máximos e Mínimos de Funções de n-Variáveis Reais; Integrais Múltiplos; Aplicações Geométricas dos Integrais Múltiplos;
(c) substituição da disciplina de Equações Diferenciais pela disciplina de Equações Diferenciais Ordinárias, bem como a transferência do quarto para o segundo período, tendo por ementa: Equações Diferenciais de Primeira Ordem; Equações Diferenciais Ordinárias Lineares de Ordem Superior; Sistemas de Equações Diferenciais Ordinárias Lineares; Noções de Equações Não-lineares e Estabilidade; Resolução das Equações Diferenciais em Séries de Potências;
(d) transferência da disciplina de Cálculo Diferencial e Integral 3 do quarto para o terceiro período, tendo por ementa: Análise Vetorial; Séries Numéricas e Séries de Funções; Funções de Variável Complexa;
(e) substituição da disciplina de Cálculo Diferencial e Integral 4 pela disciplina de Cálculo 4A e a sua transferência do quinto para o quarto período, tendo por ementa: Séries de Fourier; Transformada de Fourier; Equações Diferenciais Parciais; Transformadas de Laplace;
(f) inclusão da disciplina de Equações Diferenciais Ordinárias como pré-requisito para a disciplina de Mecânica 2.

Carlos Magno Corrêa Dias
24/05/2026

Física e Lógica Matemática em simbiose.

Em 2026, completar-se-ão 15 anos que elaborei os Projetos de Disciplinas Optativas de Lógica Formal Predicativa e de Lógica Formal Proposicional para o Curso de Licenciatura em Física do Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná); os quais foram aprovados pela Resolução número 50/2011 do COGEP (Conselho de Graduação e Educação Profissional) da UTFPR.

Minha proposição se deu devido a entender que era necessário para a formação do Professor de Física e futuro Pesquisador da área de Física a aquisição de conhecimentos sobre Lógica Matemática para auxiliar na tomada de decisão e para fortalecer o raciocínio analítico.

A ementa da Disciplina Optativa de Lógica Formal Proposicional é composta dos seguintes conteúdos: Linguagens Formais; Cálculos Lógicos; Procedimentos Formais de Decisão; Demonstração Dedutiva; Validade; Argumentos Dedutivos Proposicionais; Falácias ou Sofismas; Inferências Formais; enquanto, Termos e Predicados; Sentenças Abertas; Operações e Relações sobre Predicados; Instanciação; Teoria da Quantificação; Argumentos e Inferências; integram o ementário da Disciplina Optativa de Lógica Formal Proposicional.

DIAS, Carlos Magno Corrêa - 2926

A disciplina de Lógica Formal Proposicional não tem pré-requisitos para ser cursada. Todavia, Lógica Formal Predicativa exige ter aprovação na disciplina de Lógica Formal Proposicional a qual constitui a base (o fundamento) para se seguir estudando Lógica Matemática de Primeira Ordem em qualquer nível.

Tive a grata satisfação de ser, também, Professor da Disciplina de Cálculo Diferencial e Integral 3 do Curso de Licenciatura da UTFPR quando tratei os temas relacionados aos “Campos Vetoriais e Integrais” e às “Séries”.

No Curso de Licenciatura em Física integrei o Colegiado de Curso e o Núcleo Docente Estruturante (NDE), sendo, ainda, membro da Equipe Técnica que elaborou o primeiro Projeto Pedagógico de Curso (PPC) do Curso de Licenciatura em Física da UTFPR.

Ressalte-se que o correspondente PPC fez parte do processo apresentado à Comissão do MEC (Ministério da Educação) para o Reconhecimento do Curso o qual foi avaliado com o Conceito de Curso (CC) 4 (quatro). Os Cursos de Graduação avaliados pelo MEC com CC entre 4 e 5 são considerados de excelência.

Quando da elaboração daquele PPC do Curso de Licenciatura em Física da UTFPR fui o responsável por propor a total reformulação e adequação das Disciplinas da área de Matemática em relação ao Projeto de Abertura do Curso. As correspondentes alterações foram aprovadas pela Resolução 14/2011-COGEP.

O Curso de Licenciatura em Física da UTFPR tem por objetivo a formação de Professores de Física para planejar e desenvolver experiências didáticas em Física. Trata-se de Curso de Graduação classificado como de excelência e inovador pelos principais indicadores de Ensino Superior do país.

Carlos Magno Corrêa Dias
23/05/2026