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.

• 他们的共同点在于:把形式逻辑看作陈述逻辑；并试图用前谓词判断的哲学逻辑学来为它奠基.