Seminários Transformados em Colóquios Modais.

No período de 05/03/2013 a 02/05/2013, ministrei o Curso de Extensão Universitária em AXIOMATIZAÇÃO DA LÓGICA MATEMÁTICA DE PRIMEIRA ORDEM, para alunos de Cursos Regulares de Bacharelado do Campus Curitiba da UTFPR.

No curso em referência apresentei dois dos principais Sistemas Axiomáticos em Lógica Matemática de Primeira Ordem associados à Teoria da Argumentação e à Análise Inferencial, atualmente usuais, bem como, um Sistema Axiomático próprio segundo a concepção de Engenharia da Lógica ou Engenharia Inferencial que tenho desenvolvido em diversos de meus trabalhos.

Antecipando algumas das colocações que apresentarei no meu livro ENGENHARIA LÓGICA, a ser publicado, possivelmente, na segunda metade do primeiro semestre do próximo ano, considero conjunto tautológico de axiomas que permite a corretude e a completude objetivando não somente a consistência do Sistema Lógico envolvido, mas, em particular, que venha garantir consistência associada (estritamente) à legitimidade do Processo Analítico Inferencial como um todo (mas, não, necessariamente, dissociado dos aspectos psicológicos das inferências como é, na maioria das vezes, usual).

Na oportunidade comuniquei, também, a extinção dos SELOGMAS (Seminário de Lógica Sentencial) e SECAFUNP (Seminário de Cálculo das Funções Predicativas em Lógica Matemática) que em anos passados havia proposto e ministrado. Aqueles antigos seminários, em 2013, passarão a compor um único evento, o COLÓQUIO ENTELECHIA LOGICAE, o qual será evento constituído de exposições unilaterais e modais abordando interpretações necessárias ou “contingentes” sobre temas de particular interesse. A transformação é motivada devido aos novos objetivos que passo a seguir e por julgar que se faz necessária uma forma mais estrita de apresentação dos trabalhos de pesquisa e desenvolvimento que tenho desenvolvido nos correspondentes campos da Lógica (como um todo) e da Filosofia da Ciência (em particular).

Mais proximamente ao período de realização do I COENTELOG (COLÓQUIO ENTELECHIA LOGICAE) informações serão divulgadas quanto às condições e aos períodos de inscrição. Ressalto, entretanto, que devido ao número sempre limitado de vagas para semelhantes eventos, será necessária a realização de uma avaliação prévia para compor o grupo dos possíveis participantes no evento. Mantendo, entretanto, a filosofia dos eventos de extensão que promovo e ministro na Rede Pública de Ensino, o evento será gratuito para os aprovados, dando sempre preferência para meus alunos ou ex-alunos.

No primeiro COLÓQUIO ENTELECHIA LOGICAE é pretendida uma abordagem filosófica sobre relações de impregnação mútuas entre Lógica, Inovação, Epistemologia, Indústria e Responsabilidade Socioambiental Corporativa. Entretanto, um título específico para o evento, com os necessários contornos, ainda não foi definido embora estará fortemente relacionado com os assuntos referenciados precedentemente.

Carlos Magno Corrêa Dias
12/05/2013