Current logic should research both the formalization and the non-formalization of logic.

• 当前逻辑学发展既要注重形式化研究,也要注重非形式化研究。