Avaliação de Raciocínios Dedutivos Promovidos em Cursos de Extensão.

Dando continuidade ao trabalho de extensão que tenho desenvolvido nos últimos anos no campo da Lógica e da Filosofia Analítica estarei agora no primeiro semestre de 2013 ministrando três novos cursos de extensão universitária: quais sejam: “Lógica Matemática Proposicional e Predicativa”, “Lógica Matemática Dedutiva Aplicada” e “Axiomatização da Lógica Matemática de Primeira Ordem”.

No primeiro dos cursos em referência é objetivado apresentar o Cálculo Proposicional e o Cálculo dos Predicados desenvolvidos em Lógica Matemática de Primeira Ordem para a Enunciação, Avaliação e Resolução de Problemas Dedutivos nas Ciências Exatas. Em particular, será dada atenção especial à “Álgebra da Lógica” para a verificação “formal” de Inferências e Sofismas Dedutivos.

Já no curso “Lógica Matemática Dedutiva Aplicada” serão apresentados os Cálculos Lógicos desenvolvidos em Lógica Matemática de Primeira Ordem para a avaliação de Problemas Dedutivos no Campo das Ciências Exatas sem, contudo, fazer referência, necessariamente, às Inferências (consagradas). Para as correspondentes avaliações de raciocínios serão considerados procedimentos “automáticos” oriundos de distintos Sistemas Bivalentes e Dicotômicos compatíveis com a Lógica Formal de Primeira Ordem.

O terceiro curso abordará os principais Sistemas Axiomáticos em Lógica Matemática de Primeira Ordem associados à Teoria da Argumentação e à Análise Inferencial. Neste curso tanto a Axiomatização da Lógica quanto os pressupostos da Filosofia Analítica serão tomados como base para a prova da validade de Argumentos Dedutivos Válidos.

Como de costume, a participação nestes cursos estará condicionada ao atendimento das condições de seleção que estabelecerei pouco antes da abertura das inscrições. Na sequência, então, neste espaço, tais condições serão divulgadas.

Carlos Magno Corrêa Dias
24/01/2013