Meu trabalho “A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior” ganhou, no ano de 1999, uma segunda edição revisada (ISBN: 85-900661-2-6) haja vista que rapidamente a versão original se esgotou e solicitações diversas na sequência foram realizadas com dada insistência e recebidas com júbilo.
DIAS, C. M. C. - 1999
Assim sendo, neste 2024, celebro 25 anos, um quarto de século, da publicação daquela segunda edição cuja obra foi edificada centrada em minha prerrogativa de que “alfa premissas levam à beta conclusão". O livro segue seu caminho no processo recursivo constante e contínuo chamando atenções e contribuindo para fortalecer (ou antes auxiliar) na aquisição de conhecimentos basilares sobre LÓGICA MATEMÁTICA de primeira ordem.
DIAS, C. M. C. - 2024
Conforme se tem notado a obra vem tornando-se um referencial de estudos sobre Lógica Formal, particularmente quanto à avaliação da legitimidade de raciocínios dedutivos por intermédio dos Cálculos Lógicos. Influenciando, também, número incontável de interessados (principalmente, Jovens) os temas abordados (com pretendido grau de formalismo) tem ajudado na avaliação e correção dos múltiplos argumentos que podem ser formalizados no campo das Tecnologias Digitais e, mais recentemente, na área da Inteligência Artificial e da Neurociência.
Ressalto, uma vez mais, que cópia digitalizada da edição original da obra encontra-se disponibilizada para consultas no Acervo Digital da UFPR (Universidade Federal do Paraná) compondo o Repositório Digital Institucional da UFPR (RDI/UFPR) no endereço https://tinyurl.com/54kc4npk.
A força e o alcance da Álgebra da Lógica dos Cálculos Lógicos (Proposicional e dos Predicados) não apenas avança nos dias atuais nas Ciências e nas Tecnologias como, também, é gerador de novos horizontes no mundo quântico das múltiplas inteligências ampliando possibilidades e limites em muitos outros setores.
Aproveitando o momento, observo, ainda, que uma terceira edição (revisada e ampliada) de “A lógica matemática enquanto agente transformador dos processos inferenciais em matemática superior” está ganhando forma e em breve chegará ao mundo real.
Carlos Magno Corrêa Dias
31/10/2024