Sistemas Algébricos em Lógica Matemática.

Iniciava em 11/08/2010, como ministrante, o Curso de Extensão Universitária em “Sistemas Algébricos em Lógica Matemática”, realizado no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), desenvolvido em um total de 20 horas.

DIAS, C. M. C. - 2025 

Fui, também, o Proponente e Organizador do correspondente Projeto do Curso de Extensão Universitária em “Sistemas Algébricos em Lógica Matemática” (SALM) o qual foi registrado na Divisão de Cursos de Extensão da Diretoria de Relações Empresariais e Comunitárias do Câmpus Curitiba da UTFPR.

Desenvolvi o Curso de Extensão Universitária em SALM exclusivamente para os Estudantes regularmente matriculados nos Cursos de Engenharia do Câmpus Curitiba da TECNOLÓGICA (UTFPR).

O curso em referência teve como objetivo apresentar os Sistemas Algébricos que fundamentam o Cálculo Proposicional e o Cálculo dos Predicados em Lógica Matemática de Primeira Ordem para a análise de sistemas bivalentes e dicotômicos.

Ao longo do Curso de Extensão Universitária em SALM foram tratados os seguintes temas: Semântica e Sintaxe das Linguagens Formais; Verdade e Validade Formal; Sistemas Bivalentes e Dicotômicos; Cálculo Proposicional em Lógica Matemática; Proposições Simples e Fórmulas Proposicionais; Conectivos Lógicos Fundamentais; Operações Lógicas; Codificação e Decodificação de Sentenças; Relações Lógicas Fundamentais; Sistematização da Álgebra Proposicional; Argumentos Dedutivos Válidos; Falácias e Sofismas; Cálculo dos Predicados em Lógica Matemática; Quantificadores Lógicos; e, Sistematização da Álgebra Predicativa.

Os SALM são um campo de estudo que aplica ferramentas e conceitos da Álgebra para analisar e modelar Sistemas Lógicos. Em essência, a ideia é traduzir as proposições lógicas (sejam simples ou compostas) para equações e estruturas algébricas, como conjuntos, operações e relações as quais permitem o uso de métodos da Álgebra, bem desenvolvidos e rigorosos, para investigar as propriedades fundamentais dos Sistemas Lógicos de uma maneira formal e sistemática.

A ponte entre a Lógica e a Álgebra é feita por meio da Teoria dos Modelos, onde os símbolos lógicos ganham uma interpretação puramente matemática. Assim, os SALM oferecem uma linguagem poderosa para formalizar e estudar as leis do raciocínio, os quais não apenas fornecem uma base teórica sólida, mas também abrem um universo de aplicações em áreas como Ciência da Computação, Inteligência Artificial e na própria Matemática.

