The neo-Kantian option, emphasized by the nativists and the coherence theorists, held that the basic propositions of logic and mathematics are innate in us or necessarily emerge psychologically once we start to use words. And some such neo-Kantians scandalized the purer Kantians by holding out the hope that such innate or emergent propositions reflect or represent in some way an external reality.
