ドイツのライプツィヒに生まれた、政治家であり、外交官でもあったライプニッツは稀代の知的巨人でもあった。17世紀の様々な学問(法学、政治学、歴史学、神学、哲学、数学、経済学、物理学、論理学等)を統一し、体系化しようとした。その業績も法典改革、モナド論、微積分法、微積分記号の考案、論理計算の創始、ベルリン科学アカデミーの創設、等々、多岐にわたる。

哲学における業績

数学における業績

しかし、それと同等か、あるいはそれ以上に重要な業績は今日の論理学における形式言語に当たるものを初めて考案したことである。彼によれば、それを用いることで、どんな推論も代数計算のように単純で機械的な作業に置き換えることができ、注意深く用いることで、誤った推論は原理的に起こり得ないようにすることができるというものであった。彼は、優秀な人材が何人かかかって取り組めば、それを実現するのに5年もかからないと信じていたようであったが、現実にはそれを実現するには300年以上を要した(論理学の適用できる範囲は限られているから、彼が考えたような理想には達していないと見るべきかもしれない)。彼は記号に取りつかれていた人物で、論理学以外にも、例えば幾何学について、記号を用いて機械的に証明をする構想を得ていた。