德国启蒙思想家 莱布尼茨（1646—1716）是德国自然科学家、哲学家、唯理论者、数理逻辑的创始人。

他的主要著作有《形而上学谈话》、《人类理智新论》、《神正论》、《单子论》等。

二千三百年前，古希腊的伟大思想家亚里士多德(Aristotelés 前384 — 前 322年)以《工具论》创立了传统形式逻辑，为逻辑发展史树起了第一座丰碑。