“Lógicas Mentais Recursivas” constituiu o tema de palestra que proferi no III COLÓQUIO ENTELECHIA LOGICAE (III COENTELOG), no último dia 16 de maio de 2014, cujo tema foi o mesmo da palestra em referência.
Na oportunidade tratei da Estruturação Lógica da questão “Imagens X Proposições” sob “condições recursivas” discutindo, em específico, aspectos concernentes à natureza Algébrica (Necessária) e Lógica (Analítica) que podem ser estabelecidas, recursivamente (a partir de Definição Recursiva Formal), nas relações de impregnação mútuas entre Modelos Mentais, Consciência e Computabilidade.
Centrado no pressuposto que a “extensão ilimitada” de um processo lógico é possível apenas pelo mecanismo recursivo de concatenar sequências de argumentos dedutivos em argumentos dedutivos, na apresentação em referência, coloquei em evidência, com base na Lógica Formal de Primeira Ordem e na Computabilidade, a distinção necessária entre um “procedimento recursivo” e a “execução de um procedimento recursivo” para a instituição recorrente de “Modelos Mentais Conscientes Computáveis” que permeiam a “Engenharia Lógica” que estou edificando.
Carlos Magno Corrêa Dias
19/05/2014