Um quarto de século de Lógica Matemática no Vida Universitária

A publicação da resenha e divulgação de minha obra "Lógica Matemática: introdução ao cálculo proposicional" (ISBN: 85-900661-3-4) nas páginas do jornal VIDA UNIVERSITÁRIA representa um marco significativo para o registro da produção acadêmica e para o fortalecimento do Ensino das Ciências no Estado do Paraná.

DIAS, Carlos Magno Corrêa - 2026

Veiculada na edição número 128 (Ano XVI) de outubro de 2001, na página 12 da publicação oficial da Pontifícia Universidade Católica do Paraná (PUCPR), a nota divulga meu livro elaborado entre os anos de 1997 e 1998 e lançado no segundo semestre de 1999, cujo prefácio é, também, de minha autoria.

Com 405 páginas estruturadas para aproximar tanto estudantes do Ensino Médio quanto da Educação Superior dos fundamentos da Lógica Formal, "Lógica Matemática: introdução ao cálculo proposicional" trata o Cálculo Proposicional de forma progressiva indo do elementar (fundamental) ao complexo.

O livro cumpre o papel essencial de desmistificar a linguagem matemática e instrumentalizar o leitor no raciocínio estruturado, uma competência indispensável para diversas áreas do conhecimento humano e tecnológico (como o tenho afirmado já há décadas).

A visibilidade dada pelo jornal VIDA UNIVERSITÁRIA reafirma a relevância histórica de publicações independentes de caráter científico-didático. Ao registrar o lançamento e a recepção do livro no âmbito universitário de Curitiba, o veículo institucional contribuiu para a difusão da literatura acadêmica que transcendeu o local e abraçou o mundo exterior. Celebra-se, portanto, uma contribuição duradoura para o ensino da Matemática e da Lógica, cujo impacto e valor formativo permanecem preservados no acervo da memória universitária.

“Se a obra encerra alguma pretensão não revelada, esta não pode ser mais do que a pretensão de constituir uma experiência de iniciação, sem, entretanto, isentar, de todos os riscos teórico-didáticos que possam surgir em decorrência.”

Conforme observo também no prefácio da obra “o objetivo do livro, em essência, é introduzir, com desejável rigor e grau de aprofundamento, algumas das técnicas dedutivas do cálculo sentencial, partindo-se do estudo das proposições e dos elementos que sistematizam o raciocínio dedutivo comum em Matemática. São introduzidas, informalmente, por um lado, considerações sobre formalização, validade, interpretação, consequência, e, por outro, são precisadas e desenvolvidas considerações sobre notações, simbolismo lógico e não lógico, semântica e sintaxe da linguagem lógica”.

Carlos Magno Corrêa Dias
29/10/2026