The study of logic is not just about formal systems, but about understanding the nature of human reasoning.
逻辑学研究不仅仅是关于形式系统,更是关于理解人类推理的本质。