戈特弗里德·莱布尼茨是十七世纪欧洲伟大的哲学家、科学家、逻辑学家,我们现在所用到的微积分就是莱布尼茨创立的,他还提出了真理观,并将对真理的研究系统的整理成自己的理论体系,也是第一个提出真理可分为逻辑真理和事实真理的人。本文主要通过阐述他的逻辑真理与事实真理的内容,从而进一步探究其内在关系以及理论意义。 Gottfried Leibniz was a great philosopher, scientist and logician in Europe in the seventeenth century. The calculus we now use was founded by Leibniz. He also put forward the concept of truth and The systematization of the study of truth into its own theoretical system is also the first to suggest that truth can be divided into logical truths and factual truths. This article mainly explores its internal relations and theoretical significance by expounding the content of his logic truth and fact truth.