Комбина́торная ло́гика, раздел математической логики, изучающий т. н. комбинáторы и их свойства. В качестве основных понятий в комбинаторной логике выбираются функция и операция применения функции к аргументу (аппликация), причём в качестве аргументов могут выступать сами функции. Комбинаторами называют элементы класса функций, замкнутого относительно аппликации. Понятие «комбинаторно определимая функция», сформулированное в терминах комбинаторной логики, явилось одним из первых шагов на пути уточнения понятия алгоритма. Начало комбинаторной логике положено работой российского математика М. И. Шейнфинкеля (1924), основная часть дальнейших результатов принадлежит американскому логику Х. Карри. Комбинаторная логика находит применение в теории языков программирования.