Definições para a Rota Metalmecânica

O planejamento de longo prazo exige não apenas a capacidade de antecipar cenários, mas o rigor metodológico de estruturar os alicerces sobre os quais a indústria regional e nacional se erguerá nas próximas décadas.

A publicação oficial da Rota Estratégica da Indústria Metalmecânica 2035, promovida pelo Observatório do Sistema Fiep (Sistema Federação das Indústrias do Estado do Paraná), marca um momento decisivo para o ecossistema produtivo e tecnológico do Paraná.

Sistema Fiep - Rota Estratégica da Indústria Metalmecânica 2035 - 2026

No panorama de prospectiva industrial e de desenvolvimento sustentável em vigência, é um privilégio e uma satisfação ter contribuído com minhas observações para auxiliar na edificação do documento em tela.

A formulação de Rotas Tecnológicas da Indústria para setores complexos como a Metalmecânica demanda mais do que a enumeração de tendências; requer a articulação entre variáveis estruturais, capacidade instalada e diretrizes de vanguarda, fundamentadas nos paradigmas contemporâneos da produção industrial.

A contribuição autoral inserida no projeto em questão reflete a convergência entre a fundamentação analítica e a pragmática do setor produtivo, colaborando diretamente para a robustez do Radar de Tendências e Tecnologias associado ao projeto e oferecendo ao mercado um instrumento seguro de navegação estratégica.

O documento consolida direções para a competitividade, a transição tecnológica e a modernização de processos, destacando-se pela visão prospectiva com horizonte em 2035, pela convergência entre sistemas Ciberfísicos e automação avançada, pelo fortalecimento da sinergia entre a Indústria, a Academia e o Estado, e pela incorporação de premissas alinhadas à sustentabilidade e à responsabilidade ESG.

A Rota Estratégica da Indústria Metalmecânica 2035 estruturou-se por meio de inteligência coletiva com o objetivo de compreender a realidade do setor no Paraná e perspectivar seus caminhos futuros. Assim, o documento consolida o panorama estadual ao mapear os desafios e diferenciais do setor em dimensões cruciais.

Desde meados de 2013, quando se realizou na TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná) a “Primeira Rodada Tecnológica do Setor Metalmecânico” promovida pela Fiep, por meio dos Observatórios SESI/SENAI/IEL, venho contribuindo na construção das Rotas da Indústria do Paraná.

A materialização da Rota Estratégica da Indústria Metalmecânica 2035 corrobora o compromisso com o avanço científico e tecnológico regional, reforçando a responsabilidade coletiva de disseminar o conhecimento gerado, transformando diretrizes teóricas em realizações práticas capazes de impulsionar o desenvolvimento socioeconômico e orientar o futuro da indústria.

Carlos Magno Corrêa Dias
27/09/2026

O SELOGMAS 2011 onsolida a Engenharia Lógica

Olhar para trás e revisitar os marcos da nossa trajetória acadêmica e científica é um exercício de reconhecimento da evolução do próprio pensamento. Ao se celebrar o legado do Segundo Seminário de Lógica Matemática Sentencial (II SELOGMAS), realizado em 23 de setembro de 2011 no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) sob a promoção do Departamento Acadêmico de Matemática (DAMAT), percebe-se que aquela data operou uma transição crucial.

Sendo o proponente, coordenador e ministrante tanto do II SELOGMAS quanto quem proferiu a conferência magna intitulada "Inovação Tecnológica Centrada na Lógica Clássica", intencionei romper com a barreira que confinava a Lógica Formal a um fórum estritamente abstrato, transformando-a na base para o desenvolvimento de sistemas complexos e inovação industrial.

DIAS, Carlos Magno Corrêa - 2026

Se a primeira edição do SELOGMAS, em 2010, teve como foco central a reflexão sobre a "Completude dos Fundamentos Necessários e Suficientes da Matemática", em 2011 ocorreu no SELOGMAS uma derivação indispensável que permitiu o aprofundamento de estudos de vanguarda para a consolidação da Engenharia Lógica.

