Lógica Formal Avalia Raciocínios Dedutivos em 2013.

Em 2013, publico três novos livros de minha autoria nos quais trato (como de costume, formalmente) questões diversas relacionadas às relações de impregnação entre Teoria da Argumentação, Teoria da Prova e Análise Inferencial; partindo dos pressupostos da Lógica Formal Dedutiva que defendo.

Assim sendo, em 2013, SILOGÍSTICA: INTRODUÇÃO À LÓGICA CATEGÓRICA tem uma terceira edição (ISBN 978-85-88925-16-8) e PROBLEMAS E EXERCÍCIOS DE LÓGICA MATEMÁTICA recebe uma segunda edição (ISBN 978-85-88925-17-5); ambas revisadas e ampliadas.

A novidade (estrita) fica por conta do CÁLCULO LÓGICO INFERENCIAL (ISBN 978-85-88925-18-2) no qual utilizo a Álgebra Lógica Proposicional e Predicativa para instituir procedimentos de avaliação de raciocínios lógicos dedutivos e técnicas de correção de raciocínios falazes.

Carlos Magno Corrêa Dias
01/02/2013