A principal vantagem dos SALM é a capacidade de se manter fortemente o rigor em associação à generalização. Assim, por exemplo, é possível provar teoremas de forma mais eficiente; comparar diferentes Lógicas ou até mesmo desenvolver novas Lógicas (quando é necessário ajustar os “graus de verdade” em vez de apenas de tratar a dicotomia e bivalência entre a "Verdade (V)" e a "Falsidade (F)".

Carlos Magno Corrêa Dias
06/09/2025

As lições do 2º CARF da Fiep.

O “2º CARF em Debate”, realizado no Campus da Indústria, em Curitiba, em 25 de agosto de 2025, pelo Sistema Fiep (Sistema Federação das Indústrias do Estado do Paraná), promovido pelo Conselho Temático de Assuntos Tributários da Fiep, “reforçou a urgência em desatar o nó do contencioso tributário brasileiro, um problema que impacta diretamente a competitividade do setor produtivo”.

Sistema Fiep / FIEP - 2025

Fui convidado pelo Sistema Fiep, por meio da Secretaria Executiva dos Conselhos Temáticos e Setoriais da Fiep, a participar do segundo evento “CARF em Debate” cujo tema central foram os "Impactos Tributários na Indústria”.

O evento colocou em evidência as medidas e os desafios para a redução do contencioso tributário no Brasil e contou com a presença de especialistas, empresários e advogados tributários, tendo como destaque a participação da Presidência do Conselho Administrativo de Recursos Fiscais (CARF).

No painel de abertura, "PAF: Passado, Presente e Futuro", foi ressaltado o momento estratégico que o Brasil vive com a implementação da Reforma Tributária; destacando-se que a nova legislação, focada no consumo, terá grande impacto sobre a Indústria, setor que mais contribui para a arrecadação federal.

Seguiram-se outros quatro painéis com os títulos: “Aplicação dos Temas Repetitivos e Repercussões Gerais pelo CARF”; “Tributação das Subvenções”; “Pejotização e o Tema 1389 de Repercussão Geral do STF”; e, “Insumos de PIS/COFINS e as Novas Realidades Econômicas”.

O “2º CARF em Debate: Impactos Tributários na Indústria” cumpriu seu papel de aprofundar discussões sobre temas cruciais como segurança jurídica, jurisprudência administrativa e mecanismos de solução de controvérsias. Para o Sistema Fiep foi muito importante o diálogo técnico e institucional promovido no evento para a atuação da Indústria Nacional.

O CARF (Conselho Administrativo de Recursos Fiscais) foi criado pela Medida Provisória número 449, e em 2008, convertida na Lei número 11.941, de 27 de maio de 2009, e instalado pelo Ministério da Fazenda em 15/2/2009, mediante Portaria MF número 41, de 2009. Segundo a Portaria MF número 256, de 22 de junho de 2009, foi aprovado o Regimento Interno do CARF. O CARF tem por missão assegurar à sociedade imparcialidade e celeridade na solução dos litígios tributários; estando centrado nos valores: Ética, Transparência, Prudência, Impessoalidade e Cortesia.

O CARF “é um órgão colegiado, formado por representantes do Estado e da Sociedade, com atribuição de julgar, em segunda instância administrativa, os litígios em matéria tributária e aduaneira. Compete também ao CARF a uniformização da jurisprudência do órgão, mediante recurso especial das partes, quando ocorrer divergência de entendimento entre os colegiados de julgamento”.

Carlos Magno Corrêa Dias
05/09/2025

A “Progressão” por meio da “Estabilidade”.

"Ordem e Progresso" representa o ideal de uma Nação que busca a estabilidade e a evolução ordenada que promova o progresso.

“Ordem e Progresso” está associado à fórmula máxima do Positivismo: “L'amour pour principe et l'ordre pour base; le progrès pour but" (“O amor por princípio e a Ordem por base; o Progresso por fim"); lema este que está centrado em dois princípios fundamentais: um moral, “Viver para outrem”; e, outro estético, “Ordem e Progresso”.

As reflexões precedentes encapsulam a Filosofia do Positivismo surgida no século XIX, mais precisamente no início da década de 1830, a qual influenciou, fortemente, os fundadores da República do Brasil.

DIAS, C. M. C. - 2025

O lema original do Positivismo “destaca a busca por um progresso que não seja caótico, mas sim construído sobre a base da ordem e orientado pelo princípio do amor”. Entende -se, no Positivismo, objetivamente, que a “ordem social é condição necessária para o progresso da humanidade”.

"Ordem e Progresso", estabelece que a estabilidade política e social (a “Ordem”) é o alicerce para alcançar o avanço econômico, tecnológico e social (o “Progresso”) de toda Nação Soberana.

