Reason's Nearest Kin: Philosophies of Arithmetic from Kant to Carnap