CONCEITOGRAFIA - UMA LINGUAGEM FORMULAR DO PENSAMENTO PURO DECALCADA SOBRE A DA ARITMÉTICA

A Conceitografia, publicada originalmente em 1879, inaugura a lógica matemática contemporânea e representa um marco fundamental na história da lógica. Nesse pequeno livro, encontramos a primeira axiomatização completa 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. Gottlob Frege, autor da Conceitografia, é considerado um dos maiores filósofos contemporâneos e exerceu enorme influência sobre muitos outros autores importantes, dentre os quais podemos citar: Bertrand Russell, Ludwig Wittgenstein e Rudolph Carnap. Muitos escritos de Gottlob Frege foram traduzidos para o português, entretanto, por conta da grande dificuldade técnica de publicar as fórmulas de Frege, ainda não existia uma tradução impressa desta que é sua obra mais importante. O presente livro tem por objetivo preencher essa lacuna.