Philosophy of the formal sciences