один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями. Предыстория М.Л. связана с именами Аристотеля, Р. Луллия, Дж. Буля (1815-1864), создавшего ее аппарат; Ф