Compreendia, naquele momento, que o Cálculo Lógico deveria atuar como o verdadeiro motor da inovação tecnológica e da compreensão tanto da cognição humana quanto da artificial, defendendo a necessidade de relações de impregnação mútua entre a Lógica Formal e a Inovação Tecnológica.

A programação original dos seguintes eventos associados ao II SELOGMAS previa a continuidade da jornada com a realização do terceiro SELOGMAS em 2012, dedicado à "Lógica da Necessidade" (tema que deu origem, entretanto, ao Curso de Extensão Universitária homônimo que ministrei naquele mesmo ano).

A dinâmica da pesquisa exige mutação e amadurecimentos. Assim, a fusão conceitual dos aspectos sentenciais e predicativos da Lógica Formal revelou um potencial de alcance muito maior. Foi com a estratégia em foco que, em 2013, se optou pela extinção dos formatos isolados do SELOGMAS para gerar o Colóquio Entelechia Logicae (COENTELOG), evento constituído de exposições unilaterais e modais abordando interpretações necessárias ou contingentes tanto no campo Enunciativo quanto Predicativo da Lógica Matemática de Primeira Ordem.

O I COENTELOG deu lugar, em 2014, ao II COENTELOG, focado na "Inovação em Engenharia Lógica". A transição para o formato de Colóquio refletiu o objetivo de propiciar uma comunicação formal centrada na Filosofia da Ciência e permitindo que eventos em sequência fossem realizados sem periodizações prefixadas.

Todavia, celebrar o II SELOGMAS é comemorar a Lógica Matemática Sentencial assumindo seu papel ativo como força matriz da inovação tecnológica, cujos fundamentos continuam vivos e ecoando na trajetória de pesquisa.

Carlos Magno Corrêa Dias
26/09/2026

Minha Quarta Certidão de Nascimento

Hoje, 25 de setembro de 2026, volto a atenção para o caminho percorrido com o coração cheio de júbilo e gratidão. Exatamente onze anos atrás, em 25 de setembro de 2015, ganhei a minha quarta Certidão de Nascimento (573.CPM.600.GAMA), marcada por um verdadeiro renascimento (o terceiro) proporcionado por uma cirurgia de revascularização cardíaca muito bem-sucedida.

Lembro-me de cada sigla vencida (IC, CC, CTI, UTI, SIC, ERG), barreiras que aprendi a superar com a força e determinação. O que começou como uma intercorrência miocárdica severa, fruto de uma isquemia cardíaca crônica e da aterosclerose que desafiou a potência da minha máquina cardiovascular biológica, transformou-se em uma prova de resiliência. Seguidos infartos quase me tiraram da rota.

"A máquina cardiovascular biológica se supera em sequência cíclica e bate firme. Então, 'ao infinito e além', muito além. A FORÇA triunfa."

Uma isquemia miocárdica é a redução ou a interrupção drástica do fluxo sanguíneo para o coração. Como o sangue é o veículo responsável por transportar oxigênio e nutrientes essenciais (como a glicose) para as células, a falta dele provoca um déficit energético imediato. Sem suprimento adequado de oxigênio (hipóxia) e nutrientes, as células do tecido afetado começam a sofrer danos em seu metabolismo e funcionamento.

A isquemia, que leva ao infarto, geralmente é provocada por alterações nos vasos sanguíneos, sendo a aterosclerose (o acúmulo de placas de gordura, colesterol e outras substâncias nas paredes das artérias) uma das causas mais comuns.

A Isquemia Miocárdica é quando a isquemia ocorre especificamente no músculo cardíaco (miocárdio), significa que as artérias coronárias não estão conseguindo fornecer sangue suficiente para o coração. O dano causado pela isquemia depende do tempo de duração e da intensidade do bloqueio. Se a circulação for restabelecida rapidamente, o tecido pode se recuperar. Caso contrário, a falta prolongada de oxigênio leva à morte celular, conhecida como infarto ou necrose.

