Os meses de junho e julho de 1995 foram revolucionários para o mundo das Tecnologias, especialmente para a área da Internet e o cenário da Computação (tanto teórica quanto prática) no qual ocorreriam mudanças profundas decorrentes de intensa inovação e do surgimento de plataformas que se tornariam pilares do mundo digital.
No período surgem gigantes como PHP (em junho de 1995), Amazon (em julho de 1995), Java (anunciada em maio de 1995), preparação para o Windows 95 (que surgiria em agosto de 1995), MP3, criação do Primeiro Wiki (que mais tarde daria origem à Wikipedia), ferramentas de segurança como “Security Administrator Tool for Analyzing Networks”, bem como o lançamento pela Intel das versões de 120 MHz e de 133 MHz do processador Pentium.
Em 1995 um novo mundo se apresentava e a Internet estava deixando de ser um domínio exclusivo de acadêmicos e pesquisadores para se tornar um ambiente comercial; podendo-se dizer, também, que junho e julho de 1995 foram “meses-chave” para o estabelecimento do futuro digital.
Em meio à efervescência tecnológica da época e a despeito dos naturais condicionamentos, entretanto, o mundo do conhecimento científico continuava com as portas abertas para receber os interessados em fortalecer e/ou ampliar suas bases e multiplicar saberes.
Assim sendo, em função de meus estudos no campo da Lógica Matemática de Primeira Ordem organizei, coordenei e ministrei o Curso de Extensão Universitária sobre “Lógica matemática: Análise Inferencial e Teoria da Argumentação no Cálculo Proposicional”, o qual foi realizado de 14/06/1995 a 04/07/1995, em um total de 20 horas, na Puc-PR (Pontifícia Universidade Católica do Paraná).
DIAS, C. M. C. - 2025
Aquele Curso foi um sucesso de público (todas as vagas foram rapidamente preenchidas) e deu no que falar haja vista ter sido desenvolvido com todo rigor científico e centrado no formalismo acadêmico clássico abordando tema pouco convencional na época e (aparentemente) ao que se desenvolvia em paralelo no mundo real.
O Curso sobre “Lógica matemática: Análise Inferencial e Teoria da Argumentação no Cálculo Proposicional” teve como objetivo a apresentação sistematizada do Sistema Algébrico que funda a Lógica Matemática no nível do Cálculo Sentencial para dar sustentação ao 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.
Hoje se sabe que sem aqueles conhecimentos a Computação, a Transformação Digital, a IA (Inteligência Artificial), a Engenharia Lógica e tantos outros desenvolvimentos associados não estariam desenvolvidos como estão.
Celebre-se, então, com júbilo e satisfação, as três décadas da realização daquela inovadora Ação de Extensão Universitária e Tecnológica.
Carlos Magno Corrêa Dias
05/07/2025