Лейбниц твердо верил в значение логики не только в ее собственной сфере, но и в смысле основания метафизики. Он много работал над математической логикой и достиг больших результатов, которые имели бы очень большое значение, если бы он опубликовал их; Лейбниц был бы в этом случае основателем математической логики, которая стала бы известной на полтора столетия раньше, чем это случилось в действительности. Но он воздержался от их публикации, так как нашел доказательство, что аристотелевская теория силлогизма была в некоторых отношениях неправильна; уважение к Аристотелю не позволяло ему верить этому, и он ошибочно полагал, что заблуждается сам.