Anos se passaram desde aquela última grande intervenção, e o meu coração segue batendo forte, firme e renovado. Cada 25 de setembro não é apenas a marca do tempo que avança, mas a celebração solene da vitória da vida sobre a adversidade.

DIAS, Carlos Magno Corrêa - 2024

Sigo caminhando sempre em frente, com a certeza de que a força continua triunfando e que o horizonte se estende muito além, "ao infinito e além".

Carlos Magno Corrêa Dias
25/09/2026

Celebração dos 25 Anos de Registro Documental no EDA/FBN

Completar um quarto de século de formalização documental é um marco que transcende a mera burocracia institucional; representa a consolidação de uma contribuição perene para o patrimônio científico e cultural.

No dia 21 de setembro de 2001, sob o registro de número 240.116 (Livro 425, Folha 276) no Escritório de Direitos Autorais (EDA) da Fundação Biblioteca Nacional (FBN), o artigo técnico-científico "Aritmética de Peano e Modelos da Aritmética", de minha autoria, obteve sua chancela oficial no Rio de Janeiro (RJ), no Ministério da Cultura (MinC).

DIAS, Carlos Magno Corrêa - 2026 

Ao se celebrar 25 anos, revisita-se não apenas um documento arquivado, mas a solidez de uma obra dedicada aos fundamentos da Lógica Matemática e à Formalização do Pensamento Numérico, debruçando-se sobre a transição histórica que uniu intuições pioneiras ao se destacar a necessidade de fundamentação rigorosa do contínuo e dos Números Naturais, às formulações axiomáticas definitivas.

A Aritmética de Peano constitui o alicerce formal sobre o qual a Teoria dos Números e a própria Computação Teórica se sustentam. Ao examinar a estrutura dos Números Naturais munida da função sucessor injetiva, a obra adentra as profundezas da Metamatemática. Explora-se, com rigor analítico, a distinção entre a indução de segunda ordem (que assegura a categoricidade estrutural e o isomorfismo por meio do Teorema de Dedekind) e as restrições impostas pelas linguagens de primeira ordem.

É a partir do correspondente desdobramento formal, amparado pelo Teorema de Löwenheim-Skolem, que emergem os fascinantes modelos “não-standard” da Aritmética, demonstrando que um conjunto enumerável de sentenças admite modelos de cardinalidades infinitas arbitrárias.

Trata-se de um campo onde o rigor absoluto da linguagem formal encontra a Filosofia da Matemática, questionando os limites daquilo que pode ser provado dentro de um Sistema Axiomático.

Mais do que um tratado acadêmico, a preservação e a longevidade do registro em pauta refletem a importância vital da salvaguarda da produção científica nacional. Em um cenário onde o conhecimento muitas vezes sofre com a efemeridade das mídias digitais contemporâneas, o selo da Fundação Biblioteca Nacional atesta a perenidade do esforço intelectual rigoroso.

Vinte e cinco anos, um quarto de século, após a sua averbação, a obra permanece como um testemunho sobre a disseminação do saber matemático no Brasil, inspirando novas gerações de estudiosos a investigarem a elegância, a consistência e a profundidade dos números.

No endereço https://drive.google.com/file/d/19lDCn9NE9gZvNUTRFYvwsXBJAGF85QSI/view?usp=sharing disponibilizo o correspondente texto.

Carlos Magno Corrêa Dias
24/09/2026

Uma Reflexão sobre a Dominação em Matemática

A Teoria dos Conjuntos constitui uma das bases mais sólidas e estruturantes da matemática moderna. No entanto, ao adentrar o estudo de tópicos como o infinito, números cardinais e ordinais, estudantes e pesquisadores frequentemente se deparam com o desafio de delimitar o arcabouço teórico necessário para a plena compreensão dessas estruturas.

Em 21 de setembro de 2001, foi formalmente registrado no Escritório de Direitos Autorais da Fundação Biblioteca Nacional e do Ministério da Cultura (EDA/FBN/MinC), sob o número 240.117 (Livro 425, Folha 277), meu trabalho intitulado "Dominação em Matemática".

