Objetivando apresentar os Cálculos Lógicos Proposicional e Predicativo desenvolvidos em Lógica Matemática Dedutiva de Primeira Ordem para o estabelecimento de Métodos e Técnicas Formais de Raciocínios Dedutivos que permitam evidenciar, mediante a Álgebra da Lógica, a validade e a consistência de Inferências Formais estruturadas como Argumentos Dedutivos nos quais Conclusões são consequências de Premissas identificadas, ministrei, no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 23/03/2015 a 28/03/2015, em um total de 30 (trinta) horas aula, o Curso de Extensão Universitária e Tecnológica (CEUT) em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA.
DIAS, C. M. C. - 2015
Elaborei e coordenei, também, o respectivo projeto do CEUT em questão, o qual se relacionou com a área temática de “Lógica e Filosofia da Ciência” e integrou meu particular programa de Atividades de Extensão.
Durante o CEUT em referência tratei, ainda, formalmente, de “Procedimentos Técnicos de Decisão Semânticos e Sintáticos” desenvolvidos em Análise Inferencial, Teoria da Demonstração Sentencial e Teoria da Argumentação Lógica aplicáveis em Raciocínios Bivalentes e Dicotômicos.
Sempre considerando ser necessária uma mudança de paradigma no sentido de dotar os Acadêmicos de Técnicas e Métodos que lhe permitam, de forma ótima, consistente e lógica, a tomada de Decisão Lógica para um melhor rendimento acadêmico e uma atuação profissional futura com maiores possibilidades, fui motivado a desenvolver o CEUT em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA.
Perspectivar uma melhoria do Raciocínio Lógico Dedutivo dos Acadêmicos dos Cursos de Graduação das Exatas e dos futuros Profissionais no sentido de suprir eventuais deficiências quanto à Avaliação da Validade de Argumentos Dedutivos, bem como, para ajudar os Acadêmicos a corrigir Raciocínios Falaciosos frequentemente gerados e não percebidos é, também, uma das razões que contribuíram para o desenvolvimento do CEUT em tela.
Celebro, então, os dez anos do CEUT em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA o qual foi desenvolvido gratuitamente para os participantes e sem ônus adicional para a TECNOLÓGICA (UTFPR).
O CEUT em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA vem contribuindo para dirimir dificuldades decorrentes da carência de “formação lógica” no campo da Dedução e desde sua realização desperta o interesse na aquisição de ferramentas técnicas ou tecnológicas como instrumental necessário para avaliar inferências legítimas (ou não) quando se exige “Deduzir Logicamente” resultados a partir de evidências fornecidas ou estudos realizados.
Carlos Magno Corrêa Dias
15/04/2025