No artigo “Impregnações entre Lógica e Informática”, publicado em outubro de 1995, no número 80, do Jornal “Vida Universitária”, meio oficial de divulgação da PUC-PR (Pontifícia Universidade Católica do Paraná), são apresentadas considerações que tornam pública a realização do “II Ciclo de Palestras sobre Lógica do Conhecimento: Impregnações entre Lógica e Informática” sob minha proposição e coordenação e no qual ministrei, também, a conferência “Álgebra Booleana Aplicada à Lógica Digital” (em 02/10/1995).
DIAS, C. M. C. - 2025
Segundo divulgado naquele artigo (PUC-PR. Impregnações entre Lógica e Informática. Vida Universitária, Curitiba, n. 80, p. 7, out. 1995.) o Ciclo de Palestras contou com as conferências: Álgebra Booleana Aplicada à Lógica Digital (02/10/1995); Lógica e Inteligência Artificial (03/10/1995); Lógica Fuzzy e suas aplicações (04/10/1995); Lógica Paraconsistente e o PROLOG (05/10/1995); bem como Lógica de Programação e suas implicações (06/10/1995).
O artigo evidencia, também, dois cursos relacionadas à Lógica Matemática que desenvolvi ao observar que “..., foram coordenados e executados pelo professor Carlos Magno Corrêa Dias dois cursos: lógica matemática: análise inferencial e teoria da argumentação no cálculo proposicional, realizado de 14 junho a 4 de julho; lógica matemática: o cálculo dos predicados aplicados à análise matemática, ocorrido de 9 de agosto a 13 de setembro”.
No primeiro dos cursos, apresentei, de forma sistematizada, o Sistema Algébrico que funda a Lógica Matemática no nível do Cálculo Sentencial para o desenvolvimento de métodos e técnicas necessários e suficientes para a manipulação da Teoria da Argumentação e da Análise Inferencial direcionados para a avaliação da legitimidade de argumentos dedutivos.
Por sua vez, no Curso de Extensão Universitária em “Lógica Matemática: O Cálculo dos Predicados Aplicados à Análise Matemática”, objetivei apresentar os fundamentos lógicos do Cálculo dos Predicados ou das Funções Enunciativas em Lógica Matemática de Primeira Ordem para a estruturação de métodos de análise de raciocínios dedutivos variacionais em Matemática.
As teorias tratadas nos Cursos referenciados mostraram o se fazia necessário conhecer sobre os Cálculos Lógicos em Lógica Matemática de Primeira Ordem (Cálculo Sentencial e Cálculo dos Predicados) para possíveis aplicações tecnológicas, principalmente no campo da Computação.
Em 1995, vivia-se uma “efervescência” nas Ciências e nas Tecnologias, particularmente nas áreas da Computação e da Informática, o que permitia às Universidades (como a PUC-PR) desenvolver Atividades de Extensão voltadas para explicar a base das plataformas que se tornariam pilares do mundo digital, como foram o caso dos desenvolvimentos em Lógica Formal que propus, coordenei e ministrei naquele período.
Carlos Magno Corrêa Dias
18/10/2025