Ao celebrar os vinte e cinco anos do correspondente registro oficial, aquela contribuição merece uma análise reflexiva quanto ao seu papel na sistematização e no ensino do rigor matemático aplicável às relações de ordem e equipotência de conjuntos.

O cerne do trabalho reside no estudo da Relação de Dominação entre conjuntos, estabelecida a partir da existência de uma função injetora de um conjunto em outro. A importância da abordagem está no fato de transformar comparações abstratas entre conjuntos em relações formais de ordem.

DIAS, Carlos Magno Corrêa - 2026

Como relação de ordem parcial e total, a dominação fundamenta o Teorema da Comparabilidade e auxilia na desmistificação das diferentes grandezas do infinito. O texto explicita como conjuntos infinitos de mesma potência (como o conjunto dos números naturais e o dos números inteiros) contrastam com infinitos não enumeráveis, a exemplo do conjunto dos números reais.

"Dominação em Matemática" procura apresentar demonstrações compendiadas e acessíveis de teoremas clássicos. Ao abordar o Teorema de Schröder-Bernstein, que expressa a propriedade antissimétrica da Relação de Dominação, a demonstração oferecida prioriza o uso de operações elementares e da partição iterativa de conjuntos, contornando tecnicismos desnecessariamente complexos. Da mesma forma, ao tratar do Teorema de Cantor, demonstra-se que qualquer conjunto é estritamente dominado por seu conjunto potência, reforçando a existência de uma hierarquia inesgotável de infinitos por meio de argumentos lógicos estruturados.

Transcorridos um quarto de século desde o registro de "Dominação em Matemática" (Rio de Janeiro: EDA/FBN, 2001), a obra mantém-se como um referencial didático e rigoroso para o estudo dos fundamentos matemáticos. A capacidade de articular conceitos de cardinalidade, ordinais e equivalências estruturais mediante o uso de uma linguagem precisa reflete um compromisso constante com a formação acadêmica e científica.

Comemorar o marco temporal em pauta é reafirmar a importância da preservação e da difusão da produção técnica nacional no aperfeiçoamento do ensino da Matemática.

O texto conforme registrado na época encontra-se disponível no endereço https://drive.google.com/file/d/1wgGqjrdIW7eMnK1bVXforjLOGqSzUxQa/view?usp=sharing para a leitura.

Carlos Magno Corrêa Dias
23/09/2026

TECNOLÓGICA celebra 117 anos com “Tecnologia e Humanismo”

Em 23 de setembro de 1909, nascia a semente do que hoje se consolidou como um dos maiores orgulhos educacionais do Estado do Paraná e do Brasil: a então Escola de Aprendizes Artífices do Paraná.

A instituição foi criada oficialmente por meio do Decreto número 7.566. O decreto presidencial em foco determinava a fundação de correspondentes escolas nas capitais de todos os estados do país, tendo como objetivo principal institucionalizar, pela primeira vez de forma sistemática pelo Estado, o ensino profissional.

Em uma época de transição de uma sociedade essencialmente rural para os primeiros passos da urbanização e da industrialização, pretendia-se fornecer ofícios práticos. Em Curitiba, a Escola de Aprendizes Artífices, estruturada com oficinas para capacitar operários e contramestres, inaugurava a linhagem secular de primazia técnica que culminou no perfil da atual universidade tecnológica.

Ao celebrar em 2026 seus 117 anos de existência, a instituição (hoje Universidade Tecnológica Federal do Paraná (UTFPR), reconhecidamente a "TECNOLÓGICA") exibe uma trajetória brilhante de transformação social, inovação e compromisso inabalável com o futuro.

A casa assumiu distintas denominações ao longo de sua evolução: 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) e, finalmente, Universidade Tecnológica Federal do Paraná (2005).

DIAS, Carlos Mgno Corrêa - 2026

