Conforme observei no meu Projeto de criação do Curso de Extensão Universitária e Tecnológica em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA, curso este que ministrei no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), é constatado, com relativa frequência, em geral, que os estudantes dos Cursos Regulares de Graduação apresentam falta de entendimento lógico a respeito dos diversos temas associados à Dedução e que a maioria dos Projetos Pedagógicos de Curso não consideram disciplinas fundamentais que venham apresentar, de forma sistematizada, as ferramentas que possibilitem avaliar a legitimidade (ou não) de inferências a partir de evidências fornecidas ou estudos realizados. Algo não muito diferente no Campo de Trabalho acontece, também, dado que a maioria dos Profissionais egressos das Universidades apresentam dificuldades extremas quando são chamados a deduzir correta e logicamente.
-CMCD.jpg)
DIAS, C. M. C. - 2015
Por entender que a carência de conhecimentos em Teoria da Demonstração, Análise Inferencial e Argumentação Lógica Dedutiva a partir da Álgebra da Lógica desenvolvida nos Cálculos Lógicos Sentencial e Predicativo associados à Lógica Matemática de Primeira Ordem “é prejudicial ao bom e adequado desenvolvimento do futuro profissional que será solicitado diariamente em sua prática à tomada de decisão lógica partindo-se de evidências que deverá perceber e administrar dedutivamente” fui o proponente e desenvolvedor do Curso de Extensão Universitária e Tecnológica em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA.
O Curso de Extensão Universitária e Tecnológica em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA, ministrado para Acadêmicos das Engenharias da UTFPR, teve por principal objetivo, então, 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 visando evidenciar, mediante a Álgebra da Lógica, a validade e a consistência de Inferências Formais estruturadas como Argumentos Dedutivos nos quais as Conclusões são consequências de Premissas identificadas. Também foram apresentados no decorrer da exposição 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.
Durante o Curso de Extensão Universitária e Tecnológica em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA foram tratados os seguintes temas: Identificação da Linguagem Formal da Lógica Matemática; Proposições, Fórmulas Proposicionais e Funções Proposicionais; Estruturação do Cálculo Lógico Proposicional; Estruturação do Cálculo Lógico Predicativo; Validade, Verdade e Tabelas-Função-de-Verdade; Contingências, Tautologias e Contradições; Operações Lógicas Fundamentais e derivadas; Relação de Equivalência e de Implicação Lógica; Álgebra da Lógica (Operações e Relações Lógicas); Análise Inferencial e Teoria da Argumentação Lógica; Argumentos Dedutivos Válidos, Inferências, Sofismas e Falácias; bem como Demonstração Dedutiva.
Com o curso em referência uma vez mais corroborei minha posição que o poder da LÓGICA FORMAL, adquirido por intermédio do domínio dos Cálculos Lógicos Proposicional e Predicativo, contribui intensamente para ampliar a força das LEGIÕES DE ANALÍTICOS que seguem pensando de forma dedutiva.
Carlos Magno Corrêa Dias
14/04/2023