O progresso (entendido como o “desenvolvimento”) é alcançado por intermédio da ordem (quando se reúnem a estabilidade e a estrutura.

Carlos Magno Corrêa Dias
04/09/2025

Doando livros para as Guardiãs do Saber.

Como parte de meu “Projeto de Incentivo à Leitura e à Disseminação do Conhecimento”, no ano de 2015, há uma década transcorrida, há dez anos passados, realizava a doção de outros vários livros de minha autoria para Bibliotecas de diversas Instituições.

Entendo que a doação de nossos trabalhos para os Centros de Documentação e Informação (as chamadas Bibliotecas) é algo sem precedentes no campo das “fortunas sem preço” no sentido de contribuir na composição dos Acervos das Bibliotecas.

DIAS, C. M. C. - 2025

Até este 2025 já tive a satisfação de doar milhares de exemplares de livros de minha autoria e edição. Penso que é dever de todo autor continuar a escrever, publicar e doar seus livros para a Bibliotecas para que mais e mais pessoas tenham (sempre) o acesso ao conhecimento e ao saber.

Naquele ano de 2015 já havia completado mais de dez anos de desenvolvimento do “Projeto de Incentivo à Leitura e à Disseminação do Conhecimento” pelo qual, periodicamente, realizei doações de meus livros às Bibliotecas. Sigo nesta trilha, então, há mais de vinte anos.

Uma Biblioteca é uma ICS (Instituição Cultural e Social) que tem como principal objetivo coletar, organizar, preservar e disponibilizar materiais informativos, como livros, revistas, jornais, e até mesmo arquivos digitais, para o uso da comunidade.

Mesmo em um mundo no qual a computação permite o acesso ao saber quase que de forma instantânea digitalmente, as Bibliotecas democratizam o acesso ao conhecimento de forma que qualquer indivíduo (que saiba ler) tem a oportunidade de ler e estudar. As Bibliotecas continuarão a ser as guardiãs do conhecimento e da história dos homens independentemente da evolução tecnológica dado que muito mais que “depósitos de livros” são espaços vitais que promovem a leitura, o aprendizado e a cultura. São as guardiãs do legado das civilizações.

As Bibliotecas são grandes centros de conhecimento e aprendizado as quais oferecem acesso a uma variedade enorme de recursos, muitas vezes de graça, o que as torna um pilar importante para a educação e o desenvolvimento de uma sociedade.

Doando livros para Bibliotecas se une o conceito de doação com a função social da Biblioteca ao mesmo tempo que se enriquece os correspondentes acervos. Os livros doados ganham uma nova vida na Biblioteca, onde muitas pessoas terão a oportunidade de lê-lo e aprender com ele.

Toda doação incentiva a leitura e a cultura na comunidade; sendo uma forma excepcional de sustentabilidade. Doar livros para bibliotecas é uma forma de contribuir para a educação e a cultura, garantindo que o conhecimento continue a circular e a ser acessível a todos.

DIAS, C. M. C. - 2024

Ler é prazer apenas superado pelo escrever. Se temos que escrever, escrevamos livros.

Doar é impactar positivamente na vida das pessoas. Doar livros de sua autoria para Bibliotecas é uma das fortunas que não tem preço.

Carlos Magno Corrêa Dias
03/09/2025

Indústria do Paraná conectada ao Mercado Global.

Fui convidado pelo Sistema Fiep (Sistema Federação das Indústrias do Estado Paraná), por meio da Coordenação de Cooperação Internacional - Gerência de Relações Internacionais da Fiep, a participar do 5º Seminário de Negócios Internacionais, ocorrido entre os dias 12 e 14 de agosto de 2025. 

Sistema Fiep / WRC Curitiba - 2025

Sistema Fiep / WTC Curitiba - 2025

Considerado um dos mais importantes eventos de sua categoria no Paraná, o 5º Seminário de Negócios Internacionais se consolidou como um ponto de encontro estratégico para a Fiep, o World Trade Center (WTC) Curitiba e diversas outras instituições, como a Prefeitura e o Governo do Estado. A quinta edição do seminário se destacou por sua programação ampla e intensa, projetada para capacitar líderes, impulsionar empresas e fomentar o crescimento da Indústria do Estado do Paraná no cenário global.

O evento foi uma imersão significativa em temas cruciais do Comércio Exterior quando foram discutidos desde o Novo Cenário de Negócios Internacionais e a Inteligência Artificial como ferramenta de potencialização para empresas brasileiras até a liderança feminina nos negócios e o potencial da indústria local no mercado global.

A programação do seminário foi dividida para atender a diferentes públicos e interesses. No primeiro dia, 12 de agosto, o foco esteve na visão macro, com painéis que abordam a reforma tributária e seus impactos, o papel dos líderes no cenário global e as estratégias de exportação. No segundo dia, 13 de agosto, aprofundou-se temas técnicos e estratégicos. Foram abordadas tendências de investimentos internacionais, a movimentação portuária e o uso da IA aplicada aos negócios. Já o terceiro dia, 14 de agosto, foi dedicado exclusivamente a empresas e entidades convidadas, com foco total em ações de negócios. 

Durante o evento foi lançado, também, o Pacto-X, uma ferramenta analítica de comércio, tarifas e oportunidades externas; o Projeto Paraná4Business que aponta para uma iniciativa de fomento às empresas locais; bem como uma Rodada de Negócios Internacionais, com ênfase em máquinas, equipamentos e tecnologia para o agronegócio.

O 5º Seminário de Negócios Internacionais do Paraná se apresenta, portanto, não apenas como um evento de palestras, mas como uma plataforma completa de negócios, conhecimento e relacionamento, conectando o ecossistema local a uma rede global de oportunidades e consolidando o Paraná como um polo de relevância no cenário internacional.

Carlos Magno Corrêa Dias
02/09/2025

Primazia da verdade condicional

Ouviu-se dizer que “certezas” são encontradas apenas dentro de gaiolas.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
01/09/2025

Aproximação entre Academia e Indústria.

As atividades de Extensão Universitária por vezes são inolvidáveis embora possam chamar, também, a inovação e o ineditismo dado serem ações educativas, culturais, científicas ou tecnológicas que conectam a Universidade com a Sociedade.

Compartilhar o conhecimento produzido na Academia com os saberes sociais indo além do Ensino Tradicional (da “sala de aula”) e da Pesquisa Acadêmica sempre é possível na Extensão Universitária quando a Universidade oferece soluções para problemas da Comunidade e a Sociedade contribui trazendo novas perspectivas e problemas reais que podem se tornar temas de pesquisa ou serem integrados ao currículo acadêmico.

A Extensão Universitária é um dos três pilares da Universidade, ao lado do Ensino e da Pesquisa. Ensino, Pesquisa e Extensão devem ser indissociáveis. O conhecimento gerado pela Pesquisa é repassado por meio do Ensino aos alunos, os quais, por intermédio da Extensão, aplicam esse conhecimento para resolver problemas reais da Sociedade, gerando novas questões para a Pesquisa e, assim, o ciclo continua.

Sempre pratiquei a Extensão Universitária e, na TECNOLÓGICA (UTFPR), fiz a associação com a Extensão Tecnológica a qual está focada na aplicação e difusão de conhecimentos científicos e tecnológicos especialmente para o Setor Produtivo (em particular, para o Setor Industrial).

Transferir Tecnologias levando inovações e pesquisas desenvolvidas na Universidade para serem aplicadas em empresas ou no dia a dia da população é um caminho para se chegar ao desenvolvimento e progresso de uma Nação. Como sigo dizendo “Indústria Forte. Nação Soberana”.

Por meio da Extensão Tecnológica se pode gerar inovação e desenvolvimento econômico e social servindo-se das Tecnologias. Essencial “a Extensão Tecnológica se alinha mais diretamente com a ideia de inovação, produtividade e competitividade, ajudando a transformar o conhecimento acadêmico em soluções práticas e aplicáveis”.

No sentido em pauta, fui o proponente, organizador e coordenador do “Seminário de QUANTIFICAÇÃO APLICADA EM ENGENHARIA E NA INDÚSTRIA” de 2015 (Sequantei 2015) da TECNOLÓGICA, com o tema “RELAÇÃO CORPORATIVA ENTRE TECNOLOGIA E CIÊNCIA”, o qual foi desenvolvido no Câmpus Curitiba da UTFPR, no período de 14/08/2015 a 28/08/2015, em um total de 30 (trinta) horas-aula.

DIAS, C. M. C. - 2025

No evento, ministrei, também, as conferências “Exigências Holísticas entre Tecnologia e Ciência” em 18/08/2015 e “Modelagem Lógica Sentencial e Inferencial” em 20/08/2015.

DIAS, C. M. C. - 2015

Aquela Ação de Extensão teve por principal objetivo apresentar, de forma sistematizada e a mais holística possível, considerações técnicas sobre temas voltados para a instanciação ou aprimoramento de Modelos e Métodos relacionados que possibilitavam o estabelecimento da necessária aproximação entre Tecnologia e Ciência, bem como que contribuíssem para promover relações mais intensificadas entre a Universidade e a Indústria.

Carlos Magno Corrêa Dias
30/08/2025

O progresso exige o que lhe precede.

Tive a satisfação (e o privilégio) de, “literalmente”, sem reservas, “detonar Integrais de Diferenciais de Ordem Superior de Funções de Variáveis Complexas para perspectivar novas ou inolvidáveis alternativas”. Mesmo hoje na “Sexta Onda de Inovação” ou na “Indústria 5.0” (na “Quinta Revolução Industrial”) sem o conhecimento “pesado” desenvolvido pelas gerações anteriores no Cálculo Diferencial e Integral não há futuro desenvolvimento promissor a almejar. No mundo das “Possibilidades Quânticas” sem as “hard skills” não se atingirá as “soft skills”. O mundo “a posteriori” não pode existir sem os determinantes da realidade “a priori”.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
29/08/2025

Sabedoria do acaso inventivo.

A criatividade é órfã da inteligência e prima distante da razão.

DIAS, C. M. C. - 2025

Carlos Magno Corrêa Dias
28/08/2025

Trabalhando em prol dos ODM e dos ODS.

Em 08/05/2015, conforme Ofício 24/2015 da Direção Geral do Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná) e da Portaria Federal número 217, de 11/05/2015, da Direção Geral do Câmpus Curitiba da UTFPR, era designado Representante do Câmpus Curitiba da UTFPR no Conselho Paranaense de Cidadania Empresarial (CPCE) e no Núcleo de Instituições de Ensino (NIES) do CPCE do Sistema Fiep (Federação das Indústrias do Estado do Paraná).