Ao longo de sua história centenária, a TECNOLÓGICA expandiu horizontes e elevou o patamar de sua entrega à sociedade, sempre pautando-se na excelência acadêmica por meio do ensino, da pesquisa e da extensão para o avanço do conhecimento.

Formando profissionais qualificados para o mercado global, a TECNOLÓGICA sempre manteve viva a sua bússola moral e filosófica traduzida no lema "Tecnologia e Humanismo". A correspondente premissa garantiu que o avanço científico associado às revoluções industriais caminhasse lado a lado com a justiça social, a ética e a valorização da vida humana, impactando continuamente realidades em todo o Paraná.

A história da TECNOLÓGICA é o testemunho do poder da educação pública de qualidade, que continuamente forma profissionais capazes de transformar realidades.

Em 23 de setembro de 2026, a TECNOLÓGICA segue sua caminhada com a certeza de que, com base em seu legado, continuará a se manter na vanguarda da excelência e da inovação.

Como tenho reiterado: "Com 'Tecnologia e Humanismo', a TECNOLÓGICA (UTFPR) desde sempre segue avançando com excelência e inovação".

Carlos Magno Corrêa Dias
23/09/2026

Curitiba Sedia WoodRise Tour 2026

O futuro da construção civil passa inevitavelmente pela sustentabilidade e pela inovação tecnológica, e a madeira engenheirada desponta como uma das soluções mais promissoras e eficientes para responder a essas demandas globais por edificações de menor impacto ambiental.

Em consonância com a tendência em pauta, Curitiba sediou, entre 15 e 17 de setembro de 2026, o WoodRise Tour Curitiba 2026, evento internacional que representa um marco histórico para o setor ao reunir os principais atores que estão na vanguarda do desenvolvimento da construção em madeira no Brasil e no mundo.

WoodRise Tour Curitiba 2026- 2026

Trata-se de uma iniciativa ligada à prestigiada rede internacional WoodRise (originada na França e no Canadá para o avanço da madeira engenheirada e dos edifícios de média e alta elevação), marcando a primeira vez em que o ecossistema do evento realiza uma edição na América Latina, sediada na cidade de Curitiba (PR).

Integrado à programação da Semana Internacional da Madeira (International Wood Week) e conectado à feira Lignum Latin America 2026, o congresso reuniu lideranças industriais, arquitetos, engenheiros, pesquisadores, empresários da cadeia produtiva e representantes governamentais no Centro de Eventos do Sistema Fiep (Federação das Indústrias do Estado do Paraná).

Sob o tema central "Oportunidades e soluções em sistemas estruturais de madeira para transformar o setor da construção na América Latina", o encontro focou na discussão de sistemas estruturais avançados, como a Madeira Laminada Cruzada (CLT) e a Madeira Laminada Colada (MLC), na transição bioclimática, na sustentabilidade e nas tecnologias de industrialização do setor florestal e da arquitetura.

Mais do que um espaço de conteúdo técnico de alto nível, o WoodRise Tour Curitiba 2026 consolidou-se como um catalisador de conexões estratégicas. Durante três dias intensos de programação distribuída no Auditório Mario De Mari e em diversos espaços do Sistema Fiep, o evento promoveu troca de experiências, apresentação de pesquisas aplicadas, estudos de caso, networking e geração de novos negócios.

A realização da edição inédita em pauta foi fruto de uma parceria estratégica entre o Sistema Federação das Indústrias do Estado do Paraná (Sistema Fiep), a Fundação Araucária, a Aliança Internacional WoodRise e a Malinovski, organizadora da Lignum Latin America.

WoodRise Tour Curitiba 2026- 2026

Fui convidado a participar do WoodRise Tour Curitiba 2026 pelo Sistema Fiep, por meio do Conselho Temático relacionado com a Fiep Digital.

O evento permitiu a aproximação entre os diferentes elos da cadeia produtiva para ampliar o diálogo, acelerar a adoção de novas tecnologias e fortalecer o mercado de edificações sustentáveis no continente.

Carlos Magno Corrêa Dias
22/09/2026

