符号逻辑，可以被看作使这种计算成为可行的一种方式。莱布尼茨写的备忘录（帕金森于1966年翻译了它们）可以被看作是对符号逻辑的探索—所以他的"演算"—上路了。但是Gerhard和Couturat没有出版这些着作，直到现代形式逻辑在1880年代于弗雷格的《概念文字》和查尔斯·皮尔士及其学生的着作中形成，所以就更在乔治·布尔和德·摩根在1847年开创这种逻辑之后了。
形式逻辑.莱布尼茨是在亚里士多德和1847年乔治·布尔和德·摩根分别出版开创现代形式逻辑的着作之间最重要的逻辑学家。莱布尼