PROJETOS DE MATEMATIZAÇÃO DA LÓGICA - DE RAIMUNDO LÚLIO A GIUSEPPE PEANO

“Partindo de fontes e de estudos especializados, Rafael da Silva da Silveira apresenta, no Projetos de matematização da lógica: de Raimundo Lúlio a Giuseppe Peano, o enredo da paulatina constituição da perspectiva de matematização da lógica, da criação e do estabelecimento da moderna notação simbólica com a qual a teoria lógica tem sido cultivada desde o século XIX. Esse avanço não é mero detalhe; de fato, no presente livro, o autor narra os aspectos estruturais mais marcantes dessa história de uma genuína revolução científica, que permitiu a exploração dos múltiplos universos da logicidade a partir de contribuições memoráveis de inúmeros autores, verdadeiros ícones da história da lógica.” Evandro Luís Gomes, do Prefácio.