Aquele primeiro COLÓQUIO ENTELECHIA LOGICAE, cujo tema foi a “Lógica da Inovação nas Relações de Aproximação entre Indústria e Ciência”, destinou-se, exclusivamente, aos meus Alunos de Cursos de Engenharia e que já atuavam, de alguma forma, no Meio de Produção (principalmente na Indústria Paranaense).
Cabe ressaltar, entretanto, que no I SECAFUNP (2010) tratei questões relacionadas às “Instâncias Sentenciais e Funções Quantificadas” enquanto que no II SECAFUNP (2011) abordei o tema “Lógica Formal e Filosofia Analítica como Fator de Inovação”. Já no I SELOGMAS (2010) apresentei considerações sobre a “Completude dos Fundamentos Necessários e Suficientes da Matemática” e no II SELOGMAS (2011) apresentei exposição sobre aspectos relacionados com a “Inovação Tecnológica Centrada na Lógica Clássica”.
A transformação dos SELOGMAS e SECAFUNP em um único evento atendeu, de um lado, questões de ordem prática e, de outro, a percepção que os aspectos Sentenciais e Predicativos da Lógica tratados em conjunto podem, invariavelmente, promover um maior alcance. A transformação da forma de Seminário para a forma de Colóquio procurou propiciar, também, uma comunicação formal para público alvo direcionado, abrindo as possibilidades inclusivas para abordagem de outros temas não estritamente fixados no campo da Lógica ou da Filosofia Analítica.
A partir, então, do I COENTELOG são aventadas possibilidades mais amplas para considerar e divulgar questões voltadas à Lógica ou à Filosofia da Ciência que poderão ser direcionadas para a solução de problemas do “mundo real”.
No sentido aventado, gera-se, então, a possibilidade de uma sequência atemporal de apresentações que pretendem uma aproximação efetiva entre distintas Áreas do Saber e a Lógica Formal. Em particular, são almejadas interações entre a Indústria, a Ciência, as Tecnologias e a Universidade, centrada na Lógica da Inovação e em uma nova concepção de “Engenharia Matemática” e de “Engenharia Lógica” que venho defendendo nas seguidas Ações de Extensão que tenho programado.
No período de 17 de março de 2014 até 27 de março de 2014 desenvolvi uma segunda edição do COLÓQUIO ENTELECHIA LOGICAE cujo tema principal foi “INOVAÇÃO EM ENGENHARIA LÓGICA”.
Nesta segunda edição apresentei aos participantes os pressupostos estruturais da concepção de Engenharia Lógica proposta como Área de Conhecimento Analítica necessária para integrar Pesquisa, Desenvolvimento e Inovação no campo da Teoria da Demonstração Lógica associada à Axiomatização, Análise Lógica Inferencial, Computabilidade e Teoria dos Modelos.
No COLÓQUIO ENTELECHIA LOGICAE: INOVAÇÃO EM ENGENHARIA LÓGICA objetivei apresentar aos participantes relações específicos entre a Lógica Analítica, a Filosofia Analítica e a Computabilidade, priorizando considerações sobre os seguintes assuntos; quais sejam: Cálculo Proposicional em Lógica Formal, Cálculo dos Predicados em Lógica Formal, Álgebra da Lógica, Procedimentos Recursivos, Dedução Lógica, Teoria da Demonstração Dedutiva, Argumentação Analítica, Decidibilidade, Otimização, Sistemas Axiomáticos, Teoria dos Mundos Possíveis, Sistemas Computáveis, Análise Inferencial, Teoria dos Modelos e Lógicas Formais.
Carlos Magno Corrêa Dias
28/03/2014