DIAS, C. M. C. - 2025
“Lógica matemática: um sistema bivalente de argumentação para a análise de raciocínios analíticos” foi daqueles cursos, literalmente, “pesados” em intensidade, que embora intencionado ser uma introdução com prolegômenos correspondentes centrado tão somente no desenvolvimento dos conteúdos, envolveu tratamento formal utilizando boa parte da potência da força da Lógica Matemática de Primeira Ordem para o BEM PENSAR “de forma analítica”.
Dentre os tópicos que desenvolvi durante as exposições destacam-se: Sistematização do Cálculo Proposicional; Sistemas Algébricos Bivalentes ou Dicotômicos; Princípios e Elementos do Cálculo Sentencial; Operações e Relações Lógicas; Álgebra Proposicional; Análise Inferencial em Lógica Matemática; Teoria da Argumentação em Lógica Matemática; bem como Teoria da Demonstração em Lógica Matemática.
Basicamente, porém, utilizei os recursos e técnicas formais do Cálculo Sentencial da Lógica Matemática para avaliar a Legitimidade (Validade) de Raciocínios Lógicos Dedutivos pondo em evidências Falácias e/ou Sofismas que são os Argumentos Não-Válidos tanto prejudicam a evolução mais ampla das teorias e suas aplicações no avanço incondicional da complexidade sistêmica das Tecnologias (emergentes).
O objetivo fundamental do curso em referência foi apresentar os conteúdos correspondentes de forma a constituir “uma experiência de iniciação, sem, entretanto, isentar, de todos os riscos teórico-didáticos” que poderiam surgir na sequência.
O conteúdo selecionado, ressalte-se, visava um primeiro contato com os elementos da Lógica Matemática quanto aos principais temas do Cálculo Proposicional; todavia foi desenvolvido, formalmente, com o rigor necessário, a Álgebra da Lógica subjacente apresentando-se conjunto extenso de definições e propriedades.
Surpreendentemente, entretanto, ainda hoje, já contadas três décadas da conclusão do Curso de Extensão Universitária sobre “Lógica matemática: um sistema bivalente de argumentação para a análise de raciocínios analíticos”, o mesmo segue chamando adeptos para o campo de estudo da Lógica Matemática e diversas pesquisas atuais estão centradas naqueles conteúdos os quais foram publicados de forma sistematizada na minha obra “Lógica matemática: introdução ao cálculo proposicional” (ISBN: 85-900661-3-4) a qual teve uma primeira edição em 1999 seguida, também, de outras edições posteriormente.
Carlos Magno Corrêa Dias
02/06/2025
Carlos Magno Corrêa Dias
02/06/2025