Разница между предикатами и функциями в современной математической логике заключается в следующем:

1. Предикаты представляют собой функции, возможными аргументами которых являются объекты некоторого рассматриваемого множества, а значениями — истинностные оценки (в классической логике — это «истина» и «ложь»). 1 Например, предикатор «человек» представляет функцию, которая каждому отдельному человеку сопоставляет оценку «истина», а каждому отличному от человека существу — оценку «ложь». 1
2. Функции — это функции, которые принимают ноль или более аргументов из определённой области и возвращают другой аргумент из этой же области. 2 Например, функция, соответствующая предикатору «севернее», сопоставляет «истину» каждой паре географических точек, первая из которых действительно расположена севернее второй (например, паре «Петербург, Москва»), всем остальным парам географических точек эта функция сопоставляет оценку «ложь». 1