DIAS, Carlos Magno Corrêa - 2026
Em 2026 completam-se 25 anos (um quarto de século) tanto da redação do prefácio que elaborei para aquela segunda edição quanto da publicação oficial da obra. Sob minha organização, edição e editoração, também, publiquei o livro como Editor-Autor Cadastrado na Agência do ISBN (“International Standard Book Number”) de responsabilidade da Biblioteca Nacional na época de 2001.
“A transição da primeira para a segunda edição da obra sofreu uma reorganização profunda, movida pela percepção de que a Lógica é tanto um fundamento teórico quanto uma ferramenta prática”. A edição de 2001 do livro teve a intenção de manter a obra focada na Lógica Sentencial técnica.
Foram incluídos os capítulos sobre Sistemas Axiomáticos e Álgebra Booleana os quais deram ao livro maior rigor promovendo a conexão entre a Lógica Proposicional diretamente à Matemática de Comutação e às Portas Lógicas, elementos essenciais para a Arquitetura de Computadores e Engenharia Elétrica.
Um dos pontos centrais que discuti na segunda edição de "Lógica matemática: introdução ao cálculo proposicional" é a definição da lógica sob dois prismas: “como um fim em si mesma e como um meio para outras aplicações”.
Assim sendo, tomando a “Lógica como Fim” faço referência ao estudo das estruturas dedutivas, da sintaxe e da semântica, onde o objetivo é entender a validade dos argumentos independentemente do conteúdo; e, considerando a “Lógica como Meio” apresento aplicação das correspondentes estruturas na fundamentação de outras teorias, desde a Programação de Software até a Análise Jurídica e Filosófica.
Enfatizo que a principal função da obra é instrumentalizar os Leitores para serem capazes de distinguir argumentos logicamente válidos de falácias ou sofismas. Em um universo "dicotômico e bivalente" (onde prevalecem os valores-de-verdade “Verdade” e “Falsidade” que mutuamente se excluem), o domínio de técnicas do Cálculo Proposicional é o que permite ao Profissional de Exatas construir raciocínios à prova de falhas.
A obra consolida-se como um manual indispensável para o iniciante universitário, ajudando, também, no esclarecimento de conceitos complexos como a Teoria Axiomática com a aplicação prática em Sistemas Digitais. A obra é um convite ao exercício da racionalidade essencial para o desenvolvimento científico.
A segunda edição de "Lógica matemática: introdução ao cálculo proposicional" segue sendo em 2026 um marco nos estudos da Lógica Matemática Sentencial.
Carlos Magno Corrêa Dias
10/01/2026