No último dia 20 de março de 2015 conclui, no Câmpus Curitiba da TECNOLÓGICA (UTFPR), a quarta edição do COLÓQUIO ENTELECHIA LOGICAE, desenvolvendo naquela oportunidade o tema ENGENHARIA LÓGICA APLICADA NA INDÚSTRIA.
No referido evento tratei de Modelos Analíticos Lógicos e Técnicas Formais de Raciocínio Dedutivo que desenvolvo em meus estudos e pesquisas na área de Engenharia Lógica e que permitem auxiliar na estruturação de procedimentos dedutivos para a tomada de decisão lógica em setores específicos da Indústria que possam ser mapeados em função da Álgebra da Lógica associada à dicotomia e bivalência da Lógica Formal de Primeira Ordem.
Desenvolvido de 16/03/2015 a 20/03/2015, no IV COENTELOG apresentei, também, Sistema Algébrico Lógico específico que desenvolvi, associado ao nível Inferencial Sentencial e à Computabilidade, para possibilitar, em conjunto com os pressupostos tradicionais da Lógica Formal Clássica, de forma indissociável, a decodificação lógica de estruturas para posterior avaliação formal da validade (legitimidade) dos procedimentos materiais que lhes possam dar origem.
Muito em breve, desenvolverei a quinta edição do COENTELOG que será de abrangência nacional e no qual tratarei o tema: ANÁLISE INFERENCIAL REVERSA E RECURSIVA.
Carlos Magno Corrêa Dias
18/05/2015