Their common ground is that they regard formal Logic as predicative Logic, and attempt to lay a foundation for it with a pre-predicative, philosophical Logic.