Já há mais de três décadas venho estudando, pesquisando e produzindo escritos sobre a Lógica Matemática sendo o responsável por trabalhos técnicos e científicos que culminaram na instituição da Engenharia Lógica.
Dentre os vários livros que escrevi no campo da Lógica Matemática (de Primeira Ordem) tenho a obra CÁLCULO LÓGICO INFERENCIAL (ISBN: 978-85-88925-18-2) depositada no acervo da Biblioteca Nacional (BN) como Patrimônio Bibliográfico e Documental do Brasil e constituindo Propriedade Intelectual (PI) do Brasil com registro no Escritório de Direitos Autorais (EDA) da BN.
DIAS, C. M. C. - 2013
Ao se mencionar a BN do Brasil é sempre exigido observar que muito mais do que um depósito de livros a BN do Brasil é essencial para a preservação da memória, o fomento à cultura, o apoio à pesquisa e a democratização do acesso ao conhecimento no Brasil. Conectando o passado, o presente e o futuro da Nação através de seu vasto e valioso acervo, a BN do Brasil é considerada uma das dez maiores Bibliotecas Nacionais do mundo pela Unesco (Organização das Nações Unidas para a Educação, a Ciência e a Cultura) uma agência especializada da Organização das Nações Unidas (ONU) fundada em 1945.
O meu livro CÁLCULO LÓGICO INFERENCIAL, em referência, com 565 páginas, denso, complexo, categoricamente formal, foi objeto da postagem intitulada “Mundo Real Conhecerá CÁLCULO LÓGICO INFERENCIAL” quando, há mais de dez anos, em um 25 de abril, era tornado público ao mundo real.
O objetivo primeiro de “CÁLCULO LÓGICO INFERENCIAL” é apresentar técnicas formais que permitam, de um lado, avaliar a legitimidade de argumentos dedutivos no âmbito dos Cálculos Lógicos (Cálculo Proposicional e Cálculo dos Predicados) e, de outro lado, evidenciar procedimentos, também, formais (analíticos) que permitam a correção de falácias ou sofismas (argumentos não válidos) constatados no processo de raciocínio lógico dedutivo. Em resumo, a obra pretende dotar o leitor de “ferramental algébrico” adequado para o bem pensar no sentido de garantir que a conclusão de quaisquer argumentos seja consequência única das premissas que a precedem.
Dividida em cinco capítulos na obra são apresentados nos dois primeiros capítulos o conjunto das operações e relações lógicas necessárias para desenvolver o processo de avaliação de argumentos dedutivos que são tratados nos seguintes capítulos.
Além da Álgebra da Lógica dos Cálculos Lógicos são tratados em “CÁLCULO LÓGICO INFERENCIAL” temas como: Dedução Lógica; Teoria dos Silogismos Categóricos; Axiomatização da Lógica Matemática, bem como Teoria dos Conjuntos.
Desde sua publicação a obra segue chamando, intensamente, mais e mais adeptos a utilizarem os critérios formais apresentados para a avaliação (e consequente correção lógica) de “pensamentos” permitindo a ampliação das possibilidades do raciocínio dedutivo bivalente e dicotômico.
Carlos Magno Corrêa Dias
25/04/2025
Desde sua publicação a obra segue chamando, intensamente, mais e mais adeptos a utilizarem os critérios formais apresentados para a avaliação (e consequente correção lógica) de “pensamentos” permitindo a ampliação das possibilidades do raciocínio dedutivo bivalente e dicotômico.
Carlos Magno Corrêa Dias
25/04/2025