Direitos e Deveres das PcD

Hoje é dia de celebrar e reconhecer a força viva da CIDADANIA! No dia 21 de setembro, Dia Nacional de Luta da Pessoa com Deficiência, exalta-se a conquista de direitos, o cumprimento de deveres e a contribuição valiosa dos Cidadãos com deficiência na construção de uma nação forte e em pleno progresso.

A verdadeira inclusão é motivo de festa, pois celebra a autonomia, a dignidade e o respeito à participação de todos. Longe de estereótipos de fragilidade ou de narrativas de superação heroica, presta-se homenagem aos Cidadãos com deficiência que enriquecem o país diariamente com seu conhecimento, experiência, força e expertise.

As Pessoas com Deficiência (PcD) são protagonistas ativas da Sociedade, e a palavra de ordem é a inclusão plena, concreta e sem atenuantes.

Para abrir caminhos e garantir a liberdade de ir, vir e se comunicar, celebram-se as conquistas representadas pelos Símbolos de Acessibilidade e Inclusão. Na imagem, da esquerda para a direita e de cima para baixo, festeja-se a presença do (1) Símbolo Internacional de Acesso, que garante rampas, elevadores e banheiros adaptados; do (2) Símbolo do Braille, assegurando a leitura autônoma; do (3) Símbolo de Baixa Visão, indicando recursos visuais adequados; do (4) Símbolo de Sistemas de Audição Assistida, abrindo canais de som acessíveis; do (5) Símbolo do Intérprete de Libras, valorizando a comunicação em Língua de Sinais; e do (6) Símbolo de Legendas Ocultas (Closed Caption), democratizando o acesso aos conteúdos de áudio e vídeo.

DIAS, Carlos Magno Corrêa - 2025

Alinhados com a Convenção sobre os Direitos das Pessoas com Deficiência da ONU (Organização das Nações Unidas), da qual o Brasil se orgulha de ser signatário, reafirma-se que o foco deve estar sempre na CIDADANIA plena.

Celebrar o dia 21 de setembro é reconhecer a presença vibrante de Cidadãos que, integrados em seus direitos e deveres, transformam a sociedade e constroem, juntos, um futuro cada vez mais inclusivo e brilhante.

Carlos Magno Corrêa Dias
21/09/2026

Decênio de Registro Histórico da TECNOLÓGICA

Há uma década, no dia 20 de setembro de 2016, na ocasião Conselheiro do Conselho de Planejamento e Administração da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná), registrava em tom festivo a consolidação da UTFPR entre as principais Instituições de Ensino Superior do país no meu artigo “UTFPR integra Ranking Universitário Folha das melhores Universidades do Brasil”.

DIAS, Carlos Magno Corrêa - 2026

O correspondente pronunciamento, que celebrava os expressivos resultados obtidos no Ranking Universitário Folha e na avaliação do Guia do Estudante da Editora Abril, ganha hoje uma dimensão ainda mais simbólica ao completar dez anos de sua publicação. Celebrar esse marco temporal não é apenas reacender a memória de uma conquista institucional, mas também reafirmar o valor inestimável da educação pública, gratuita e de excelência científica na construção do progresso social e tecnológico brasileiro.

Ao reler as palavras proferidas há dez anos, percebe-se como aquele instante capturou a essência de uma trajetória em constante ascensão. Os números apresentados no texto original traduziam um vigor admirável: a posição de destaque da UTFPR em Curitiba e no Estado do Paraná, o ingresso no seleto grupo das cinquenta melhores universidades do Brasil e a impressionante marca de 133 estrelas distribuídas entre dezenas de seus cursos de graduação.

Mais do que meras estatísticas de desempenho, cada indicador celebrado refletia o trabalho diário e integrado de professores, servidores técnico-administrativos e estudantes que transformaram o Ensino Público e a Pesquisa Aplicada em motores de transformação local e nacional.

