PROJETOS DE MATEMATIZAÇÃO DA LÓGICA

“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. Rafael da Silva da Silveira é graduado em licenciatura em Filosofia pela Universidade do Sagrado Coração (USC-Bauru) e mestre em Filosofia pela Universidade Estadual de Maringá (UEM). A ênfase de suas pesquisas gira em torno da lógica, principalmente suas histórias de desenvolvimento e sua relação com a matemática e a linguagem.