Lógica Formal Solicita Legitimidade e Consistência de Raciocínios.

No último dia 22 de janeiro de 2014, na Sede Central do Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), realizei a abertura de mais um Curso de Extensão Universitária em Lógica Formal, o ministrarei e que faz parte de um de meus Projetos de Extensão e Pesquisa em desenvolvimento na atualidade.

Os participantes de semelhante Curso de Extensão são meus Alunos regularmente matriculados em Cursos de Graduação da UTFPR da Área de Ciências Exatas (Bacharelados ou Licenciaturas) e que demonstram interesse em adquirir Conhecimentos no Campo da Lógica Matemática para ampliação das potencialidades de Análise e Avaliação de Raciocínios envolvidos na tomada de decisão.

Ao longo do desenvolvimento do Curso em questão apresentarei, então, conjunto formal de Métodos e Técnicas necessário para a Avaliação Analítica da Validade e da Consistência de Raciocínios Dedutivos formalizáveis em Lógica Matemática a partir da Álgebra da Lógica e de uma Axiomatização Bivalente e Dicotômica centradas nos Princípios da Identidade, da Não Contradição e do Terceiro Excluído.

O Curso em referência é ofertado gratuitamente para os participantes, não envolve qualquer ônus extra para a Instituição (pois, não cobro para ministrar o mesmo) e não é subsidiado por programa algum de fomento.

Ao desenvolver semelhante atividade desta forma tenho a satisfação de ver cumprida a contrapartida que julgo deva existir da Universidade Pública com Sociedade que a mantém quanto ao propósito da Extensão Universitária.

De outro lado, porém, tenho, também, a grata satisfação de poder contribuir com Conhecimento a mais na formação de meus Alunos.

Carlos Magno Corrêa Dias
24/01/2014