No Curso denominado LÓGICA MATEMÁTICA INFERENCIAL PROPOSICIONAL DE PRIMEIRA ORDEM tratei procedimentos analíticos da Álgebra da Lógica necessários para o desenvolvimento de Métodos e Técnicas que possibilitam a Avaliação Formal da Validade de Raciocínios Dedutivos tomados (estruturados) na forma de Argumentos Dedutivos.
Centrado em Operações e Relações Lógicas do Cálculo Proposicional da Lógica Matemática de Primeira Ordem considerei, também, Procedimentos de Decisão Semânticos e Sintáticos desenvolvidos nos campos da Análise Inferencial e da Teoria da Argumentação Lógica para o “bem pensar”.
Semelhante curso foi desenvolvido em vinte horas-aula gratuitamente para os participantes, sem qualquer ônus extra para e Instituição e sem qualquer forma de fomento, cumprindo a contrapartida que defendo seja mantida no que concerne às Ações de Extensão em Universidades Públicas como a UTFPR.
Semelhante Curso de Extensão constitui mais um apoio técnico na formação dos Acadêmicos que se permitem participar de semelhante Ação de Extensão além de perspectivar o alcance de outras possibilidades tanto no mercado de trabalho quanto nas futuras opções de estudos.
A certificação e a apropriação dos correspondentes conhecimentos na área da Lógica Formal por parte dos participantes têm constituído diferencial importante e muito bem aceito segundo retorno recebido pelo próprio mercado, principalmente, no campo da Indústria.
Na sequência estão previstos outros desenvolvimentos semelhantes em consonância com o Projeto de Extensão Universitária que mantenho no campo da Lógica e da Filosofia da Ciência ( http://repositorio-entelechia-logicae.blogspot.com.br/2013/12/milesima-certificacao-em-logica-e.html).
Carlos Magno Corrêa Dias
14/03/2014