A construção da rigidez intelectual e da precisão analítica no ensino superior exige o retorno aos fundamentos do pensamento. Foi imbuído desse propósito que, no período de 23 de agosto a 27 de setembro de 2011, propus, organizei e ministrei o Curso de Extensão Universitária de Lógica Matemática Proposicional de Primeira Ordem, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) e promovido pelo Departamento Acadêmico de Matemática (DAMAT).
DIAS, Carlos Magno Corrêa - 2026
O projeto, de número 11.110 e viabilizado em parceria com a Divisão de Cursos de Extensão (DIECE) da TECNOLÓGICA (UTFPR), teve por objetivo capacitar os Acadêmicos no uso da linguagem e da Álgebra Proposicional do Cálculo dos Enunciados (Cálculo Proposiconla) em Lógica Matemática de Primeira Ordemo . Com uma carga horária total de 20 horas-aula ministradas, no turno noturno, o conteúdo programático abrangeu desde os fundamentos das linguagens formais e enunciados bivalentes até o estudo detalhado das operações lógicas fundamentais, relações de equivalência e implicação.
Aprofundou-se, ainda, a análise dos raciocínios lógicos, dos argumentos dedutivos válidos e a identificação precisa de falácias e sofismas, fornecendo instrumental sólido para o domínio das inferências e deduções formais.
Especificamente tratei dos seguintes temas: Linguagens Formais e Linguagem Proposicional; Enunciados Bivalentes e Dicotômicos; Operações Lógicas Fundamentais e Derivadas; Relações de Equivalência Lógica; Relações de Implicação Lógica; Raciocínios Lógicos; Argumentos Dedutivos; Argumentos Dedutivos Válidos; Falácias e Sofismas; bem como Deduções e Inferências.
Em uma era crescentemente dominada por recursos tecnológicos de apresentação, a opção metodológica adotada foi deliberada e consciente: a exposição pautou-se no uso exclusivo do giz e do quadro de giz. A escrita cadenciada no quadro, aliada ao raciocínio desenvolvido em tempo real, permitiu que os participantes acompanhassem a gênese de cada demonstração, a construção passo a passo das tabelas-verdade e a mecânica das regras de inferência, conferindo ao ensino da lógica um caráter artesanal acompanhado pelo tempo da assimilação intelectual.
Oferecido de forma inteiramente gratuita para os alunos e sem ônus para a instituição, o curso reafirmou a vocação da universidade pública no aprimoramento do raciocínio analítico e na difusão do conhecimento de base.
Celebrar os 15 anos de início da realização da atividade de extensão em referência significa reconhecer o valor do rigor do pensamento centrado em ferramentas fundamentais para a avaliação crítica, a precisão argumentativa e a correção estrutural do raciocínio científico.
Carlos Magno Corrêa Dias
26/08/2026