開創(chuàng)了數(shù)理邏輯,成為邏輯學(xué)上的第二個里程碑的人是萊布尼茨 。

戈特弗里德·威廉·萊布尼茨（Gottfried Wilhelm Leibniz，1646年7月1日－1716年11月14日），德意志哲學(xué)家、數(shù)學(xué)家，歷史上少見的通才，被譽(yù)為17世紀(jì)的亞里士多德。

1666年他出版第一部有關(guān)于哲學(xué)方面的書籍，書名為《論組合術(shù)》。

1671年發(fā)表兩篇論文《抽象運(yùn)動的理論》（Theoria motus abstracti）及《新物理學(xué)假說》（Hypothesis physica nova），分別題獻(xiàn)給巴黎的科學(xué)院和倫敦的皇家學(xué)會。 由于萊布尼茨曾在漢諾威生活和工作了近四十年，并且在漢諾威去世，為了紀(jì)念他和他的學(xué)術(shù)成就，2006年7月1日，也就是萊布尼茨360周年誕辰之際，漢諾威大學(xué)正式改名為漢諾威萊布尼茨大學(xué)。