Vez ou outra somos chamados a mudar estratégias definidas tendo em vista ocorrências que vão surgindo no meio do caminho traçado previamente. Tal é o caso do rememorar as atividades realizadas nos 5, 10, 15, 20, 25, 30, 35, 40, 45, ..., anos passados que venho apresentando neste 2025.
Inicialmente, seguia a cronologia dos fatos apresentando observações sobre trabalhos realizados (especificamente) entre os anos de 1980 até 2020, me pautando em relatar (comemorar) as realizações a cada cinco anos naquele período.
Entretanto, na medida que vou celebrando as atividades realizadas nos últimos cinco, dez, quinze, vinte, vinte e cinco, trinta, trinta e cinco, quarenta, quarenta e cinco anos passados, me deparo com atividades executadas entre as datas consideradas que merecem ser relembradas também; como é o caso, por exemplo, do Curso de Extensão Universitária em “CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA”.
DIAS, C. M. C. - 2025
O curso em referência, o qual propus, coordenei e ministrei de 14/05/2014 a 30/07/2014, foi um marco inolvidável haja vista ter sido Atividade de Extensão que se obrigou ser realizada em paralelo ao Curso de Extensão Universitária intitulado “CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL” que ministrei para Acadêmicos das Engenharias do Sistema UTFPR (Universidade Tecnológica Federal do Paraná) no período de 12/05/2014 a 28/07/2014.
DIAS, C. M. C. - 2014
Rapidamente o número de vagas disponíveis para o Curso em “CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL” foi preenchido e se criou uma “lista de espera” com mais do dobro de interessados exigindo a abertura de nova turma.
Os Cursos de Extensão Universitária em “CÁLCULO SENTENCIAL DEDUTIVO EM LÓGICA MATEMÁTICA INFERENCIAL” e em “CÁLCULO PROPOSICIONAL EM LÓGICA MATEMÁTICA INFERENCIAL DEDUTIVA” objetivaram apresentar, de forma sistematizada, o Cálculo Proposicional (ou Cálculo dos Enunciados) e a Álgebra da Lógica instituídos em Lógica Matemática Dedutiva de Primeira Ordem necessários para o desenvolvimento de Métodos e Técnicas que permitissem a Avaliação Formal da Validade e da Consistência de Raciocínios Dedutivos estruturados como Argumentos (em geral) ou Inferências (em particular).
DIAS, C. M. C. - 2014
Também foi apresentado, em ambos os cursos, Procedimentos Técnicos de Decisão Semânticos e Sintáticos desenvolvidos em Análise Lógica Inferencial e Teoria da Argumentação Lógica necessários para a Demonstração Formal e Dedutiva de teoremas quaisquer.
Entretanto, no segundo curso, a pedido dos próprios inscritos, foram apresentadas considerações técnicas (bem específicas) sobre questões relacionadas à Lógica Reversa ou à Recursão Lógica.
Neste 2025 celebro, então, com júbilo e satisfação, os mais de dez anos do sucesso da edição daqueles dois cursos que além inovadores promoveram sequências de estudos que perduram até hoje.
Carlos Magno Corrêa Dias
18/07/2025