Термин, употребляемый для обозначения систем логики, характеризующихся попыткой сведения логич. рассуждений к формальным вычислениям. В древности и в средние века термин "Л." означал практич. операции арифметич. вычислений. Г. Лейбниц (G. Leibniz, кон. 17 в.) употреблял термин "Л." для обозначения исчисления умозаключений. В нач. 20 в. под Л. понимали математическую логику.