Математическая логика – современный вид формальной логики, то есть науки, изучающей
умозаключения с точки зрения их формального строения.
Вплоть до начала XIX века формальная логика практически не
выходила за рамки силлогических умозаключений. Однако, начиная с работ Дж. Буля, можно
говорить о превращении ее в математическую логику. Особенности математической логики
заключаются в ее математическом аппарате, в преимущественном внимании к умозаключениям,
применяемым в самой математике.
Математическая логика – это обширная наука, которая кроме традиционной проблематики
занимается вопросами оснований математики и теории алгоритмов и имеет целый ряд приложений.