A Editora do PPGFIL-UFRRJ e o NuLFiC anunciam a publicação da tradução do primeiro livro de Gottlob Frege intitulado Begriffsschrift (Conceitografia). Neste livro, Frege apresenta uma das primeiras axiomatizações da lógica proposicional e da lógica de predicados de primeira ordem. Implicitamente, Frege também estabelece um sistema de lógica de segunda ordem. Além disso, na parte 3 do livro, ele prova teoremas aritméticos importantes como, por exemplo, um princípio geral de indução (fórmula 81). Muitos autores sustentam que a Conceitografia iniciou a agora conhecida lógica matemática moderna. Esse fato por si só justifica a publicação da tradução deste livro para o Português.
Clique na figura para download do livro
