Resumo
A suposta concepção da lógica como uma disciplina sem conteúdo, cujas proposições são nada além de fórmulas não interpretadas de símbolos, foi desafiada na segunda metade do século XIX pelo trabalho de Gottlob Frege. Especificamente, suas investigações sobre o fundamento do conceito de número natural levaram a uma posição historicamente conhecida como o logicismo, segundo a qual aritmétic…