Objetivando certificar os participantes no campo da
Álgebra das Funções Predicativas e das Funções Quantificadas desenvolvidas no
Cálculo Predicativo em Lógica Formal de Primeira Ordem para a Enunciação,
Análise e Resolução Lógica de Problemas de Raciocínio ministrei, no final do
segundo semestre de 2011, o Curso intitulado LÓGICA MATEMÁTICA PREDICATIVA E
QUANTIFICACIONAL DE PRIMEIRA ORDEM, em um total de vinte horas, em Curitiba-PR,
tendo por ouvintes alunos regularmente matriculados em Cursos de Engenharia.
O Curso de Extensão Universitária em referência
complementou os estudos desenvolvidos no mês de setembro de 2011 quando,
também, apresentei o Curso de Extensão Universitária intitulado a LÓGICA
MATEMÁTICA PROPOSICIONAL DE PRIMEIRA ORDEM, o qual, por sua vez, objetivou apresentar
a Linguagem e a Álgebra Proposicional do Cálculo Enunciativo em Lógica
Matemática de Primeira Ordem para a Avaliação e Correção de Raciocínios Lógicos
Dedutivos formalizados segundo Argumentos e Inferências Dedutivas que estariam
além de um notória trivialidade e obrigam estruturação diferenciada.
Os dois cursos referenciados foram desenvolvidos
especialmente para alunos dos Cursos Regulares de Engenharia e conduzidos no
sentido de apresentar os pressupostos necessários para o desenvolvimento de habilidades
nos campos da Teoria da Demonstração Dedutiva e da Teoria da Prova relacionados
a Sistemas Algébricos Dicotômicos e Bivalentes.
Como tenho considerado, introduzir, com desejável
rigor e grau de aprofundamento, particulares técnicas dedutivas de cálculo para
a avaliação formal de raciocínios passíveis de estruturação como argumentos
dedutivos foi, também, outro dos objetivos dos cursos em referência.
Dada a grande procura pelos cursos ofertados, é
intencionado ofertar na seqüência, nos próximos semestres letivos novos cursos
semelhantes e com um número maior de vagas para os interessados.
Para o futuro Engenheiro é importante desenvolver
habilidades no sentido de ser possível a tomada de decisões sobre problemas de
raciocínio de forma analítica sem que os mesmos sejam comprometidos pela
materialidade ou condicionamentos do mundo real. E em tal sentido, é que
defendo a posição que as técnicas formais de investigação da validade de
modelos formalizados com os recursos operacionais da Lógica Formal são fontes
de soluções das mais amplas e eficientes.
Carlos
Magno Corrêa Dias
Curitiba-PR, 02/08/2012