Conceitografia: uma linguagem formular do pensamento puro decalcada sobre a da aritmética

A Conceitografia, publicada em 1879,inaugura a lógica matemática contemporânea e representa um marco fundamental nahistória da lógica. Neste livro, um dos mais importantes nahistória da lógica, representa formalmente a estrutura dos enunciados lógicos,suas relações e a contribuição para a implementação do cálculo de predicados.Apresenta também o que veio a ser sua maior e mais importante contribuição paraa lógica: a substituição da clássica distinção entre sujeito e predicado peladistinção entre função e argumento. Encontramos aqui a primeira axiomatizaçãocompleta da lógica proposicional e da lógica de predicados de primeira ordem,assim como a primeira formulação de uma linguagem de segunda ordem. GottlobFrege, autor da Conceitografia, é considerado um dos maiores filósofoscontemporâneos e exerceu enorme influência sobre muitos outros autoresimportantes, dentre os quais podemos citar: Bertrand Russell, LudwigWittgenstein e Rudolph Carnap. Muitos escritos de Gottlob Frege foramtraduzidos para o português, entretanto, por conta da grande dificuldadetécnica de publicar as fórmulas de Frege, ainda não existia uma traduçãoimpressa desta que é sua obra mais importante. O presente livro tem porobjetivo preencher essa lacuna. Introdução, tradução e notas de Paulo Alcoforado, Alessandro Duarte e GuilhermeWyllie.