Com o título “Porque é Necessário Avaliar Logicamente as Razões Suficientes a Análise Lógica é Solicitada” informava em 14/09/2015, há mais de uma década passada, que estava iniciando no Câmpus Curitiba da TECNOLÓGICA (UTFPR - Universidade Tecnológica Federal do Paraná) o Curso de Extensão Universitária e Tecnológica em ANÁLISE INFERENCIAL DEDUTIVA EM LÓGICA MATEMÁTICA.
DIAS, Carlos Magno Corrêa - 2025
Curso em questão, voltado para instruir Graduandos dos Cursos de Ciências Exatas e de Tecnologia de “Técnicas Formais para a Avaliação de Raciocínios Dedutivos”, tomava por base a “Álgebra da Lógica e a Teoria da Argumentação em Lógica Analítica de Primeira Ordem” para ser desenvolvido.
Como Proponente, Organizador e Coordenador do correspondente Projeto do Curso o qual integrava da área de “Lógica e Filosofia da Ciência”, bem como quem ministrou o Curso, minha preocupação era que “os Acadêmicos dos diversos e diferentes Cursos Regulares de Graduação das Universidades Brasileiras, das distintas Áreas do Saber (em geral), apresentam dificuldades nos estudos e na aquisição de conhecimentos decorrentes da falta de entendimento lógico a respeito dos temas que se obrigam estudar quando estes exigem domínios no campo da Dedução Lógica ou da Análise Lógica Inferencial”.
Assim sendo, o Curso de Extensão Universitária e Tecnológica em ANÁLISE INFERENCIAL DEDUTIVA EM LÓGICA MATEMÁTICA teve por principal objetivo apresentar o Cálculo Lógico Proposicional (Sentencial), desenvolvido em Lógica Matemática Dedutiva de Primeira Ordem, para o estabelecimento de Métodos e Técnicas Formais de Raciocínios Dedutivos que permitissem evidenciar e analisar, mediante a Álgebra da Lógica, a Validade e a Consistência de Raciocínios estruturados sejam como Argumentos Dedutivos ou Inferências nos quais “Conclusões” devem ser, necessariamente, consequências lógicas de “Premissas” identificadas.
DIAS, Carlos Magno Corrêa - 2025
Justificado para ser possível perspectivar uma melhoria do Raciocínio Lógico Dedutivo dos correspondentes Estudantes, o Curso de Extensão Universitária e Tecnológica em ANÁLISE INFERENCIAL DEDUTIVA EM LÓGICA MATEMÁTICA foi edificado centrando-se nos fundamentos da Análise Inferencial e Teoria da Argumentação, desenvolvidos em Lógica Formal (Dedutiva).
Durante a referida Ação de Extensão foram tratados Conteúdos Programáticos como: Semântica da Linguagem Formal da Lógica Matemática; Sintaxe da Linguagem Formal da Lógica Matemática; Enunciações e Proposições; Fórmulas Proposicionais; Estruturação do Cálculo Lógico Proposicional; Validade e Verdade; Matriz-Função-de-Verdade; Contingências, Tautologias e Contradições; Operações Lógicas Fundamentais e Operações Derivadas; Relação de Equivalência Lógica; Relação de Implicação Lógica; Álgebra da Lógica (Sentencial); Argumentos Dedutivos; Análise Inferencial; Teoria da Argumentação Lógica; Sofismas e Falácias; bem como Demonstração Dedutiva.
Carlos Magno Corrêa Dias
15/09/2025