Ao longo da última década, os desafios enfrentados pelas Universidades Públicas Federais foram vastos e complexos, exigindo resiliência, inovação e permanente capacidade de adaptação às demandas contemporâneas. No entanto, a mensagem central gravada em 2016 permanece viva como um lembrete fundamental do papel relevante que a TECNOLÓGICA (UTFPR) desempenha no ecossistema de desenvolvimento e inovação, formando profissionais qualificados e gerando conhecimento que impacta diretamente a sociedade.

Passados dez anos, a comemoração do decênio em questão serve como um tributo à memória viva da UTFPR e ao trabalho de todos que ajudaram a pavimentar o caminho de prestígio e reconhecimento. Que os votos de prosperidade, qualidade e sucesso formulados há dez anos continuem a orientar os passos futuros da instituição, renovando dia a dia o ideal de uma universidade pública forte, atuante e permanentemente voltada ao bem comum.

O artigo está disponível no endereço: https://drive.google.com/file/d/1S7zu87SXgzF0RqW9acHRJ4prhotGU6_0/view?usp=sharing.

Carlos Magno Corrêa Dias
20/09/2026

Interseções históricas são exigidas na fronteira do saber

O avanço da ciência e da tecnologia é pautado pela constante busca de modelos que permitam ao ser humano compreender, estruturar e replicar os processos do pensamento e do aprendizado. No cerne da reflexão epistemológica em questão, as relações entre a Lógica Formal, a Computação e o desenvolvimento de Sistemas Inteligentes ocupam um lugar de destaque.

Ao longo de uma carga horária de 20 horas-aula, dividida em encontros estratégicos nos dias 16, 18, 23, 25 e 30 de setembro de 1996, desenvolvi, na Pontifícia Universidade Católica do Paraná (PUCPR), o “III Ciclo de Palestras sobre a Lógica do Conhecimento Científico” com o tema “Impregnações entre Lógica Digital e Inteligência Artificial”, o qual constituiu um Ciclo de Estudos e Extensão Universitária visando o debate sobre a construção do conhecimento na era da informação.

DIAS, Carlos Magno Corrêa - 2026

Além de propor e coordenar o evento em referência, ministrei as palestras: “Lógica de Primeira Ordem” (em 16/09/1996); “Estruturação da Lógica Digital” (em 18/09/1996); “Estruturação da Inteligência Artificial” (em 23/09/1996); “Interface entre Lógica Digital e Inteligência Artificial” (em 25/09/1996); e “Modelos Aplicados na Aquisição do Conhecimento” (em 30/09/1996).

O evento possibilitou explorar as fronteiras da mente humana e dos algoritmos constituindo um marco na construção da trajetória contínua que leva do pensamento formal às aplicações contemporâneas mais avançadas. O conjunto de palestras ofereceu uma visão geral, estruturada e compendiada sobre como a Lógica Formal se desdobra em ferramentas tecnológicas capazes de resolver problemas complexos relacionados à aquisição artificial de conhecimentos. Explorei detidamente as relações de impregnação mútuas entre a Lógica Digital e a Inteligência Artificial.

Encontros como o do “III Ciclo de Palestras sobre a Lógica do Conhecimento Científico” sempre permitiram reafirmar o papel institucional da PUCPR como polo difusor do saber científico e da inovação. Ao articular temas de ponta da Ciência da Computação, da Filosofia da Ciência e da Engenharia do Conhecimento, tendo por base a Engenharia Lógica (ou Engenharia Inferencial), a PUCPR demonstrava, já à época, sua vocação para a excelência e para o pioneirismo acadêmico.

Celebrar o evento em tela é reconhecer a importância da Extensão Universitária (e Tecnológica) como ponte essencial entre o conhecimento teórico e a transformação da sociedade.

Em particular, no “III Ciclo de Palestras sobre a Lógica do Conhecimento Científico”, tratei de conceitos de vanguarda naquele tempo que continuam na atualidade a ressoar como alicerce para as transformações proporcionadas pela Inteligência Artificial (IA).

Carlos Magno Corrêa Dias
19/09/2026