DIAS, C. M. C. - 2025

Minha relação com o CPCE, Conselho de Responsabilidade Social Corporativa (RSC) da Fiep, teve início em 2009 quando, a convite do Sistema Fiep, em parceria com o PNUD (Programa das Nações Unidas para o Desenvolvimento), participava de encontro para tratar questões sobre o alcance dos ODM (Objetivos de Desenvolvimento do Milênio) da ONU (Organização das Nações Unidas) os quais foram criados a partir da Declaração do Milênio assinada em setembro de 2000.

Naquele mesmo 2009 participei dos “Círculos de Diálogos” nas Universidades e do “II Congresso Nós Podemos Paraná”, ambos realizados pelo Sistema Fiep, o primeiro por intermédio do CPCE e o segundo sob a responsabilidade do MNPPR (Movimento Nós Podemos Paraná), os quais se dedicavam ao alcance dos ODM no Estado do Paraná.

Logo após a participação e contribuições dadas nos eventos supracitados em favor da Sustentabilidade fui convidado a frequentar tanto as Reuniões Colegiadas do CPCE e do MNPPR quanto as Reuniões Setoriais dos “Círculos de Diálogo”.

A partir de 2011, a convite da Direção do CPCE, passei a fazer parte da Equipe do CPCE como Conselheiro e membro do Colegiado do MNPPR. No CPCE, integrei o NIES compondo, também, a EPES (Equipe de Projetos Educando na Sustentabilidade). Naquela época, fui um dos responsáveis pela atualização e reformulação do Regimento do CPCE.

Em 2014, fui eleito pelo Colegiado do CPCE o Coordenador do NIES, o qual constituía um dos Núcleos Estruturais do CPCE. No NIES, auxiliei a reestruturar o Regimento, integrei o “Movimento Paraná Educando na Sustentabilidade”, e fiz contribuições, também, no campo dos Incentivos Fiscais, da Sustentabilidade na Cadeia de Valor, da Inclusão da “Pessoa com Deficiência” (PcD) e nas áreas da Sustentabilidade, Compliance, Governança e ESG (“Environmental”, “Social”, “Governance”).

A partir de 2018, como Conselheiro Sênior do CPCE seguindo, desde 2015, os compromissos para alcançar os ODS (Objetivos de Desenvolvimento Sustentável) que substituíram os ODM; continuei a defender a RSC, contribuindo com a expansão dos princípios do Prime (“Principles for Responsible Management Education”) e do Pacto Global (“United Nations Global Compact”); e trabalhando em prol da possibilidade da Sustentabilidade.

Sigo defendendo: “SUSTENTABILIDADE: o atendimento das nossas necessidades atuais não pode comprometer o atendimento das necessidades das gerações futuras”.

Carlos Magno Corrêa Dias
27/08/2025