Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Первое дошедшее до нас сочинение по формальной логике — "Аналитики" Аристотеля (384-322 гг. до нашей эры). В них рассматриваются основы силлогистики — правила вывода одних высказываний из других. Так из высказываний "Все христиане — люди" и "Все люди — живые существа" можно сделать вывод, что все христиане — живые существа. Однако на практике такие случаи встречаются крайне редко.
Вопрос о создании символической логики как универсального научного языка рассматривал Лейбниц в 1666 году в работе «Искусство комбинаторики» (De arte combinatoria). Он думал о записи высказываний на специальном языке, чтобы затем по логическим законам вычислять истинность других. В середине XIX века появились первые работы по алгебраизации аристотелевой логики, сформировавшие первооснову исчисления высказываний (Буль, де Морган, Шрёдер). В работах Фреге и Пирса (конец 1870-х — начало 1880-х) в логику введены предметные переменные, кванторы и, тем самым, основано исчисление предикатов. В конце 1880-х годов Дедекинд и Пеано применили эти инструменты в попытках аксиоматизации арифметики, при этом Пеано создал удобную систему обозначений, закрепившуюся и в современной математической логике.