Комбинаторная логика (Фролов, 1991)

КОМБИНАТОРНАЯ ЛОГИКА (лат. combinare — соединять, сочетать) — одно из направлений в математической логике, занимающееся анализом понятий, которые в рамках классической математической логики принимаются без дальнейшего изучения. К их числу принадлежат понятия переменной, функции, правила подстановки и т. п. В классической математической логике пользуются правилами двух родов. Первые формулируются просто и используются без всяких ограничений. Таково, напр., правило modus ponens. Оно формулируется так: если выведены предложения «Если А, то «В» и «А», то выводится предложение «В». Это правило доступно для одноактного автоматического выполнения. Другие (например, правило подстановки) формулируются очень сложно и предполагают ряд ограничений и оговорок (без них они не могут использоваться чисто формально). Одной из задач Комбинаторной логики является создание таких формальных систем, где не будет встречаться правил, подобных правилу подстановки.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 196.