МАТЕМАТИЧЕСКАЯ ЛОГИКА – один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. Как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями. Предыстория М.Л. Связана с именами Аристотеля, Р. Луллия, Дж. Буля (1815-1864), создавшего ее аппарат. Фреге, развившего логико-математические языки. Дж. Пеа-но (1858-1932), попытавшегося изложить разделы математики на языке логики. В основании всех исканий лежало стремление создать специальное счетное устройство (прообраз компьютерных систем) и соответствующий техническим вычислениям язык передачи информации. Второй важной проблемой М.Л. Является выбор исходных понятий и их обоснование.