El Uno en el autismo

Frege distingue la lógica de las ciencias empíricas principalmente por dos motivos. En primer lugar, porque la lógica es una disciplina analítica y, en consecuencia, no necesita de la experiencia para probar que sus afirmaciones son verdaderas. Estas se pueden verificar dentro de los marcos de la lógica misma siguiendo los razonamientos adecuados. Esto no sucede con las demás ciencias, que son disciplinas sin-téticas, en cuanto que se ha de corroborar en la experiencia aquello que postulan. En segundo lugar, el campo de la lógica no es una parcela de la realidad concreta, sino que su objeto es todo lo pensable.
Frege da cuenta que esta universalidad y el uso de verdades analíticas también se da en otra disciplina: la aritmética. Por un lado, todo es contable (no solo los números sino también las ideas) y, por otro, es imposible negar sus axiomas y teoremas sin hacer saltar por los aires los fundamentos de todo discurso racional. Por ejemplo, una vez definido lo que es un número natural no se puede negar que cada uno de ellos tiene un solo número natural como sucesor porque si no sería negar la definición misma de lo que es un número natural…