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